Download or read book Sensory Robotics for the Handling of Limp Materials written by Paul M. Taylor and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 339 pages. Available in PDF, EPUB and Kindle. Book excerpt: Limp materials are used in many economically impo~tant industries such as garment manufacture, shoe manufacture, aerospace (composites) and automobiles (seats and trim). The use of sensors is essential for reliable robotic handling of these materials, which are often based on naturally occurring substances such as cotton and leather. The materials are limp and have non-homogeneous mechanical properties which are often impossible to predict accurately. The applications are very demanding for vision and tactile sensing and signal processing, adaptive control systems, planning and systems integration. This book comprises the collection of papers presented at the NATO Advanced Research Workshop on 'Sensory Robotics for the Handling of Limp Materials', held in October 1988 at II Ciocco, Tuscany, Italy. The aim of the workshop was to examine the state of the art and determine what research is needed to provide the theoretical and technological tools for the successful application of sensory robotics to the handling of limp materials. The meeting also acted as the first-ever forum for the interchange of knowledge between applications-driven researchers and those researching into the provision of fundamental tools. The participants were drawn from academia (20), industry (5), and other non-university research organisations (5).
Download or read book Robotics Concepts Methodologies Tools and Applications written by Management Association, Information Resources and published by IGI Global. This book was released on 2013-10-31 with total page 1801 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book explores some of the most recent developments in robotic motion, artificial intelligence, and human-machine interaction, providing insight into a wide variety of applications and functional areas"--Provided by publisher.
Download or read book Proof and Computation written by Helmut Schwichtenberg and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt: Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
Download or read book Student Modelling The Key to Individualized Knowledge Based Instruction written by Jim E. Greer and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 389 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the result of a NATO sponsored workshop entitled "Student Modelling: The Key to Individualized Knowledge-Based Instruction" which was held May 4-8, 1991 at Ste. Adele, Quebec, Canada. The workshop was co-directed by Gordon McCalla and Jim Greer of the ARIES Laboratory at the University of Saskatchewan. The workshop focused on the problem of student modelling in intelligent tutoring systems. An intelligent tutoring system (ITS) is a computer program that is aimed at providing knowledgeable, individualized instruction in a one-on-one interaction with a learner. In order to individualize this interaction, the ITS must keep track of many aspects of the leamer: how much and what he or she has leamed to date; what leaming styles seem to be successful for the student and what seem to be less successful; what deeper mental models the student may have; motivational and affective dimensions impacting the leamer; and so ono Student modelling is the problem of keeping track of alI of these aspects of a leamer's leaming.
Download or read book Exploiting Mental Imagery with Computers in Mathematics Education written by Rosamund Sutherland and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 337 pages. Available in PDF, EPUB and Kindle. Book excerpt: The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.
Download or read book User Centred Requirements for Software Engineering Environments written by David J. Gilmore and published by Springer Science & Business Media. This book was released on 1994-02-28 with total page 400 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is based on a NATO Advanced Research Workshop on User-Centred Requirements for Software Engineering Environments held in Bonas, France, in September 1991. The workshop was organized in two halves, one dominated by discussion of usability problems in software engineering and the other by discussion of existing solutions to these problems. The papers in the volume are grouped under four themes: - Design activities and representations for design - Code representation and manipulation - Technological solutions - The impact of design methods and new programming paradigms.
Download or read book Cognitive Tools for Learning written by Piet A.M. Kommers and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: Hypermedia technology needs a creative approach from the outset in the design of software to facilitate human thinking and learning. This book opens a discussion of the potential of hypermedia and related approaches to provide open exploratory learning environments. The papers in the book are based on contributions to a NATO Advanced Research Workshop held in July1990 and are grouped into six sections: - Semantic networking as cognitive tools, - Expert systems as cognitive tools, - Hypertext as cognitive tools, - Collaborative communication tools, - Microworlds: context-dependent cognitive tools, - Implementing cognitive tools. The book will be valuable for those who design, implement and evaluate learning programs and who seek to escape from rigid tactics like programmed instruction and behavioristic approaches. The book presents principles for exploratory systems that go beyond existing metaphors of instruction and provokes the reader to think in a new way about the cognitive level of human-computer interaction.
Download or read book Logic Algebra and Computation written by Friedrich L. Bauer and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 493 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most recent results to an elite of advanced students - young and most promising people - and prepared to stand their questions, criticism and suggestions. The themes of these Advanced Study In stitutes under the sponsorship of the NATO Scientific Affairs Division varied slightly over the years, oscillating more or less around Programming Methodo logy, as the following list shows: 1970 Data Structures and Computer Systems 1971 Program Structures and Fundamental Concepts of Programming 1973 Structured Programming and Programmed Structures 1975 Language Hierarchies and Interfaces 1978 Program Construction 1981 Theoretical Foundations of Programming Methodology 1984 Control Flow and Data Flow: Concepts of Distributed Programming 1986 Logic of Programming and Calculi of Discrete Design 1988 Constructive Methods in Computing Science 1989 Logic, Algebra, and Computation Logic, Algebra, and Computation is the theme of the summer school to which this volume is devoted. It is the tenth in succession, but it is also the first in a new series (the "blue" series) that is intended to alternate in future with the traditional (the "red" series) arrangement; in fact the tenth summer school in the "red" series with the title "Programming and Mathematical Method" , held in 1990, was the subject of celebrating both its serial number and the twenty years of Marktoberdorf Summer Schools altogether.
Download or read book Speech Recognition and Understanding written by Pietro Laface and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 557 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book collects the contributions to the NATO Advanced Study Institute on "Speech Recognition and Understanding: Recent Advances, Trends and Applications", held in Cetraro, Italy, during the first two weeks of July 1990. This Institute focused on three topics that are considered of particular interest and rich of i'p.novation by researchers in the fields of speech recognition and understanding: Advances in Hidden Markov modeling, connectionist approaches to speech and language modeling, and linguistic processing including language and dialogue modeling. The purpose of any ASI is that of encouraging scientific communications between researchers of NATO countries through advanced tutorials and presentations: excellent tutorials were offered by invited speakers that present in this book 15 papers which sum marize or detail the topics covered in their lectures. The lectures were complemented by discussions, panel sections and by the presentation of related works carried on by some of the attending researchers: these presentations have been collected in 42 short contributions to the Proceedings. This volume, that the reader can find useful for an overview, although incomplete, of the state of the art in speech understanding, is divided into 6 Parts.
Download or read book Computer Algorithms for Solving Linear Algebraic Equations written by Emilio Spedicato and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: The NATO Advanced Study Institute on "Computer algorithms for solving linear algebraic equations: the state of the art" was held September 9-21, 1990, at II Ciocco, Barga, Italy. It was attended by 68 students (among them many well known specialists in related fields!) from the following countries: Belgium, Brazil, Canada, Czechoslovakia, Denmark, France, Germany, Greece, Holland, Hungary, Italy, Portugal, Spain, Turkey, UK, USA, USSR, Yugoslavia. Solving linear equations is a fundamental task in most of computational mathematics. Linear systems which are now encountered in practice may be of very large dimension and their solution can still be a challenge in terms of the requirements of accuracy or reasonable computational time. With the advent of supercomputers with vector and parallel features, algorithms which were previously formulated in a framework of sequential operations often need a completely new formulation, and algorithms that were not recommended in a sequential framework may become the best choice. The aim of the ASI was to present the state of the art in this field. While not all important aspects could be covered (for instance there is no presentation of methods using interval arithmetic or symbolic computation), we believe that most important topics were considered, many of them by leading specialists who have contributed substantially to the developments in these fields.
Download or read book Combinatorial Optimization written by Mustafa Akgül and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: There have been significant developments in the theory and practice of combinatorial optimization in the last 15 years. This progress has been evidenced by a continuously increasing number of international and local conferences, books and papers in this area. This book is also another contribution to this burgeoning area of operations research and optimization. This volume contains the contributions of the participants of the recent NATO Ad vanced Study Institute, New Frontiers in the Theory and Practice of Combinatorial Op timization, which was held at the campus of Bilkent University, in Ankara, Turkey, July 16-29, 1990. In this conference, we brought many prominent researchers and young and promising scientists together to discuss current and future trends in the theory and prac tice of combinatorial optimization. The Bilkent campus was an excellent environment for such an undertaking. Being outside of Ankara, the capital of Turkey, Bilkent University gave the participants a great opportunity for exchanging ideas and discussing new theories and applications without much distraction. One of the primary goals of NATO ASIs is to bring together a group of scientists and research scientists primarily from the NATO countries for the dissemination of ad vanced scientific knowledge and the promotion of international contacts among scientists. We believe that we accomplished this mission very successfully by bringing together 15 prominent lecturers and 45 promising young scientists from 12 countries, in a university environment for 14 days of intense lectures, presentations and discussions.
Download or read book Adaptive Learning Environments written by Marlene Jones and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: Adaptive Learning Environments (ALEs) can be viewed as the intersection of two traditionally distinct areas of research: instructional science and computer science. They encompass intelligent tutoring systems, interactive learning environments, and situated learning environments. There is increasing interest in effective instructional systems from education, industry, military and government sectors. Given recent advances in hardware architecture and reduction of hardware costs, the time is right to define the next steps in research and development of ALEs. This book is an outgrowth of the presentations and discussions that took place at the NATO Advanced Study Institute held at the University of Calgary in July 1990. It contains chapters from both researchers in instructional science and researchers in computer science on the following topics: - Systems and architectures for instruction - Representing curriculum and designing instructional tasks - Environments to support learning - Diagnosing students' learning and adjusting plans for instruction - Models of students' metacognition, motivation and learning strategies - Student-system interactions. The book containsintroductions/critiques of each pair of chapters, and a final chapter discusses the synthesis of instructional science and computer science.
Download or read book Computer Based Learning Environments and Problem Solving written by Erik De Corte and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: Most would agree that the acquisition of problem-solving ability is a primary goal of education. The emergence of the new information technologiesin the last ten years has raised high expectations with respect to the possibilities of the computer as an instructional tool for enhancing students' problem-solving skills. This volume is the first to assemble, review, and discuss the theoretical, methodological, and developmental knowledge relating to this topical issue in a multidisciplinary confrontation of highly recommended experts in cognitive science, computer science, educational technology, and instructional psychology. Contributors describe the most recent results and the most advanced methodological approaches relating to the application of the computer for encouraging knowledge construction, stimulating higher-order thinking and problem solving, and creating powerfullearning environments for pursuing those objectives. The computer applications relate to a variety of content domains and age levels.
Download or read book Mapping and Spatial Modelling for Navigation written by Louis F. Pau and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: The successful implementation of applications in spatial reasoning requires paying attention to the representation of spatial data. In particular, an integrated and uniform treatment of different spatial features is necessary in order to enable the reasoning to proceed quickly. Currently, the most prevalent features are points, rectangles, lines, regions, surfaces, and volumes. As an example of a reasoning task consider a query of the form "find all cities with population in excess of 5,000 in wheat growing regions within 10 miles of the Mississippi River. " Note that this query is quite complex. It requires- processing a line map (for the river), creating a corridor or buffer (to find the area within 10 miles of the river), a region map (for the wheat), and a point map (for the cities). Spatial reasoning is eased by spatially sorting the data (i. e. , a spatial index). In this paper we show how hierarchical data structures can be used to facilitate this process. They are based on the principle of recursive decomposition (similar to divide and conquer methods). In essence, they are used primarily as devices to sort data of more than one dimension and different spatial types. The term quadtree is often used to describe this class of data structures. In this paper, we focus on recent developments in the use of quadtree methods. We concentrate primarily on region data. For a more extensive treatment of this subject, see [SameS4a, SameSSa, SameSSb, SameSSc, SameSga, SameSgbj.
Download or read book Supercomputing written by Janusz S. Kowalik and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: Supercomputing is an important science and technology that enables the scientist or the engineer to simulate numerically very complex physical phenomena related to large-scale scientific, industrial and military applications. It has made considerable progress since the first NATO Workshop on High-Speed Computation in 1983 (Vol. 7 of the same series). This book is a collection of papers presented at the NATO Advanced Research Workshop held in Trondheim, Norway, in June 1989. It presents key research issues related to: - hardware systems, architecture and performance; - compilers and programming tools; - user environments and visualization; - algorithms and applications. Contributions include critical evaluations of the state-of-the-art and many original research results.
Download or read book Knowledge Data and Computer Assisted Decisions written by Martin Schader and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 418 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings of the NATO Advanced Research Workshop on Data, Expert Knowledge and Decisions, held in Hamburg, FRG, September 3-5, 1989
Download or read book Robot Manipulation of Deformable Objects written by Dominik Henrich and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is about automatic handling of non-rigid or deformable objects like cables, fabric, or foam rubber. The automation by robots in industrial environments, is especially examined. It discusses several important automation aspects, such as material modelling and simulation, planning and control strategies, collaborative systems, and industrial applications. This book collects contributions from various countries and international projects and, therefore, provides a representative overview of the state of the art in this field. It is of particular interest for scientists and practitioners in the area of robotics and automation
