Skip to main content Skip to main navigation

Publications

Displaying results 1771 to 1780 of 13783.

  1. Margarita Chikobava; Antonio Krüger

    “Do You Even Need a City Guide Anymore?” Expert Adoption of XR Technology for Guided City Tours

    In: 2025 IEEE International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and Augmented Reality (ISMAR-2025), October 8-12, Daejeon, Korea, Republic of, IEEE, 2025.

  2. Mathieu Deremetz; Giuseppe Ventura; Jacob Beck; Pierre Letier; Raphaël Boissonnade; Côme Berger; Montserrat Diaz-Carrasco; Ana Luisa Ruiz; Thomas A. Schervan; Christopher Zeis; Mehmed Yüksel; Wiebke Brinkmann; Fabien Marty; Matisse Briand

    Design of an Interoperable Interface for In-Space Operations and Services of Modular Spacecraft

    In: International Astronautical Congress. International Astronautical Congress (IAC-2025), 76th International Astronautical Congress (IAC), located at IAC-2025, September 29 - October 3, Sydney, AU-NSW, Australia, IAF, 2025.

  3. Mehmed Yüksel

    Aufbau und Untersuchung eines Verfahrens zur kontaktlosen Energieübertragung Unterwasser

    Universität Bremen, 6/2009.

  4. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  5. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  6. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  7. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  8. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  9. Mohammad Reza Heidari Iman; Rolf Drechsler; Chandan Jha; Ali Azarpeyvand; Tara Ghasempouri; Sharjeel Imtiaz; Jaan Raik; Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli; Giorgio Di Natale

    Application of Functional Verification Techniques in Hardware Trust

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  10. Miro Miranda Lorenz; Ashutosh Dinesh; Duway Nicolas Lesmes Leon; Francisco Mena; Marcela Charfuelan Oliva; Andreas Dengel (Hrsg.)

    RegDiff: Regression Diffusion for Earth Observation

    IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2025), August 3-8, Brisbane, Australia, IEEE, 8/2025.

Year

More options