Komponenten des Interaktiven Systems SPESY zur Unterstützung Integrierter Programm-Spezifikation und -Verifikation. Band I.

An interactive system for the deveIopment of hierarchies of parameterized algorithmic specifications is presented. Implemented in SIEMENS-Interlisp, the system SPESY supports entering, editing, instantiating, and managing specifications written in a predecessor of the software specification language ASPIK. Volume I presents the language by detailed examples with special emphasis to the instantiation on parameterized specifications. Moreover, Volume I contains the SPESY-manual. The system documentation of SPESY is given in Volume II. Volume III contains the source code and the original protocol of a SPESY-session with all example presented in Volume I.Ein interaktives System zur Entwicklung von parametrisierten, algorithmischen Spezifikations-Hierarchien wird vorgestellt. Das in SIEMENS-Interlisp implementierte System SPESY erlaubt systemunterstütztes Eingeben, Editieren, Instanziieren und Verwalten von Spezifikationen in einer Vorläufer-Version der Softwarespezifikationssprache ASPIK. In Band I wird die Sprache anhand von ausführlichen Beispielen vorgestellt, wobei besonders auf die Instanziierung parametrisierter Spezifikationen eingegangen wird. Außerdem enthält Band I das SPESY-Benutzerhandbuch. Die Systemdokumentation ist in Band II zu finden. Band III enthält den Programmtext, sowie das Original-Protokoll einer SPESY-Sitzung mit allen in Band I aufgeführten Beispielen

Dill extract induces elastic fiber neosynthesis and functional improvement in the ascending aorta of aged mice with reversal of age-dependent cardiac hypertrophy and involvement of lysyl oxidase-like-1

