Computer Technology and Computer Programming

The science consultant for the popular science fiction TV show discusses the actual scientific research in cell biology, cloning, genetic engineering, aging, hybrid cells, and computer technology that

Seismic Ray Theory presents a comprehensive treatment of the seismic ray method. This method plays an important role in seismology, seismic exploration, and in the interpretation of seismic measurements. Many concepts which extend the possibilities and increase the efficiency of the seismic ray method are included. The book has a tutorial character: derivations start with a relatively simple problem, in which the main ideas are easier to explain, and then advance to more complex problems. Most of the derived equations in the book are expressed in algorithmic form and may be used directly for computer programming. This book will prove to be an invaluable advanced textbook and reference volume in all academic institutions in which seismology is taught or researched. It will also be an invaluable resource in the research and exploration departments of the petroleum industry and in geological surveys.

This volume offers a comprehensive overview of this fast-evolving field. More than a revised edition, the text reflects recent developments in neuroscience and computer technology, coupled with chang

Small telescopes, whether simple beginners' telescopes or refined computer-controlled instruments, are gaining popularity fast as technology improves and public interest increases. In this book the au

Computer technology has transformed many fundamental parts of life: how we work and play, how we communicate and consume, how we create knowledge and learn, even how we understand politics and partici

Computer technology has transformed many fundamental parts of life: how we work and play, how we communicate and consume, how we create knowledge and learn, even how we understand politics and partici

Explores the possible use of cellular processes and quantum physics to develop the computer technology of the future. The chapter on DNA computing discusses Adleman's experiment, sticker systems and

Because of developments in powerful computer technology, computational techniques, advances in a wide spectrum of diverse technologies, and other advances coupled with cross disciplinary pursuits betw

Reactive flows encompass a broad range of physical phenomena, interacting over many different time and space scales. Such flows occur in combustion, chemical lasers, the earth's oceans and atmosphere, and stars and interstellar space. Despite the obvious physical differences in these flows, there is a striking similarity in the forms of their descriptive equations. Thus, the considerations and procedures for constructing numerical models of these systems are also similar, and these similarities can be exploited. Moreover, using the latest technology, what were once difficult and expensive computations can now be done on desktop computers. This book takes account of the explosive growth in computer technology and the greatly increased capacity for solving complex reactive flow problems that have occurred since the first edition of Numerical Simulation of Reactive Flow was published in 1987. It presents algorithms useful for reactive flow simulations, describes trade-offs involved in the

Niklaus Wirth is one of the great pioneers of computer technology and winner of the ACM's A.M. Turing Award, the most prestigious award in computer science. he has made substantial contributions to th

Communication and Qualitative Research is the first textbook to examine the impact of Internet technology on qualitative research methods. Drawing on many pioneering studies using computer-mediated c

After a half-century of glacial creep, television technology has begun to change at the same dizzying pace as computer software. What this will mean--for television, for computers, and for the popular

From all sides, we hear that computer technology, with its undeniable power to disseminate information and connect individuals, holds enormous potential for a reinvigoration of political life. But wil

Written for a broad audience of students in mathematics, computer science, operations research, statistics, and engineering, this textbook presents a short, lively survey of several fascinating non-calculus topics in modern applied mathematics. Coverage includes probability, mathematical finance, graphs, linear programming, statistics, computer science algorithms, and groups. A key feature is the abundance of interesting examples not normally found in standard finite mathematics courses, such as options pricing and arbitrage, tournaments, and counting formulas. The author assumes a level of mathematical sophistication at the beginning calculus level, that is, students should have had at least a course in pre-calculus, and the added sophistication attained from studying calculus would be useful.

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to sel

Computer simulations provide a powerful tool for understanding ecological and evolutionary systems. Simulating Ecological and Evolutionary Systems in C models a diverse range of biological processes and systems, including competition, foraging, predation, mating systems, and life-history optimization, by simulating large collections of interacting individuals. Using the widely available computer programming language C, the book starts with elementary programs modeling stochastic birth-death processes, slowly increasing programming complexity as the chapters progress. All the important features of C are covered, including arrays, files, pointers, and structures, within biologically motivated simulations. Although computer simulations of extremely complicated biological processes are released from rigid mathematical constraints, each of the simulations is also placed in the context of a mathematical formulation examined either analytically or numerically. Procedures covered include testi

