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 & Cloud computing. The organization has 16723 authors who have published 49341 publications receiving 1302168 citations.


Papers
More filters
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

Proceedings Article
01 Jan 1998
TL;DR: In this paper, the authors address the issue of how Gelfond and Lifschitz's answer set semantics for extended logic programs can be suitably modified to handle prioritized programs.
Abstract: In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for extended logic programs can be suitably modified to handle prioritized programs. In such programs an ordering on the program rules is used to express preferences. We show how this ordering can be used to define preferred answer sets and thus to increase the set of consequences of a program. We define a strong and a weak notion of preferred answer sets. The first takes preferences more seriously, while the second guarantees the existence of a preferred answer set for programs possessing at least one answer set. Adding priorities to rules is not new, and has been explored in different contexts. However, we show that many approaches to priority handling, most of which are inherited from closely related formalisms like default logic, are not suitable and fail on intuitive examples. Our approach, which obeys abstract, general principles that any approach to prioritized knowledge representation should satisfy, handles them in the expected way. Moreover, we investigate the complexity of our approach. It appears that strong preference on answer sets does not add on the complexity of the principal reasoning tasks, and weak preference leads only to a mild increase in complexity.

241 citations

Journal ArticleDOI
TL;DR: It is argued that development of transparent and consistent regulatory procedures represents the basis for defining the desired state of a landfill at the end of aftercare and for reducing uncertainty about the intensity and duration of after care.

240 citations

Journal ArticleDOI
TL;DR: In this paper, the authors analyzed 210 Pb, inorganic ions, elemental (EC) and organic (OC) carbon, water soluble organic carbon (WSOC), macromolecular type (humic-like) organic substances (HULIS), C2-C5 diacids, cellulose, and levoglucosan.
Abstract: in central Europe. Aerosols were analyzed for 210 Pb, inorganic ions, elemental (EC) and organic (OC) carbon, water soluble organic carbon (WSOC), macromolecular type (humic-like) organic substances (HULIS), C2–C5 diacids, cellulose, and levoglucosan. Pooled aerosol filters were also used for the identification of different families of organic compounds by gas chromatography/mass spectrometry, GC/MS, as well as 14 C determinations. The data resulted in a climatological overview of the aerosol composition over Europe in the various seasons, from west to east, and from the boundary layer to the free troposphere. The paper first summarizes the characteristics of the sites and collected samples and then focuses on the aerosol mass partitioning (mass closure, inorganic versus organic, EC versus OC, water soluble versus insoluble OC), giving an insight on the sources of carbonaceous aerosol present in rural and natural background areas in Europe. It also introduces the main role of other companion papers dealing with CARBOSOL aerosol data that are also presented in this issue.

240 citations

Proceedings Article
01 Jan 2005
TL;DR: From the results, both crucial and problematic parts of the algorithm for Rhythm Patterns feature extraction are identified and two new feature representations are introduced: Statistical Spectrum Descriptors and Rhythm Histogram features.
Abstract: We present a study on the importance of psycho-acoustic transformations for effective audio feature calculation. From the results, both crucial and problematic parts of the algorithm for Rhythm Patterns feature extraction are identified. We furthermore introduce two new feature representations in this context: Statistical Spectrum Descriptors and Rhythm Histogram features. Evaluation on both the individual and combined feature sets is accomplished through a music genre classification task, involving 3 reference audio collections. Results are compared to published measures on the same data sets. Experiments confirmed that in all settings the inclusion of psycho-acoustic transformations provides significant improvement of classification accuracy.

240 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,527
20202,811
20192,846
20182,650