22k citations
- University of KaiserslauternDE125 papers
- Saarland UniversityDE41 papers
- Rheinland-Pfälzische Technische Universität Kaiserslautern-LandauDE25 papers
- University of Koblenz and LandauDE25 papers
- Technische Universität BerlinDE24 papers
- University of BremenDE23 papers
- Center for Scalable Data Analytics and Artificial IntelligenceDE16 papers
- Technische Universität DarmstadtDE11 papers
- Hamm-Lippstadt University of Applied SciencesDE9 papers
- Ludwig-Maximilians-Universität MünchenDE9 papers
- Technical University of MunichDE9 papers
- ETH ZurichCH8 papers
Showing 2011Show all
3 papers · 1 filter
cs.RO2011
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…
cs.DL2011
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
Serge Autexier, Catalin David, Dominik Dietrich +2
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published researc…
cs.LO2011★ 2 cited
Powermonads and Tensors of Unranked Effects
Sergey Goncharov, Lutz Schröder
In semantics and in programming practice, algebraic concepts such as monads or, essentially equivalently, (large) Lawvere theories are a well-established tool for modelling generic…