4,002 research outputs found
Bell Of Bells
No full textC majorModerato(From cover) "Dick Rabe, America's foremost and fastest piano tuner
An event memory for an embodied cooperative virtual guide
No full textRabe F, Wachsmuth I. An event memory for an embodied cooperative virtual guide. In: Postersession at the Interdisciplinary College. 2011: 510
First-principles study of lattice instabilities in ferromagnetic Ni2MnGa
No full textThe phonon-dispersion relations and elastic constants for ferromagnetic Ni2MnGa in the cubic and tetragonally distorted Heusler structures are computed using density-functional and density-functional-perturbation theory within the spin-polarized generalized-gradient approximation. For 0.9<c/a<1.06, the TA(2) transverse- acoustic branch along [110] and the symmetry-related directions exhibit a dynamical instability at a wave vector that depends on c/a. Through examination of the Fermi-surface nesting and electron-phonon coupling, this is identified as a Kohn anomaly. In the parent cubic phase the computed tetragonal shear elastic constant, C-'=(C-11-C-12)/2, is close to zero, indicating a marginal elastic instability towards a uniform tetragonal distortion. We conclude that the cubic Heusler structure is unstable against a family of energy-lowering distortions produced by the coupling between a uniform tetragonal distortion and the corresponding [110] modulation. The computed relation between the c/a ratio and the modulation wave vector is in excellent agreement with structural data on the premartensitic (c/a=1) and martensitic (c/a=0.94) phases of Ni2MnGa
Inhaled Long-Acting {beta}-Agonists Versus Anticholinergics in Older Patients With Chronic Obstructive Pulmonary Disease
No full textlette
The Coq Library as a Theory Graph
No full textRepresenting proof assistant libraries in a way that allows further processing in other systems is becoming increasingly important. It is a critical missing link for integrating proof assistants both with each other or with peripheral tools such as IDEs or proof checkers. Such representations cannot be generated from library source files because they lack semantic enrichment (inferred types, etc.) and only the original proof assistant is able to process them. But even when using the proof assistant’s internal data structures, the complexities of logic, implementation, and library still make this very difficult. We describe one such representation, namely for the library of Coq, using OMDoc theory graphs as the target format. Coq is arguably the most formidable of all proof assistant libraries to tackle, and our work makes a significant step forward. On the theoretical side, our main contribution is a translation of the Coq module system into theory graphs. This greatly reduces the complexity of the library as the more arcane module system features are eliminated while preserving most of the structure. On the practical side, our main contribution is an implementation of this translation. It takes the entire Coq library, which is split over hundreds of decentralized repositories, and produces easily-reusable OMDoc files as output
Logic-Independent Proof Search in Logical Frameworks: (Short Paper)
No full textLogical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. A crucial feature that is missing for prototyping logics is a way to specify basic proof automation. We try to alleviate this problem by generating Prolog (ELPI) inference predicates from logic specifications and controlling them by logic-independent helper predicates that encapsulate the prover characteristics. We show the feasibility of the approach with three experiments: We directly automate ND calculi, we generate tableau theorem provers and model generators
Evolution on a Microscale: Empowering Adaptation and Selection through a Microfluidic Chip
No full textIntroduction
Adaptive laboratory evolution (ALE) is a key tool to investigate fundamental questions about the processes underlying the evolution of life and how microbial populations adapt to their environments, such as the emergence of antibiotic resistance. Microfluidics have fundamentally changed the field of microbial ALE as it can mimic naturally occurring microenvironments promoting the growth of biofilms alongside planktonic cells.[1]
Goals
A microfluidic ALE chip device that features adjustable, spatially defined physico-chemical stressor gradients should be developed employing an in-flow gradient aligned parallel to the flow direction to enhance the robustness of ALE process including the efficient on-chip screening of the complete entire cell population.
Materials & Methods
The evo.S (evolution under stress) microfluidic chip was designed using CAD and fabricated from PDMS (polydimethylsiloxane) and used for the adaptation of microbial cells to stressors in a customizable stressor concentration gradient.[2]
Results
The controlled generation of different gradient profiles across the interconnected compartments leads to adaptation of Escherichia coli to the presence of antibiotics and revealed the chip’s capacity to differentiate between persistence and resistance. Importantly, this approach was effectively employed for the discovery of previously unknown mutations conferring resistance to nalidixic acid in E. coli. Recently, the chip was modified to successfully adapt the thermophilic organism Thermus thermophilus to kanamycin.
Summary
The evo.S chip enhances the occurrence of mutations, resulting in the generation of stress-resistant strains. This kind of miniaturized chip-based ALE offers crucial insights into the mechanism of antibiotic resistance and can be applied to adapt virtually any microorganism.
References
[1] Zoheir, A. E., Stolle, C., Rabe, K. S., Appl. Microbiol. Biotechnol. 2024, 108, 162.
[2] Zoheir, A. E., Späth, G. P., Niemeyer, C. M., Rabe, K. S., Small 2021, 17, 2007166
Prostorski konflikti: Analiza bremena, ki nastane zaradi različne rabe prostora
No full textThe article proposes a procedure for determining the location of potential spatial conflicts. The author presents issues concerning spatial conflicts which may arise as a result of different uses of spaces adjacent to each other. The proposed procedure has been tested on one of the districts of Poland’s Warmińsko-Mazurskie Voivodeship, namely Nidzicki District. In order to determine the use of the space, CLC databases made available by the Chief Environmental Protection Inspectorate were used. Based on them, the use of fragments of space, which were also differentiated due to their natural value, was determined. For the thus described space, a map of burden of potential spatial conflicts was compiled. The proposed method may be used as a tool supporting the processes of space planning and monitoring the environmental changes.V članku avtorica predlaga postopek za določanje lokacije morebitnih prostorskih konfliktov. Predstavi vprašanja, povezana s prostorskimi konflikti, ki lahko nastanejo zaradi različne rabe sosednjih prostorov. Predlagani postopek je avtorica preizkusila na primeru okrožja Nidzica v Varminsko-mazurskem vojvodstvu na Poljskem. Za določitev rabe prostora je uporabila podatke CLC (Corine Land Cover), ki jih je pridobila od glavnega poljskega okoljevarstvenega inšpektorata. Na podlagi teh podatkov je določila rabo posameznih delov proučevanega prostora, ki jih je ločila tudi glede na njihovo naravno vrednost. Za tako analizirani prostor je sestavila zemljevid bremen morebitnih prostorskih konfliktov. Predlagana metoda se lahko uporablja kot podporno orodje pri postopkih prostorskega načrtovanja in spremljanja okoljskih sprememb
Genetic Diversity in broccoli rabe (Brassica rapa L. subsp. sylvestris (L.) Janch.) from Southern Italy
No full textBroccoli rabe (Brassica rapa L. subsp. sylvestris (L.) Janch.) is a vegetable crop cultivated in southern Italy where it is part of local traditional recipes and heritage. Despite its economic importance, there are no cultivars patented, giving rise to many cultivated landraces that are characterized by wide phenotypic variability and named according to their harvesting time or the size and shape of their primary inflorescence. We report the first study of genetic diversity of 67 landraces of broccoli rabe collected in Apulia region and genotyped by means of 18 very informative SSR markers. A total of 243 alleles were detected in 552 genotypes, with a mean of 13.5 alleles per locus. The molecular variance was partitioned for 64% within accessions and for 36% among accessions, revealing a high level of genetic variation within landraces and a significant genetic differentiation across themselves. Remarkably, the results of genetic structure inference, as well as principal coordinates analysis and hierarchical clustering indicated as the clustering was largely in accordance to the germplasm origin, highlighting the presence of geographic stratification. We established a comprehensive germplasm collection of Apulian broccoli rabe landraces, currently stored at the Genebanks of IBBR-CNR and University of Bari. Finally, our study lays a foundation for future bio-agronomic characterizations addressing the identification of superior accessions for breeding purposes and solving cases of homonymy and synonymy
- …
