Control technology is a new learning environment which offers the opportunity to take up the economic and educational challenge of enabling people to adapt to new technologies and use them to solve problems. Giving young children (and also adults) easy access to control technology introduces them to a learning environment where they can build their knowledge across a range of topics. As they build and program their own automata and robots, they learn to solve problems, work incollaboration, and be creative. They also learn more about science, electronics, physics, computer literacy, computer...

This volume provides a thorough examination of the use of advanced educational technology in the delivery of technology education at the school, college, and university levels. Based on a NATO Advanced Study Institute held at the University of Salford, England, in August 1992, the book focuses on the following key elements: - The philosophical and educational foundation for the use of advanced educational technologies in the delivery of technology education, - Advanced educational technology research and practice, - The development of integrated implementation plans employing research from...

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of...

Workflow management systems (WFMS) are enjoying increasing popular ity due to their ability to coordinate and streamline complex organizational processes within organizations of all sizes. Organizational processes are de scriptions of an organization's activities engineered to fulfill its mission such as completing a business contract or satisfying a specific customer request. Gaining control of these processes allows an organization to reengineer and improve each process or adapt them to changing requirements. The goal of WFMSs is to manage these organizational processes and coordinate their...

This NATO volume presents an excellent overview of new and exciting results on neurons and neural nets, including single cell properties such as ionic channels, sensory transduction, synaptic release; the dynamics of neural networks and circuits; and modeling the nervous system. The topics range from molecular neuroscience, plasticity, and development, to the experimental and theoretical analysis of neuronal assemblies such as the cerebellum, hippocampus, and cortex. The contributors present different approaches, from multi-electrode arrays to optical techniques, and the work presented is...

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type...

This volume contains the proceedings of the NATO Advanced Study Institute on "Pictorial Information Systems in Medicine" held August 27-September 7, 1984 in Hotel Maritim, Braunlage/Harz, Federal Republic of Germany. The program committee of the institute consisted of KH Hohne (Director), G. T Herman, G. S. Lodwick, and D. Meyer-Ebrecht. The organization was in the hands of Klaus Assmann and Fritz Bocker In the last decade medical imaging has undergone a rapid development New imaging modalities such as Computer Tomography (CT), Digital Angiography (DSA) and Magnetic Resonance Imaging (MRI)...

This bookcontainsthe essence ofthepapersand the discussions from a twoweek longAdvanced Study Institute (ASI) held in September 1985. The idea ofhaving an ASIaboutthe topic ofIntelligent Decision Support (IDS) systems goes back to a NATO workshop on Human Error held at the Rockefeller Center in Bellagio, Italy, in September 1983 Ina way it goes even furtherback sincethe Bellagioworkshop continueda seriesof NATOASls and workshops on advanced human-machine systems thatstarted adecadeagoin 1976. The present ASI therefore represents neitherabeginning noranend, but is rather a snapshot...

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...

What the book is about This book is about the theory and practice of the use of multimedia, multimodal interfaces for leaming. Yet it is not about technology as such, at least in the sense that the authors do not subscribe to the idea that one should do something just because it is technologically possible. 'Multimedia' has been adopted in some commercial quarters to mean little more than a computer with some form of audio ar (more usually) video attachment. This is a trend which ought to be resisted, as exemplified by the material in this book. Rather than merely using a new technology...