Publications

Year

2024 112
2023 712
2022 796
2021 675
2020 594
2019 567
2018 536
2017 506
2016 540
2015 539
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

Displaying results 41 to 50 of 12743.

Sergiy Melnyk; Shreya Tayade; Mervat Zarour; Hans Dieter Schotten

Wireless Industrial Communication and Control System: AI Assisted Blind Spot Detection-and-Avoidance for AGVs

In: 3rd International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022). International Conference on Innovative …
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 …
Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

Towards muscle sensing by a non-contact optical systemusing photogrammetry

In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical …
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 - …
Christian Kellermann; Cornelius Markert

KI in der Arbeitswelt

In: Aus Politik und Zeitgeschichte (APuZ), Vol. 42/2023, Pages 35-40, BPB, 10/2023.

Year

2024 112
2023 712
2022 796
2021 675
2020 594
2019 567
2018 536
2017 506
2016 540
2015 539
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