Hartmut Schmeck

Friederike Pfeiffer-Bohnen

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Theoretischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Formale Sprachen, endliche Automaten mit und ohne Ausgabe, Minimierung endlicher Automaten, Kellerautomaten, Turingmaschinen, rechtslineare, kontextfreie, monotone/kontextsensitive, allgemeine Grammatiken, Pumping-Lemmas, Berechenbarkeits- und Komplexitätstheorie und weitere.

Band I: Theoretische Informatik

100 Übungsaufgaben zu Grundlagen der Informatik

Theo Ungerer

Christian Müller-Schloer

Organic Computing has emerged as a challenging vision for future information processing systems. Its basis is the insight that we will increasingly be surrounded by and depend on large collections of autonomous systems, which are equipped with sensors and actuators, aware of their environment, communicating freely, and organising themselves in order to perform actions and services required by the users. These networks of intelligent systems surrounding us open fascinating ap-plication areas and at the same time bear the problem of their controllability. Hence, we have to construct such systems as robust, safe, flexible, and trustworthy as possible. In particular, a strong orientation towards human needs as opposed to a pure implementation of the tech-nologically possible seems absolutely central. The technical systems, which can achieve these goals will have to exhibit life-like or "organic" properties. "Organic Computing Systems" adapt dynamically to their current environmental conditions. In order to cope with unexpected or undesired events they are self-organising, self-configuring, self-optimising, self-healing, self-protecting, self-explaining, and context-aware, while offering complementary interfaces for higher-level directives with respect to the desired behaviour. First steps towards adaptive and self-organising computer systems are being undertaken. Adaptivity, reconfigurability, emergence of new properties, and self-organisation are hot top-ics in a variety of research groups worldwide. This book summarises the results of a 6-year priority research program (SPP) of the German Research Foundation (DFG) addressing these fundamental challenges in the design of Organic Computing systems. It presents and discusses the theoretical foundations of Organic Computing, basic methods and tools, learning techniques used in this context, architectural patterns and many applications. The final outlook shows that in the mean-time Organic Computing ideas have spawned a variety of promising new projects.

Organic Computing — A Paradigm Shift for Complex Systems

Franz J. Rammig

Mike Hinchey

Anastasia Pagnoni

“Look deep into nature and you will understand everything better.” advised Albert Einstein. In recent years, the research communities in Computer Science, Engineering, and other disciplines have taken this message to heart, and a relatively new field of “biologically-inspired computing” has been born. Inspiration is being drawn from nature, from the behaviors of colonies of ants, of swarms of bees and even the human body. This new paradigm in computing takes many simple autonomous objects or agents and lets them jointly perform a complex task, without having the need for centralized control. In this paradigm, these simple objects interact locally with their environment using simple rules. Applications include optimization algorithms, communications networks, scheduling and decision making, supply-chain management, and robotics, to name just a few. There are many disciplines involved in making such systems work: from artificial intelligence to energy aware systems. Often these disciplines have their own field of focus, have their own conferences, or only deal with specialized s- problems (e.g. swarm intelligence, biologically inspired computation, sensor networks). The Second IFIP Conference on Biologically-Inspired Collaborative Computing aims to bridge this separation of the scientific community and bring together researchers in the fields of Organic Computing, Autonomic Computing, Self-Organizing Systems, Pervasive Computing and related areas. We are very pleased to have two very important keynote presentations: Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles by Marco Dorigo (Université Libre de Bruxelles, Belgium), of which an abstract is included in this volume.

IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy

Biologically-Inspired Collaborative Computing

Hartmut Schmeck

Books

Your next favorite book is out there