Elastic fibers (90% elastin, 10% fibrillin-rich microfibrils) are synthesized only in early life and adolescence mainly by the vascular smooth muscle cells through the cross-linking of its soluble precursor, tropoelastin. Elastic fibers endow the large elastic arteries with resilience and elasticity. Normal vascular aging is associated with arterial remodeling and stiffening, especially due to the end of production and degradation of elastic fibers, leading to altered cardiovascular function. Several pharmacological treatments stimulate the production of elastin and elastic fibers. In particular, dill extract (DE) has been demonstrated to stimulate elastin production in vitro in dermal equivalent models and in skin fibroblasts to increase lysyl oxidase-like-1 (LOXL-1) gene expression, an enzyme contributing to tropoelastin crosslinking and elastin formation. Here, we have investigated the effects of a chronic treatment (three months) of aged male mice with DE (5% or 10

Comparison of omeprazole, metronidazole and clarithromycin with omeprazole/amoxicillin dual-therapy for the cure of Helicobacter pylori infection

In this randomized, multicenter trial, we evaluated the effectiveness and side effect profile of a modified omeprazole-based triple therapy to cure Helicobacter pylori infection. The control group consisted of patients treated with standard dual therapy comprising omeprazole and amoxicillin. One hundred and fifty-seven H. pylori infected patients with duodenal ulcers were randomly assigned to receive either a combination of omeprazole 10 mg, clarithromycin 250 mg and metronidazole 400 mg (OCM) given three times daily for 10 days (n = 81),or a combination of omeprazole 20 mg and amoxicillin 1 g (OA) given twice daily for 14 days (n = 76). Prior to treatment and after 2 and 6 weeks, gastric biopsies from the antrum and corpus were obtained for histology and H. pylori culture. H. pylori infection was cured in 97.4% after OCM and in 65.8% after OA in the per-protocol analysis (p < 0.001) (intention-to-treat analysis: 93.4% and 63.2%, respectively). H. pylori was successfully cultured in 122 patients (77%). The overall rate of metronidazole resistance was 19.7% (24/122), no primary resistance to clarithromycin or amoxicillin was found. In the OCM group, all patients infected with metronidazole-sensitive H. pylori strains (n = 51) and those infected with strains of unknown susceptibility to metronidazole (n = 14)were cured (100%), while 77% (10/13) of those harboring metronidazole-resistant. strains were cured of the infection (p = 0.36). Side effects leading to premature termination of treatment occurred in 2.5% of the patients in the OCM group and in 1.4 % of the OA group. We conclude that combined treatment with omeprazole, clarithromycin and a higher dose of metronidazole is highly effective in curing H, pylori infection, Helicobacter pylori omeprazole and that this regimen remains very effective in the presence of metronidazole resistant strains

A multimodal neuroimaging classifier for alcohol dependence

With progress in magnetic resonance imaging technology and a broader dissemination of state-of-the-art imaging facilities, the acquisition of multiple neuroimaging modalities is becoming increasingly feasible. One particular hope associated with multimodal neuroimaging is the development of reliable data-driven diagnostic classifiers for psychiatric disorders, yet previous studies have often failed to find a benefit of combining multiple modalities. As a psychiatric disorder with established neurobiological effects at several levels of description, alcohol dependence is particularly well-suited for multimodal classification. To this aim, we developed a multimodal classification scheme and applied it to a rich neuroimaging battery (structural, functional task-based and functional resting-state data) collected in a matched sample of alcohol-dependent patients (N = 119) and controls (N = 97). We found that our classification scheme yielded 79.3% diagnostic accuracy, which outperformed the strongest individual modality - grey-matter density - by 2.7%. We found that this moderate benefit of multimodal classification depended on a number of critical design choices: a procedure to select optimal modality-specific classifiers, a fine-grained ensemble prediction based on cross-modal weight matrices and continuous classifier decision values. We conclude that the combination of multiple neuroimaging modalities is able to moderately improve the accuracy of machine-learning-based diagnostic classification in alcohol dependence

A multimodal neuroimaging classifier for alcohol dependence

With progress in magnetic resonance imaging technology and a broader dissemination of state-of-the-art imaging facilities, the acquisition of multiple neuroimaging modalities is becoming increasingly feasible. One particular hope associated with multimodal neuroimaging is the development of reliable data-driven diagnostic classifiers for psychiatric disorders, yet previous studies have often failed to find a benefit of combining multiple modalities. As a psychiatric disorder with established neurobiological effects at several levels of description, alcohol dependence is particularly well-suited for multimodal classification. To this aim, we developed a multimodal classification scheme and applied it to a rich neuroimaging battery (structural, functional task-based and functional resting-state data) collected in a matched sample of alcohol-dependent patients (N = 119) and controls (N = 97). We found that our classification scheme yielded 79.3% diagnostic accuracy, which outperformed the strongest individual modality - grey-matter density - by 2.7%. We found that this moderate benefit of multimodal classification depended on a number of critical design choices: a procedure to select optimal modality-specific classifiers, a fine-grained ensemble prediction based on cross-modal weight matrices and continuous classifier decision values. We conclude that the combination of multiple neuroimaging modalities is able to moderately improve the accuracy of machine-learning-based diagnostic classification in alcohol dependence

Autonomous Robotic Network to Resolve Coastal Oxygen Dynamics : Cruise No. AL547, 20.10. – 31.10.2020, Kiel – Kiel, ARCODYN

The ALKOR cruise AL547 represents a concluding milestone of the Helmholtz innovation project ARCHES (Autonomous Robotic Networks to Help Modern Societies). The aim was to implement a heterogeneous robotic sensing network to simultaneously monitor changes in the water column and at the seafloor. The network has been developed by a consortium of partners from AWI, DLR, GEOMAR and the University of Kiel. The participating sensing platforms allow for real-time data transfer and the entire network shall be able to autonomously respond to environmental changes in the ocean. The network comprised seven different mobile and stationary platforms. Tests were conducted at the Mittelgrund working area in the entrance of the Eckernförde Bay (western Baltic Sea). During 47 stations the various sensing platforms were deployed and recovered for maintenance. A total of 87853 messages were sent using hydro-acoustics, of which 71734 messages contained O 2 data, 15177 were status messages, 926 messages were commands to trigger a change of the measurement behavior of a platform and 16 messages represented broadcasts about the environmental status. We synoptically recorded short-term O 2 time series on the different platforms, which were placed along a depth gradient in the working area. As the Eckernförde Bay is known for sporadic fish kills by anoxia we hope to contribute to a better understanding of the O 2 dynamics in coastal areas

High molecular weight mechanochromic spiropyran main chain copolymers via reproducible microwave-assisted Suzuki polycondensation

Suzuki–Miyaura polycondensation (SPC) is widely used to prepare a variety of copolymers for a broad range of applications. Although SPC protocols are often used in many instances, the limits of this method and issues of molecular weight reproducibility are not often looked at in detail. By using a spiropyran-based (SP) mechanochromic copolymer, we present an optimized protocol for the microwave-assisted synthesis of a mechanochromic, alternating copolymer P(SP-alt-C10) via SPC that allows the reproduction of molecular weight distributions. Several parameters such as microwave power, temperature, stoichiometry, and ligand are screened, leading to molecular weights up to Mw ∼ 174 kg mol−1. The process of optimization is guided by NMR end group analysis which shows that dehalogenation, oxidative deborylation and SP cleavage are the limiting factors that impede further increase of molar mass, while other classical side reactions such as protiodeborylation are not observed. Embossing films of P(SP-alt-C10) yields the colored merocyanine (MC) copolymer P(MC-alt-C10) that undergoes a thermally facilitated back reaction to P(SP-alt-C10). DFT suggests that the barrier of the SP → MC transition has two contributions, with the first one being related to the color change and the second one to internal bond reorganizations. The barrier height is 1.5 eV, which suggests that the ease of the thermally facilitated back reaction is either due to residual energy stored in the deformed polymer matrix, or arises from an MC isomer that is not in the thermodynamically most stable state

Simulating galactic outflows with kinetic supernova feedback

Feedback from star formation is thought to play a key role in the formation and evolution of galaxies, but its implementation in cosmological simulations is currently hampered by a lack of numerical resolution. We present and test a sub-grid recipe to model feedback from massive stars in cosmological smoothed particle hydrodynamics simulations. The energy is distributed in kinetic form among the gas particles surrounding recently formed stars. The impact of the feedback is studied using a suite of high-resolution simulations of isolated disc galaxies embedded in dark halos with total mass 10^{10} and 10^{12} Msol/h. We focus in particular on the effect of pressure forces on wind particles within the disc, which we turn off temporarily in some of our runs to mimic a recipe that has been widely used in the literature. We find that this popular recipe gives dramatically different results because (ram) pressure forces on expanding superbubbles determine both the structure of the disc and the development of large-scale outflows. Pressure forces exerted by expanding superbubbles puff up the disc, giving the dwarf galaxy an irregular morphology and creating a galactic fountain in the massive galaxy. Hydrodynamic drag within the disc results in a strong increase of the effective mass loading of the wind for the dwarf galaxy, but quenches much of the outflow in the case of the high-mass galaxy.Comment: 15 pages, 11 figures, accepted for publication in MNRAS. Added 4 new figures and made minor textual changes. Simulation videos available at http://www.strw.leidenuniv.nl/DS08

ARC-TEC : acquisition, representation and compilation of technical knowledge

A global description of an expert system shell for the domain of mechanical engineering is presented. The ARC-TEC project constitutes an AI approach to realize the CIM idea. Along with conceptual solutions, it provides a continuous sequence of software tools for the acquisition, representation and compilation of technical knowledge. The shell combines the KADS knowledge-acquisition methodology, the KL-ONE representation theory and the WAM compilation technology. For its evaluation a prototypical expert system for production planning is developed. A central part of the system is a knowledge base formalizing the relevant aspects of common sense in mechanical engineering. Thus, ARC-TEC is less general than the CYC project but broader than specific expert systems for planning or diagnosis