Semantical investigations into nonmonotonic and probabilistic logics

Different forms of semantics have been proposed for conditionals of the form “Usually, if A then B”, ranging from quantitative probability distributions to qualitative approaches using plausibility orderings, possibility distributions, or conditional objects. Atomic-bound systems, also called big-stepped probabilities, allow qualitative reasoning with probabilities, aiming at bridging the gap between qualitative and quantitative argumentation and providing a model for the nonmonotonic reasoning system P. By using Goguen and Burstall’s notion of institutions for the formalization of logical systems, we elaborate precisely which formal connections exist among big-stepped probabilities, standard probabilities, and qualitative logics. Based on our investigations, we also develop two variants of conditional objects, one of them having a simpler semantics while still providing a model for system P.     

Analysis of time-dependent flow-sensitive PC-MRI data

Many flow visualization techniques, especially integration-based methods, are problematic when the measured data exhibit noise and discretization issues. Particularly, this is the case for flow-sensitive phase-contrast magnetic resonance imaging (PC-MRI) data sets which not only record anatomic information, but also time-varying flow information. We propose a novel approach for the visualization of such data sets using integration-based methods. Our ideas are based upon finite-time Lyapunov exponents (FTLE) and enable identification of vessel boundaries in the data as high regions of separation. This allows us to correctly restrict integration-based visualization to blood vessels. We validate our technique by comparing our approach to existing anatomy-based methods as well as addressing the benefits and limitations of using FTLE to restrict flow. We also discuss the importance of parameters, i.e., advection length and data resolution, in establishing a well-defined vessel boundary. We extract appropriate flow lines and surfaces that enable the visualization of blood flow within the vessels. We further enhance the visualization by analyzing flow behavior in the seeded region and generating simplified depictions.     

Rigid body dynamics with a scalable body,quaternions and perfect constraints

In this paper, we present a formulation of the quaternion constraint for rigid body rotations in the form of a standard perfect bilateral mechanical constraint, for which the associated Lagrangian multiplier has the meaning of a constraint force. First, the equations of motion of a scalable body are derived. A scalable body has three translational, three rotational, and one uniform scaling degree of freedom. As generalized coordinates, an unconstrained quaternion and a displacement vector are used. To the scalable body, a perfect bilateral constraint is added, restricting the quaternion to unit length and making the body rigid. This way a quaternion based differential algebraic equation (DAE) formulation for the dynamics of a rigid body is obtained, where the 7×7 mass matrix is regular and the unit length restriction of the quaternion is enforced by a mechanical constraint. Finally, the equations of motion in the form of a DAE are linked to the Newton–Euler equations of motion of a rigid body. The rigid body DAE formulation is useful for the construction of (energy) consistent integrators.     

Neutrophil Extracellular Traps and Their Implications in Cardiovascular and Inflammatory Disease

Neutrophils are primary effector cells of innate immunity and fight infection by phagocytosis and degranulation. Activated neutrophils also release neutrophil extracellular traps (NETs) in response to a variety of stimuli. These NETs are net-like complexes composed of cell-free DNA, histones and neutrophil granule proteins. Besides the evolutionarily conserved mechanism to capture and eliminate pathogens, NETs are also associated with pathophysiological processes of various diseases. Here, we elucidate the mechanisms of NET formation and their different implications in disease. We focused on autoinflammatory and cardiovascular disorders as the leading cause of death. Neutrophil extracellular traps are not only present in various cardiovascular diseases but play an essential role in atherosclerotic plaque formation, arterial and venous thrombosis, as well as in the development and progression of abdominal aortic aneurysms. Furthermore, NETosis can be considered as a source of autoantigens and maintains an inflammatory milieu promoting autoimmune diseases. Indeed, there is further need for research into the balance between NET induction, inhibition, and degradation in order to pharmacologically target NETs and their compounds without impairing the patient’s immune defense. This review may be of interest to both basic scientists and clinicians to stimulate translational research and innovative clinical approaches.     

Refining Genotypes and Phenotypes in KCNA2-Related Neurological Disorders

Pathogenic variants in KCNA2, encoding for the voltage-gated potassium channel K_v1.2, have been identified as the cause for an evolving spectrum of neurological disorders. Affected individuals show early-onset developmental and epileptic encephalopathy, intellectual disability, and movement disorders resulting from cerebellar dysfunction. In addition, individuals with a milder course of epilepsy, complicated hereditary spastic paraplegia, and episodic ataxia have been reported. By analyzing phenotypic, functional, and genetic data from published reports and novel cases, we refine and further delineate phenotypic as well as functional subgroups of KCNA2-associated disorders. Carriers of variants, leading to complex and mixed channel dysfunction that are associated with a gain- and loss-of-potassium conductance, more often show early developmental abnormalities and an earlier onset of epilepsy compared to individuals with variants resulting in loss- or gain-of-function. We describe seven additional individuals harboring three known and the novel KCNA2 variants p.(Pro407Ala) and p.(Tyr417Cys). The location of variants reported here highlights the importance of the proline(405)–valine(406)–proline(407) (PVP) motif in transmembrane domain S6 as a mutational hotspot. A novel case of self-limited infantile seizures suggests a continuous clinical spectrum of KCNA2-related disorders. Our study provides further insights into the clinical spectrum, genotype–phenotype correlation, variability, and predicted functional impact of KCNA2 variants.     

Structure-Activity Relationships of Benzamides and Isoindolines Designed as SARS-CoV Protease Inhibitors Effective against SARS-CoV-2

