Introduction to Computer science

Protein chemistry has entered a revolutionary era due to the introduction of genetic engineering for modifying protein structure, as well as the application of advanced computer technology to the stud

An applied, one-semester introduction to sampling methods for non-mathematics majors that uses simple numerical illustrations to provide an intuitive understanding of concepts and confirm major results. The text describes various methods for sample selection and estimation including unequal probability sampling and the prediction approach. The accompanying disk contains data files for ten cases and two computer programs- one of which is an interactive DOS program designed to serve as a tutorial by assisting the implementation of sampling formulas. The book is intended primarily for upper-level undergraduate or graduate level students of business, government, health administration, economics, political science and other social sciences. It may also be used as a main or supplementary text in service courses on sampling offered by statistics and math departments.

This new book by Ken Steigliz offers an informal and easy-to-understand introduction to digital signal processing, emphasizing digital audio and applications to computer music. A DSP Primer covers imp

Increasing interest in set theory, particularly the possibility of a set of all sets ("universal set"), has been stimulated by its relevance to computer science. This new edition, drawing heavily on

Statistical mechanics is one of the crucial fundamental theories of physics, and in his new book Lawrence Sklar, one of the pre-eminent philosophers of physics, offers a comprehensive, non-technical introduction to that theory and to attempts to understand its foundational elements. Among the topics treated in detail are: probability and statistical explanation, the basic issues in both equilibrium and non-equilibrium statistical mechanics, the role of cosmology, the reduction of thermodynamics to statistical mechanics, and the alleged foundation of the very notion of time asymmetry in the entropic asymmetry of systems in time. The book emphasises the interaction of scientific and philosophical modes of reasoning, and in this way will interest all philosophers of science as well as those in physics and chemistry concerned with philosophical questions. The book could also be read by an informed general reader interested in the foundations of modern science.

This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realisability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with some background in categorical logic.

This is a user-friendly guide to the art and science of management from Andrew S. Grove, the president of America's leading manufacturer of computer chips. Groves recommendations are equally appropria

This 1995 volume views important social and political issues through the eyes of economists. Pioneered by Gary Becker, this approach asserts that all actions, whether working, playing, dating, or mating, have economic motivations and consequences, and can be analysed using economic reasoning. Intended as an introduction to the current state of the field, the essays are informal and non-technical, while still using up-to-date economic reasoning to illuminate such topics as crime, marriage, discrimination, immigration, fads and fashions. The expanding domain of economics is illustrated, as problems from sociology, political science, anthropology, and public policy are all included in this Beckerian view: the world of human interaction, as seen by an economist.

This 1995 volume views important social and political issues through the eyes of economists. Pioneered by Gary Becker, this approach asserts that all actions, whether working, playing, dating, or mating, have economic motivations and consequences, and can be analysed using economic reasoning. Intended as an introduction to the current state of the field, the essays are informal and non-technical, while still using up-to-date economic reasoning to illuminate such topics as crime, marriage, discrimination, immigration, fads and fashions. The expanding domain of economics is illustrated, as problems from sociology, political science, anthropology, and public policy are all included in this Beckerian view: the world of human interaction, as seen by an economist.

Over the last decades, a series of dramatic research findings have served to emphasize the vital role of the peroxisome. These findings have included major advances in our understanding of its metabolic roles, genetics and biochemistry, as well as of the broad involvements of peroxisomal diseases. This book provides a basic introduction to the peroxisome and its relationship to other components of eukaryotic cells, followed by a detailed and comprehensive discussion of research advances. Current understanding of the morphology, phylogeny, enzymology and ontogeny of the peroxisome is also reviewed. The book concludes with a chapter on peroxisomes and human disease. The authors are well-respected researchers in this field, and have produced an authoritative and readable text which will appeal to postgraduates and researchers in biochemistry, cell biology and medical science.

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

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

Markov chains are an important idea, related to random walks, which crops up widely in applied stochastic analysis. They are used, for example, in performance modelling and evaluation of computer networks, queuing networks, and telecommunication systems. The main point of the present book is to provide methods, based on the construction of Lyapunov functions, of determining when a Markov chain is ergodic, null recurrent, or transient. These methods can also be extended to the study of questions of stability. Of particular concern are reflected random walks and reflected Brownian motion. The authors provide not only a self-contained introduction to the theory but also details of how the required Lyapunov functions are constructed in various situations.

