Vienna University of Technology

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.

The DLV system for knowledge representation and reasoning

Abstract: Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows one to express every property of finite structures that is decidable in the complexity class ΣP2 (NPNP). Thus, under widely believed assumptions, DLP is strictly more expressive than normal (disjunction-free) logic programming, whose expressiveness is limited to properties decidable in NP. Importantly, apart from enlarging the class of applications which can be encoded in the language, disjunction often allows for representing problems of lower complexity in a simpler and more natural fashion.This article presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to ΔP3-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof.Furthermore, we illustrate the general architecture of the DLV system, which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.

GLEAM v3: satellite-based land evaporation and root-zone soil moisture

Abstract: . The Global Land Evaporation Amsterdam Model (GLEAM) is a set of algorithms dedicated to the estimation of terrestrial evaporation and root-zone soil moisture from satellite data. Ever since its development in 2011, the model has been regularly revised, aiming at the optimal incorporation of new satellite-observed geophysical variables, and improving the representation of physical processes. In this study, the next version of this model (v3) is presented. Key changes relative to the previous version include (1) a revised formulation of the evaporative stress, (2) an optimized drainage algorithm, and (3) a new soil moisture data assimilation system. GLEAM v3 is used to produce three new data sets of terrestrial evaporation and root-zone soil moisture, including a 36-year data set spanning 1980–2015, referred to as v3a (based on satellite-observed soil moisture, vegetation optical depth and snow-water equivalent, reanalysis air temperature and radiation, and a multi-source precipitation product), and two satellite-based data sets. The latter share most of their forcing, except for the vegetation optical depth and soil moisture, which are based on observations from different passive and active C- and L-band microwave sensors (European Space Agency Climate Change Initiative, ESA CCI) for the v3b data set (spanning 2003–2015) and observations from the Soil Moisture and Ocean Salinity (SMOS) satellite in the v3c data set (spanning 2011–2015). Here, these three data sets are described in detail, compared against analogous data sets generated using the previous version of GLEAM (v2), and validated against measurements from 91 eddy-covariance towers and 2325 soil moisture sensors across a broad range of ecosystems. Results indicate that the quality of the v3 soil moisture is consistently better than the one from v2: average correlations against in situ surface soil moisture measurements increase from 0.61 to 0.64 in the case of the v3a data set and the representation of soil moisture in the second layer improves as well, with correlations increasing from 0.47 to 0.53. Similar improvements are observed for the v3b and c data sets. Despite regional differences, the quality of the evaporation fluxes remains overall similar to the one obtained using the previous version of GLEAM, with average correlations against eddy-covariance measurements ranging between 0.78 and 0.81 for the different data sets. These global data sets of terrestrial evaporation and root-zone soil moisture are now openly available at www.GLEAM.eu and may be used for large-scale hydrological applications, climate studies, or research on land–atmosphere feedbacks.

Solar-energy conversion and light emission in an atomic monolayer p-n diode

Abstract: The limitations of the bulk semiconductors currently used in electronic devices-rigidity, heavy weight and high costs--have recently shifted the research efforts to two-dimensional atomic crystals such as graphene and atomically thin transition-metal dichalcogenides. These materials have the potential to be produced at low cost and in large areas, while maintaining high material quality. These properties, as well as their flexibility, make two-dimensional atomic crystals attractive for applications such as solar cells or display panels. The basic building blocks of optoelectronic devices are p-n junction diodes, but they have not yet been demonstrated in a two-dimensional material. Here, we report a p-n junction diode based on an electrostatically doped tungsten diselenide (WSe2) monolayer. We present applications as a photovoltaic solar cell, a photodiode and a light-emitting diode, and obtain light-power conversion and electroluminescence efficiencies of ∼ 0.5% and ∼ 0.1%, respectively. Given recent advances in the large-scale production of two-dimensional crystals, we expect them to profoundly impact future developments in solar, lighting and display technologies.

Time-resolved atomic inner-shell spectroscopy

Abstract: The characteristic time constants of the relaxation dynamics of core-excited atoms have hitherto been inferred from the linewidths of electronic transitions measured by continuous-wave extreme ultraviolet or X-ray spectroscopy. Here we demonstrate that a laser-based sampling system, consisting of a few-femtosecond visible light pulse and a synchronized sub-femtosecond soft X-ray pulse, allows us to trace these dynamics directly in the time domain with attosecond resolution. We have measured a lifetime of 7.9(-0.9)(+1.0) fs of M-shell vacancies of krypton in such a pump-probe experiment.

Determination of terrain models in wooded areas with airborne laser scanner data

Abstract: Large-scale terrain measurement in wooded areas was an unsolved problem up to now. Laser scanning solves this problem to a large extent. In this article, the characteristics of laser scanning will be compared to photogrammetry with reference to a big pilot project. Laser scanning supplies data with a skew distribution of errors because a portion of the supplied points is not on the terrain but on the treetops. Thus, the usual interpolation and filtering has to be adapted to this new data type. We will report on the implementation of this new method. The results are in accordance with the expectations. The geomorphologic quality of the contours, computed from a terrain model derived from laser scanning, needs to be improved. Solutions are still to be found.