Introduction to Computer science

A comprehensive introduction to the art and science used by the biochemist and process engineer in the design and optimization of large-scale protein-purification processes. Covers the basics of prote

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, lingui

For the third edition of this successful undergraduate text, the author has made a number of changes to improve the presentation and clarify some of the arguments, and has also brought several of the applications up to date. The new material includes an elementary, descriptive introduction to the ideas behind the new science of chaos. The overall objectives of the book are unchanged: to lead the student to a thorough understanding of the basic concepts of vibrations and waves, to show how these concepts unify a wide variety of familiar physics, and to open doors to advanced topics which they illuminate. Each section of the book contains a brief summary of its salient contents. There are approximately 180 problems to which all numerical answers are provided, together with hints for their solution. This book is designed both for use as a text for an initial undergraduate course on vibrations and waves, and for a reference at later stages when more advanced topics or applications are met.

These notes are based on a series of lectures given at the Advanced Research Institute of Discrete Applied Mathematics held at Rutgers University. Their aim is to link together algorithmic problems arising in knot theory, statistical physics and classical combinatorics. Apart from the theory of computational complexity concerned with enumeration problems, introductions are given to several of the topics treated, such as combinatorial knot theory, randomised approximation algorithms, percolation and random cluster models. To researchers in discrete mathematics, computer science and statistical physics, this book will be of great interest, but any non-expert should find it an appealing guide to a very active area of research.

An introduction to the algorithms of computer algebra. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inapprop

Professor Colin Blakemore presents a fascinating insight to all the major topics in visual science research. Experts from around the world show how this vast subject can be unified from the viewpoint that describes the way in which visual systems efficiently encode and represent the outside world. The approach, which is both rigorous and general, was championed by H. B. Barlow in the fifties and has recently acquired a new significance in the light of exciting developments in computer science and artificial intelligence and vision. The book is essential reading for advanced undergraduates, postgraduates and researchers in the field of vision research and neuroscience.

The two volumes that comprise this work provide a comprehensive guide and source book on the marine use of composite materials. This first volume, Fundamental Aspects, provides a rigourous development of theory. Areas covered include materials science, environmental aspects, production technology, structural analysis and the role of standard test procedures. These volumes will provide an introduction to this important and fast-growing area for students and researchers in naval architecture and maritime engineering. It will also be of value to practising engineers as a comprehensive reference book.

This book was first published in 1991. The study of ancient science and its relations with Greek philosophy has made a significant and growing contribution to our understanding of ancient thought and civilisation. This collection of articles on Greek science contains fifteen of the most important papers published by G. E. R. Lloyd in this area since 1961, together with three newer articles. The topics range over all areas and periods of Greek science, from the earliest Presocratic philosophers to Ptolemy and Galen. In each case the article is preceded by an introduction that assesses scholarly debate on the topic since the original publication. Professor Lloyd also suggests modifications and developments to his own position in the light of those debates and his own further research.

This 1993 volume is a lucid and accurate history of the technical research that led to the first atomic bombs. The authors explore how the 'critical assembly' of scientists, engineers and military personnel at Los Alamos, responding to wartime deadlines, collaborated to create a new approach to large-scale research. The book opens with an introduction laying out major themes. After a synopsis of the prehistory of the bomb project, from the discovery of nuclear fission to the start of the Manhattan Engineer District, and an overview of the early materials programme, the book examines the establishment of the Los Alamos Laboratory, the implosion and gun assembly programmes, nuclear physics research, chemistry and metallurgy, explosives, uranium and plutonium development, confirmation of spontaneous fission in pile-produced plutonium, the thermonuclear bomb, critical assemblies, the Trinity test, and delivery of the combat weapons. Readers interested in history of science will find this v

The recent launch of NASA's Gamma-Ray Observatory will increase interest in gamma-ray astronomy. This is a fully up-dated new edition of the authors' earlier volume published in 1986 and covers both the background science and the current state-of-the-art in this field. The emphasis is on the astronomy and astrophysics of known sources of cosmic gamma-rays outside the solar system. The authors discuss the mechanisms for the production and absorption of gamma-rays. The gamma-ray line astronomy of the interstellar medium, galactic centre, and various discrete sources is then considered. Gamma-ray bursts are treated in considerable detail in chapter three, and the final two chapters describe medium energy and ultra-high energy gamma-rays. Relevant data from supernova SN1987A is also included in this edition. The book includes comprehensive references to the primary literature, together with many figures and tables. The concentration on phenomenology makes this book a fine introduction to g

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

