Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 191 bis 200 von 14901.

  1. Laleh Akbari; Rolf Drechsler

    On the Origins of Self-Explainability in Cyber-Physical Systems: Model-Based and Data-Driven Approaches

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, 2026.

  2. Luca Müller; Chandan Jha; Benjamin Arlt; Muhammad Hassan; Rolf Drechsler

    Modular End-to-End Pipeline for Formal Property Verification using Large Language Models

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, 2026.

  3. Chandrajit Pal; Lennart Weingarten; Klaus D. McDonald-Maier; Rolf Drechsler; Sangeet Saha; Kamalika Datta

    On Analysis of Applications using MAGIC-based In-Memory Computing

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  4. Abhoy Kole; Majd Assaad; Till Schnittka; Rolf Drechsler

    Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  5. Abhoy Kole; Julie Maria Raju; Kamalika Datta; Rolf Drechsler

    Variational Manifold Engineering in Quantum Chemistry: Structural Challenges in Ansatz Design

    In: IEEE Computer Society Annual Symposium on VLSI. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  6. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra

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

  7. Jan Herbst; Robin Müller; Hans Dieter Schotten (Hrsg.)

    Introducing the Deterministic Body Subnetwork (DBS) - Ring-Topology Scheduling using Raw 802.11 Frame Injection

    EuCNC/6G Summit (EUCNC & 6G SUMMIT-2026), June 2-5, Malaga, Spain, IEEE Explore, 2026.

  8. Robert Simon Schiff; Natalie Kohler; Mareike Böckel; Ralf Möller; Mattis Hartwig; Sebastian Wolfrum

    Developement of an AI-Supported Triage System for Safe Patient Allocation in Integrated Emergency Centers

    In: Abstracts of the 25th International Conference on Emergency Medicine (ICEM 2026). International Conference on Emergency Medicine (ICEM-2026), June 9-13, Hamburg, Germany, Germany, Pages 30-31, No. 46, ISBN 978-3-948023-45-4, Conventus Congressmanagement & Marketing GmbH, Jena, 6/2026.

  9. Patrick Knab; David Steinmann; Christian Bartelt; Kristian Kersting; Bernt Schiele; Thomas Seidl; Rudolf Schlegel; Wolfgang Stammer

    What's in the Bottle? A Survey and Roadmap of Concept Bottleneck Models

    In: Transactions on Machine Learning Research (TMLR), Vol. 2026, Pages 1-38, Open Review, 2026.

  10. Annika Tjabben; Lea Bergkemper; Carolin Conrad; Michael Gundall; Hans Dieter Schotten

    Experimental Analysis of Microbubble Propagation for In-Body Data Transmission

    In: IEEE MeditCom 2026. IEEE International Mediterranean Conference on Communications and Networking (MeditCom-2026), July 6-9, Cagliari, Italy, IEEE, 2026.

Jahr

Mehr Optionen