Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 671 bis 680 von 14734.

  1. David Antony Selby; Maximilian Sprang; Jan Ewald; Sebastian Vollmer

    Beyond the black box with biologically informed neural networks

    In: Linda Koch (Hrsg.). Nature Reviews Genetics (Nat Rev Genet), Vol. NA, Pages NA-NA, Springer Nature, 3/2025.

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

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

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

  5. Adrian Danzglock; Vamsi Krishna Origanti; Frank Kirchner

    MujocoROS2Control: Seamless MuJoCo Integration with ROS 2 for Robot Simulation and Control

    In: Daniel S. Katz (Hrsg.). Journal of Open Source Software (JOSS), Vol. 10, No. 116, Pages *-*, Journal of Open Source Software, Online, 12/2025.

  6. Hassan Soliman; Hitesh Kotte; Milos Kravcik; Norbert Pengel; Nghia Duong-Trung

    Retrieval-Augmented Chatbots for Scalable Educational Support in Higher Education

    In: Lixiang Yan; Andy Nguyen; Ryan Baker; Mutlu Cukurova; Dragan Gasevic; Kaixun Yang; Yueqiao Jin; Linxuan Zhao; Yuheng Li (Hrsg.). Proceedings of the Second International Workshop on Generative AI for Learning Analytics co-located with the 15th International Conference on Learning Analytics and Knowledge (LAK 2025). International Workshop on Generative AI for Learning Analytics (GenAI-LA-2025), March 3, Dublin, Ireland, Pages 22-31, CEUR Workshop Proceedings (CEUR), Vol. 3994, CEUR-WS.org, 7/2025.

  7. Lukas Groß; Elie Mounzer; David M. Wawrzyniak; Josef M. Winter; Nikolaus A. Adams

    Tensor Network Fluid Simulations in Structured Domains Using the Lattice Boltzmann Method

    In: ArXiv e-prints (arxiv), Pages 1-24, arXiv, 12/2025.

  8. Jan Herbst; Jan Petershans; Eric Mittag; Matthias Rüb; Christian König; Hans Dieter Schotten

    A Teleoperation Testbed for Resilient Wireless Industrial Collaborative Robotics Evaluations

    2025 IEEE 21st International Conference on Factory Communication Systems (WFCS), 6/2025.

  9. Jun Seok Oh; Carolin Leluschko; Christoph Tholen; Marcello Gugliotta

    Flash-flood-driven litter accumulation on beaches studied with aerial imagery and machine learning on Sicily’s northeastern coast, southern Italy

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2307, Pages 1-20, The Royal Society, 10/2025.

  10. Christoph Tholen; Carolin Leluschko; Lars Nolle; Frederic Theodor Stahl

    Measuring and Comparison of the Energy Consumption of Different Machine Learning Methods

    In: Max Bramer; Frederic Theodor Stahl (Hrsg.). Artificial Intelligence XLII. SGAI International Conference on Artificial Intelligence (AI-2025), Cham, Pages 172-184, ISBN 978-3-032-11402-0, Springer Nature Switzerland, 11/2025.

Jahr

Mehr Optionen