The study of spin glasses is a fascinating new topic in condensed matter physics that has attracted considerable attention over recent years. This book gives a comprehensive account of the subject, and will provide a valuable overview and reference to both newcomers and experts in the field. The authors discuss the most important developments in the theory, experimental work and computer modelling of spin glasses. The first chapters give a general introduction to the basic concepts, followed by a discussion of mean field theory, the only well-established spin glass theory so far. This book will be of interest primarily to condensed matter physicists, but because of the potentially wide applications of the theory involved, the book should also appeal to researchers in other disciplines, including theoretical physics, metallurgy and computational neuroscience.

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

By considering the size of the logical network needed to perform a given computational task, the intrinsic difficulty of that task can be examined. Boolean function complexity, the combinatorial study of such networks, is a subject that started back in the 1950s and has today become one of the most challenging and vigorous areas of theoretical computer science. The papers in this book stem from the London Mathematical Society Symposium on Boolean Function Complexity held at Durham University in July 1990. The range of topics covered will be of interest to the newcomer to the field as well as the expert, and overall the papers are representative of the research presented at the Symposium. Anyone with an interest in Boolean Function complexity will find that this book is a necessary purchase.

This book is an up-to-date introduction to the quantum theory of measurement, a fast developing field of intense current interest to scientists and engineers for its potential high technology applications. It is also a subject of importance to students for its central role in the foundations of quantum mechanics. Although the main principles of the field were elaborated in the 1930s by Bohr, Schrödinger, Heisenberg, von Neumann and Mandelstam, it was not until the 1980s that technology became sufficiently advanced to allow its application in real experiments. Quantum measurement is now central to many ultra-high technology developments, such as squeezed light, single atom traps, and searches for gravitational radiation. It is also considered to have great promise for computer science and engineering, particularly for its applications in information processing and transfer. The book contains a pedagogical introduction to the relevant theory written at a level accessible to those with on

Imagine being able to "walk" into your computer and interact with any program you create. It sounds like science fiction, but it's science fact. Surgeons now rehearse operations on computer-generated

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

An understanding of how plants interact with their aerial environment is central to many areas of plant science. This book provides a soundly-based introduction to those features of the atmospheric en

This book presents a coherent introduction to boundary integral, boundary element and singularity methods for steady and unsteady flow at zero Reynolds number. The focus of the discussion is not only on the theoretical foundation, but also on the practical application and computer implementation. The text is supplemented with a number of examples and unsolved problems, many drawn from the field of particulate creeping flows. The material is selected so that the book may serve both as a reference monograph and as a textbook in a graduate course on fluid mechanics or computational fluid mechanics.

This book provides students and research workers in the biological, medical and social sciences with the statistical background needed to collect and analyse data in an intelligent and critical manner. Key examples and case studies are used to illustrate commonly encountered research problems and to explain how they may be solved or even avoided altogether. Professor Manly also presents a clear understanding of the opportunities and limitations of different research designs, as well as an introduction to some new methods of analysis that are proving increasingly popular. Topics covered include the differences between observational and experimental studies; the design of sample surveys; multiple regression and its generalizations to log-linear and logistic models; experimental and quasi-experimental designs; interrupted time series; computer intensive methods of statistical inference; and the ethical considerations of research. In the final chapter, there is a useful discussion of how t

This book presents a coherent introduction to boundary integral, boundary element and singularity methods for steady and unsteady flow at zero Reynolds number. The focus of the discussion is not only on the theoretical foundation, but also on the practical application and computer implementation. The text is supplemented with a number of examples and unsolved problems, many drawn from the field of particulate creeping flows. The material is selected so that the book may serve both as a reference monograph and as a textbook in a graduate course on fluid mechanics or computational fluid mechanics.

