Skip to main content Skip to main navigation

Publications

Displaying results 1701 to 1710 of 15202.
  1. Víctor Uc-Cetina; Nicolás Navarro-Guerrero; Anabel Martin-Gonzalez; Cornelius Weber; Stefan Wermter

    Survey on Reinforcement Learning for Language Processing

    In: Artificial Intelligence Review, Vol. 1, Pages 1-33, Springer, 6/2022.

  2. Cornelia Große; Sebastian Huhn; Markus Leuschner

    Programmieren mit Arduinos

    In: Lutz Mädler; Claudia Sobich. Schule in Farbigen Zuständen - Lernmodule für den 5. Jahrgang. Pages 37-82, OpenAccess, 2022.

  3. Tim Meywerk; Arthur Niedzwiecki; Vladimir Herdt; Rolf Drechsler

    Simulation-Based Debugging of Formal Environment Models

    In: The 30th Mediterranean Conference on Control and Automation (MED). Mediterranean Conference on Control and Automation (MED), June 28 - July 1, Athen, Greece, 2022.

  4. Soumya Sengupta; Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    AQuCiDe: Architecture Aware Quantum Circuit Decomposition

    In: 2022 International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA). International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA-2022), July 18-19, Knoxville, USA, Springer, 2022.

  5. Sallar Ahmadi-Pour; Sangeet Saha; Vladimir Herdt; Rolf Drechsler; Klaus McDonald-Maier

    Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  6. Saman Fröhlich; Rolf Drechsler

    Generation of Verified Programs for In-Memory Computing

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  7. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  8. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  9. Kamalika Datta; Saeideh Shirinzadeh; Phrangboklang Lyngton Thangkhiew; Indranil Sengupta; Rolf Drechsler

    Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.