This dictionary contains 13,000 terms with more than 4,000 cross-references used in the following fields: automation, technology of management and regulation, computing machine and data processing, computer control, automation of industry, laser technology, theory of information and theory of signals, theory of algorithms and programming, philosophical bases of cybernetics, cybernetics and mathematical methods.Automation pertains to the theory, art, or technique of making a machine, a process or a device more fully automatic. Computers and information processing equipment play a large role in the automation of a process because of the inherent ability of a computer to develop decision that will, in effect, control or govern the process from the information received by the computer concerning the status of the process. Thus automation pertains to both the theory, and techniques of using automatic systems in industrial applications and the processes of investigation, design and conversion to automatic methods. Automatic control, automatic materials handling, automatic testing, automatic packaging, for continuous as well as batch processing, are all considered parts of the overall or completely automatic process.The Dictionary consists of two parts, Basic Table and Indexes. In the first part the English terms are listed alphabetically, numbered consecutively and followed by its German, French and Russian equivalents. English synonyms appear as cross-references to the main entries in their proper alphabetical order. The second part of the Dictionary, the Indexes, contains separate alphabetical indexes of the German, French and Russian terms. The reference number(s) with each term stands for the number of the English term(s) in the basic table.Elsevier's Dictionary of Automatic Technics will be a valuable tool for specialists, scientists, students and everyone who takes interest in the problems of investigation devoted to the design, development, and applications of methods and techniques for rendering a process of group of machines self-actuating, self-moving, or self-controlling.

Integer Prograw~ing is one of the most fascinating and difficult areas in the field of Mathematical Optimization. Due to this fact notable research contributions to Integer Programming have been made in very different branches of mathematics and its applications. Since these publications are scattered over many journals, proceedings volumes, monographs, and working papers, a comprehensive bibliography of all these sources is a helpful tool even for specialists in this field. I initiated this compilation of literature in 1970 at the Institut fur ~konometrie und Operations Research, University of Bonn. Since then many collaborators have contributed to and worked on it. Among them Dipl.-Math. Claus Kastning has done the bulk of the work. With great perseverance and diligence he has gathered all the material and checked it with the original sources. The main aim was to incorporate rare and not easily accessible sources like Russian journals, preprints or unpublished papers. Without the invaluable and dedicated engagement of Claus Kastning the bibliography would never have reached this final version. For this reason he must be considered its responsible editor. As with any other collection this literature list has a subjective viewpoint and may be in some sense incomplete. We have however tried to be as complete as possible. The bibliography contains 4704 different publications by 6767 authors which were classified by 11839 descriptor entries.

Bilingual vocabulary in the field of artificial intelligence containing about 12,000 terms, of which 3,700 are accompanied by definitions. Most of the terms are related to knowledge representation, theorem proving, pattern recognition, cognitive psychology, informatics, natural language processing, automatic program generation, problem solving, image processing, expert systems, speech recognition, modelling, artificial vision, machine translation, computer-assisted translation, learning, man-machine dialogue, and logic and linguistics applied to artificial intelligence. Although robotics is often considered a subfield of artificial intelligence, it has been excluded from this vocabulary.

Fruit d’une étroite collaboration entre la recherche universitaire et le monde de l’industrie, cet ouvrage traite de la robotique industrielle, et tout particulièrement de l’étalonnage des robots manipulateurs. Il développe les aspects suivants : la représentation des structures des robots manipulateurs sériels et parallèles ; les principes généraux de l’étalonnage ; les méthodes d’étalonnage spécifiques aux robots sériels et parallèles ; l’innovation en robotique, ses réussites et ses échecs. Théorique et pragmatique, il s’adresse aux étudiants et aux chercheurs, aux techniciens et aux ingénieurs et à tous ceux qui désirent appréhender la robotique industrielle. Patrick Maurine est maître de conférences à l’INSA de Rennes. Ses travaux portent sur la précision et l’étalonnage des robots manipulateurs industriels. Jean-François Quinet est consultant en robotique appliquée à l’ensemble de l’industrie internationale depuis 1973. Ses activités portent aussi sur la mesure tridimensionnelle statique et dynamique.

A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system. Boizumault introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren's Abstract Machine (WAM); and detailing a Lisp imple-mentation of Prolog. Originally published in 1993. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997. The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.

Optimisation en sciences de l’ingénieur présente les principales méthodes exactes d’optimisation statique et dynamique. Parmi les méthodes décrites, figurent : la programmation linéaire avec plusieurs implémentations et la programmation non linéaire, particulièrement détaillée compte tenu de la grande variété d’algorithmes existants ; la programmation dynamique avec divers exemples d’application ; les réseaux de Hopfield ; l’optimisation en identification des systèmes ; l’optimisation des systèmes dynamiques avec notamment l’application à la commande des processus, l’optimisation des systèmes de grandes dimensions et des systèmes d’information. Didactique, cet ouvrage propose des références permettant au lecteur d’approfondir les diverses méthodes traitées. Lorsque les algorithmes étudiés le permettent, sans trop agrandir les présentations, des exemples d’implémentation sont proposés.