Informatik (14.430 Artikel)

Third International Workshop, iMIMIC 2020, Second International Workshop, MIL3ID 2020, and 5th International Workshop, LABELS 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 20...

This book constitutes the proceedings of the 20 International Conference of the International Graphonomics Society, IGS 2021/2022. Originally planned to be celebrated in September 2021, due to the ...

1. Einleitung.- 2. Grundlagen.- 2.1. Das Points-in-Regions Mengenproblem.- 2.2 Zugrundeliegendes Speicher- und Berechnungsmodell.- 2.3. Der Priority Search Tree.- 2.4. Der Segment Tree.- 2.5. Der I...

It has become clear to researchers in robotics and adaptive behaviour that current approaches are yielding systems with limited autonomy and capacity for self-improvement. To learn autonomously and...

Introduction to Artificial Intelligence

·       Includes a section on AI and society, discussing the implications of AI on topics such as employment and transportation

1. Complexity Measures and Reductions.- 2. Relations to Other Computation Models.- 3. Lower Bounds.- 4. The NC Hierarchy.- 5. Arithmetic Circuits.- 6. Polynomial Time and Beyond.- Appendix: Mathema...

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm).  This uniquely accessi...

Transition Systems and CCS

Transition Systems and CCS

Principles and Applications

Principles and Applications

Principles and Applications

Introduction to Cryptography with Maple

Introduction to Cryptography with Maple