Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 521 bis 530 von 14836.
  1. CaRaCTO-3D: From Camera-Radar Calibration to Scene Reconstruction

    In: SN Computer Science (SNCS), Vol. 6, No. 7, Pages 822-842, Springer, 2025.

  2. Deep Learning Based Key Information Extraction from Business Documents: Systematic Literature Review

    In: ACM Computing Surveys (CSUR), Vol. 58, No. 2, Pages 1-37, Association for Computing Machinery, New York, NY, USA, 2025.

  3. Technical Test of a Dry Electrode Headset for EEG Measurement Under Microgravity

    In: Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), located at BIOSTEC 2024, Rom, Italy, ISBN 978-3-031-96899-0, Springer, Cham, 8/2025.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. RegDiff: Regression Diffusion for Earth Observation

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

  9. Informed Learning for efficient Crop Yield Prediction

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

  10. Performance Gains in Quantum SAT Solvers Using ESOP Encoding

    In: Proceedings of the Workshop on Formal Methods in Quantum Computing (FMQC 2025). Workshop on Formal Methods in Quantum Computing (FMQC-2025), located at CONFEST 2025, August 25, Aarhus, Denmark, 2025.