Inhibition of coronavirus (CoV)-encoded papain-like cysteine proteases (PL^pro) represents an attractive strategy to treat infections by these important human pathogens. Herein we report on structure-activity relationships (SAR) of the noncovalent active-site directed inhibitor (R)-5-amino-2-methyl-N-(1-(naphthalen-1-yl)ethyl) benzamide ( 2 b ), which is known to bind into the S3 and S4 pockets of the SARS-CoV PL^pro. Moreover, we report the discovery of isoindolines as a new class of potent PL^pro inhibitors. The studies also provide a deeper understanding of the binding modes of this inhibitor class. Importantly, the inhibitors were also confirmed to inhibit SARS-CoV-2 replication in cell culture suggesting that, due to the high structural similarities of the target proteases, inhibitors identified against SARS-CoV PL^pro are valuable starting points for the development of new pan-coronaviral inhibitors.     

Thermoplastic Starch Nanocomposites Reinforced with Cellulose Nanocrystal Suspensions Containing Residual Salt from Neutralization

Sulfuric acid-catalyzed hydrolysis of cellulose commonly isolates cellulose nanocrystals (CNCs). Neutralizing the reactant solution with sodium hydroxide facilitates efficient downstream processing, but residual salt remains in the product. This study examines the reinforcing effects of CNCs from suspensions that contain residual salt on the mechanical properties of thermoplastic starch nanocomposites. By reinforcing starch films with up to 5 wt% CNCs, stiffness and strength are improved by 118% and 79%, respectively, indicating a good dispersion of CNCs in the starch matrix. Compared to nanocomposites incorporating salt-free CNCs, the remaining salt has no significant impact on the material's mechanical performance. The results indicate great potential of CNCs containing residual salt as biobased, low-cost nanofiller in hydrophilic polymer matrices.     

(S)-Reutericyclin: Susceptibility Testing and In Vivo Effect on Murine Fecal Microbiome and Volatile Organic Compounds

We aimed to assess the in vitro antimicrobial activity and the in vivo effect on the murine fecal microbiome and volatile organic compound (VOC) profile of (S)-reutericyclin. The antimicrobial activity of (S)-reutericyclin was tested against Clostridium difficile, Listeria monocytogenes, Escherichia coli, Enterococcus faecium, Staphylococcus aureus, Staphylococcus (S.) epidermidis, Streptococcus agalactiae, Pseudomonas aeruginosa and Propionibacterium acnes. Reutericyclin or water were gavage fed to male BALBc mice for 7 weeks. Thereafter stool samples underwent 16S based microbiome analysis and VOC analysis by gas chromatography mass spectrometry (GC-MS). (S)-reutericyclin inhibited growth of S. epidermidis only. Oral (S)-reutericyclin treatment caused a trend towards reduced alpha diversity. Beta diversity was significantly influenced by reutericyclin. Linear discriminant analysis Effect Size (LEfSe) analysis showed an increase of Streptococcus and Muribaculum as well as a decrease of butyrate producing Ruminoclostridium, Roseburia and Eubacterium in the reutericyclin group. VOC analysis revealed significant increases of pentane and heptane and decreases of 2,3-butanedione and 2-heptanone in reutericyclin animals. The antimicrobial activity of (S)-reutericyclin differs from reports of (R)-reutericyclin with inhibitory effects on a multitude of Gram-positive bacteria reported in the literature. In vivo (S)-reutericyclin treatment led to a microbiome shift towards dysbiosis and distinct alterations of the fecal VOC profile.     

酚醛树脂-CarboresP结合镁碳材料的性能与应用

研究了环境友好型含碳材料CarboresP在镁碳砖中的应用。采用MT14A镁碳砖生产工艺,改变CarboresP的加入量,对试样180℃处理后的体积密度、高温抗折强度(1400℃),以及1000℃埋炭处理后的显气孔率、耐压强度等指标进行了研究和对比,确定镁碳砖中合适的CarboresP添加量为1%,并且可适量降低金属防氧化剂的加入量;分析了酚醛树脂-CarboresP结合炭的显微结构,表明其为均质炭和非均质石墨化炭的混合结构,这将有助于改善炭化结构的抗氧化性能;采用尖劈试验绘制镁碳砖试样的应力-应变曲线,表明添加CarboresP的镁碳砖的特征长度LCH值得到明显提高,说明它具有很好的韧性和吸收应力的能力;与传统工艺生产的MT14A镁碳砖相比较,采用酚醛树脂-CarboresP“软性结合”工艺生产的MT14A镁碳砖,成型性能及热处理后各项性能指标均得到改善,在国内某40tLF-VD精炼钢包渣线上进行现场使用证明,平均使用寿命比现用渣线镁碳砖提高18.4%。     

Energieinformatik

Due to the increasing importance of producing and consuming energy more sustainably, Energy Informatics (EI) has evolved into a thriving research area within the CS/IS community. The article attempts to characterize this young and highly dynamic field of research by describing current EI research topics and methods and provides an outlook of how the field might evolve in the future. It is shown that two general research questions have received the most attention so far and are likely to dominate the EI research agenda in the coming years: How to leverage information and communication technology (ICT) to (1) improve energy efficiency, and (2) to integrate decentralized renewable energy sources into the power grid. Selected EI streams are reviewed, highlighting how the respective research questions are broken down into specific research projects and how EI researchers have made contributions based on their individual academic background.