Introduction to Computer science

The authoritative work on file formats for global film and television! The FILE INTERCHANGE HANDBOOK is a must-have reference for every film and video professional moving to computer based production

Written primarily to stimulate the interest of students in spectroscopy and make them aware of the latest developments in this field, this book begins with a general introduction to electromagnetic r

While many of us are concerned with the loss of communal spaces and ties that broaden one's sense of self beyond the 'me' or 'I' and into the 'we' and 'us', less clear are the educational advantages of a community approach in terms of learning curricular content. The chapters in this 2004 volume explore the theoretical, design, learning, and methodological questions with respect to designing for and researching web-based communities to support learning. The authors, coming from diverse academic backgrounds (computer science, information science, instructional systems technology, educational psychology, sociology, and anthropology), are frank in examining what we do and do not know about the processes and practices of designing communities to support learning. Taken as a collection, these manuscripts point to the challenges and complex tensions that emerge when designing for web-supported community, especially when the focal practice of the community is learning.

While many of us are concerned with the loss of communal spaces and ties that broaden one's sense of self beyond the 'me' or 'I' and into the 'we' and 'us', less clear are the educational advantages of a community approach in terms of learning curricular content. The chapters in this 2004 volume explore the theoretical, design, learning, and methodological questions with respect to designing for and researching web-based communities to support learning. The authors, coming from diverse academic backgrounds (computer science, information science, instructional systems technology, educational psychology, sociology, and anthropology), are frank in examining what we do and do not know about the processes and practices of designing communities to support learning. Taken as a collection, these manuscripts point to the challenges and complex tensions that emerge when designing for web-supported community, especially when the focal practice of the community is learning.

Certain constrained combinatorial optimization problems have a natural analogue in the continuous setting of the classical isoperimetric problem. The study of so called combinatorial isoperimetric problems exploits similarities between these two, seemingly disparate, settings. This text focuses on global methods. This means that morphisms, typically arising from symmetry or direct product decomposition, are employed to transform new problems into more restricted and easily solvable settings whilst preserving essential structure. This book is based on Professor Harper's many years' experience in teaching this subject and is ideal for graduate students entering the field. The author has increased the utility of the text for teaching by including worked examples, exercises and material about applications to computer science. Applied systematically, the global point of view can lead to surprising insights and results, and established researchers will find this to be a valuable reference wo

Chemical separations are of central importance in many areas of environmental science, whether it is the clean up of polluted water or soil, the treatment of discharge streams from chemical processes, or modification of a specific process to decrease its environmental impact. This book is an introduction to chemical separations, focusing on their use in environmental applications. The authors first discuss the general aspects of separation technology as a unit operation. They also describe how property differences are used to generate separations, the use of separating agents, and the selection criteria for particular separation techniques. The general approach for each technology is to present the chemical and/or physical basis for the process and explain how to evaluate it for design and analysis. The book contains many worked examples and homework problems. It is an ideal textbook for undergraduate and graduate students taking courses on environmental separations or environmental en

Convex optimization problems arise frequently in many different fields. This book provides a comprehensive introduction to the subject, and shows in detail how such problems can be solved numerically with great efficiency. The book begins with the basic elements of convex sets and functions, and then describes various classes of convex optimization problems. Duality and approximation techniques are then covered, as are statistical estimation techniques. Various geometrical problems are then presented, and there is detailed discussion of unconstrained and constrained minimization problems, and interior-point methods. The focus of the book is on recognizing convex optimization problems and then finding the most appropriate technique for solving them. It contains many worked examples and homework exercises and will appeal to students, researchers and practitioners in fields such as engineering, computer science, mathematics, statistics, finance and economics.

The introduction of increased levels of physical activity and exercise have the potential to benefit people of all ages and may decrease reported levels of health care utilisation. Health management i

Intended for computer science students, this textbook explains current efforts to use algorithms, heuristics, and methodologies based on the ways in which the human brain solves problems in the fields

