Publikationen

Jahr

2024 129
2023 716
2022 796
2021 676
2020 595
2019 571
2018 537
2017 507
2016 541
2015 540
2014 578
2013 504
2012 609
2011 589
2010 572
2009 533
2008 506
2007 370
2006 377
2005 327
2004 270
2003 256
2002 203
2001 182
2000 171
1999 101
1998 102
1997 116
1996 80
1995 97
1994 105
1993 128
1992 144
1991 119
1990 58
1989 26
1988 10
1987 16
1986 8
1985 1
1983 1

Zeige Ergebnisse 71 bis 80 von 12774

Lena Herrmann; Jan Christoph Krause

Agrar-Robotik meets MLOps

In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.
Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

LLM-Assisted High Quality Invariants Generation for Formal Verification

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …
Caroline Dominik; Rolf Drechsler

Polynomial Formal Verification of Sequential Circuits

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
Mohamed Nadeem; Chandan Jha; Rolf Drechsler

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.
Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on …
André Meyer-Vitali

AI Engineering for Trust by Design

In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …
Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

AI-Driven Software Engineering – The Role of Conceptual Modeling

In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - …
Tomohiro Nishiyama; Lisa Raithel; Roland Roller; Pierre Zweigenbaum; Eiji Aramaki

Assessing authenticity and anonymity of synthetic user-generated content in the medical domain.

In: Proceedings of CALD-Pseudo at EACL 2024. Conference of the European Chapter of the Association for Computational Linguistics (EACL-2024), March …
Marja Fleitmann; Hristina Uzunova; René Pallenberg; Andreas M Stroth; Jan Gerlach; Alexander Fürschke; Jörg Barkhausen; Arpad Bischof; Heinz Handels

Artificial Intelligence-Based Prediction of Contrast Medium Doses for Computed Tomography Angiography Using Optimized Clinical Parameter Sets

In: Methods of Information in Medicine, Vol. 63, Pages 1-10, Georg Thieme Verlag KG, Stuttgart, 2024.

Jahr

2024 129
2023 716
2022 796
2021 676
2020 595
2019 571
2018 537
2017 507
2016 541
2015 540
2014 578
2013 504
2012 609
2011 589
2010 572
2009 533
2008 506
2007 370
2006 377
2005 327
2004 270
2003 256
2002 203
2001 182
2000 171
1999 101
1998 102
1997 116
1996 80
1995 97
1994 105
1993 128
1992 144
1991 119
1990 58
1989 26
1988 10
1987 16
1986 8
1985 1
1983 1