This text bridges the gap between the classic texts on potential theory and modern books on applied geophysics. It opens with an introduction to potential theory, emphasising those aspects particularly important to earth scientists, such as Laplace's equation, Newtonian potential, magnetic and electrostatic fields, and conduction of heat. The theory is then applied to the interpretation of gravity and magnetic anomalies, drawing on examples from modern geophysical literature. Topics explored include regional and global fields, forward modeling, inverse methods, depth-to-source estimation, ideal bodies, analytical continuation, and spectral analysis. The book includes numerous exercises and a variety of computer subroutines written in FORTRAN. Graduate students and researchers in geophysics will find this book essential.

Cognitive Science is a single-source undergraduate text that broadly surveys the theories and empirical results of cognitive science within a consistent computational perspective. In addition to cover

Drawing on work in linguistics, language acquisition, and computer science, Adele E. Goldberg proposes that grammatical constructions play a central role in the relation between the form and meaning o

As computerisation in the medical environment has increased, so the advantages of storage and the computer analysis of data from various monitoring and measuring equipment has become well recognised. Most medical monitoring and measurement equipment now supports an RS-232 serial interface, allowing for direct computer access both in terms of data analysis and equipment control. This book describes the techniques used for interfacing a PC to a range of medical equipment used internationally in the areas of anaesthesia, intensive care, surgery, respiratory medicine and physiology. Part One addresses the serial interface, including the RS-232 standard, transmission of data and an introduction to serial-interface programming using Microsoft QuickBASIC. Part Two looks at electrical safety, the use of Kermit and data analysis. Part Three considers the practical aspects of interfacing a PC to a wide range of equipment, and includes example programs for collecting data and in some cases for co

This magnificent account of the coming of age of physics in America has been heralded as the best introduction to the history of science in the United States. Unsurpassed in its breadth and literary

This book describes the results of a quantitative investigation into one of the central questions of political science: what determines how long governments survive in parliamentary democracies? Government survival is important because it constitutes an essential component of the overall functioning of parliamentary democracies; it is also closely associated with the introduction to the discipline of event history analysis, a highly promising statistical methodology. The investigation utilizes this methodology on what is undoubtedly the most comprehensive data set yet assembled on governments, comprising hundreds of variables measured for governments in sixteen West European parliamentary democracies over the entire post-war period to 1989. The results fundamentally challenge the central thread of theorizing on government survival and point to an alternative conceptualization of the relationship among governments, parties and voters.

A text developed from a previous work, An Introduction to Computer Logic (1974) by Nagle, Carroll, and Irwin, which was a widely adopted text on the fundamentals of combinational and sequential logi

This collection of essays is on the relation between probabilities, especially conditional probabilities, and conditionals. It provides negative results which sharply limit the ways conditionals can be related to conditional probabilities. There are also positive ideas and results which will open up areas of research. The collection is intended to honour Ernest W. Adams, whose seminal work is largely responsible for creating this area of inquiry. As well as describing, evaluating, and applying Adams's work the contributions extend his ideas in directions he may or may not have anticipated, but that he certainly inspired. In addition to a wide range of philosophers of science, the volume should interest computer scientists and linguists.

This is a self-contained and systematic account of affine differential geometry from a contemporary view, not only covering the classical theory, but also introducing more modern developments. In order both to cover as much as possible and to keep the text of a reasonable size, the authors have concentrated on the significant features of the subject and their relationship and application to such areas as Riemannian, Euclidean, Lorentzian and projective differential geometry. In so doing, they also provide a modern introduction to the last. Some of the important geometric surfaces considered are illustrated by computer graphics, making this a physically and mathematically attractive book for all researchers in differential geometry, and for mathematical physicists seeking a quick entry to the subject.

