Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1431 bis 1440 von 15232.

  1. Tim Bohne; Anne-Kathrin Patricia Windler; Martin Atzmueller

    A Domain-Agnostic Neuro-Symbolic Architecture for Multimodal Human-in-the-Loop Anomaly Detection and Complex Fault Diagnosis

    In: IEEE Access (IEEE), Vol. 13, Pages 210201-210236, IEEE, 12/2025.

  2. Fatemeh Shirinzadeh; Saeideh Nabipour; Kamalika Datta; Chandan Jha; Saeideh Shirinzadeh; Rolf Drechsler

    MAC-based Mapping of Adder Architectures to RRAM Crossbars

    In: 7th International Conference on Emerging Electronics (ICEE 2025). IEEE International Conference on Engineering and Emerging Technologies (ICEET), December 13-16, Bengaluru, India, 2025.

  3. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  4. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  5. Martin Wittmaier; Sebastian Wolff; Marco Wöltje; Ole van Laaten; Thomas Vögele; Babu Ajish; Yuhan Jin; Yi-Ling Liu; Tim Tiedemann; Matthis Trost; Philipp Meyer; Timo Lange; Peter Schaeidt; Joschua Marquart

    Bauabfälle: Einsatz von Künstlicher Intelligenz und Robotik für eine nachhaltige Kreislaufwirtschaft

    Mineralische Nebenprodukt, TK Verlag, 6/2025.

  6. Roman Heinrich; Oleksandr Havrylov; Manisha Luthra; Johannes Wehrstein; Carsten Binnig

    Opening The Black-Box: Explaining Learned Cost Models For Databases

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.14495, Pages 1-4, arXiv, 2025.

  7. Johannes Wehrstein; Timo Eckmann; Roman Heinrich; Carsten Binnig

    JOB-Complex: A Challenging Benchmark for Traditional & Learned Query Optimization

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.07471, Pages 1-8, a, 2025.

  8. Johannes Wehrstein; Timo Eckmann; Roman Heinrich; Carsten Binnig

    JOB-Complex: A Challenging Benchmark for Traditional & Learned Query Optimization

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.07471, Pages 1-14, arXiv, 2025.

  9. Pratyush Agnihotri; Boris Koldehofe; Roman Heinrich; Carsten Binnig; Manisha Luthra

    PDSP-Bench: A Benchmarking System for Parallel and Distributed Stream Processing

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2504.10704, Pages 1-22, arXiv, 2025.

  10. Van Long Nguyen; Shaza Zeitouni; Carsten Binnig; Zsolt István

    Reflex: Speeding Up SMPC Query Execution through Efficient and Flexible Intermediate Result Size Trimming

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2503.20932, Pages 1-15, arXiv, 2025.

Jahr

Mehr Optionen