Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 791 bis 800 von 14764.

  1. Benjamin Blumhofer; Philipp Richard; Tatjana Legler; Martin Ruskowski

    Enhancing flexibility in intralogistics 4.0 by using Services, Capabilities, and Skills

    In: Procedia Computer Science, Vol. 253, Pages 2377-2388, ELSEVIER, 2025.

  2. Juliano B. Araujo; Annalisa Nolte; Holger Berg; Monika Dittrich; Kathrin Greiff; Christiane Plociennik; André Pomp; Tobias Viere

    A Typology for Circular Economy Data

    In: Journal of Circular Economy, Vol. 3, Pages 1-22, Roskilde University (RUC), 4/2025.

  3. Sallar Ahmadi-Pour; Sajjad Parvin; Chandan Jha; Rolf Drechsler

    FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits

    In: o.A. (Hrsg.). ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, ACM, 2025.

  4. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  5. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.

  6. Summra Saleem; Muhammad Nabeel Asim; Ludger van Elst; Andreas Dengel

    Generative language models potential for requirement engineering applications: insights into current strengths and limitations

    In: Complex & Intelligent Systems, Vol. 11, No. 6, Pages 1-22, Springer, 2025.

  7. Chantale Lauer; Peter Pfeiffer; Alexander Michael Rombach; Nijat Mehdiyev

    Conversational Business Process Modeling using LLMs: Initial Results and Challenges

    In: Luise Pufahl; Jana-Rebecca Rehse (Hrsg.). EMISA 2025. International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA-2025), 15th International Workshop on Enterprise Modelling and Information Systems Architectures, located at EMISA 2025, Heilbronn, Germany, Gesellschaft für Informatik e.V. Bonn, 5/2025.

  8. Hamraz Javaheri; Omid Ghamarnejad; Ragnar Bade; Paul Lukowicz; Jakob Karolus; Gregor Alexander Stavrou

    Beyond the visible: preliminary evaluation of the first wearable augmented reality assistance system for pancreatic surgery

    In: International Journal of Computer Assisted Radiology and Surgery (IJCARS), Vol. 20, No. 1, Pages 117-129, Springer, 2025.

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

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

Jahr

Mehr Optionen