Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 821 bis 830 von 6681.

  1. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    FARAD: Automated Formal Verification of Approximate Restoring Array Dividers

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bangalore, India, 2025.

  2. Sajjad Parvin; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    True-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bengaluru, India, 2025.

  3. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  4. Constantin Houy; Oliver Gutermuth; Sharam Dadashnia; Peter Loos

    Digitale Polizeiarbeit

    In: Tanja Klenk; Frank Nullmeier; Göttrik Wewer. Handbuch Digitalisierung in Staat und Verwaltung. Pages 649-660, ISBN 978-3-658-37372-6, Springer VS, Wiesbaden, 2/2025.

  5. Simon Kohaut; Nikolas Hohmann; Sebastian Brulin; Benedict Flade; Julian Eggert; Markus Olhofer; Jürgen Adamy; Devendra Singh Dhami; Kristian Kersting

    Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2412.18514, Pages 1-24, arXiv, 2024.

  6. Simon Kohaut; Benedict Flade; Julian Eggert; Devendra Singh Dhami; Kristian Kersting

    StaR Maps: Unveiling Uncertainty in Geospatial Relations

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2412.18356, Pages 1-8, arXiv, 2024.

  7. Simon Kohaut; Felix Divo; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting

    The Constitutional Filter

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2412.18347, Pages 1-8, arXiv, 2024.

  8. Felix Friedrich; Simone Tedeschi; Patrick Schramowski; Manuel Brack; Roberto Navigli; Huu Nguyen; Bo Li; Kristian Kersting

    LLMs Lost in Translation: M-ALERT uncovers Cross-Linguistic Safety Gaps

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2412.15035, Pages 1-20, arXiv, 2024.

  9. Arseny Skryagin; Daniel Ochs; Phillip Deibert; Simon Kohaut; Devendra Singh Dhami; Kristian Kersting

    Answer Set Networks: Casting Answer Set Programming into Deep Learning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2412.14814, Pages 1-16, arXiv, 2024.

  10. Sriraam Natarajan; Saurabh Mathur; Sahil Sidheekh; Wolfgang Stammer; Kristian Kersting

    Human-in-the-loop or AI-in-the-loop? Automate or Collaborate?

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2412.14232, Pages 1-7, arXiv, 2024.

Jahr

Mehr Optionen