Background
Arbib, Michael Anthony was born on May 28, 1940 in Eastbourne, United Kingdom. Son of John R. and Helen (Arbib) Arbib. came to the United States, 1961.
(Computability theory is at the heart of theoretical compu...)
Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the develop ment of mathematical techniques to allow the rigorous specification of program, process, and machine.
http://www.amazon.com/gp/product/0387907432/?tag=2022091-20
( In Neural Organization, Arbib, Érdi, and Szentágothai i...)
In Neural Organization, Arbib, Érdi, and Szentágothai integrate structural, functional, and dynamical approaches to the interaction of brain models and neurobiologcal experiments. Both structure-based "bottom-up" and function- based "top-down" models offer coherent concepts by which to evaluate the experimental data. The goal of this book is to point out the advantages of a multidisciplinary, multistrategied approach to the brain.Part I of Neural Organization provides a detailed introduction to each of the three areas of structure, function, and dynamics. Structure refers to the anatomical aspects of the brain and the relations between different brain regions. Function refers to skills and behaviors, which are explained by means of functional schemas and biologically based neural networks. Dynamics refers to the use of a mathematical framework to analyze the temporal change of neural activities and synaptic connectivities that underlie brain development and plasticity--in terms of both detailed single-cell models and large-scale network models.In part II, the authors show how their systematic approach can be used to analyze specific parts of the nervous system--the olfactory system, hippocampus, thalamus, cerebral cortex, cerebellum, and basal ganglia--as well as to integrate data from the study of brain regions, functional models, and the dynamics of neural networks. In conclusion, they offer a plan for the use of their methods in the development of cognitive neuroscience.
http://www.amazon.com/gp/product/026201159X/?tag=2022091-20
(This is a book whose time has come-again. The first editi...)
This is a book whose time has come-again. The first edition (published by McGraw-Hill in 1964) was written in 1962, and it celebrated a number of approaches to developing an automata theory that could provide insights into the processing of information in brainlike machines, making it accessible to readers with no more than a college freshman's knowledge of mathematics. The book introduced many readers to aspects of cybernetics-the study of computation and control in animal and machine. But by the mid-1960s, many workers abandoned the integrated study of brains and machines to pursue artificial intelligence (AI) as an end in itself-the programming of computers to exhibit some aspects of human intelligence, but with the emphasis on achieving some benchmark of performance rather than on capturing the mechanisms by which humans were themselves intelligent. Some workers tried to use concepts from AI to model human cognition using computer programs, but were so dominated by the metaphor "the mind is a computer" that many argued that the mind must share with the computers of the 1960s the property of being serial, of executing a series of operations one at a time. As the 1960s became the 1970s, this trend continued. Meanwhile, experi mental neuroscience saw an exploration of new data on the anatomy and physiology of neural circuitry, but little of this research placed these circuits in the context of overall behavior, and little was informed by theoretical con cepts beyond feedback mechanisms and feature detectors.
http://www.amazon.com/gp/product/0387965394/?tag=2022091-20
(The study of formal languages and of related families of ...)
The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main reasons for this centrality were connected with the specification and analy sis of programming languages, which led naturally to the following ques tions. How might a grammar be written for such a language? How could we check whether a text were or were not a well-formed program generated by that grammar? How could we parse a program to provide the structural analysis needed by a compiler? How could we check for ambiguity to en sure that a program has a unique analysis to be passed to the computer? This focus on programming languages has now been broadened by the in creasing concern of computer scientists with designing interfaces which allow humans to communicate with computers in a natural language, at least concerning problems in some well-delimited domain of discourse. The necessary work in computational linguistics draws on studies both within linguistics (the analysis of human languages) and within artificial intelligence. The present volume is the first textbook to combine the topics of formal language theory traditionally taught in the context of program ming languages with an introduction to issues in computational linguistics. It is one of a series, The AKM Series in Theoretical Computer Science, designed to make key mathematical developments in computer science readily accessible to undergraduate and beginning graduate students.
http://www.amazon.com/gp/product/0387966986/?tag=2022091-20
(This book attempts to build up sufficient perspective on ...)
This book attempts to build up sufficient perspective on category theory without demanding more of the reader than a basic knowledge of sets and matrix theory.
http://www.amazon.com/gp/product/0120590603/?tag=2022091-20
(This is a book whose time has come-again. The first editi...)
This is a book whose time has come-again. The first edition (published by McGraw-Hill in 1964) was written in 1962, and it celebrated a number of approaches to developing an automata theory that could provide insights into the processing of information in brainlike machines, making it accessible to readers with no more than a college freshman's knowledge of mathematics. The book introduced many readers to aspects of cybernetics-the study of computation and control in animal and machine. But by the mid-1960s, many workers abandoned the integrated study of brains and machines to pursue artificial intelligence (AI) as an end in itself-the programming of computers to exhibit some aspects of human intelligence, but with the emphasis on achieving some benchmark of performance rather than on capturing the mechanisms by which humans were themselves intelligent. Some workers tried to use concepts from AI to model human cognition using computer programs, but were so dominated by the metaphor "the mind is a computer" that many argued that the mind must share with the computers of the 1960s the property of being serial, of executing a series of operations one at a time. As the 1960s became the 1970s, this trend continued. Meanwhile, experi mental neuroscience saw an exploration of new data on the anatomy and physiology of neural circuitry, but little of this research placed these circuits in the context of overall behavior, and little was informed by theoretical con cepts beyond feedback mechanisms and feature detectors.
http://www.amazon.com/gp/product/1461291534/?tag=2022091-20
(The Metaphorical Brain: Introduction to Cybernetics as Ar...)
The Metaphorical Brain: Introduction to Cybernetics as Artificial Intelligence and Brain Theory Jan 01, 1972 Arbib, Michael A. and Lecci, Auro ...
http://www.amazon.com/gp/product/0471032492/?tag=2022091-20
( The Neural Simulation Language (NSL), developed by Alfr...)
The Neural Simulation Language (NSL), developed by Alfredo Weitzenfeld, Michael Arbib, and Amanda Alexander, provides a simulation environment for modular brain modeling. NSL is an object-oriented language offering object-oriented protocols applicable to all levels of neural simulation. One of NSL's main strengths is that it allows for realistic modeling of the anatomy of macroscopic brain structures.The book is divided into two parts. The first part presents an overview of neural network and schema modeling, a brief history of NSL, and a detailed discussion of the new version, NSL 3.0. It includes tutorials on several basic schema and neural network models. The second part presents models built in NSL by researchers from around the world, including those for conditional learning, face recognition, associative search networks, and visuomotor coordination. Each chapter provides an explanation of a model, an overview of the NSL 3.0 code, and a representative set of simulation results.
http://www.amazon.com/gp/product/0262731495/?tag=2022091-20
(The major goal of this book is to present the techniques ...)
The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms. We provide and apply proof rules for a wide range of program structures, including conditionals, loops, procedures and recur sion. We analyze situations in which the restricted use of gotos can be justified, providing a new approach to proof rules for such situations. We study several important techniques of data structuring, including arrays, files, records and linked structures. The secondary goal of this book is to teach the reader how to use the programming language Pascal. This is the first text to teach Pascal pro gramming in a fashion which not only includes advanced algorithms which operate on advanced data structures, but also provides the full axiomatic definition of Pascal due to Wirth and Hoare. Our approach to the language is very different from that of a conventional programming text.
http://www.amazon.com/gp/product/0387902996/?tag=2022091-20
(This collection of 21 essays explores the creative intera...)
This collection of 21 essays explores the creative interaction among the cognitive neurosciences, philosophy, and theology. It is the result of an international research conference co-sponsored by the Vatican Observatory, Rome, and the Center for Theology and the Natural Sciences, Berkeley.
http://www.amazon.com/gp/product/0268014906/?tag=2022091-20
(Bringing together the perspectives of neurophysiology, co...)
Bringing together the perspectives of neurophysiology, cognitive psychology, and artificial intelligence, this book introduces a new approach to the study of language. The authors propose schema theory as a unifying perspective in cognitive science and use three models to illustrate their argument: a study of sentence understanding applied to the analysis of data on aphasia; a "computational neo-Piagetian" approach to language acquisition in a two-year-old; and a model of how people describe visual scenes. The final chapter charts the value of the schema-theoretic approach to computational linguistics in particular and cognitive science in general as part of the search for commonalities between the representations and processes employed in linguistic and other cognitive domains.
http://www.amazon.com/gp/product/0195040651/?tag=2022091-20
(The Metaphorical Brain 2 Neural Networks and Beyond "This...)
The Metaphorical Brain 2 Neural Networks and Beyond "This book combines two exciting quests, the quest to understand the workings of the human brain and the quest to build intelligent machines. It shows how each quest can provide insights vital to the success of the other. It develops basic ideas about neural networks, both artificial and biological, and introduces the language of schema theory to describe the distributed interactions that underlie intelligence in the brain of human, animal or robot. It reaffirms the paradigm of highly distributed cooperative computation, showing how it not only deepens our understanding of human mind/brain, but also catalyzes the development of a new generation of computing machinery. The book presents many new results, both from my own group and elsewhere, that have enriched that paradigm during the last fifteen years.…The book as a whole, although by no means light reading, should be accessible overall to anyone who reads Scientific American; but it is hoped that much of the material merits the attention not only of ‘the intelligent laymen’ but also of experts and serious students of artificial intelligence, neural networks, robotics, cognitive science, or neuroscience." —From the Author’s Preface
http://www.amazon.com/gp/product/0471098531/?tag=2022091-20
(In the 1930s, mathematical logicians studied the notion o...)
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.
http://www.amazon.com/gp/product/1461293774/?tag=2022091-20
educator computer scientist neuroscientist
Arbib, Michael Anthony was born on May 28, 1940 in Eastbourne, United Kingdom. Son of John R. and Helen (Arbib) Arbib. came to the United States, 1961.
Bachelor of Science with honors, University Sydney, 1960. Doctor of Philosophy in Mathematics, Massachusetts Institute of Technology, 1963.
Member of faculty, Stanford (California) U., 1965-1970;
associate professor electrical engineering, Stanford (California) U., 1969-1970;
Adjunct Professor psychology, professor computer and information science, U. Massachusetts, Amherst, 1970-1986;
department chairman computer and information science, U. Massachusetts, Amherst, 1970-1975;
director, Center for Systems Neurosci., 1974-1986;
director Cognitive Science Program, Center for Systems Neurosci., 1980-1982;
director Laboratory Perceptual Robotics, Center for Systems Neurosci., 1982-1986;
professor biomedical engineering, neurobiology, psychology, University of Southern California, Los Angeles, 1986-1994;
professor computer science, electrical engineering, University of Southern California, Los Angeles
director Center for Neural Engineering, University Southern California, Los Angeles, 1987-1994;
director brain project Center for Neural Engineering, University Southern California, Los Angeles, since 1994. Visiting professor U. Western Australia, Perth, 1974, 96, Technion, Israel, 1975, Washington University, St. Louis, 1976, U. Edinburgh, 1976-1977, University of California, Irvine, 1980. Visiting scientist Institute Cybernetics, Barcelona, spring 1985, Cognitive Sciences Institute, University of California, San Diego, 1985-1986.
Visiting lecturer U. New South Wales, Australia, 1962, 65, 68, Montana State University, summers, 1963, 65, Imperial College London, 1964. Gifford lecturer in natural theology U. Edinburgh, Scotland, 1983. John Douglas French lecturer Brain Research Institute, University of California at Los Angeles, 1993.
Lecturer tours to the United States, Union of the Soviet Socialist Republics, Japan, Australia and China.
(In this book, Michael Arbib, a researcher in artificial i...)
(The Metaphorical Brain 2 Neural Networks and Beyond "This...)
( In Neural Organization, Arbib, Érdi, and Szentágothai i...)
( The Neural Simulation Language (NSL), developed by Alfr...)
(Bringing together the perspectives of neurophysiology, co...)
(In the 1930s, mathematical logicians studied the notion o...)
(This book attempts to build up sufficient perspective on ...)
(For twenty-five years Michael Arbib has been studying the...)
(The major goal of this book is to present the techniques ...)
(The Metaphorical Brain: Introduction to Cybernetics as Ar...)
(The study of formal languages and of related families of ...)
(This collection of 21 essays explores the creative intera...)
(Computability theory is at the heart of theoretical compu...)
(This is a book whose time has come-again. The first editi...)
(This is a book whose time has come-again. The first editi...)
(Will be shipped from US. Used books may not include compa...)
Member Institute of Electrical and Electronics Engineers, American Association for the Advancement of Science, Society Neurosci.
Married Prue Hassell, December 29, 1965. Children: Phillipa Jane, Benjamin Giles.