Skip to main content Skip to main navigation

Publications

Displaying results 1821 to 1830 of 14859.

  1. Mirko Lenz; Lorik Dumani; Ralf Schenkel; Ralph Bergmann

    Numbers Don't Lie: Hybrid Extraction and Validation of Quantitative Statements in Arguments with Semi-structured Information

    In: Tanya Braun; Benjamin Paaßen; Frieder Stolzenburg (Hrsg.). KI 2025: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2025), Potsdam, Germany, Pages 77-90, Lecture Notes in Computer Science (LNCS), Vol. 15956, ISBN 978-3-032-02813-6, Springer Nature Switzerland, Cham, 2025.

  2. Devanshu Anand; Michael Gundall; Hans Dieter Schotten

    Implementation and Evaluation of Open and Reproducible NF Migration Scenarios in a Containerized 6G Core Network

    In: 2025 IEEE Globecom Workshops. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2025), December 8-12, IEEE, 12/2025.

  3. Dinh Nam Pham; Eleftherios Avramidis

    The Importance of Facial Features in Vision-based Sign Language Recognition: Eyes, Mouth or Full Face?

    In: ACM International Conference on Intelligent Virtual Agents (IVA Adjunct ’25). International Workshop on Sign Language Translation and Avatar Technology (SLTAT-2025), 9th International Workshop on Sign Language Translation and Avatar Technology, located at IVA-2025, September 16, Berlin, Germany, ISBN 979-8-4007-1996-7/25/09, ACM, 9/2025.

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

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

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

  7. Maryam Movahedifar; Lena Steinmann; Rolf Drechsler

    Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies

    In: INFORMATIK FESTIVAL 2025. Workshop Research Data and Software Competencies (RDSC-2025), located at INFORMATIK 2025, September 16, Berlin, Germany, GI, 2025.

  8. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Maria Caropresse; Gillian Lovel; Daniel A Porto; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    SAT: Segment and Track Anything for Microscopy

    In: 17th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2025), February 23-25, Porto, Portugal, SCITEPRESS Digital Library, 2/2025.

  9. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Gillian Lovel; Daniel A Porto; Biana Migliori; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    Box it and Track it: A Weakly Supervised Framework for Cell Tracking

    In: DAGM German Conference on Pattern Recognition, Freiburg. Annual Symposium of the German Association for Pattern Recognition (DAGM-2025), September 24-26, Freiburg, Germany, Springer Nature, 2025.

  10. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

Year

More options