Spray forming combines the metallurgical processes of metal casting and powder metallurgy to fabricate metal products with enhanced properties. This book provides an introduction to the various modelling and simulation techniques employed in spray forming, and shows how they are applied in process analysis and development. The author begins by deriving and describing the main models. He then presents their application in the simulation of the key features of spray forming. Wherever possible he discusses theoretical results with reference to experimental data. Building on the features of metal spray forming, he also derives common characteristic modelling features that may be useful in the simulation of related spray processes. The book is aimed at researchers and engineers working in process technology, chemical engineering and materials science.

Governance is an easy-to read introduction to an increasingly important concept in political science. It provides a clear overview of how the concept has been used in the sub-fields of public administ

Governance is an easy-to read introduction to an increasingly important concept in political science. It provides a clear overview of how the concept has been used in the sub-fields of public administ

Coding theory is concerned with successfully transmitting data through a noisy channel and correcting errors in corrupted messages. It is of central importance for many applications in computer science or engineering. This book gives a comprehensive introduction to coding theory whilst only assuming basic linear algebra. It contains a detailed and rigorous introduction to the theory of block codes and moves on to more advanced topics like BCH codes, Goppa codes and Sudan's algorithm for list decoding. The issues of bounds and decoding, essential to the design of good codes, features prominently. The authors of this book have, for several years, successfully taught a course on coding theory to students at the National University of Singapore. This book is based on their experiences and provides a thoroughly modern introduction to the subject. There are numerous examples and exercises, some of which introduce students to novel or more advanced material.

This book, first published in 2004, describes the application of statistical physics and complex systems theory to the study of the evolution and structure of the Internet. Using a statistical physics approach the Internet is viewed as a growing system that evolves in time through the addition and removal of nodes and links. This perspective permits us to outline the dynamical theory required for a description of the macroscopic evolution of the Internet. The presence of such a theoretical framework appears to be a revolutionary and promising path towards our understanding of the Internet and the various processes taking place on this network, including, for example, the spread of computer viruses or resilience to random or intentional damages. This book will be of interest to graduate students and researchers in statistical physics, computer science and mathematics studying in this subject.

Coding theory is concerned with successfully transmitting data through a noisy channel and correcting errors in corrupted messages. It is of central importance for many applications in computer science or engineering. This book gives a comprehensive introduction to coding theory whilst only assuming basic linear algebra. It contains a detailed and rigorous introduction to the theory of block codes and moves on to more advanced topics like BCH codes, Goppa codes and Sudan's algorithm for list decoding. The issues of bounds and decoding, essential to the design of good codes, features prominently. The authors of this book have, for several years, successfully taught a course on coding theory to students at the National University of Singapore. This book is based on their experiences and provides a thoroughly modern introduction to the subject. There are numerous examples and exercises, some of which introduce students to novel or more advanced material.

A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network flows. Central to the exposition is the polyhedral viewpoint, which is the key principle underlying the successful integer-programming approach to combinatorial-optimization problems. Another key unifying topic is matroids. The author does not dwell on data structures and implementation details, preferring to focus on the key mathematical ideas that lead to useful models and algorithms. Problems and exercises are included throughout as well as references for further study.

A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network flows. Central to the exposition is the polyhedral viewpoint, which is the key principle underlying the successful integer-programming approach to combinatorial-optimization problems. Another key unifying topic is matroids. The author does not dwell on data structures and implementation details, preferring to focus on the key mathematical ideas that lead to useful models and algorithms. Problems and exercises are included throughout as well as references for further study.

Newman's lucid and engaging introduction guides the reader through the world of videogaming. It traces the history of the videogame, from its origins in the computer lab, to its contemporary status as

This book takes a non-mathematical, computer science approach to the introduce the field of mobile communications. A wide range of examples is combined with a strong pedagogy making the book perfect f

This core text provides an excellent concise introduction to infectious diseases. The book integrates basic science with clinical practice with disease-orientated descriptions and clinical presentatio

Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. In simple terms: how do you update a database of knowledge in the light of new information? What if the new information is in conflict with something that was previously held to be true? An intelligent system should be able to accommodate all such cases. This book contains a collection of research articles on belief revision that are completely up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory. Thus this volume will be useful as a textbook on belief revision.

This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic algorithm design; specification theory; verification theory; design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included. The book has grown from a workshop held at the Centre for Theoretical Computer Science at Leeds University and or

