Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 14738.
  1. Unsichtbare Gruppen - sichtbare Effekte: Eine Untersuchung potenzieller Auswirkungen von Untererfassungen in deutschen Melderegisterdaten und Meldepflichtsbefreiungen auf gängige visuelle Darstellungen von Bevölkerungsgrößen in SDSS

    In: Manfred Schrenk; Clemens Beyer; Tatiana Popovich; Judith Ryser; Dana Mawlood (Hrsg.). REAL CORP 2026 Proceedings/Tagungsband. International Conference on Urban Planning, Regional Development and Information Society (REAL CORP-2026), EVERYBODY PLANS ... SOMETIMES Cherish Heritage, Plan Now, Create a Better Future!, located at REAL CORP 2026, March 22-25, Wien, Austria, ISBN 978-3-9504945-5-6, CORP - Competence Center of Urban and Regional Planning, Wien, 2026.

  2. Hubert Djuitcheu; Andrew Sergeev; Khurshid Alam; Danny Santhosh; Achim Autenrieth; Jochen Seitz

    Lightweight Security for Private Networks: Real-World Evaluation of WireGuard

    In: 2026 IEEE 103rd Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2026), June 9-12, Nice, France, IEEE, 6/2026.

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

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

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

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

  7. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

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

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