Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 341 bis 350 von 14764.

  1. Frederic Theodor Stahl; Lars Nolle; Martin Maximilian Kumm; Christoph Tholen

    On The Optimisation Of Machine Learning Models For Predicting The Photosynthetically Available Radiation In The Water Column

    In: Marco Scarpa; Salvatore Cavalieri; Salvatore Serrano; Fabrizio De Vita (Hrsg.). Proceedings of the 39th ECMS International Conference on Modelling and Simulation ECMS 2025. International Conference on Modelling and Simulation (ECMS-2025), June 24-27, Catania, Italy, Pages 531-537, Communications of the ECMS, Vol. 39, No. 1, ISBN 978-3-937 436-86-9, ECMS, United Kingdom, 6/2025.

  2. Fabian Wildgrube; Pete Ehrett; Paul Trojahn; Richard Membarth; Bradford Beckmann; Dominik Baumeister; Matthäus Chajdas

    GPUs All Grown-Up: Fully Device-Driven SpMV Using GPU Work Graphs

    In: Proceedings of the 52nd Annual International Symposium on Computer Architecture (ISCA). International Symposium on Computer Architecture (ISCA-2025), June 21-25, Tokyo, Japan, Pages 1777-1791, ISBN 979-8-4007-1261-6, ACM, New York, NY, 6/2025.

  3. Eric Mittag; Robin Klose; Jan Herbst; Matthias Rüb; Jan Petershans; Christian König; Matthias Hollick; Hans Dieter Schotten

    Introducing a 6G-Enabled Multi-Connectivity Robotic Teleoperation Platform

    In: Workshop on 6G Connected Robotics for Collaborative Control, Sensing, and Communication. IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, June 8 - July 12, Montreal, Quebec, Canada, IEEE Xplore, 2025.

  4. Aheli Saha; Didier Stricker; René Schuster

    A Controller for Adaptive Neuromorphic Sensing using Active Efficient Coding

    In: Proceedings of the International Workshop on Reliable and Sustainable Neuromorphic Hardware. International Workshop on Reliable and Sustainable Neuromorphic Hardware, May 28-30, York, United Kingdom, 2025.

  5. Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Felix Ingrand; Uwe Köckemann; Fabio Patrizi; Alessandro Saetti; Ivan Serina; Sebastian Stock

    Unified Planning: Modeling, manipulating and solving AI planning problems in Python

    In: SoftwareX, Vol. 29, Elsevier, 2/2025.

  6. Pervaiz Khan; Andreas Dengel; Sheraz Ahmed

    Improving Medical Image Classification via Representation Fusion and Contrastive Learning

    In: International Conference on Digital Image Computing: Techniques and Applications (DICTA 2024). International Conference on Digital Image Computing Techniques and Applications (DICTA-2024), November 27-29, Pert, Australia, IEEE Xplore, 2025.

  7. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  8. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  9. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  10. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

Jahr

Mehr Optionen