Robots and Biological Systems: Towards a New Bionics?
Bionics evolved in the 1960s as a framework to pursue the development of artificial systems based on the study of biological systems. Numerous disciplines and technologies, including artificial intelligence and learningdevices, information processing, systems architecture and control, perception, sensory mechanisms, and bioenergetics, contributed to bionics research. This volume is based on a NATO Advanced Research Workshop within the Special Programme on Sensory Systems for Robotic Control, held in Il Ciocco, Italy, in June 1989. A consensus emerged at the workshop, and is reflected in the book, on the value of learning from nature in order to derive guidelines for the design of intelligent machines which operate in unstructured environments. The papers in the book are grouped into seven chapters: vision and dynamic systems, hands and tactile perception, locomotion, intelligent motor control, design technologies, interfacing robots to nervous systems, and robot societies and self-organization.

Seminar

Towards Affordance-Based Robot Control

Seminar

Towards a Software Factory
"A number of detailed "real-life" case studies of software engineering departments are included to illustrate the processes and principles involved. The book should be of interest to managers, project leaders, analysts and programmers involved with medium to large scale software engineering projects. "

Seminar

Towards Mechanized Mathematical Assistants
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. The 10 revised full papers from 23 submissions for Calculemus 2007 and 19 revised full papers, plus abstracts of 2 invited talks, selected from 52 submissions to MKM 2007 were carefully reviewed and selected for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra and theorem proving, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration. Thus facilitating the development of integrated mechanized mathematical assistants.

Seminar

FotoWare Color Factory
Kostensenkung durch Automatisierung ist ein wichtiges Thema in allen bildverarbeitenden Unternehmen und Reproabteilungen. Color Factory von FotoWare ist ein Programm, das auf diesem Gebiet Enormes zu leisten vermag. Knackpunkt ist eine effiziente Konfiguration der Software. Dieses Buch soll dem Anwender helfen, seine Konfiguration zu optimieren und Denkanstöße für Lösungen bieten. Der Interessent, der über den Color Factory-Einsatz nachdenkt, erhält einen Überblick über die Leistungen und Einsatzmöglichkeiten des Programms. Eine ausführliche Darstellung der Features verschafft dem Leser einen Überblick über den Funktionsumfang. Einen der Schwerpunkte stellt die automatisierte Bildbearbeitung dar, die ein sehr hohes Einsparpotenzial hat. Abschließend wird an einem Beispiel aus der Praxis eine Konfiguration exemplarisch dargestellt.

Seminar