springer london springer berlin heidelberg okt 1992 (3 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This book has an important starting point in the conference held in Stockholm in May-June 1988 on Culture, Language and Artifidal Intelligence. It assembled more than 300 researchers and practitioners in the fields of technology, philosophy, history of ideas, literature, linguistics, sodal science etc. The conference was an initiative from the Swedish Center for Working Life, based on the project AI-Based Systems and the Future of Language, Knowledge and Responsibility in Professions within the COST 13 programme of the European Commission. Partidpants in the conference and researchers related to its aims were chosen to contribute to this book. It is preceded by Knowledge, Skill and Artificial Intelligence (ed. B. Göranzon and I. Josefson, Springer-Verlag, 1988), Artifidal Intelligence, Culture and Language (ed. B. Göranzon and M. Florin, Springer-Verlag, 1990) and Dialogue and Technology: Art and Knowledge (ed. B. Göranzon and M. Florin, Springer-Verlag, 1991). The two latter books have the same conference connection as this one, and their aim is to present the contours of a research field with a multitude of issues that demands thorough investigation. The contributors' thinking in this field varies greatly; so do their styles of writing. For example: contributors have varied in their choice of 'he' or 'helshe' for the third person. No distinc tion is intended, but chapters have been left with the original usage to avoid extensive changes. Similarly, individual contribu tor's preference as to notes or reference lists have been followed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Neural Network Dynamics is the latest volume in the Perspectives in Neural Computing series. It contains papers presented at the 1991 Workshop on Complex Dynamics in Neural Networks, held at IIASS in Vietri, Italy. The workshop encompassed a wide range of topics in which neural networks play a fundamental role, and aimed to bridge the gap between neural computation and computational neuroscience. The papers - which have been updated where necessary to include new results - are divided into four sections, covering the foundations of neural network dynamics, oscillatory neural networks, as well as scientific and biological applications of neural networks. Among the topics discussed are: A general analysis of neural network activity; Descriptions of various network architectures and nodes; Correlated neuronal firing; A theoretical framework for analyzing the behaviour of real and simulated neuronal networks; The structural properties of proteins; Nuclear phenomenology; Resonance searches in high energy physics; The investigation of information storage; Visual cortical architecture; Visual processing. Neural Network Dynamics is the first volume to cover neural networks and computational neuroscience in such detail. Although it is primarily aimed at researchers and postgraduate students in the above disciplines, it will also be of interest to researchers in electrical engineering, medicine, psychology and philosophy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.