Your next step
Cambridge Alerts
Customer services
|
Computer Science Highlights
Cambridge University Press is pleased to offer a discount of 20% off list price on all books featured on this computer science new and recent titles website. Please note that journals are not offered at discount.
The special promotion code is MD6COMP. Please make a note of this code and enter it at checkout to receive your discount. This offer is valid until July 31, 2006.
|
Daniel J. Velleman
Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed.
Learn more...
|
|
Guillermo Sapiro
This book provides an introduction to the use of geometric partial differential equations in image processing and computer vision. It brings a number of new concepts into the field, providing a very fundamental and formal approach to image processing. State-of-the-art practical results in a large number of real problems are achieved with the techniques described. Applications covered include image segmentation, shape analysis, image enhancement, and tracking. The volume provides information for people investigating new solutions to image processing problems as well as for people searching for existent advanced solutions.
Learn more...
|
|
Herbert Edelsbrunner
This book combines mathematics (geometry and topology), computer science (algorithms), and engineering (mesh generation) in order to solve the conceptual and technical problems in the combining of elements of combinatorial and numerical algorithms. The book develops methods from areas that are amenable to combination and explains recent breakthrough solutions to meshing that fit into this category. It should be an ideal graduate text for courses on mesh generation. The specific material is selected giving preference to topics that are elementary, attractive, lend themselves to teaching, are useful, and interesting.
Learn more...
|
|
Ronen Feldman, James Sanger
Text mining tries to solve the crisis of information overload by combining techniques from data mining, machine learning, natural language processing, information retrieval, and knowledge management. In addition to providing an in-depth examination of core text mining and link detection algorithms and operations, this book examines advanced pre-processing techniques, knowledge representation considerations, and visualization approaches. Finally, it explores current real-world, mission-critical applications of text mining and link detection in such varied fields as M&A business intelligence, genomics research and counter-terrorism activities.
Learn more...
|
|
Nicolo Cesa-Bianchi, Gabor Lugosi
This important new text and reference for researchers and students in machine learning, game theory, statistics and information theory offers the first comprehensive treatment of the problem of predicting individual sequences. Unlike standard statistical approaches to forecasting, prediction of individual sequences does not impose any probabilistic assumption on the data-generating mechanism. Yet, prediction algorithms can be constructed that work well for all possible sequences, in the sense that their performance is always nearly as good as the best forecasting strategy in a given reference class. The central theme is the model of prediction using expert advice, a general framework within which many related problems can be cast and discussed. Repeated game playing, adaptive data compression, sequential investment in the stock market, sequential pattern analysis, and several other problems are viewed as instances of the experts' framework and analyzed from a common nonstochastic standpoint that often reveals new and intriguing connections. Old and new forecasting methods are described in a mathematically precise way in order to characterize their theoretical limitations and possibilities.
Learn more...
|
|
Jon Doyle
This book deploys the mathematical axioms of modern rational mechanics to understand minds as mechanical systems that exhibit actual, not metaphorical, forces, inertia, and motion. Using precise mental models developed in artificial intelligence the author analyzes motivation, attention, reasoning, learning, and communication in mechanical terms. These analyses provide psychology and economics with new characterizations of bounded rationality; provide mechanics with new types of materials exhibiting the constitutive kinematic and dynamic properties characteristic of different kinds of minds; and provide philosophy with a rigorous theory of hybrid systems combining discrete and continuous mechanical quantities. The resulting mechanical reintegration of the physical sciences that characterize human bodies and the mental sciences that characterize human minds opens traditional philosophical and modern computational questions to new paths of technical analysis.
Learn more...
|
|
Jin Xiong
Essential Bioinformatics is a concise yet comprehensive textbook of bioinformatics, which provides a broad introduction to the entire field. Written specifically for a life science audience, the basics of bioinformatics are explained, followed by discussions of the state-of-the-art computational tools available to solve biological research problems. All key areas of bioinformatics are covered including biological databases, sequence alignment, genes and promoter prediction, molecular phylogenetics, structural bioinformatics, genomics and proteomics. The book emphasizes how computational methods work and compares the strengths and weaknesses of different methods. This balanced yet easily accessible text will be invaluable to students who do not have sophisticated computational backgrounds. Technical details of computational algorithms are explained with a minimum use of mathematical formulae; graphical illustrations are used in their place to aid understanding. The effective synthesis of existing literature as well as in-depth and up-to-date coverage of all key topics in bioinformatics make this an ideal textbook for all bioinformatics courses taken by life science students and for researchers wishing to develop their knowledge of bioinformatics to facilitate their own research.
Learn more...
|
|
Bernhard O. Palsson
Genome sequences are now available that enable us to determine the biological components that make up a cell or an organism. The new discipline of systems biology examines how these components interact and form networks, and how the networks generate whole cell functions corresponding to observable phenotypes. This textbook describes how to model networks, determine their properties, and relate these to phenotypic functions. Some knowledge of linear algebra and biochemistry is required, since the book reflects the irreversible trend of increasing mathematical content in biology education.
Learn more...
|
|
Steven M. LaValle
Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer graphics, aerospace applications, drug design, and protein folding. Written for computer scientists and engineers with interests in artificial intelligence, robotics, or control theory, this is the only book on this topic that tightly integrates a vast body of literature from several fields into a coherent source for teaching and reference in a wide variety of applications. Difficult mathematical material is explained through hundreds of examples and illustrations.
Learn more...
|
|
John Talbot, Dominic Welsh
Cryptography plays a crucial role in many aspects of today's world, from internet banking and ecommerce to email and web-based business processes. Understanding the principles on which it is based is an important topic that requires a knowledge of both computational complexity and a range of topics in pure mathematics. This book provides that knowledge, combining an informal style with strong proofs of the key results to provide an accessible introduction. It includes many examples and exercises, and is based on a highly successful course developed and taught over many years.
Learn more...
|
|
Ron Roth
Error-correcting codes constitute one of the key ingredients in achieving the high degree of reliability required in modern data transmission and storage systems. This book introduces the reader to the theoretical foundations of error-correcting codes, with an emphasis on Reed-Solomon codes and their derivative codes. After reviewing linear codes and finite fields, Ron Roth describes Reed-Solomon codes and various decoding algorithms. Cyclic codes are presented, as are MDS codes, graph codes, and codes in the Lee metric. Concatenated, trellis, and convolutional codes are also discussed in detail.
Learn more...
|
|
Edited by Helmut Bölcskei, David Gesbert, Constantinos Papadias, Alle-Jan van der Veen
With the vast expansion in wireless communications comes the risk of bottlenecks in the traffic capacity of future wireless networks. The most promising technology to resolve this is multiple-input multiple-output (MIMO) and space-time processing. MIMO wireless systems technology has progressed from the ideas stage to commercially available products in less than a decade. Space-time signal processing offers improved bandwidth, reliability and spectral efficiency in wireless networks. With over sixty contributors from the field, this book provides an extensive overview of the state-of-the-art in MIMO, ranging from its roots in antenna array processing to advanced cellular communication systems. A unified treatment of three key topics: signal estimation in antenna arrays, space-time channel identification, and space-time coding, has been assembled by four editors with a broad range of academic and industry experience. This comprehensive reference will appeal to practitioners, researchers, and graduate students in wireless communications.
Learn more...
|
|
Arun Somani
The advent of fiber optic transmission systems and wavelength division multiplexing has led to a dramatic increase in the usable bandwidth of single fiber systems. This book provides detailed coverage of survivability (dealing with the risk of losing large volumes of traffic data due to a failure of a node or a single fiber span) and traffic grooming (managing the increased complexity of smaller user requests over high capacity data pipes), both of which are key issues in modern optical networks.
Learn more...
|
|
Ross Baldick
The starting point in the formulation of any numerical problem is to take an intuitive idea about the problem in question and to translate it into precise mathematical language. This book provides step-by-step descriptions of how to formulate numerical problems so that they can be solved by existing software. It examines various types of numerical problems and develops techniques for solving them. A number of engineering case studies are used to illustrate in detail the formulation process. The case studies motivate the development of efficient algorithms that involve, in some cases, transformation of the problem from its initial formulation into a more tractable form.
Learn more...
|
|
Piet Van Mieghem
This rigorous and self-contained book describes mathematical and, in particular, stochastic methods to assess the performance of networked systems. It consists of three parts. Part one is a review of probability theory. Part two covers the classical theory of stochastic processes (Poisson, renewal, Markov, and queuing theory), which are considered to be the basic building blocks for performance evaluation studies. Part three focuses on the relatively new field of the physics of networks. This part deals with the recently obtained insights that many very different large complex networks - such the Internet, World Wide Web, proteins, utility infrastructures, social networks - evolve and behave according to more general common scaling laws. This understanding is useful when assessing the end-to-end quality of communications services, for example, in Internet telephony, real-time video, and interacting games. Containing problems and solutions, this book is ideal for graduate students taking courses in performance analysis.
Learn more...
|
|
Scott W. Ambler
For all developers who create models using the Unified Modeling Language (UML) 2.x, this handy guide sets rules for style that will improve productivity - especially in teams, where understandability and consistency are critical. Coming from renowned UML expert Scott Ambler, the book furnishes a set of rules for modelling in the UML and describes a collection of standards and guidelines for creating effective UML diagrams that will be concise and easy to understand.
Learn more...
|
|
Ariel Pashtan
Mobile web services are designed to provide access to web content anywhere, any time. This book describes the key network elements, software components, and software protocols that are needed to realize these services, including the concept of user context and its potential to create personalized services. The book includes Java and XML code examples and a case study that shows how all the elements of system design fit together. It is aimed at wireless web architects, network managers, and graduate students in electrical engineering and computer science.
Learn more...
|
|
Victor Shoup
Number theory and algebra play an increasingly significant role in computing and communications, as evidenced by the striking applications of these subjects to such fields as cryptography and coding theory. This introductory book emphasises algorithms and applications, such as cryptography and error correcting codes, and is accessible to a broad audience. The mathematical prerequisites are minimal: nothing beyond material in a typical undergraduate course in calculus is presumed, other than some experience in doing proofs - everything else is developed from scratch.
Learn more...
|
|
S. G. Hoggar
Compression, restoration and recognition are three of the key components of digital imaging. The mathematics needed to understand and carry them out are explained here in a style that is rigorous and practical, with many worked examples, exercises with solutions, pseudocode, and sample calculations on images. The book abounds with illustrations and is suited for course use or for self-study. It will appeal to all those working in biomedical imaging and diagnosis, computer graphics, machine vision, remote sensing, image processing and information theory and its applications.
Learn more...
|
|
Solomon W. Golomb, Guang Gong
In today's world, almost all major types of communication are digital. For most important applications, such as wireless communication, advanced radar and sonar systems, and security systems for internet transactions, the digital signal must be easily distinguishable from other signals which may be present in the same environment and from time-shifts (or echoes) of itself. Mathematically, this distinguishability is described in terms of correlation properties. This comprehensive, up-to-date treatment of the methodologies and applications of correlation properties belongs on the shelf of all engineers, mathematicians and computer scientists working on coding, communication, information, or network theory.
Learn more...
|
|
David J. Lilja, Sachin S. Sapatnekar
This is both an introduction to computer architecture and a guide to using a hardware description language (HDL) to design real digital systems. The book starts with an introduction to the popular Verilog HDL. Next, the instruction set architecture (ISA) for the simple VeSPA (Very Small Processor Architecture) processor is defined. This ISA is used throughout the the book to demonstrate how behavioral and structural models can be developed in Verilog. Written for senior and graduate students, this book is also an ideal introduction to Verilog for practising engineers.
Learn more...
|
|
Michael Mitzenmacher, Eli Upfal
Randomization and probabilistic techniques play an important role in modern computer science, with applications ranging from combinatorial optimization and machine learning to communication networks and secure protocols. Assuming only an elementary background in discrete mathematics, this textbook is designed to accompany a one- or two-semester course for advanced undergraduates or beginning graduate students in computer science and applied mathematics. It gives an excellent introduction to the probabilistic techniques and paradigms used in the development of probabilistic algorithms and analyses, including random sampling, expectations, Markov's and Chevyshev's inequalities, Chernoff bounds, balls and bins models, the probabilistic method, Markov chains, MCMC, martingales, entropy, and other topics.
Learn more...
|
|
Andrea Goldsmith
This book provides a comprehensive introduction to the basic principles, design techniques and analytical tools of wireless communications, focusing primarily on core principles of wireless system design. It begins with an overview of wireless systems and standards. The characteristics of the wireless channel are then described, including capacity limits. Various modulation and coding schemes are then discussed in detail, including state-of-the-art adaptive modulation and diversity techniques. The concluding chapters deal with multiple and random access in wireless networks, cellular system design, and ad-hoc network design.
Learn more...
|
|
Gregory Pottie, William Kaiser
Embedded network systems (ENS) provide a set of technologies that can link the physical world to large scale networks in applications such as monitoring of borders, infrastructure, health, the environment, automated production, supply chains, homes, and places of business. This book details the fundamentals for this interdisciplinary and fast-moving field. Ethical, legal, and social implications are addressed. It is ideal for use on graduate courses in electrical engineering and computer science and will also appeal to engineers involved in the design of ENS.
Learn more...
|
|
Russell G. Smith, Peter Grabosky, Gregor Urbas
As computer-related crime becomes more widespread globally, both scholarly and journalistic accounts tend to focus on the ways in which the crime has been committed and how it could have been prevented. Very little has been written about what follows: the capture, possible extradition, prosecution, sentencing and incarceration of the cyber criminal. This book provides the first international study of the manner in which cybercriminals have been dealt with by the judicial process in recent times.
Learn more...
|
|
