Computer Architectures for Spatially Distributed Data


Book Description

These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Arehiteetures for SpatiaZZy vistributed Vata, and it brouqht together some 60 participants from Europe and America. Presented ~ere are 21 of the lectures that were delivered. The articles cover a wide spectrum of topics related to computer architecture s specially oriented toward the fast processing of spatial data, and represent an excellent review of the state-of-the-art of this topic. For more than 20 years now researchers in pattern recognition, image processing, meteorology, remote sensing, and computer engineering have been looking toward new forms of computer architectures to speed the processing of data from two- and three-dimensional processes. The work can be said to have commenced with the landmark article by Steve Unger in 1958, and it received a strong forward push with the development of the ILIAC III and IV computers at the University of Illinois during the 1960's. One clear obstacle faced by the computer designers in those days was the limitation of the state-of-the-art of hardware, when the only switching devices available to them were discrete transistors. As aresult parallel processing was generally considered to be imprae tieal, and relatively little progress was made.




Spatial Computing


Book Description

An accessible guide to the ideas and technologies underlying such applications as GPS, Google Maps, Pokémon Go, ride-sharing, driverless cars, and drone surveillance. Billions of people around the globe use various applications of spatial computing daily—by using a ride-sharing app, GPS, the e911 system, social media check-ins, even Pokémon Go. Scientists and researchers use spatial computing to track diseases, map the bottom of the oceans, chart the behavior of endangered species, and create election maps in real time. Drones and driverless cars use a variety of spatial computing technologies. Spatial computing works by understanding the physical world, knowing and communicating our relation to places in that world, and navigating through those places. It has changed our lives and infrastructures profoundly, marking a significant shift in how we make our way in the world. This volume in the MIT Essential Knowledge series explains the technologies and ideas behind spatial computing. The book offers accessible descriptions of GPS and location-based services, including the use of Wi-Fi, Bluetooth, and RFID for position determination out of satellite range; remote sensing, which uses satellite and aerial platforms to monitor such varied phenomena as global food production, the effects of climate change, and subsurface natural resources on other planets; geographic information systems (GIS), which store, analyze, and visualize spatial data; spatial databases, which store multiple forms of spatial data; and spatial statistics and spatial data science, used to analyze location-related data.




User-Centred Requirements for Software Engineering Environments


Book Description

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.




Parallel Computer Vision


Book Description

Parallel Computer Vision




Advanced Computing Concepts and Techniques in Control Engineering


Book Description

Computational concepts and techniques have always played a major role in control engineering since the first computer-based control systems were put into operation over twenty years ago. This role has in fact been accelerating over the intervening years as the sophistication of the computing methods and tools available, as well as the complexity of the control problems they have been used to solve, have also increased. In particular, the introduction of the microprocessor and its use as a low-cost computing element in a distributed computer control system has had a profound effect on the way in which the design and implementation of a control system is carried out and, to some extent, on the theory which underlies the basic design strategies. The development of interactive computing has encouraged a substantial growth in the use of computer aided design methods and robust and efficient numerical algorithms have been produced to support these methods. Major advances have also taken place in the languages used for control system implementation, notably the recent introduction of Ada'", a language whose design is based on some very fundamental computer science concepts derived and developed over the past decade. With the extremely high rate of change in the field of computer science, the more recent developments have outpaced their incorporation into new control system design and implementation techniques.




Computer Algorithms for Solving Linear Algebraic Equations


Book Description

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.




Instructional Models in Computer-Based Learning Environments


Book Description

In the last decade there have been rapid developments in the field of computer-based learning environments. A whole new generation of computer-based learning environments has appeared, requiring new approaches to design and development. One main feature of current systems is that they distinguish different knowledge bases that are assumed to be necessary to support learning processes. Current computer-based learning environments often require explicit representations of large bodies of knowledge, including knowledge of instruction. This book focuses on instructional models as explicit, potentially implementable representations of knowledge concerning one or more aspects of instruction. The book has three parts, relating to different aspects of the knowledge that should be made explicit in instructional models: knowledge of instructional planning, knowledge of instructional strategies, and knowledge of instructional control. The book is based on a NATO Advanced Research Workshop held at the University of Twente, The Netherlands in July 1991.




Constructive Methods in Computing Science


Book Description

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.




Learning from Computers: Mathematics Education and Technology


Book Description

The NATO Advanced Research Workshop on Mathematics Education and Technology was held in Villard-de-Lans, France, between May 6 and 11, 1993. Organised on the initiative of the BaCoMET (Basic Components of Mathematics Education for Teachers) group (Christiansen, Howson and Otte 1986; Bishop, Mellin-Olsen and van Dormolen 1991), the workshop formed part of a larger NATO programme on Advanced Educational Technology. Some workshop members had already participated in earlier events in this series and were able to contribute insights from them: similarly some members were to take part in later events. The problematic for the workshop drew attention to important speculative developments in the applications of advanced information technology in mathematics education over the last decade, notably intelligent tutoring, geometric construction, symbolic algebra and statistical analysis. Over the same period, more elementary forms of information technology had started to have a significant influence on teaching approaches and curriculum content: notably arithmetic and graphic calculators; standard computer tools, such as spreadsheets and databases; and computer-assisted learning packages and computer microworlds specially designed for educational purposes.




Logic of Programming and Calculi of Discrete Design


Book Description

In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most interesting and most difficult parts of computing science. Many demanding problems have to be envisaged here such as notations, rules and calculi, and the study of semantic models. We are 'far away from comprehensive and widely accepted solutions in these areas. Discussions at the summer school have clearly shown that people have quite different perspectives and priorities with respect to these three main areas. There is a general agreement that notation is very important. Here, notation is not so much used in the sense of "syntactic sugar", but rather in the sense of abstract syntax, in the sense of language constructs. Proper notation can significantly improve our understanding of the nature of the objects that we are dealing with and simplify the formal manipulation of these objects. However, influenced by educational background, habits, and schools of thought there are quite different tastes with respect to notation. The papers in these proceedings show very clearly how different those notations can be even when talking about quite similar objects.