Institution
Vienna University of Technology
Education•Vienna, Austria•
About: Vienna University of Technology is a education organization based out in Vienna, Austria. It is known for research contribution in the topics: Laser & Context (language use). The organization has 16723 authors who have published 49341 publications receiving 1302168 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: This paper addresses the issue of how Gelfond and Lifschitz's answer set semantics for extended logic programs can be suitably modified to handle prioritized programs, and defines a strong and a weak notion of preferred answer sets.
243 citations
••
TL;DR: This genome-wide expression study demonstrates that the initial Trichoderma mycotrophy has differentiated into several alternative ecological strategies ranging from parasitism to predation and saprotrophy, and provides first insights into the mechanisms of interactions between Trichodma and other fungi that may be exploited for further development of biofungicides.
Abstract: Trichoderma is a genus of mycotrophic filamentous fungi (teleomorph Hypocrea) which possess a bright variety of biotrophic and saprotrophic lifestyles. The ability to parasitize and/or kill other fungi (mycoparasitism) is used in plant protection against soil-borne fungal diseases (biological control, or biocontrol). To investigate mechanisms of mycoparasitism, we compared the transcriptional responses of cosmopolitan opportunistic species and powerful biocontrol agents Trichoderma atroviride and T. virens with tropical ecologically restricted species T. reesei during confrontations with a plant pathogenic fungus Rhizoctonia solani. The three Trichoderma spp. exhibited a strikingly different transcriptomic response already before physical contact with alien hyphae. T. atroviride expressed an array of genes involved in production of secondary metabolites, GH16 s-glucanases, various proteases and small secreted cysteine rich proteins. T. virens, on the other hand, expressed mainly the genes for biosynthesis of gliotoxin, respective precursors and also glutathione, which is necessary for gliotoxin biosynthesis. In contrast, T. reesei increased the expression of genes encoding cellulases and hemicellulases, and of the genes involved in solute transport. The majority of differentially regulated genes were orthologues present in all three species or both in T. atroviride and T. virens, indicating that the regulation of expression of these genes is different in the three Trichoderma spp. The genes expressed in all three fungi exhibited a nonrandom genomic distribution, indicating a possibility for their regulation via chromatin modification. This genome-wide expression study demonstrates that the initial Trichoderma mycotrophy has differentiated into several alternative ecological strategies ranging from parasitism to predation and saprotrophy. It provides first insights into the mechanisms of interactions between Trichoderma and other fungi that may be exploited for further development of biofungicides.
242 citations
••
TL;DR: In this article, the influence of various fillers on the physical properties of triple and multifilled n-type skutterudites with the nominal composition (R 0.33 Ba 0.50 ) 0.35 Co 4 Sb 12.3 ) was investigated.
241 citations
••
TL;DR: In this paper, a compact all-solid-state femtosecond Ti:sapphire oscillator-amplifier system using no grating-based pulse stretcher produces 20-fs, 1.5mJ pulses at a 1-kHz repetition rate.
Abstract: A compact all-solid-state femtosecond Ti:sapphire oscillator–amplifier system using no grating-based pulse stretcher produces 20-fs, 1.5-mJ pulses at a 1-kHz repetition rate. The pulses are subsequently compressed in a hollow-fiber chirped-mirror compressor. The system delivers bandwidth-limited 5-fs, 0.5-mJ pulses at 780 nm in a diffraction-limited beam.
241 citations
••
07 May 2021
TL;DR: The editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, which is, extending the formalism beyond Kripke structures and temporal logic.
Abstract: Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
241 citations
Authors
Showing all 16934 results
Name | H-index | Papers | Citations |
---|---|---|---|
Krzysztof Matyjaszewski | 169 | 1431 | 128585 |
Wolfgang Wagner | 156 | 2342 | 123391 |
Marco Zanetti | 145 | 1439 | 104610 |
Sridhara Dasu | 140 | 1675 | 103185 |
Duncan Carlsmith | 138 | 1660 | 103642 |
Ulrich Heintz | 136 | 1688 | 99829 |
Matthew Herndon | 133 | 1732 | 97466 |
Frank Würthwein | 133 | 1584 | 94613 |
Alain Hervé | 132 | 1279 | 87763 |
Manfred Jeitler | 132 | 1278 | 89645 |
David Taylor | 131 | 2469 | 93220 |
Roberto Covarelli | 131 | 1516 | 89981 |
Patricia McBride | 129 | 1230 | 81787 |
David Smith | 129 | 2184 | 100917 |
Lindsey Gray | 129 | 1170 | 81317 |