The investigation and manipulation of matter on the atomic scale have been revolutionised by scanning tunnelling microscopy and related scanning probe techniques. This book is the first to provide a clear and comprehensive introduction to this subject. Beginning with the theoretical background of scanning tunnelling microscopy, the design and instrumentation of practical STM and associated systems are described in detail, as are the applications of these techniques in fields such as condensed matter physics, chemistry, biology, and nanotechnology. Containing 350 illustrations, and over 1200 references, this unique book represents an ideal introduction to the subject for final-year undergraduates in physics or materials science. It will also be invaluable to graduate students and researchers in any branch of science where scanning probe techniques are used.

The investigation and manipulation of matter on the atomic scale have been revolutionised by scanning tunnelling microscopy and related scanning probe techniques. This book is the first to provide a clear and comprehensive introduction to this subject. Beginning with the theoretical background of scanning tunnelling microscopy, the design and instrumentation of practical STM and associated systems are described in detail, as are the applications of these techniques in fields such as condensed matter physics, chemistry, biology, and nanotechnology. Containing 350 illustrations, and over 1200 references, this unique book represents an ideal introduction to the subject for final-year undergraduates in physics or materials science. It will also be invaluable to graduate students and researchers in any branch of science where scanning probe techniques are used.

Graham Nerlich is one of the most distinguished of contemporary philosophers of space and time. Eleven of his essays are here brought together in a carefully structured volume, which deal with ontology and methodology in relativity, variable curvature and general relativity, and time and causation. The author has provided a new general introduction and also introductions to each part to bring the discussion more up to date and draw out the general themes. The book will be welcomed by all philosophers of physics, and of science in general.

Combinatorics is a subject of increasing importance, owing to its links with computer science, statistics and algebra. This is a textbook aimed at second-year undergraduates to beginning graduates. It stresses common techniques (such as generating functions and recursive construction) which underlie the great variety of subject matter and also stresses the fact that a constructive or algorithmic proof is more valuable than an existence proof. The book is divided into two parts, the second at a higher level and with a wider range than the first. Historical notes are included which give a wider perspective on the subject. More advanced topics are given as projects and there are a number of exercises, some with solutions given.

Creativity is a topic that has traditionally interested psychologists, historians and biographers. Developments in cognitive science and artificial intelligence have provided a powerful computational framework in which creativity can be studied and the creative process can be described and explained. In this book, creativity in technology is discussed using such a computational approach. Using an important historical episode in computer technology as a case study, namely the invention of microprogramming by Maurice Wilkes in 1951, the author presents a plausible explanation of the process by which Wilkes may have arrived at his invention. Based on this case study, the author has also proposed some very general hypotheses concerning creativity that appear to corroborate the findings of some psychologists and historians and then suggests that creative thinking is not significantly different in nature from everyday thinking and reasoning.

This book is a popular introduction to modern natural science and provides an insight into the advanced and expensive technology that is required in the exploration of the universe too small for the eye to see. This is the domain of the living cell, and even smaller, the basic building blocks of all matter: quarks, atoms and molecules. It is possible with modern technology to obtain images of objects as small as an individual atom. It is even possible to hold one atom in place and study it individually. This book will explain, in non-technical language, how we obtain our knowledge of the micro-universe. With the help of many clear diagrams, it goes on to describe the structure of living cells, of atoms and molecules as they are found in everyday objects, as well as in more exotic and dramatic forms of matter, such as anti matter, stars and black holes.

The book gives a comprehensive and lucid account of the science of the atmospheric boundary layer (ABL). There is an emphasis on the application of the ABL to numerical modelling of the climate. The book comprises nine chapters, several appendices (data tables, information sources, physical constants) and an extensive reference list. Chapter 1 serves as an introduction, with chapters 2 and 3 dealing with the development of mean and turbulence equations, and the many scaling laws and theories that are the cornerstone of any serious ABL treatment. Modelling of the ABL is crucially dependent for its realism on the surface boundary conditions, and chapters 4 and 5 deal with aerodynamic and energy considerations, with attention to both dry and wet land surfaces and sea. The structure of the clear-sky, thermally stratified ABL is treated in chapter 6, including the convective and stable cases over homogeneous land, the marine ABL and the internal boundary layer at the coastline. Chapter 7 th

