Publikationen

Jahr

2024 120
2023 714
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

Zeige Ergebnisse 31 bis 40 von 12753

Hannah Stein; Stefan Schröder; Pascal Kienast; Marco Kulig

Towards Requirements Engineering for Quantum Computing Applications in Manufacturing

In: Hawaii International Conference on System Sciences 2024. Hawaii International Conference on System Sciences (HICSS-2024), HICSS, USA, 1/2024.
Dusan Dokic; Florian Groen in't Woud; Wolfgang Maaß

Towards Sustainability of AI: A Systematic Review of Exisiting Life Cycle Assessment Approaches and Key Environmental Impact Parameters of Artificial Intelligence

In: Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences …
Julia Lena Huckert; Aleksandr Sidorenko; Achim Wagner

Analysis and Assessment of Multi-Agent Systems for Production Planning and Control

In: Francisco J. G. Silva; António B. Pereira; Raul D. S. G. Campilho (Hrsg.). Flexible Automation and Intelligent Manufacturing: Establishing Bridges …
Magnus Volkmann; Andreas Wagner; Jesko Hermann; Martin Ruskowski

Asset Administration Shells and GAIA-X Enabled Shared Production Scenario

In: Francisco J. G. Silva; Luís Pinto Ferreira; José Carlos Sá; Maria Teresa Pereira; Carla M. A. Pinto (Hrsg.). Flexible Automation and Intelligent …
Sabine Janzen; Prajvi Saxena; Sebastian Baer; Wolfgang Maaß

'Listening In': Social Signal Detection for Crisis Prediction

In: Conference Proceedings. Hawaii International Conference on System Sciences (HICSS), USA, HICSS, 1/2024.
Christoph Manss; Viktor Martel; Roman Weisgerber

Assessment of Ground Conditions in Grassland on a Mower with Artificial Intelligence

In: Informatik in der Land-, Forst- und Ernährungswirtschaft. GIL-Jahrestagung (GIL-2024), Fokus: Biodiversität fördern durch digitale Landwirtschaft, …
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.

Jahr

2024 120
2023 714
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