Skip to main content Skip to main navigation

Publications

Displaying results 1911 to 1920 of 15055.

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

    Reactive Knowledge Representation and Asynchronous Reasoning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2602.05625, Pages 1-18, arXiv, 2026.

  2. Mansi Sharma; Enrico Sartor; Marc Cavazza; Helmut Prendinger

    Echo State Networks for Bitcoin Time Series Prediction

    In: International Conference on Neural Information Processing. International Conference on Neural Information Processing (ICONIP), Pages 365-380, Springer, 2025.

  3. Mansi Sharma; Alexandre Duchevet; Florian Daiber; Jean-Paul Imbert; Maurice Rekrut

    Distinguishing Startle from Surprise Events Based on Physiological Signals

    In: 2025 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE). IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE-2025), October 22-24, Ancona, Italy, Pages 675-680, IEEE, 2025.

  4. Christian Schuler; Raman Ahmad; Ānrán Wáng; Daniil Gurgurov; Timo Baumann; Simon Ostermann; Josef van Genabith

    Dialectal Filtering: Synthesizing Kurdish Corpora for Low-Resource Varieties by Utilizing “Noise” in Large Textual Data

    In: TBA. International Conference on Language Resources and Evaluation (LREC-2026), May 11-16, Palma de Mallorca, Spain, TBA, 2026.

  5. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

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

  6. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  7. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  8. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.

  9. Sallar Ahmadi-Pour; Rolf Drechsler

    MicroRV32, A RISC-V Platform for Education and Research

    In: 1st Soft RISC-V Systems Workshop (SRvS Workshop). Soft RISC-V Systems Workshop (SRvS-2025), November 7-8, Online, 2024.

  10. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: Proceedings of the 7th International Workshop on Secure Hardware, Architecture, and Software (SeHAS'2025). International Workshop on Secure Hardware, Architecture, and Software (SeHAS-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.

Year

More options