Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Berger, Ulrich
47  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Usage of Augmented Reality for Improved Human-Machine Inter..:

, In: Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2021,
Bilous, Vadym ; Städter, J. Philipp ; Gebauer, Marc. - p. 263-274 , 2022
Link: https://doi.org/10.1007/..
 
?
2

IIoT and Smart Sensors in Human-Centered Manufacturing:

, In: The Future of Smart Production for SMEs,
Borck, Christian ; Schmitt, Randolf ; Berger, Ulrich. - p. 213-224 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Extracting total Amb programs from proofs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Berger, Ulrich ; Tsuiki, Hideki - p. 85-113 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Editorial—Introduction to the Book:

, In: The Future of Smart Production for SMEs,
Madsen, Ole ; Berger, Ulrich ; Møller, Charles... - p. 1-9 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Anwendungsbeispiele zur Integration heterogener Steuerungss..:

, In: Handbuch Industrie 4.0,
Lehmann, Christian ; Städter, J. Philipp ; Lehmann, Marlon Antonin. - p. 1-14 , 2022
Link: https://doi.org/10.1007/..
 
?
6

The Smart Production Vision:

, In: The Future of Smart Production for SMEs,
Møller, Charles ; Madsen, Ole ; Berger, Ulrich... - p. 13-28 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Introduction to Part 2: Transformation of SMEs Towards Smar..:

, In: The Future of Smart Production for SMEs,
Berger, Ulrich ; Madsen, Ole - p. 69-75 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Learning Task-independent Joint Control for Robotic Manipul..:

, In: 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA),
Vahrens, Lars ; Alvarez, Daniel Diez ; Berger, Ulrich. - p. 1250-1257 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Deep Learning-Enabled Real Time In-Site Quality Inspection ..:

, In: Advances in Automotive Production Technology – Theory and Application; ARENA2036,
Sarivan, Ioan-Matei ; Baumann, Stefan Andreas ; Álvarez, Daniel Díez... - p. 221-229 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Deconstructing Industry 4.0: Defining the Smart Factory:

, In: Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems; Lecture Notes in Mechanical Engineering,
Schou, Casper ; Colli, Michele ; Berger, Ulrich... - p. 356-363 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Development of a IIoT Platform for Industrial Imaging Senso..:

, In: Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems; Lecture Notes in Mechanical Engineering,
Borck, Christian ; Schmitt, Randolf ; Berger, Ulrich. - p. 330-338 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Prawf: An Interactive Proof System for Program Extraction:

, In: Lecture Notes in Computer Science; Beyond the Horizon of Computability,
Berger, Ulrich ; Petrovska, Olga ; Tsuiki, Hideki - p. 137-148 , 2020
Link: https://doi.org/10.1007/..
 
?
13

On the Constructive and Computational Content of Abstract M..:

, In: Mathesis Universalis, Computability and Proof; Synthese Library,
Berger, Ulrich - p. 55-73 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Undecidability of Equality for Codata Types:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Berger, Ulrich ; Setzer, Anton - p. 34-55 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Towards a Mobile Robotic Assembly System Using a Compliant ..:

, In: Tagungsband des 2. Kongresses Montage Handhabung Industrieroboter,
Berger, Ulrich ; Le, Duc Tho ; Zou, Wenchao. - p. 145-154 , 2017
Link: https://doi.org/10.1007/..
 
1-15