Berger, Ulrich
1342  Ergebnisse:
Personensuche X
?
2

Computing with Infinite Objects: the Gray Code Case:

Spreen, Dieter ; Berger, Ulrich
Logical Methods in Computer Science.  19, Issue 3 (2023)  - p. , 2023
 
?
4

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

, In: Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2021,
 
?
 
?
7

Extracting total Amb programs from proofs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Berger, Ulrich ; Tsuiki, Hideki - p. 85-113 , 2022
 
?
8

Editorial—Introduction to the Book:

, In: The Future of Smart Production for SMEs,
 
?
10

The Smart Production Vision:

, In: The Future of Smart Production for SMEs,
Møller, Charles ; Madsen, Ole ; Berger, Ulrich... - p. 13-28 , 2022
 
?
11

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
 
?
12

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

, In: 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA),
 
?
13

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

, In: Advances in Automotive Production Technology – Theory and Application; ARENA2036,
 
?
14

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
 
?
15

Intuitionistic fixed point logic:

Berger, Ulrich ; Tsuiki, Hideki
Annals of Pure and Applied Logic.  172 (2021)  3 - p. 102903 , 2021
 
1-15