This book develops deterministic chaos and fractals from the standpoint of iterated maps, but the emphasis makes it very different from all other books in the field. It provides the reader with an introduction to more recent developments, such as weak universality, multifractals, and shadowing, as well as to older subjects like universal critical exponents, devil's staircases and the Farey tree. The author uses a fully discrete method, a 'theoretical computer arithmetic', because finite (but not fixed) precision cannot be avoided in computation or experiment. This leads to a more general formulation in terms of symbolic dynamics and to the idea of weak universality. The connection is made with Turing's ideas of computable numbers and it is explained why the continuum approach leads to predictions that are not necessarily realized in computation or in nature, whereas the discrete approach yields all possible histograms that can be observed or computed.

One of the most troubling problems in archaeology is to determine the manner and content of prehistoric thought. A fundamental challenge is to develop the theory, methodology and tools to understand human cognition. Cognitive archaeology as a subject is still in its infancy, and archaeologists are adopting a variety of approaches. One direction has been to develop an 'interpretationist', anti-scientific, literary approach. Another has been to use a linguistic framework and develop a hermeneutic, semiotic approach. A third approach develops a new direction in prehistoric cognitive research which is rooted in the scientific tradition and in an empirical methodology. It draws upon the cognitive, the mathematical and the computer sciences in an attempt to understand what techniques can be used appropriately on archaeological data, and how to implement them efficiently. This is the approach adopted by the contributors to The Ancient Mind. Together, they begin to develop a science of cogniti

The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. Firstly the properties of l-presentable objects, locally l-presentable categories, and l-accessible categories are discussed in detail, and the equivalence of accessible and sketchable categories is proved. The authors go on to study categories of algebras and prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapters they treat some topics in model theory and some set theoretical aspects. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.

This 1994 book develops a way of representing the meanings of linguistic expressions which is independent of any particular language, allowing the expressions to be manipulated in accordance with rules related to their meanings which could be implemented on a computer. It begins with a survey of the contributions of linguistics, logic and computer science to the problem of representation, linking each with a particular type of formal grammar. A system of graphs is then presented, organized by scope relations in which linguistic constituents are sub-graphs whose configuration is determined by their categories. In developing this system, the author extends the notion of scope and argues that anaphoric and relative pronouns are structural signs not linguistic constituents. Certain count nouns are made the basis of this system and an account of proper names relating the count nouns, is given.

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theore

Comparative research is exploding with alternative methodological and theoretical approaches. In this book, experts in each one of these methods provide a comprehensive explanation and application of time-series, pooled, event history and Boolean methods to substantive problems of the welfare state. Each section of the book focuses on a different method with a general introduction to the methods and then two papers using the method to deal with analysis concerning welfare state problems in a political economy perspective. Scholars concerned with methodology in this area cannot afford to overlook this book because it will help them keep up on proliferating methodologies. Graduate students in political science and sociology will find this book extremely useful in their careers.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

A textbook for sophomores and juniors in engineering, science, mathematics, and computer science, or sourcebook for practicing engineers and scientists who need to use numerical analysis to solve prob

Comparative research is exploding with alternative methodological and theoretical approaches. In this book, experts in each one of these methods provide a comprehensive explanation and application of time-series, pooled, event history and Boolean methods to substantive problems of the welfare state. Each section of the book focuses on a different method with a general introduction to the methods and then two papers using the method to deal with analysis concerning welfare state problems in a political economy perspective. Scholars concerned with methodology in this area cannot afford to overlook this book because it will help them keep up on proliferating methodologies. Graduate students in political science and sociology will find this book extremely useful in their careers.

First published in 1993, this book surveys both the history of the Earth and the nature of the processes that controlled its history. It integrates information from many fields to provide a comprehensive summary of an interdisciplinary topic. Fundamental processes such as convection, thermal evolution of the Earth, evolution of the crust, mantle, orogeny, and rifting are explained. Historical topics such as the origin of life, paleontologic extinction events, differences between the Archean and younger time periods, deposition of Precambrian sediments, and evolution of the atmosphere and oceans are discussed. The book then focuses on the development of modern ocean basins, the history of Phanerozoic orogenic belts, and the nature of cratonic sedimentary cover sequences. The book can be used as a reference to give an overview of earth history for readers in other research areas, and as a broad introduction to this vast subject for all interested in earth science.