Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 891 bis 900 von 14483.
  1. Mohammad Reza Heidari Iman; Sallar Ahmadi-Pour; Rolf Drechsler; Tara Ghasempouri

    Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study

    In: IEEE Nordic Circuits and Systems Conference (NorCAS). IEEE Nordic Circuits and Systems Conference (NorCAS-2024), October 29-30, Lund, Sweden, 2024.

  2. Elke Warmerdam; Christian Wolff; Marcel Orth; Tim Pohlemann; Bergita Ganse

    Long-term continuous instrumented insole-based gait analyses in daily life have advantages over longitudinal gait analyses in the lab to monitor healing of tibial fractures

    In: Frontiers in Bioengineering and Biotechnology, Vol. 12, Pages 0-0, Frontiers, 2024.

  3. Christian Wolff; Elke Warmerdam; Tim Dahmen; Tim Pohlemann; Philipp Slusallek; Bergita Ganse

    Novel ground reaction force-based parameters for monitoring rehabilitation in tibial fractures

    In: Gait & Posture, Vol. 113, Pages 256-257, Elsevier, 2024.

  4. Realizing Closed-Loop Supply Chain Networks based on Dataspaces and Manufacturing Marketplaces

    In: IFAC-PapersOnLine. IFAC Symposium on Information Control Problems in Manufacturing (INCOM-2024), Pages 235-240, Vol. 58, Elsevier, 1/2024.

  5. SurgeoNet: Realtime 3D Pose Estimation of Articulated Surgical Instruments from Stereo Images using a Synthetically-trained Network

    In: Pattern Recognition - 46th DAGM German Conference, DAGM GCPR 2024, Proceedings. German Conference on Pattern Recognition (GCPR-2024), September 10-13, Munich, Germany, Lecture Notes in Computer Science, Vol. 15297, Springer Nature, 2024.

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

    LogPPL: A Tool for Probabilistic Process Mining

    In: Jochen De Weerdt; Giovanni Meroni; Han van der Aa; Karolin Winter (Hrsg.). ICPM Doctoral Consortium and Demo Track 2024. International Conference on Process Mining (ICPM-2024), 6th International Conference on Process Mining (ICPM 2024), located at ICPM 2024, October 14-18, Copenhagen, Denmark, Vol. 3783, CEUR Workshop Proceedings, 10/2024.

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

    Data Petri Nets Meet Probabilistic Programming

    In: Andrea Marrella; Manuel Resinas; Mieke Jans; Michael Rosemann (Hrsg.). Proceedings of the 22nd International Conference on Business Process Management. Business Process Management (BPM-2024), September 1-6, Krakow, Poland, Pages 21-38, LNCS, Vol. 14940, ISBN 978-3-031-70396-6, Springer, Switzerland, 9/2024.

  8. Martha Schnieber; Rolf Drechsler

    Automated Polynomial Formal Verification Using Generalized BDD Patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2024.

  9. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2024.

  10. Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits

    In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 20, No. 4, Pages 1-19, ACM, 10/2024.