Skip to main content Skip to main navigation

Publications

Displaying results 681 to 690 of 14744.
  1. Chandan Jha; Ankit Bende; Xingyue Qian; Simranjeet Singh; Weikang Qian; Vikas Rana; Farhad Merchant; Rolf Drechsler

    Devices, Synthesis, Circuits, and Verification for Resistive RAM-Based Digital Computing-in-Memory

    In: Proceedings of the International Conference on Intelligent Computing and Systems at the Edge (ICEdge). International Conference on Intelligent Computing and Systems at the Edge (ICEdge-2025), December 18-20, Bangalore, India, 12/2025.

  2. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Transformation-Aided Verification of MAC Designs using Symbolic Computer Algebra

    In: Design and Verification Conference & Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe), October 14-15, München, Germany, 2025.

  3. Maurice Kraus; Felix Divo; Devendra Singh Dhami; Kristian Kersting

    xLSTM-Mixer: Multivariate Time Series Forecasting by Mixing via Scalar Memories

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

  4. Nils Grandien; Quentin Delfosse; Kristian Kersting

    Interpretable end-to-end Neurosymbolic Reinforcement Learning agents

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

  5. Kamalika Datta; Lennart Weingarten; Julen Larrucea; Abhoy Kole; Rolf Drechsler

    An Overview of Electronic Structure Problem using Quantum Computing in the NISQ Era

    In: Proceedings of the 6th International Conference on Frontiers in Computing and Systems (COMSYS). International Conference on Frontiers in Computing and Systems (COMSYS-2025), September 25-27, Warschau, Poland, 2025.

  6. Fault-Tolerant Character Recognition in Neuromorphic Systems Using RRAM Crossbar Arrays

    In: IEEE Nordic Circuits and Systems Conference (NorCAS). IEEE Nordic Circuits and Systems Conference (NorCAS-2025), October 21-23, Riga, Lithuania, IEEE, 2025.

  7. Matej Zecevic; Devendra Singh Dhami; Kristian Kersting

    On the Tractability of Neural Causal Inference

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2110.12052, Pages 0-10, arXiv, 2021.

  8. Xiaoting Shao; Arseny Skryagin; Wolfgang Stammer; Patrick Schramowski; Kristian Kersting

    Right for Better Reasons: Training Differentiable Models by Constraining their Influence Functions

    In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI Conference on Artificial Intelligence (AAAI-2021), Pages 9533-9540, AAAI Press, 2021.

  9. Sophie Burkhardt; Jannis Brugger; Nicolas Wagner; Zahra Ahmadi; Kristian Kersting; Stefan Kramer

    Rule Extraction From Binary Neural Networks With Convolutional Rules for Model Validation

    In: Frontiers in Artificial Intelligence, Vol. 4, Pages 1-10, Frontiers, 2021.

  10. Plinio Moreno; Alexandre Bernardino; José Santos-Victor; Rodrigo M. M. Ventura; Kristian Kersting

    Editorial: Robots that Learn and Reason: Towards Learning Logic Rules from Noisy Data

    In: Frontiers in Robotics and AI, Vol. 8, Pages 0-10, Frontiers, 2021.