A book/CD-ROM treatment of transport phenomena in porous media, textile, and automation technology for porous reinforcement, and of computer aided engineering for design optimization, offering a guide

Semiotics, the science of signs, has long been recognised as an important discipline for understanding information and communications. Moreover it has found wide application in other areas of computer science, as it offers an effective insight into organisations and the computer systems that support them. An organisation may be viewed as a system of information and communication in which human actors, with the assistance of information technology, are able to process, represent, store and consume information. Computer systems that fit into an organisation and that support and enhance its performance and competitiveness, can be better delivered if semiotic principles are understood and applied. In this book, first published in 2000, semiotic methods are introduced and illustrated through three major case studies, which demonstrate how information systems can be developed to meet business requirements and support business objectives. It will appeal to academics, systems developers and an

Object-oriented (OO) technology is an integral part of computer communications and multimedia service provisioning. Covering all areas related to OO programming in telecommunications applications, thi

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

In light of the spectacular performance of American high-technology weapons in the 1991 Persian Gulf War, as well as the phenomenal pace of innovation in the modern computer industry, many defense ana

The authors (professors of computer science and technology at the U. of Bologna, Italy) describe design techniques for data warehousing for database designers, companies, and institutions interested i

In light of the spectacular performance of American high-technology weapons in the 1991 Persian Gulf War, as well as the phenomenal pace of innovation in the modern computer industry, many defense ana

Augmented reality (AR) is a human-computer interface technology in which computer-generated information appears superimposed and stabilized upon specific coordinates of real objects. The proceedings

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertext

A detailed guide to the Peripheral Component Interconnect (PCI) Bus Specification, Intel's technology for communication between peripheral devices and the computer processor. Explains the relationship

In the past few years elliptic curve cryptography has moved from a fringe activity to a major challenger to the dominant RSA/DSA systems. Elliptic curves offer major advances on older systems such as increased speed, less memory and smaller key sizes. As digital signatures become more and more important in the commercial world the use of elliptic curve-based signatures will become all pervasive. This book summarizes knowledge built up within Hewlett-Packard over a number of years, and explains the mathematics behind practical implementations of elliptic curve systems. Due to the advanced nature of the mathematics there is a high barrier to entry for individuals and companies to this technology. Hence this book will be invaluable not only to mathematicians wanting to see how pure mathematics can be applied but also to engineers and computer scientists wishing (or needing) to actually implement such systems.

This book describes the state-of-the-art advances in computer-based plant control. The material presented is intended to provide an introductory textbook in control and instrumentation technology for

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

Automatic Speech Recognition (ASR) is the enabling technology for hands-free dictation and voice-triggered computer menus. It is becoming increasingly prevalent in environments such as private telepho

Designed for courses in Probability and Statistics and/or Random Processes, this book integrates a modern approach to statistical methods, computer technology, and recent pedagogical trends into an in

The Business of Shipbuilding thoroughly analyses vessel construction, from material receipt and preparation, to final outfitting. It explains the central role of computer technology in the design proc

Explores some of the more advanced tools in computer programming such as structured problem solving, object- oriented programming, data abstraction, and the comparative analysis of algorithms. The aut

Mixing medical records with computer technology makes good medicine. This book provides practical guidance on using information systems effectively to answer questions of concern to those responsible

Highlights recent advances in technology computer-aided design (TCAD) and identifies critical areas for future emphasis. The 39 contributions from the December 1997 symposium cover four main topics--

An exploration of regression graphics through computer graphics.Recent developments in computer technology have stimulated new and exciting uses for graphics in statistical analyses. Regression Graphi

A critically acclaimed analysis of the pervasive implications of computer technology for everyday human life argues that computerization has limited the scope of choice, modes of control, and interact

Explores the relationship of ethnographic narrative as it is affected by realist narratives in novels, movies, television, and the virtual reality of computer technology. Applying a blend of feminist

Exploring new trends in computer technology, Corporal introduces an innovative and exciting concept: Transport Triggered Architecture (TTAs). Unlike most traditional architectures, where programmed op