Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 351 bis 360 von 13867.

  1. Claudia Hauff; Craig Macdonald; Dietmar Jannach; Gabriella Kazai; Franco Maria Nardini; Fabio Pinelli; Fabrizio Silvestri; Nicola Tonellotto (Hrsg.)

    Advances in Information Retrieval: 47th European Conference on Information Retrieval

    European Conference on Information Retrieval (ECIR-2025), 47th European Conference on Information Retrieval, located at ECIR, April 6-10, Lucca, Italy, Italy, Lecture Notes in Computer Science (LNCS), Vol. 15575, ISBN 978-3-031-88717-8, Springer, Springer Cham, 4/2025.

  2. Abhoy Kole; Mohammed E. Djeridane; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

    In: ACM Journal on Emerging Technologies in Computing Systems, ACM, 2025.

  3. Rolf Drechsler

    Preserving and Improving Verifiability of Circuits Based on Local Transformations

    In: 26th IEEE Latin American Test Symposium 2025. IEEE Latin American Test Symposium (LATS-2025), March 11-14, San Andres, Colombia, 2025.

  4. Sabine Janzen; Hannah Stein; Katharina Trinley; Cicy Agnes; Vaibhav Jain; Karan Rajeshkar; Nirav Shenoy; Anika Rusch; Sujatro Ghosh; Wolfgang Maaß

    ESCADE: Energy-efficient Artificial Intelligence for Cost-effective and Sustainable Data Centers

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  5. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Lower bound proof for the size of BDDs representing a shifted addition

    In: Information Processing Letters, Vol. 24, Pages 140-151, IEEE, 2025.

  6. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more: Using Boolean literals to solve 2048

    In: IT - information technology (IT), Vol. 66, Pages 4-5, De Gruyter Brill, 2025.

  7. Hamraz Javaheri; Omid Ghamarnejad; Paul Lukowicz; Gregor A Stavrou; Jakob Karolus

    From Concept to Clinic: Multidisciplinary Design, Development, and Clinical Validation of Augmented Reality-Assisted Open Pancreatic Surgery

    In: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI), Pages 1-24, ACM, 2025.

  8. Harrison Wilde; Christopher Tomlinson; Bilal A Mateen; David Antony Selby; Hari Krishnan Kanthimathinathan; Spiros Denaxas; Seth Flaxman; Sebastian Vollmer; Christina Pagel; Katherine Brown; CVD-COVID-UK/COVID-IMPACT Consortium

    Trends in pediatric hospital admissions caused or contributed by SARS-CoV-2 infection in England

    In: The Journal of Pediatrics, Vol. 276, No. 114370, Pages 1-1, Elsevier BV, 1/2025.

  9. Rahul Sharma; Sumantrak Mukherjee; Andrea Sipka; Eyke Hüllermeier; Sebastian Vollmer; Sergey Redyuk; David Antony Selby

    X-Hacking: The Threat of Misguided AutoML

    In: 42nd International Conference on Machine Learning (ICML) 2025. International Conference on Machine Learning (ICML-2025), July 13-19, Vancouver, BC, Canada, ICML, 2025.

  10. Lennart Weingarten; Kamalika Datta; Sallar Ahmadi-Pour; Abhoy Kole; Rolf Drechsler

    Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs

    In: Design and Verification of Cyber-Physical Systems: From Theory to Applications, Science Direct, 2025.

Jahr

Mehr Optionen