In this introduction to a classic philosophical text, Catherine Wilson examines the arguments of Descartes' famous Meditations, the book which launched modern philosophy. Drawing on the reinterpretations of Descartes' thought of the past twenty-five years, she shows how Descartes constructs a theory of the mind, the body, nature, and God from a premise of radical uncertainty. She discusses in detail the historical context of Descartes' writings and their relationship to early modern science, and at the same time she introduces concepts and problems that define the philosophical enterprise as it is understood today. Following closely the text of the Meditations and meant to be read alongside them, this survey is accessible to readers with no previous background in philosophy. It is well-suited to university-level courses on Descartes, but can also be read with profit by students in other disciplines.

Revising their 1991 text, Schinzinger (electrical engineering and computer science, U. of California at Irvine) and Laura (U. Nacional del Sur, Argentina) continue to seek to spark interest in comform

Quantum mechanics is one of the most fundamental yet difficult subjects in physics. Nonrelativistic quantum theory is presented here in a clear and systematic fashion, integrating Born's probabilistic interpretation with Schrödinger dynamics. Basic quantum principles are illustrated with simple examples requiring no mathematics beyond linear algebra and elementary probability theory. The quantum measurement process is consistently analyzed using fundamental quantum principles without referring to measurement. These same principles are used to resolve several of the paradoxes that have long perplexed physicists, including the double slit and Schrödinger's cat. The consistent histories formalism used here was first introduced by the author, and extended by M. Gell-Mann, J. Hartle and R. Omnès. Essential for researchers yet accessible to advanced undergraduate students in physics, chemistry, mathematics, and computer science, this book is supplementary to standard textbooks. It will also

The Haraway Reader brings together a generous selection of Donna Haraway's work, she is one of our keenest observers of nature, science, and the social world and this volume is ideal introduction to h

Following the success of The Quantum Universe, first published in 1987, a host of exciting new discoveries have been made in the field of quantum mechanics. The New Quantum Universe provides an up-to-date and accessible introduction to the essential ideas of quantum physics, and demonstrates how it affects our everyday life. Quantum mechanics gives an understanding of not only atoms and nuclei, but also all the elements and even the stars. The book explains quantum paradoxes and the eventful life of Schroedinger's Cat, along with the Einstein–Podolsky–Rosen paradox and Bell's Inequality. It then looks ahead to the nanotechnology revolution, describing quantum cryptography, quantum computing and quantum teleportation, and ends with an account of quantum mechanics and science fiction. Using simple non-mathematical language, this book is suitable for final-year school students, science undergraduates, and anyone wishing to appreciate how physics allows the new technologies that are chang

This latest edition of Coloring of Plastics: Fundamentals offers an updated introduction to color as a science while also providing the foundation for many additional technological subjects. The basic

A companion volume to Beginning Perl for Bioinformatics discusses the ties between biology and computer science and covers core PERL programming concepts, module extensions, and more advanced Perl tec

Debugging by Thinking: A Multi-Disciplinary Approach is the first book to apply the wisdom of six disciplines—logic, mathematics, psychology, safety analysis, computer science, and engineering—to the

First published in 1936, Colyer's Variations and Diseases of the Teeth of Animals drew extensively on the material housed in the Odontological Museum of the Royal College of Surgeons of England, and quickly became an indispensable reference for students and research workers in zoology, archaeology and veterinary science, as well as human dentistry. In this second edition, Colyer's successors at the Odontological Museum have fully revised the text in the light of new knowledge, while preserving the best of Colyer's own material. The text has been rearranged taxonomically and a new introduction reviewing conceptual advances in the field since Colyer's time has been added. The numerous illustrations, classics of their kind, have been reproduced to a high standard from Colyer's originals and many new figures have been incorporated. This revision will introduce Colyer's material to a new audience, for whom it represents a comprehensive and fully-referenced survey of abnormalities and diseas

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

The Haraway Reader brings together a generous selection of Donna Haraway's work, she is one of our keenest observers of nature, science, and the social world and this volume is ideal introduction to h

