Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1371 bis 1380 von 2337.
  1. Kemal Çağlar Coşkun; Muhammad Hassan; Lars Hedrich; Rolf Drechsler

    Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC), June 23-27, San Francisco, USA, 2024.

  2. Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler

    Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.

  3. Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

    In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

  4. Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

    In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

  5. Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability

    In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2024), Orlando, USA, 2024.

  6. Marianna Jantunen; Richard Meyes; Veronika Kurchyna; Tobias Meisen; Pekka Abrahamsson; Rahul Mohanani

    Researchers' Concerns on Artificial Intelligence Ethics: Results from a Scenario-Based Survey

    In: IWSiB '24: Proceedings of the 7th International Workshop on Software-intensive Business. International Workshop on Software-intensive Business (IWSiB-2024), Software Business in the era of generative artificial intelligence, located at ICSE 2024, April 16, Lisabon, Portugal, ACM, 2024.

  7. Aryaman Reddi; Maximilian Tölle; Jan Peters; Georgia Chalvatzaki; Carlo D'Eramo

    Robust Adversarial Reinforcement Learning via Bounded Rationality Curricula

    In: Proceedings of the 12th International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2024), May 7-11, Wien, Austria, ISBN -, 2024.

  8. Mahdi Javadi; Shourie S. Grama; Daniel Pizzutilo; Shivesh Kumar

    Minimalistic Bio-Inspired Brachiation Robots

    In: Workshop on Unconventional Robots: Universal Lessons for Designing Unique Systems. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, Yokohama, Japan, IEEE, 5/2024.

  9. Shourie S Grama; Mahdi Javadi; Shivesh Kumar; Hossein Zamani Boroujeni; Frank Kirchner

    RicMonk: A Three-Link Brachiation Robot with Passive Grippers for Energy-efficient Brachiation

    In: IEEE International Conference on Robotics and Automation (ICRA). IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, Yokohama, Japan, IEEE, 5/2024.

  10. A Dynamic Multi-objective Scheduling Approach for Gradient-Based Reinforcement Learning

    In: 18th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2024. IFAC Symposium on Information Control Problems in Manufacturing (INCOM-2024), 18th IFAC Symposium on Information Control Problems in Manufacturing, August 28-30, Vienna, Austria, Elsevier, 2024.