Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 321 bis 330 von 15123.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

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

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

  2. Ankit Bende; Simranjeet Singh; Chandan Jha; Daniele Storelli; Dennis Nielinger; Rolf Drechsler; Regina Dittmann; Stephan Menzel; Farhad Merchant; Vikas Rana

    Device-to-logic variability propagation in RRAM-based logic-in-memory architectures

    In: Neuromorphic Computing and Engineering, IOP Science, 2026.

  3. Fatemeh Shirinzadeh; Kamalika Datta; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

    An HDL-Centric Synthesis and Verification Approach for RRAM-based Neuromorphic Systems

    In: Microprocessors and Microsystems (MICPRO), Science Direct, 2026.

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

    Low T-Depth Clifford+T Decomposition of Large Toffoli Gates using Dynamic Phase Correction

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE-2026), September 13-18, Toronto, Canada, IEEE, 2026.

  5. Sutirtha Bhattacharyya; Chandan Jha; Rolf Drechsler

    Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking

    In: 8th ACM/IEEE International Symposium on Machine Learning for CAD. ACM/IEEE Workshop on Machine Learning for CAD (MLCAD-2026), September 7-9, Seogwipo, Korea, Democratic People's Republic of, 2026.

  6. Karl Aaron Rudkowski; Abhoy Kole; Rolf Drechsler

    Optimizing Run-Time Assertions for Quantum Circuit Debugging: A Depth–Ancilla Tradeoff

    In: 39th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2026), September 30 - October 2, Rom, Italy, IEEE, 2026.

  7. Saeideh Nabipour; Saeideh Shirinzadeh; Rolf Drechsler

    A Design Automation Framework for Approximate MAGIC-Based Dadda Tree Multipliers in Memristive In-Memory Computing

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  8. Mario Schweikert; Andrey Guzhov; Ko Watanabe; Andreas Dengel; Isao Echizen; Junichi Yamagishi; Tobias Wirth

    Fake Faces, Real Bias: A Multi-Ethnic Benchmark for Deepfake Detection

    In: Proceedings of the 2026 IEEE International Joint Conference on Biometrics (IJCB). IEEE/IAPR International Joint Conference on Biometrics (IJCB-2026), September 1-4, Rom, Italy, IEEE/IAPR, 2026.

  9. Jan Gronewald; Andreas Emrich; Nijat Mehdiyev

    Knowledge Graphs and Explainable AI as Complementary Resources for Urban Mining

    In: Enrico Gerding; Simon Parsons; Roxana Radulescu; Samarth Swarup; Zita Vale; Vahid Yazdanpanah (Hrsg.). Proceedings of the second international workshop on AI systems for the environment 2026 (AISE 2026). International Workshop on AI Systems for the Environment (AISE-2026), located at IJCAI-ECAI 2026, August 16, Bremen, Germany, ePrints Soton, 2026.

  10. Jan Gronewald; Sebastian Stephan; Alexander Michael Rombach; Peter Fettke

    Generating Synthetic Journal Entries for Audit Analytics: Method and Dataset

    In: Data in Brief, Vol. 69, Pages 1-14, Elsevier, 2026.

Jahr

Mehr Optionen