This book describes both the theoretical and experimental aspects of optical soliton generation, soliton properties and the application of optical solitons to all-optical high-bit-rate communications. Only temporal optical solitons in fibres are considered. The intention of the book is to provide an overview of our current understanding of optical soliton properties, introducing the subject for the student and reviewing the most recent research. Each chapter has been written by experts, indeed chapters 1 and 2 have been contributed by the pioneers of theoretical and experimental optical soliton research – Dr A. Hasegawa and Dr L. F. Mollenauer respectively. The book will be of importance to graduate students and researchers in optics, optical engineering and communications science, providing a useful introduction for those who are entering the field. It will provide an up-to-date summary of recent research for the expert, who will also find the references to each chapter extremely val

The primary object of this manual is to build an understanding of the principles of computer operations and the use of computers in the laboratory. While the development of applications for computers has been rapid since their introduction, the principles of computer operation and their use in sensing and control have remained stable. Those are the primary subjects of this book, throughout which a gradual understanding of what goes on inside a computer is developed. The laboratory provides a vital experience in linking theory with physical reality, and all of the computer work is done in the context of doing experiments. The IBM-PC design is used as the basis for the book. The internal design of this machine is slightly more complicated than earlier personal computers, but it is still simple enough to be quickly learned. The computer can be directly controlled by proper programming, and offers considerably more power than earlier designs. The IBM design also has expansion slots which m

The nature of perception has long been a central question in philosophy. It is of crucial importance not just in the philosophy of mind, but also in epistemology, metaphysics, aesthetics, and the philosophy of science. The essays in this 1992 volume not only offer fresh answers to some of the traditional problems of perception, but also examine the subject in light of contemporary research on mental content. A substantial introduction locates the essays within the recent history of the subject, and demonstrates the links between them. The Contents of Experience brings together some prominent philosophers in the field, and offers a major statement on a problem central to current philosophical thinking. Notable contributors include Christopher Peacocke, Brian O'Shaughnessy and Michael Tye.

Presents a complete introduction to modern exchange markets and what to know in order to operate them effectively using trading systems, computer-based models and other analytical tools. Contains an i

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses. The book builds on the student's familiarity with sequential programming in a high level language, which will make it very accessible to computer science students. The book is concerned mainly with the high level aspects of concurrency, which will be equally applicable to traditional time sliced or more recent truly parallel systems.

First published in 1991, this thesis concentrates upon the design of three-dimensional, rather than the traditional two-dimensional, circuits. The theory behind such circuits is presented in detail, together with experimental results. Winner of the Distinguished Dissertation in Computer Science award, this work will prove invaluable to both designers and hardware engineers involved in the development of practical three-dimensional integrated circuits.

In this 1991 book, Hilbers discusses the general case of how to use processors simultaneously in order to solve a single problem rather than any specific application, and develops a theory independent of particular architectures. He starts by introducing distributed computing with graph theory, and considers processor networks and their price/performance ratios. He goes on to look at obtaining homogeneous distributions of work over networks and considers examples. Finally he discusses message routing within a processor network. This is intended to be a fundamental treatment of the relevant subjects and is aimed at computer scientists and graduate students in computer science who have experience with parallel processing: it will also be useful to others interested in processor networks.

This book is an introduction, for mathematics students, to the theories of information and codes. They are usually treated separately but, as both address the problem of communication through noisy channels (albeit from different directions), the authors have been able to exploit the connection to give a reasonably self-contained treatment, relating the probabilistic and algebraic viewpoints. The style is discursive and, as befits the subject, plenty of examples and exercises are provided. Some examples and exercises are provided. Some examples of computer codes are given to provide concrete illustrations of abstract ideas.

There has recently been a rapid growth of activity in nonlinear optics. Effects such as frequency doubling, stimulated Raman scattering, phase conjugation and solitons are of great interest both for their fundamental properties and their many important applications in science and engineering. It is mainly these applications - especially in telecommunications and information processing - that have stimulated the recent surge of activity. This book is a self contained account of the most important principles of nonlinear optics. Assuming only a familiarity with basic mathematics, the fundamentals of nonlinear optics are fully developed from basic concepts. The essential quantum mechanical apparatus is introduced and explained. In later chapters the underlying ideas are illustrated by discussing particular experimental configurations and materials. This book will be an invaluable introduction to the field for beginning graduates in physics or engineering, and will provide an excellent ov

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