The Alchemy Reader is a collection of primary source readings on alchemy and hermeticism, which offers readers an informed introduction and background to a complex field through the works of important ancient, medieval and early modern alchemical authors. Including selections from the legendary Hermes Trimegistus to Robert Boyle and Isaac Newton, the book illustrates basic definitions, conceptions, and varied interests and emphases; and it also illustrates the highly interdisciplinary character of alchemical thought and its links with science and medicine, philosophical and religious currents, the visual arts and iconography and, especially, literary discourse. Like the notable anthologies of alchemical writings published in the sixteenth and seventeenth centuries, it seeks to counter the problem of an acute lack of reliable primary texts and to provide a convenient and accessible point of entry to the field.

The Cambridge Companion to Greek and Roman Philosophy is a wide-ranging 2003 introduction to the study of philosophy in the ancient world. A team of leading specialists surveys the developments of the period and evaluates a comprehensive series of major thinkers, ranging from Pythagoras to Epicurus. There are also separate chapters on how philosophy in the ancient world interacted with religion, literature and science, and a final chapter traces the seminal influence of Greek and Roman philosophy down to the seventeenth century. Practical elements such as tables, illustrations, a glossary, and extensive advice on further reading make it an ideal book to accompany survey courses on the history of ancient philosophy. It will be an invaluable guide for all who are interested in the philosophical thought of this rich and formative period.

From his groundbreaking book Speech Acts to his most recent studies of consciousness, freedom and rationality John Searle has been a dominant and highly influential figure amongst contemporary philosophers. This systematic introduction to the full range of Searle's work begins with the theory of speech acts and proceeds with expositions of Searle's writings on intentionality, consciousness and perception, as well as a careful presentation of the so-called Chinese Room argument. The volume considers Searle's recent work on social ontology and his views on the nature of law and obligation. It concludes with an appraisal of Searle's spirited defence of truth and scientific method in the face of the criticisms of Derrida and other postmodernists. This is the only comprehensive introduction to Searle's work, and as such it will be of particular value to advanced undergraduates, graduates and professionals in philosophy, psychology, linguistics, cognitive and computer science and literary th

Famous mathematical constants include the ratio of circular circumference to diameter, pi=3.14 …, and the natural logarithmic base, e=2.178 … Students and professionals usually can name at most a few others, but there are many more buried in the literature and awaiting discovery. How do such constants arise, and why are they important? Here Steven Finch provides 136 essays, each devoted to a mathematical constant or a class of constants, from the well known to the highly exotic. Topics covered include the statistics of continued fractions, chaos in nonlinear systems, prime numbers, sum-free sets, isoperimetric problems, approximation theory, self-avoiding walks and the Ising model (from statistical physics), binary and digital search trees (from theoretical computer science), the Prouhet-Thue-Morse sequence, complex analysis, geometric probability and the traveling salesman problem. This book will be helpful both to readers seeking information about a specific constant, and to readers

From his groundbreaking book Speech Acts to his most recent studies of consciousness, freedom and rationality John Searle has been a dominant and highly influential figure amongst contemporary philosophers. This systematic introduction to the full range of Searle's work begins with the theory of speech acts and proceeds with expositions of Searle's writings on intentionality, consciousness and perception, as well as a careful presentation of the so-called Chinese Room argument. The volume considers Searle's recent work on social ontology and his views on the nature of law and obligation. It concludes with an appraisal of Searle's spirited defence of truth and scientific method in the face of the criticisms of Derrida and other postmodernists. This is the only comprehensive introduction to Searle's work, and as such it will be of particular value to advanced undergraduates, graduates and professionals in philosophy, psychology, linguistics, cognitive and computer science and literary th

This first book by the author of Zen and the Brain examines the role of chance in the creative process. James Austin tells a personal story of the ways in which persistence, chance, and creativity interact in biomedical research; the conclusions he reaches shed light on the creative process in any field.Austin shows how, in his own investigations, unpredictable events shaped the outcome of his research and brought about novel results. He then goes beyond this story of serendipity to propose a new classification of the varieties of chance, drawing on his own research and examples from the history of science--including the famous accidents that led Fleming to the discovery of penicillin. Finally, he explores the nature of the creative process, considering not only the environmental and neurophysiological correlates of creativity but also the role of intuition in both scientific discoveries and spiritual quests. This updated MIT Press paperback edition includes a new introduction and rece