7.1k citations
- SpaceTech (Germany)DE37 papers
- Universität HamburgDE37 papers
- Centre National de la Recherche ScientifiqueFR31 papers
- École Polytechnique Fédérale de LausanneCH24 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE23 papers
- Leibniz University HannoverDE22 papers
- German Research Centre for Artificial IntelligenceDE20 papers
- Carl von Ossietzky Universität OldenburgDE19 papers
- Hochschule BremenDE16 papers
- Humboldt-Universität zu BerlinDE16 papers
- Sorbonne UniversitéFR16 papers
- Staats- und Universitätsbibliothek BremenDE16 papers
6 papers · 1 filter
Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds
Christoph Hertzberg, René Wagner, Udo Frese +1
Common estimation algorithms, such as least squares estimation or the Kalman filter, operate on a state in a state space S that is represented as a real-valued vector. However, for…
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
Carsten Lutz, Robert Piro, Frank Wolter
We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL. Our characterizati…
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Carsten Lutz, Frank Wolter
We study uniform interpolation and forgetting in the description logic ALC. Our main results are model-theoretic characterizations of uniform inter- polants and their existence in…
Extremal sizes of subspace partitions
Olof Heden, Juliane Lehmann, Esmeralda Nastase +1
A subspace partition of is a collection of subspaces of such that each 1-dimensional subspace of is in exactly one subspace of . The size of is the nu…
Time-dependent versus static quantum transport simulations beyond linear response
ChiYung Yam, Xiao Zheng, GuanHua Chen +3
To explore whether the density-functional theory non-equilibrium Green's function formalism (DFT-NEGF) provides a rigorous framework for quantum transport, we carried out time-depe…