Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1771 bis 1780 von 15161.
  1. Franc Pouhela; Sogo Pierre Sanon; Dennis Krummacker; Hans Dieter Schotten

    MMQP: A Lightweight, Secure and Scalable IoT Communication Protocol

    In: The 2024 IEEE Cybermatics Congress. IEEE International Conference on Internet of Things (iThings-2024), Everything Interconnected via Cyberspace, August 19-22, Copenhagen, Denmark, IEEE Xplore, 8/2024.

  2. Tom Kocmi; Vilém Zouhar; Eleftherios Avramidis; Roman Grundkiewicz; Marzena Karpinska; Maja Popovic; Mrinmaya Sachan; Mariya Shmatova

    Error Span Annotation: A Balanced Approach for Human Evaluation of Machine Translation

    In: Proceedings of the Ninth Conference on Machine Translation. Conference on Machine Translation (WMT-2024), located at EMNLP 2024, November 15-16, Miami, Florida, USA, Association for Computational Linguistics, 11/2024.

  3. Abdelhadi Soudi; Mohamed Hannani; Kristof Van Laerhoven; Eleftherios Avramidis

    Exploring the Potential of Large Language Models in Adaptive Machine Translation for Generic Text and Subtitles

    In: Pierre Zweigenbaum; Reinhard Rapp; Serge Sharoff (Hrsg.). Proceedings of the 17th Workshop on Building and Using Comparable Corpora. Workshop on Building and Using Comparable Corpora (BUCC-2024), located at LREC 2024, May 20, Torino, Italy, Pages 51-58, ELRA and ICCL, 5/2024.

  4. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Unreflected Acceptance – Investigating the Negative Consequences of ChatGPT-Assisted Problem Solving in Physics Education

    In: HHAI 2024: Hybrid Human AI Systems for the Social Good. International Conference on Hybrid Human-Artificial Intelligence (HHAI-2024), Hybrid Human AI Systems for the Social Good, June 10-14, Malmö, Sweden, IOS Press, 2024.

  5. Sana Hassan Imam; Christopher Alexander Metz; Rolf Drechsler

    How Can Generative AI Curate the User Creativity on an Idea Crowdsourcing Platform?

    In: ACM CHI 24 Workshop on Generative AI in User-Generated Content. Generative AI in User-Generated Content Workshop, located at CHI 2024, May 12, 2024.

  6. Kemal Çağlar Coşkun; Muhammad Hassan; Lars Hedrich; Rolf Drechsler

    Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC), June 23-27, San Francisco, USA, 2024.

  7. Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler

    Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.

  8. Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

    In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

  9. Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

    In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

  10. Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability

    In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2024), Orlando, USA, 2024.