Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1301 bis 1310 von 15217.

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

  2. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  3. Philipp Peter Engler; Ludger van Elst; Peter Schichtel; Andreas Dengel; Sheraz Ahmed

    Time Series Generation for Augmenting Multi-Channel Automotive Audio Data

    In: Lecture Notes in Computer Science. International Conference on Artificial Neural Networks (ICANN-2025), 34th International Conference on Artificial Neural Networks, September 9-12, Kaunas, Lithuania, Lecture Notes in Computer Science (LNCS), Vol. 16070, ISBN 978-3-032-04548-5, Springer, Cham, 2025.

  4. Daniel Geißler; Mengxi Liu; Bo Zhou; Sungho Suh; Paul Lukowicz

    Spend More to Save More (SM2): An Energy and Hardware-Aware Implementation of Successive Halving for Sustainable Hyperparameter Optimization

    In: Architecture of Computing Systems. International Conference on Architecture of Computing Systems (ARCS), Springer Nature Link, 2025.

  5. Dennis Salzmann; Florian Herrmann; Christoph Fischer; Hans Dieter Schotten

    Evaluating and Integrating Positioning Technologies: A Framework for Industrial Applications

    In: 2025 IEEE/ION Position, Location and Navigation Symposium (PLANS). IEEE/ION Position, Location and Navigation Symposium (IEEE/ION PLANS-2025), April 28 - May 1, Salt Lake City, UT, USA, Pages 756-767, Institute of Electrical and Electronics Engineers (IEEE), in collaboration with ION (The Institute of Navigation), 2025.

  6. Sanket Partani; Michael Zentarra; Anthony Kiggundu; Hans Dieter Schotten

    Improving QoS Prediction in Urban V2X Networks by Leveraging Data from Leading Vehicles and Historical Trends

    In: IEEE 101st Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2025-Spring), June 17-20, Oslo, Norway, IEEE Xplore, 2025.

  7. Sogo Pierre Sanon; Hans Dieter Schotten (Hrsg.)

    Securing Mobile Networks in the Quantum Era: Imperative Role of Post-Quantum Cryptography

    EuCNC/6G Summit (EUCNC & 6G SUMMIT-2025), IEEE Xplore, 6/2025.

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

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

  10. Andreas Wagner; Tatjana Legler; Martin Ruskowski

    Using In-Process Workpieces and Asset Administration Shells for Chaining Machining Skills

    In: Procedia Computer Science, Vol. 253, Pages 2841-2848, ELSEVIER, 2025.

Jahr

Mehr Optionen