Skip to main content Skip to main navigation

Publications

Displaying results 571 to 580 of 14738.
  1. Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovič; Ida Siahaan

    Explaining Reasoning Results for OWL Ontologies with Evee

    In: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning - KR in the Wild. International Conference on Principles of Knowledge Representation and Reasoning (KR-24), November 2-8, Hanoi, Viet Nam, Pages 709-719, ISBN 978-1-956792-05-8, IJCAI Organization, 2024.

  2. Carolin Leluschko; Hanna Merkle; Philippe Lamontagne; Vahid Pilechi; Christoph Tholen

    Machine Learning Identification of Pollutants and Other Debris in Canadian Waterways

    In: Carlos Coelho; Caroline Hallin; Francisco Sancho; Paulo A. Silva (Hrsg.). Coastal Dynamics 2025. Coastal Dynamics (CD-2025), 10th Conference, April 7-11, Aveiro, Portugal, Pages 306-311, Coastal Research Library (COASTALRL), Vol. 42, ISBN 978-3-032-15476-7, Springer, Cham, 2025.

  3. VDI-Gesellschaft Technologies of Life Sciences; Johannes Steidle; Doris Thurau; Manfred Tschoepe; Sven Urlaub; Stefan Nawrath; Jonas Renk; Frank Spinner; Henning Meyer; Elisabeth Quendler; Fabian Gmeiner; Henri Greil; Uwe Knauer; Bjoern Losekamp; Dominik Fueglistaller; Andreas Fallert; Pia Bartels; Harald Claussen; Heinz Bernhardt; Christian Bode

    VDI-EE 4350 Biodiversitätsschondende Mähwerke zur Pflege des Straßenbegleitgrüns [Biodiversity supporting mowers for maintaining the greenery along the road]

    Richtlinien-Publikation ICS 13.020.20, 93.080.99, Pages 1-12, VDI-Expertenempfehlungen (VDI-TLS), Vol. VDI-EE 4350, Verein Deutscher Ingenieure e.V. 2025 Düsseldorf, 6/2025.

  4. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2026.

  5. F. Lalchhandama; Kamalika Datta; Rolf Drechsler; Sandip Chakraborty; Indranil Sengupta

    Practicality of MAGIC NOR in a 1T1M Crossbar Array for In-memory Computing

    In: Journal of Circuits, Systems and Computers, Vol. 31, No. 04, World Scientific, 2026.

  6. How Much Context Matters? A Comparison for Skeleton-Based Activity Recognition

    In: 2026 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2026), March 9-12, Hakodate, Japan, IEEE, 2026.

  7. Biophysics-Enhanced Neural Representations for Patient-Specific Respiratory Motion Modeling

    In: Machine Learning for Biomedical Imaging (MELBA), Vol. 2026 - MELBA–BVM 2025 Special Issue, Pages 148-159, MELBA, 2026.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

    In: SN Computer Science (SNCS), Springer Nature, 2026.