scispace - formally typeset
Search or ask a question
Institution

Vienna University of Technology

EducationVienna, 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
More filters
Journal ArticleDOI
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

Journal ArticleDOI
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

Journal ArticleDOI
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

Journal ArticleDOI
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

BookDOI
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

NameH-indexPapersCitations
Krzysztof Matyjaszewski1691431128585
Wolfgang Wagner1562342123391
Marco Zanetti1451439104610
Sridhara Dasu1401675103185
Duncan Carlsmith1381660103642
Ulrich Heintz136168899829
Matthew Herndon133173297466
Frank Würthwein133158494613
Alain Hervé132127987763
Manfred Jeitler132127889645
David Taylor131246993220
Roberto Covarelli131151689981
Patricia McBride129123081787
David Smith1292184100917
Lindsey Gray129117081317
Network Information
Related Institutions (5)
École Polytechnique Fédérale de Lausanne
98.2K papers, 4.3M citations

94% related

Delft University of Technology
94.4K papers, 2.7M citations

94% related

ETH Zurich
122.4K papers, 5.1M citations

94% related

Georgia Institute of Technology
119K papers, 4.6M citations

93% related

RWTH Aachen University
96.2K papers, 2.5M citations

92% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
2023171
2022379
20212,530
20202,811
20192,846
20182,650