Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 14951.
  1. Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang

    Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  2. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  3. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  4. A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  5. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

  6. Katharina-Maria Illgen; Laura Hein; Nina Kolchmeyer; Kim Pham; Oliver Thomas

    Towards a Blueprint for Practitioners to Enhance Digital Awareness: Preliminary Observations on AI-Related Workplace Stressors

    In: Proceedings of the Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2026), HICSS, 2026.

  7. Yujing Ke; Kevin George; Kathan Pandya; David Blumenthal; Maximilian Sprang; Gerrit Großmann; Sebastian Vollmer; David Antony Selby

    BioDisco: Multi-agent hypothesis generation with dual-mode evidence, iterative feedback and temporal evaluation

    In: Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2026), 35th International Joint Conference on Artificial Intelligence, August 15-21, Bremen, Germany, IJCAI, 8/2026.

  8. Lara Bergmann; Noah Greis; Roderich Groß; Robert Haschke; Nico Hochgeschwender; Wolfgang Hönig; Jana Jost; Stefan Kopp; Rania Rayyes; Sebastian Trimpe; Anna-Lisa Vollmer; Malte Wirkus; Sebastian Wrede; Klaus Neumann

    From Transportation to Manipulation: Transforming Magnetic Levitation to Magnetic Robotics

    In: Proceedings of the 2nd German Robotics Conference. German Robotics Conference (GRC-2026), March 11-13, Cologne, Germany, RIG, 2026.

  9. Malte Wirkus; Heiner Peters; Janne Janzen; Tobias Stark; Christoph Stoeffler

    Evaluation and Future Prospects of the SHIVAA Strawberry-Picking Robot

    In: Proceedings of the 2nd German Robotics Conference. German Robotics Conference (GRC-2026), March 11-13, Cologne, Germany, RIG, 2026.