The study of spatial processes and their applications is an important topic in statistics and finds wide application particularly in computer vision and image processing. This book is devoted to statistical inference in spatial statistics and is intended for specialists needing an introduction to the subject and to its applications. One of the themes of the book is the demonstration of how these techniques give new insights into classical procedures (including new examples in likelihood theory) and newer statistical paradigms such as Monte-Carlo inference and pseudo-likelihood. Professor Ripley also stresses the importance of edge effects and of lack of a unique asymptotic setting in spatial problems. Throughout, the author discusses the foundational issues posed and the difficulties, both computational and philosophical, which arise. The final chapters consider image restoration and segmentation methods and the averaging and summarising of images. Thus, the book will find wide appeal

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

Written in an appealing and informal style, this text is a self-contained second course on mathematical methods dealing with topics in linear algebra and multivariate calculus that can be applied to statistics, operations research, computer science, econometrics and mathematical economics. The prerequisites are elementary courses in linear algebra and calculus, but the author has maintained a balance between a rigorous theoretical and a cookbook approach, giving concrete and geometric explanations, so that the material will be accessible to students who have not studied mathematics in depth. Indeed, as much of the material is normally available only in technical textbooks, this book will have wide appeal to students whose interest is in application rather than theory. The book is amply supplied with examples and exercises: complete solutions to a large proportion of these are provided.

Written in an appealing and informal style, this text is a self-contained second course on mathematical methods dealing with topics in linear algebra and multivariate calculus that can be applied to statistics, operations research, computer science, econometrics and mathematical economics. The prerequisites are elementary courses in linear algebra and calculus, but the author has maintained a balance between a rigorous theoretical and a cookbook approach, giving concrete and geometric explanations, so that the material will be accessible to students who have not studied mathematics in depth. Indeed, as much of the material is normally available only in technical textbooks, this book will have wide appeal to students whose interest is in application rather than theory. The book is amply supplied with examples and exercises: complete solutions to a large proportion of these are provided.

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

The theory of modular forms and especially the so-called 'Ramanujan Conjectures' have been applied to resolve problems in combinatorics, computer science, analysis and number theory. This tract, based on the Wittemore Lectures given at Yale University, is concerned with describing some of these applications. In order to keep the presentation reasonably self-contained, Professor Sarnak begins by developing the necessary background material in modular forms. He then considers the solution of three problems: the Ruziewicz problem concerning finitely additive rotationally invariant measures on the sphere; the explicit construction of highly connected but sparse graphs: 'expander graphs' and 'Ramanujan graphs'; and the Linnik problem concerning the distribution of integers that represent a given large integer as a sum of three squares. These applications are carried out in detail. The book therefore should be accessible to a wide audience of graduate students and researchers in mathematics

This interpretation of the impact of slavery on African life emphasizes the importance of external demand for slaves - from Occidental and Oriental purchasers - in developing an active trade in slaves within Africa. The book summarizes a wide range of recent literature on slavery for all of tropical Africa. It analyzes the demography, economics, social structure, and ideology of slavery in Africa from the beginning of large-scale exports in the seventeenth century to the gradual elimination of slavery in the twentieth century. While the book is primarily a general survey, it presents interesting research and analysis, especially in the author's demographic model, computer simulation of the slave trade, and analysis of slave prices. The demographic, economic, and social analyses are carefully introduced, so that the book may serve not only as a general introduction to African slavery for an undergraduate audience, but as a primer on interdisciplinary application of social science method

This anthology is intended for advanced undergraduates and graduate students in such disciplines as philosophy, psychology, economics, and political science. It includes twenty-one selections falling under three main categories: individual decision theory; game theory and group decision-making; reasons, desires and intentionality. All the pieces have been published before in journals and have proven long term importance to theoretical work in rational action. The volume includes a general introduction on decision theory and a topical bibliography.

The classic works of Emile Durkheim are characterized by a structural approach to the understanding of collective behaviour, and it is this element of his writings that has been most taken up by modern social science. This volume, however, rejects the dominant structural approach, and draws instead on Durkheim's later work, in which he shifted to a symbolic theory of modern industrial societies that emphasized the importance of ritual and placed the tension between the sacred and the profane at the center of society. In so doing, the contributors offer both a radically different approach to Durkheimian sociology and a new way of linking the interpretation of culture and the interpretation of society. In his introduction to the volume, Jeffrey Alexander elaborates the new interpretation of Durkheim that informs the contributions. His arguments form a background for the lively and provacative chapters that follow, which provide broadly cultural interpretations of such topics as popular u