Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 201 bis 210 von 14829.

  1. 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.

  2. 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.

  3. Matthias Tschöpe; Björn Friedrich; Sizhen Bian; Paul Lukowicz

    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.

  4. Jan Boysen; Hristina Uzunova; Heinz Handels; Jan Ehrhardt

    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.

  5. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

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

  6. Ece Nur Demirhan Coskun; Kemal Caglar Coskun; Christoph Lüth; Dieter Hutter

    Lyapunov-Based Certified Region-of-Attraction Estimation for Constrained LQR-Controlled Systems

    In: Proceedings of the 19th IEEE Dallas Circuits and Systems Conference. IEEE Dallas Circuits and Systems Conference (DCAS-2026), April 10-12, Dallas, TX, USA, IEEE, 2026.

  7. Martin Memmel; Rainer Kadel; Heinz Kirchmann

    Utilization of Urban Data in a Municipal Data Platform - A Field Report From the German MPSC Südwest-Cluster

    In: Manfred Schrenk; Clemens Beyer; Vasily V. Popovich; Judith Ryser; Dana Mawlood (Hrsg.). EVERYBODY PLANS ... SOMETIMES. Cherish Heritage, Plan Now, Create a Better Future! International Conference on Urban Planning, Regional Development and Information Society (REAL CORP-2026), 31st International Conference on Urban Planning and Regional. International Conference on Urban Planning, Regional Development and Information Society (REAL CORP-2026), EVERYBODY PLANS ... SOMETIMES. Cherish Heritage, Plan Now, Create a Better Future! International Conference on Urban Planning, Regional Development and Information Society, March 23-25, Vienna, Austria, Pages 1013-1022, ISBN 978-3-9504945-5-6, CORP, 3/2026.

  8. Christoph Tieben; Robert Rettig; Benjamin Kisliuk; Andrej Lejman; Christoph Manß; Kai A. von Szadkowski; Martin Atzmueller

    Auf dem Weg zu einer KI-gestützten Gewässer- und Wasseransammlungsdetektion zur adaptiven Steuerung von Pflanzenschutz- und Düngerapplikation auf Landmaschinen

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft -- Referate der 46. GIL-Jahrestagung. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2026), Gesellschaft für Informatik e.V. 2026.

  9. Marian Renz; Martin Günther; Felix Igelbrink; Oscar Lima; Martin Atzmueller

    ExPrIS: Knowledge-Level Expectations as Priors for Object Interpretation from Sensor Data

    In: Lars Kunze (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Springer Nature, 2026.

  10. Julia Mayer; Martin Memmel

    Konzeption und Umsetzung von Datenmanagementstrategien im Projekt "Ageing Smart - Räume intelligent gestalten"

    In: Annette Spellerberg; Stefan Ruzika (Hrsg.). Ageing Smart - Digitale Instrumente im kommunalen Kontext: Daten, Analysen und Strategien (nicht nur) für Babyboomer. Chapter 14, Konzeption und Umsetzung von Datenmanagementstrategien im Projekt "Ageing Smart - Räume intelligent , Pages 353-372, ISBN 978-3-658-48575-7, Springer VS Wiesbaden, Wiesbaden, Germany, 1/2026.

Jahr

Mehr Optionen