Skip to main content Skip to main navigation

Publications

Displaying results 831 to 840 of 15056.

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

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

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

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

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

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

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

  8. Michael Frey; Andreas Emrich; Rebekka Adams; Volker Zimmermann

    Entwicklung neuer Kollaborationsmöglichkeiten und Geschäftsmodelle: Vorstellung der entwickelten Konzepte und Lösungsbausteine, sowie einer Entscheidungshilfe zu ihrer Verwendung

    In: Jochen Deuse; Ralf Klinkenberg; Nikolai West. Industrielle Datenanalyse: Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken. Pages 87-100, Springer, Wiesbaden, 2023.

  9. Nikolai West; Marius Syberg; Jörn Schwenken; Thomas Eickhoff; Jens C Göbel; Michael Frey; Andreas Emrich; Christopher A Klupak; Felix Walker; Jochen Deuse

    Ausgangssituation und technische Grundlagen: Technische und organisatorische Rahmenbedingungen zur Anwendung industrieller Datenanalysen in dynamischen Wertschöpfungsnetzwerken

    In: Jochen Deuse; Ralf Klinkenberg; Nikolai West. Industrielle Datenanalyse: Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken. Pages 21-39, Springer, Wiesbaden, 2023.

  10. Andreas Emrich; Jan Gronewald; Michael Frey; Anna K. Hildebrandt; Andreas Hildebrandt; Peter Loos

    Understanding Agentic Systems as Business Processes: A Vision for Process-Driven GenAI Engineering

    In: Tobias Greff; Peter Pfeiffer (Hrsg.). Joint Proceedings of the WI 2025 Workshops Regulation of AI Systems and Gen AI for Business Process Management. Internationale Tagung Wirtschaftsinformatik (WI-2025), Workshop on Gen AI for Business Process Management, located at WI-2025, September 13-17, Münster, Germany, CEUR Workshops, 2025.

Year

More options