Computer Science - Cambridge University Pressassets.cambridge.org/isbn13/97811079/70915/full_version/9781107… · Bayesian nonparametrics works. Applications are appearing in such

www.cambridge.org/computerscience

Networks, Crowds, and Markets Reasoning About a Highly Connected World

David Easley,Cornell University, New York

and Jon Kleinberg, Cornell University, New York

‘In this remarkable book, Jon Kleinberg and David Easley bring all the tools of computer science, economics, and sociology to bear on one of the great scientifi c challenges of our time: understanding the structure, function, and dynamics of networks in society … the ideal starting point for [learning] the fundamentals of the emerging fi eld of network science.’

DUNCAN WATTS, AUTHOR OF SIX DEGREES: THE SCIENCE OF A CONNECTED AGE

1. Overview; Part I. Graph Theory and Social Networks: 2. Graphs; 3. Strong and weak ties; 4. Networks in their surrounding contexts; 5. Positive and negative relationships; Part II. Game Theory: 6. Games; 7. Evolutionary game theory; 8. Modeling network traffi c using game theory; 9. Auctions; Part III. Markets and Strategic Interaction in Networks: 10. Matching markets; 11. Network models of markets with intermediaries; 12. Bargaining and power in networks; Part IV. Information Networks and the World Wide Web: 13. The structure of the Web; 14. Link analysis and Web search; 15. Sponsored search markets; Part V. Network Dynamics: Population Models: 16. Information cascades; 17. Network effects; 18. Power laws and rich-get-richer phenomena; Part VI. Network Dynamics: Structural Models: 19. Cascading behavior in networks; 20. The small-world phenomenon; 21. Epidemics; Part VII. Institutions and Aggregate Behavior: 22. Markets and information; 23. Voting; 24. Property.

2010 253 x 215 mm 744pp 332 b/w illus. 128 exercises 978-0-521-19533-1 Hardback £ 30.00

Behavior Dynamics in Media-Sharing Social Networks H. Vicky Zhao, University of Alberta

W. Sabrina Lin, University of Maryland, College Park

and K. J. Ray Liu, University of Maryland, College Park

Demonstrates how signal processing techniques can be used to model user dynamics and optimize design of media-sharing network systems.

• Unique emphasis on the signal processing perspective of behavior modeling and analysis

• Presents state-of-the-art concepts and recent results

• Uses two real-world multimedia social networks as examples to demonstrate the methodologies used to model and analyze human behaviour

2011 247 x 174 mm 336pp 110 b/w illus. 7 tables 978-0-521-19727-4 Hardback c. £ 75.00

Enterprise Cloud ComputingTechnology, Architecture, Applications

Gautam Shroff‘Cloud computing is becoming the new reality. It requires an understanding of virtualization and of the new systems designed to support massively

parallel computation in the cloud: map-reduce, Hadoop, Hive, and many others. These techniques in turn make possible very large-scale enterprise analytics, using a variety of modern data-mining algorithms. In a succinct way, the author introduces us to all of these technologies and provides a unique perspective on today’s IT infrastructure.’

JEFFREY D. ULLMAN, PROFESSOR EMERITUS, STANFORD UNIVERSITY

Preface; Part I. Computing Platforms; Part II. Cloud Platforms; Part III. Cloud Technolo-gies; Part IV. Cloud Development; Part V. Software Architecture; Part VI. Enterprise Cloud Computing; List of abbreviations; References; Index.

2010 234 x 177 mm 290pp 85 b/w illus. 1 colour illus. 978-0-521-76095-9 Hardback £ 60.00 978-0-521-13735-5 Paperback £ 25.00

Next-Generation InternetArchitectures and Protocols

Edited by Byrav Ramamurthy, University of Nebraska, Lincoln

George N. Rouskas, North Carolina State University

and Krishna Moorthy Sivalingam,Indian Institute of Technology, Madras

With ever-increasing demands on capacity, quality of service, and reliability, current Internet systems are under strain and under review. Combining contributions from leading experts, this book captures the most recent and innovative designs, architectures, protocols, and mechanisms that will enable researchers to successfully build the next-generation Internet.2010 247 x 174 mm 448pp 50 b/w illus. 15 tables 978-0-521-11368-7 Hardback c. £ 60.00

Network SecurityA Decision and Game-Theoretic Approach

Tansu Alpcan, Technische Universität Berlin

and Tamer Basar, University of Illinois, Urbana-Champaign

Applies quantitative models derived from decision, control and game theories to understanding diverse network security problems.

2010 247 x 174 mm 332pp 74 b/w illus. 11 tables 978-0-521-11932-0 Hardback £ 70.00

Computer Science2010/11

New and Forthcoming Titles in Computer Science


22471_T.indd 1 01/03/2011 11:33

2 Computer Science 2010/2011




Forthcoming

Computation, Proof, MachineMathematics Enters a New Age

Gilles Dowek, Ecole Polytechnique, Paris

Translated by: Pierre Guillot and Marion Roman

Now available in English, the title that won the 2007 Grand Prix de Philosophie of the Academie Francaise beautifully conveys the more challenging concepts and ideas that relate to the role of computation in mathematics, tying together aspects from computing, philosophy and natural sciences in an intellectual tour de force.

2011 228 x 152 mm 200pp978-0-521-11801-9 Hardback c. £60.00978-0-521-13377-7 Paperback c. £23.99

Phase Transitions in Machine LearningLorenza Saitta, Università degli Studi del Piemonte Orientale Amedeo Avogadro

Attilio Giordana, Università degli Studi del Piemonte Orientale Amedeo Avogadro

and Antoine Cornuéjols, AgroParis Tech (INA-PG)

This state-of-the-art overview of the fi eld describes how phase transitions occur and teaches appropriate methods for tackling the consequent problems.

Preface; Acknowledgements; 1. Introduction; 2. Statistical physics and phase transitions; 3. The satisfi ability problem; 4. Constraint satisfaction problems; 5. Machine learning; 6. Searching the hypothesis space; 7. Statistical physics and machine learning; 8. Learning, SAT, and CSP; 9. Phase transition in FOL covering test; 10. Phase transitions and relational learning; 11. Phase transitions in grammatical inference; 12. Relationships with complex systems; 13. Phase transitions in natural systems; 14. Discussions and open issues; Appendix A. Phase transitions detected in two real cases; Appendix B. An intriguing idea; References; Index.


Bayesian Nonparametrics Nils Lid Hjort, Universitetet i Oslo

Chris Holmes, University of Oxford

Peter Müller, University of Texas

and Stephen G. Walker, University of Kent, Canterbury

Bayesian nonparametrics works. Applications are appearing in such disciplines as information retrieval, NLP, machine vision, computational biology, cognitive science, signal processing. In this coherent introduction, the editors weave together tutorial chapters that give direct access to these exciting ideas and methods.

2010 253 x 177 mm 308pp 24 b/w illus. 978-0-521-51346-3 Hardback £35.00

Evaluating Learning AlgorithmsA Classifi cation Perspective

Nathalie Japkowicz, University of Ottawa

and Mohak Shahm, McGill University, Montréal

This book gives a solid basis for conducting performance evaluations of learning algorithms in practical settings with an emphasis on classifi cation algorithms. The authors describe several techniques designed to deal with performance measures and methods, error estimation or re-sampling techniques, statistical signifi cance testing, data set selection and evaluation benchmark design.

1. Introduction; 2. Machine learning and statistics overview; 3. Performance measures I; 4. Performance measures II; 5. Error estimation; 6. Statistical signifi cance testing; 7. Data sets and experimental framework; 8. Recent developments; 9. Conclusion; Appendix A: statistical tables; Appendix B: additional information on the data; Appendix C: two case studies.


Steps in Scala An Introduction to Object-Functional Programming

Christos K. K. Loverdosand Apostolos SyropoulosA hands-on introduction to Scala, the fi rst fully-fl edged programming language to embody

the principles and ideas of object-functional programming. Highly expressive, concise and scalable, Scala grows to the needs of a programmer, whether professional or hobbyist. The book includes carefully chosen exercises and three full programming projects.

Preface; 1. Introduction; 2. Core features; 3. Advanced features; 4. Parser builders; 5. XML processing; 6. GUI programming; 7. Concurrent programming; 8. On paths and a bit of algebraic abstractions; 9. Virtual fi les coming into existence; 10. Compositional fi le matching; 11. Searching, iterating, traversing; 12. The expression problem; 13. A computer algebra system; Appendix A. Multimedia processing; Appendix B. Distributing a Scala application along with Scala itself; Appendix C. Working with the compiler and the interpreter; Appendix D. Scala’s grammar; References; Author index; Subject index.

2010 247 x 174 mm 504pp 50 b/w illus. 25 tables 35 exercises 978-0-521-76217-5 Hardback £ 60.00 978-0-521-74758-5 Paperback £ 30.00

Finite and Algorithmic Model TheoryEdited by Javier Esparza, Technische Universität München

Christian Michaux, Université de Mons, Belgium

and Charles Steinhorn, Vassar College, New York

Surveys of current research in logical aspects of computer science that apply fi nite and infi nite model-theoretic methods.

• Model theoretic methods are applied to hot topics in theoretical computer science

• Provides a gentle, accessible introduction to cutting-edge topics

• Encourages further interaction between the computer science and mathematical logic communities

London Mathematical Society Lecture Note Series, 3792011 228 x 152 mm 344pp 55 b/w illus. 978-0-521-71820-2 Paperback c. £ 40.00

Human Attention in Digital EnvironmentsEdited by Claudia Roda, The American University of Paris, France

‘This book offers a timely and well-conceived response to a growing interest in how attention affects computer interaction and the problems this poses for designing systems, making a valuable, well-grounded contribution to this burgeoning area.’

SHARON WOOD, UNIVERSITY OF SUSSEX

Phones, computers and PDAs all offer information and interaction opportunities well above our processing abilities, placing continuous demands on our cognitive and perceptual systems. This book argues that current knowledge about human attentional processes should enable us to design systems that place a much lower demand on human attention.

2011 228 x 152 mm 376pp 50 b/w illus. 33 colour illus. 7 tables 978-0-521-76565-7 Hardback c. £ 65.00

Recommender SystemsAn Introduction

Foreword by Joseph A. Konstan

Dietmar Jannach, Technische Universität Dortmund, Germany

Markus Zanker, Alpen-Adria Universität Klagenfurt, Austria

Alexander Felfernig, Technische Universität Graz, Austria

and Gerhard Friedrich, Alpen-Adria Universität Klagenfurt, Austria

This book introduces different approaches to developing recommender systems that automate choice-making strategies to provide affordable, personal, and high-quality recommendations.

1. Introduction; Part I. Introduction into Basic Concepts: 2. Collaborative recommendation; 3. Content-based recommendation; 4. Knowledge-based recommendation; 5. Hybrid recommendation approaches; 6. Explanations in recommender systems; 7. Evaluating recommender systems; 8. Case study - personalized game recommendations on the mobile Internet; Part II. Recent Developments: 9. Attacks on collaborative recommender systems; 10. Online consumer decision making; 11. Recommender systems and the next-generation Web; 12. Recommendations in ubiquitous environments; 13. Summary and outlook.


Multibiometrics for Human Identifi cationEdited by Bir Bhanu, University of California, Riverside

and Venu Govindaraju, State University of New York, Buffalo

Addresses research issues regarding multibiometrics for human identifi cation, ranging from sensing modes and modalities to fusion of biometric samples and combination of algorithms. It covers publicly available multibiometrics databases, theoretical and empirical studies on sensor fusion techniques in the context of biometrics authentication, identifi cation and performance evaluation and prediction.


Data Management for Multimedia RetrievalK. Selçuk Candan, Arizona State University

and Maria Luisa Sapino,Università degli Studi di Torino, Italy

A wide-ranging text covering data structures and algorithms for storing, indexing, clustering, classifying, and accessing common multimedia data representations.


Textbook

Artifi cial IntelligenceFoundations of Computational Agents

David L. Poole, University of British Columbia, Vancouver

and Alan K. Mackworth, University of British Columbia, Vancouver

‘The clarity of this book is amazing! Material in each chapter is a perfect blend of accessible stuff for beginners, theory and challenges for advanced students, and reference materials for experts, organized into sections so you can split off the right bits for your students. It’s like having three textbooks in one! Defi nitely the must-have textbook on AI for the 21st century. I know mine will be within reach for years to come.’ JESSE HOEY, UNIVERSITY OF DUNDEE

Part I. Agents in the World: What Are Agents and How Can They Be Built?; Part II. Representing and Reasoning; Part III. Learning and Planning; Part IV. Reasoning about Individuals and Relations; Part V. The Big Picture; Appendix A. Mathematical preliminaries and notation.


Textbook

Bayesian Reasoning and Machine Learning David Barber, University College London

This practical introduction for fi nal-year undergraduate and graduate students is ideally suited to computer scientists without a

background in calculus and linear algebra. Numerous examples and exercises are provided. Additional resources available online and in the comprehensive software package include computer code, demos and teaching materials for instructors.

Preface; Part I. Inference in probabilistic models: 1. Probabilistic reasoning; 2. Basic graph concepts; 3. Belief networks; 4. Graphical models; 5. Effi cient inference in trees; 6. The junction tree algorithm; 7. Making decisions; Part II. Learning in probabilistic models: 8. Statistics for machine learning; 9. Learning as inference; 10. Naive Bayes; 11. Learning with hidden variables; 12. Bayesian model selection; Part III. Machine learning: 13. Machine learning concepts; 14. Nearest neighbour classifi cation; 15. Unsupervised linear dimension reduction; 16. Supervised linear dimension reduction; 17. Linear models; 18. Bayesian linear models; 19. Gaussian processes; 20. Mixture models; 21. Latent linear models; 22. Latent ability models; Part IV. Dynamical Models: 23. Discrete-state Markov models; 24. Continuous-state Markov models; 25. Switching linear dynamical systems; 26. Distributed computation; Part V. Approximate Inference: 27. Sampling; 28. Deterministic approximate inference; Appendix. Background mathematics; Bibliography; Index.

2011 247 x 174 mm 650 pages 978-0-521-51814-7 Hardback c.£55.00

22471_T.indd 2-3 01/03/2011 11:33





quantum information; 10. Quantum error-correction; 11. Entropy and information; 12. Quantum information theory; Appendices; References; Index.

2010 247 x 174 mm 704pp 200 b/w illus. 10 tables 598 exercises 978-1-107-00217-3 Hardback c. £ 45.00

Permutation PatternsEdited by Steve Linton, University of St Andrews, Scotland

Nik Ruškuc, University of St Andrews, Scotland

and Vincent Vatter, Dartmouth College, New Hampshire

A collection of survey and research articles representing all the main strands of research in permutation patterns.

• Provides a snapshot of the area’s current state of development

• Gives an insight into links with other areas of combinatorics and mathematics

• Includes an appendix containing a selection of open problems

London Mathematical Society Lecture Note Series, 3762010 228 x 152 mm 352pp 55 b/w illus. 20 exercises 978-0-521-72834-8 Paperback £ 45.00

Noncommutative Rational Series with ApplicationsJean Berstel, Université Paris-Est

and Christophe Reutenauer, Université du Québec à Montréal

Starting where Schützenberger and Chomsky left off, the authors present to an audience of graduate students and researchers a modern account of the subject and its applications. This is an excellent resource and reference for all those working in algebra, theoretical computer science and their areas of overlap.

Encyclopedia of Mathematics and its Applications, 1372010 234 x 156 mm 262pp 3 b/w illus. 170 exercises 978-0-521-19022-0 Hardback £ 50.00

Graph Structure and Monadic Second-Order LogicBruno Courcelle, Université de Bordeaux

Unifi es and synthesizes research over the last 25 years. The defi nitive reference for graduate students and researchers.

Encyclopedia of Mathematics and its Applications, 1382011 234 x 156 mm 700pp 25 b/w illus. 978-0-521-89833-1 Hardback c. £ 75.00

A Framework for Priority ArgumentsManuel Lerman, University of Connecticut

This book presents a unifying framework for using priority arguments to prove theorems in computability.

Lecture Notes in Logic, 342010 228 x 152 mm 192pp978-0-521-11969-6 Hardback £ 50.00

Modern Computer ArithmeticRichard Brent, Australian National University, Canberra

and Paul Zimmermann, INRIA, Nancy

Modern Computer Arithmetic focuses on arbitrary-precision algorithms for effi ciently performing arithmetic operations such as addition, multiplication and division, and related topics such as modular arithmetic. The authors present algorithms that are ready to implement in your favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent details.

Cambridge Monographs on Applied and Computational Mathematics, 182010 228 x 152 mm 240pp 15 b/w illus. 190 exercises 978-0-521-19469-3 Hardback £ 45.00

Lectures in Game Theory for Computer ScientistsEdited by Krzysztof R. Apt, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam

and Erich Grädel, Rheinisch-Westfälische Technische Hochschule, Aachen, Germany

An excellent introduction to various aspects of game theory relevant for many applications in computer science. Lectures range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This is a valuable guide to current research for both students and researchers alike.

Contributors: Krzysztof R. Apt, Erich Grädel, Christof Löding, Marcin Jurdzinski, Antonín Kucera, Laurent Doyen, Jean-François Raskin, Stephan Kreutzer, Joseph Y. Halpern

2011 247 x 174 mm 312pp 45 b/w illus. 5 tables 60 exercises 978-0-521-19866-0 Hardback c. £ 45.00

New Edition

Testing IT An Off-the-Shelf Software Testing Process

Second edition

John Watkins, IBM Software Group, UK

and Simon Mills, Ingenuity System Testing Services Ltd., UK

Testing IT provides an off-the-shelf software testing process framework for researching, implementing, rolling out, adopting, and maintaining a software testing process. It covers all aspects of testing for software developed or modifi ed in-house, modifi ed or extended legacy systems, and software developed by a third party. This new edition demonstrates the role and use of agile testing best practices and includes a specifi c agile case study.

‘With the publication of the second edition of Testing IT, John Watkins and Simon Mills built on the success of the fi rst edition, revising and bringing it up to date to ensure it continues to be relevant for the next ten years and beyond.’ GEOFF THOMPSON

2011 253 x 215 mm 352pp 39 b/w illus. 5 tables 978-0-521-14801-6 Paperback £ 40.00

Textbook

Software Modeling and DesignUML, Use Cases, Architecture, and Patterns

Hassan Gomaa, George Mason University, Virginia

Explains all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET UML-based modeling and design method to real-world problems.

2011 253 x 215 mm 592pp 344 b/w illus. 978-0-521-76414-8 Hardback £ 45.00

Relational MathematicsGunther Schmidt, Universität der Bundeswehr München

This fi rst comprehensive overview of relational mathematics provides an easy introduction to the topic, but is nevertheless theoretically sound and up-to-date. Assuming a minimum of prerequisites, it is suitable for applied scientists, explaining all of the necessary mathematics from scratch.

Encyclopedia of Mathematics and its Applications, 1322010 234 x 156 mm 582pp 420 b/w illus. 70 exercises 978-0-521-76268-7 Hardback £ 60.00

Foundations of XML ProcessingThe Tree-Automata Approach,

Haruo Hosoya,University of Tokyo

The fi rst solid theoretical account of the foundation of the popular data format XML. Ideal for students and researchers.

Preface; 1. Introduction; 2. Preliminaries; 3. Schemas; 4. Tree automata; 5. Pattern matching; 6. Marking tree automata; 7. Typechecking; 8. On-the-fl y algorithms; 9. Alternating tree automata; 10. Tree transducers; 11. Exact typechecking; 12. Path expressions and tree-walking automata; 13. Logic-based queries; 14. Ambiguity; 15. Unorderedness; References; Index.


Boolean Models and Methods in Mathematics, Computer Science, and EngineeringEdited by Yves Crama, Université de Liège, Belgium

and Peter L. HammerThis collection of papers presents a series of in-depth examinations on a variety of advanced topics related to Boolean functions and expressions. Covers topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory.

Encyclopedia of Mathematics and its Applications, 1342010 234 x 156 mm 780pp 91 b/w illus. 7 tables 978-0-521-84752-0 Hardback £ 110.00

Finite Precision Number Systems and ArithmeticPeter Kornerup,University of Southern Denmark

and David W. Matula,Southern Methodist University, Dallas

A solid theoretical foundation for applied mathematicians, scientists, and engineers who wish to understand the fundamental computations that support a wide variety of practical applications. Suitable for graduate teaching, it includes problems, exercises and an extensive bibliography. A solutions manual is also available for instructors.

Encyclopedia of Mathematics and its Applications, 1332010 234 x 156 mm 716pp 155 b/w illus. 70 tables 240 exercises 978-0-521-76135-2 Hardback £ 75.00

Digital Nets and SequencesDiscrepancy Theory and Quasi–Monte Carlo Integration

Josef Dick, University of New South Wales, Sydney

and Friedrich Pillichshammer, Johannes Kepler Universität Linz

An introduction to contemporary quasi–Monte Carlo methods, digital nets and sequences, and discrepancy theory. Includes many exercises, examples and illustrations.

Preface; Notation; 1. Introduction; 2. Quasi–Monte Carlo integration, discrepancy and reproducing kernel Hilbert spaces; 3. Geometric discrepancy; 4. Nets and sequences; 5. Discrepancy estimates and average type results; 6. Connections to other discrete objects; 7. Duality Theory; 8. Special constructions of digital nets and sequences; 9. Propagation rules for digital nets; 10. Polynomial lattice point sets; 11. Cyclic digital nets and hyperplane nets; 12. Multivariate integration in weighted Sobolev spaces; 13. Randomisation of digital nets; 14. The decay of the Walsh coeffi cients of smooth functions; 15. Arbitrarily high order of convergence of the worst-case error; 16. Explicit constructions of point sets with best possible order of L2-discrepancy; Appendix A. Walsh functions; Appendix B. Algebraic function fi elds; References; Index.


P, NP, and NP-CompletenessThe Basics of Computational Complexity

Oded Goldreich,Weizmann Institute of Science, Israel

This undergraduate introduction to computational complexity gives a wide perspective on two central issues in theoretical computer science. It starts with the relevant background in computability, including Turing machines, search and decision problems, algorithms, circuits, and complexity classes, and then focuses on the P versus NP Question and the theory of NP-completeness.

1. Computational tasks and models; 2. The P versus NP Question; 3. Polynomial-time reductions; 4. NP-completeness; 5. Three relatively advanced topics; Epilogue: a brief overview of complexity theory.

2010 228 x 152 mm 214pp 18 b/w illus. 94 exercises 978-0-521-19248-4 Hardback £ 60.00 978-0-521-12254-2 Paperback £ 24.99

Textbook

New Edition

Quantum Computation and Quantum Information10th Anniversary Edition

Michael Nielsen, Freelance Writer

and Isaac Chuang, Massachusetts Institute of Technology

‘In view of the rapid progress of the fi eld the book will continue to be extremely valuable for all entering this highly interdisciplinary research area and it will always provide the reference for those who grew up with it. This is an excellent book, well written, highly commendable, and in fact imperative for everybody in the fi eld.’

RAINER BLATT, UNIVERSTITÄT INNSBRUCK

Part I. Fundamental Concepts: 1. Introduction and overview; 2. Introduction to quantum mechanics; 3. Introduction to computer science; Part II. Quantum Computation: 4. Quantum circuits; 5. The quantum Fourier transform and its application; 6. Quantum search algorithms; 7. Quantum computers: physical realization; Part III. Quantum Information: 8. Quantum noise and quantum operations; 9. Distance measures for

22471_T.indd 4-5 01/03/2011 11:33





ridgelet, or curvelet transforms, and non-linear multiscale transforms based on the median and mathematical morphology operators.


Fundamentals of Object TrackingSubhash Challa,University of Melbourne

Mark R. Morelande,University of Melbourne

Darko Mušicki,Hanyang University, Republic of Korea

and Robin J. Evans,University of Melbourne

Introduces object tracking algorithms from a unifi ed, recursive Bayesian perspective, along with performance bounds and illustrative examples.

2011 247 x 174 mm 364pp 60 b/w illus. 1 colour illus. 978-0-521-87628-5 Hardback c. £ 55.00

Verifi cation and Validation in Scientifi c ComputingWilliam L. Oberkampfand Christopher J. Roy, Virginia Polytechnic Institute and State University

Advances in scientifi c computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a framework for assessing its reliability and addresses inherent uncertainties, numerical approximation errors, and modeling errors.

2010 247 x 174 mm 784pp 220 b/w illus. 14 colour illus. 55 tables 978-0-521-11360-1 Hardback £ 99.00

New Edition

Numerical Computing with MATLABSecond edition

Cleve B. Moler,The MathWorks

This book is a lively introduction to numerical methods, MATLAB and technical computing. It helps readers learn about the mathematical functions in MATLAB, how to appreciate their limitations, and how to use and modify them appropriately. It is suitable for advanced undergraduate and beginning graduate students in science and engineering.

Preface; 1. Introduction to MATLAB; 2. Linear equations; 3. Interpolation; 4. Zeros and roots; 5. Least squares; 6. Quadrature; 7. Ordinary differential equations; 8. Fourier analysis; 9. Random numbers; 10. Eigenvalues and singular values; 11. Partial differential equations; Bibliography; Index.

2010 228 x 152 mm 348pp 95 b/w illus. 221 exercises 978-0-89871-660-3 Paperback £ 32.00 Not for sale in North America

EMBOSS The European Molecular Biology Open Software Suite (EMBOSS) is a well established, high quality package of open source software tools for molecular biology. It includes over 200 applications for molecular sequence analysis and general bioinformatics including sequence alignment, rapid database searching and sequence retrieval, motif identifi cation and pattern analysis and much more.

EMBOSS User’s GuidePractical Bioinformatics

Peter M. Rice, European Bioinformatics Institute, Hinxton

Alan J. Bleasby, European Bioinformatics Institute, Hinxton

and Jon C. Ison, European Bioinformatics Institute, Hinxton

Acknowledgements; 1. Preface; 2. Conventions used in the manual; 3. Welcome to the EMBOSS user’s manual; 4. Background to EMBOSS; 5. Basic set-up and maintenance; 6. Getting started; 7. Tutorial; 8. File formats; 9. The EMBOSS command line; 10. Applications and packages; 11. EMBOSS application reference; 12. EMBASSY application reference; 13. Interfaces; 14. Using EMBOSS under wEMBOSS; 15. Using EMBOSS under Jemboss.

2011 247 x 174 mm 300pp 9 b/w illus. 50 tables 978-0-521-60725-4 Paperback c. £ 29.95

EMBOSS Developer’s GuideBioinformatics Programming

Jon C. Ison, European Bioinformatics Institute, Hinxton

Peter M. Rice, European Bioinformatics Institute, Hinxton

and Alan J. Bleasby, European Bioinformatics Institute, Hinxton

Acknowledgements; Preface; 1. Conventions; 2. Welcome to the EMBOSS developer’s manual; 3. Getting started; 4. Your fi rst EMBOSS application; 5. Software development under EMBOSS; 6. A complete application; 7. ACD fi le development; 8. C programming; 9. Programming with AJAX; 10. Programming with NUCLEUS; 11. Incorporating third-party applications; 12. ACD syntax reference; 13. AJAX library reference; 14. NUCLEUS library reference; 15. Resources.

2011 247 x 174 mm 480pp978-0-521-60724-7 Paperback c. £ 29.95

EMBOSS Administrator’s GuideBioinformatics Software Management

Alan J. Bleasby, European Bioinformatics Institute, Hinxton

Jon C. Ison, European Bioinformatics Institute, Hinxton

and Peter M. Rice, European Bioinformatics Institute, Hinxton

Acknowledgements; Preface; 1. Conventions; 2. Welcome to the EMBOSS administrator’s manual; 3. Building EMBOSS; 4. Building EMBASSY; 5. Building Jemboss; 6. Databases; 7. Resources; 8. Frequently asked questions (FAQ).

2011 247 x 174 mm 160pp 5 tables 978-0-521-18815-9 Paperback c. £ 45.00

Phylogenetic NetworksConcepts, Algorithms and Applications

Daniel H. Huson,Eberhard-Karls-Universität Tübingen, Germany

Regula Rupp,Eberhard-Karls-Universität Tübingen, Germany

and Celine Scornavacca,Eberhard-Karls-Universität Tübingen, Germany

First interdisciplinary overview of phylogenetic networks, covering biological background, the underlying mathematics, the computational algorithms and the software available.2010 247 x 174 mm 376pp 189 b/w illus. 80 exercises 978-0-521-75596-2 Hardback c. £ 35.00

Pearls of Functional Algorithm Design Richard Bird, University of Oxford

Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. This unique collection of 30 programming problems draws from various sources including games and puzzles, sorting, and problems in data

compression.

• Demonstrates how results in algorithm design can be calculated using well-established mathematical principles, theorems and laws

• Contains brand new pearls

• Includes a brief index to guide the reader

2010 247 x 174 mm 290pp 20 b/w illus. 978-0-521-51338-8 Hardback £ 35.00

Building Parallel, Embedded, and Real-Time Applications with AdaJohn W. McCormick, University of Northern Iowa

Frank Singhoff, Université de Bretagne Occidentale

and Jérôme Hugues, Institute for Space and Aeronautics Engineering (ISAE), Toulouse

A guide to understanding and implementing multi-core, concurrent, distributed, real-time, and embedded applications. With an accessible writing style, a wealth of complete examples, and numerous exercises, this book is ideal for undergraduate students. It is also appropriate for graduate students and practitioners needing a solid foundation in these growing areas.

2011 247 x 174 mm 350pp 50 b/w illus. 140 exercises 978-0-521-19716-8 Hardback c. £ 40.00

Textbook

Programming in Visual Basic 2010 The Very Beginner’s Guide

Jim McKeown, Dakota State University

‘This book provides a great overview of the subject of VB.NET programming. It covers all the important

topics in detail and offers plenty of opportunities for readers to try exercises on their own. There are also lots of useful asides that the readers will fi nd interesting; the use of humor keeps the writing engaging and fun. Detailed problems and debugging walkthroughs, which are both thought provoking and complex, assist with the coverage of useful topics such as object-oriented programming, complex data structures, drag-and-drop design, and event handling.’ RUDY MCDANIEL, UNIVERSITY OF CENTRAL FLORIDA


Textbook

New Edition

Computational Principles of Mobile Robotics Second edition

Gregory Dudek, McGill University, Montréal

and Michael Jenkin, York University, Toronto

New edition of an advanced undergraduate/graduate text, emphasizing computation and algorithms for locomotion, sensing, and reasoning in mobile robots.

1. Overview and motivation; 2. Fundamental problems; Part I. Locomotion and Perception: 3. Mobile robot hardware; 4. Non-visual sensors and algorithms; 5. Visual sensors and algorithms; Part II. Representation and Planning: 6. Representing and reasoning about space; 7. System control; 8. Pose maintenance and localization; 9. Mapping and related tasks; 10. Robot collectives; 11. Robots in practice; 12. The future of mobile robotics; Appendix A. Probability and statistics; Appendix B. Linear systems, matrices and fi ltering; Appendix C. Markov models.


Textbook

Digital Signal Processing System Analysis and Design

Second edition

Paulo S. R. Diniz, Universidade Federal do Rio de Janeiro

Eduardo A. B. da Silva, Universidade Federal do Rio de Janeiro

and Sergio L. Netto, Universidade Federal do Rio de Janeiro

This fully-revised edition covers all the major topics of digital signal processing (DSP) design and analysis in one volume. Many new examples and exercises are included, more detail is given in mathematical derivations, and new do-it-yourself sections in each chapter provide hands-on experience of the relevant tools and results.

1. Discrete-time signals and systems; 2. The Z and Fourier transforms; 3. Discrete transforms; 4. Digital fi lters; 5. FIR fi lter approximations; 6. IIR fi lter approximations; 7. Spectral estimation; 8. Multirate systems; 9. Filter banks; 10. Wavelet transforms; 11. Finite-precision digital signal processing; 12. Effi cient FIR structures; 13. Effi cient IIR structures.

2010 246 x 189 mm 912pp 440 b/w illus. 60 tables 390 exercises 978-0-521-88775-5 Hardback £ 45.00

Sparse Image and Signal ProcessingWavelets, Curvelets, Morphological Diversity

Jean-Luc Starck, Centre d’Etudes de Saclay, France

Fionn Murtagh, Royal Holloway, University of London

and Jalal M. Fadili, Ecole Nationale Supérieure d’Ingénieurs de Caen, France

Presents the state of the art in sparse and multiscale image and signal processing, covering linear multiscale transforms, such as wavelet,

22471_T.indd 6-7 01/03/2011 11:33


NIST Handbook of Mathematical Functions Edited by Frank W. J. Olver, University of Maryland & NIST, Maryland

Daniel W. Lozier, National Institute of Standards and Technology, Maryland

Ronald F. Boisvert, National Institute of Standards and Technology, Maryland

and Charles W. Clark, University of Maryland & NIST, Maryland

‘The National Institute of Standards and Technology (NIST) and Cambridge University Press are to be congratulated for publishing a treasury. It is eminently readable with clear, sharp, high-contrast text, mathematical notation and colored graphs and fi gures. … People who work with functions will delight in this handbook.’

OPTICS AND PHOTONICS NEWS

Contributors: Ranjan Roy, Frank W. J. Olver, Richard A. Askey, Roderick S. C. Wong, Nico M. Temme, Richard B. Paris, Leonard C. Maximon, Adri B. Olde Daalhuis, T. Mark Dunster, George E. Andrews, Tom H. Koornwinder, Roelof Koekoek, Rene F. Swarttouw, Bille C. Carlson, William P. Reinhardt, Peter L. Walker, Bernard Deconinck, Karl Dilcher, Tom M. Apostol, David M. Bressoud, Gerhard Wolf, Hans Volkmer, Brian D. Sleeman, Vadim Kuznetsov, Peter A. Clarkson, Ian J. Thompson, Donald St. P. Richards, Michael V. Berry, Chris Howls

2010 279 x 215 mm 968pp 422 colour illus. 100 tables 978-0-521-19225-5 Hardback (with CD-ROM) £ 65.00 978-0-521-14063-8 Paperback (with CD-ROM) £ 35.00

Related Journals

AI EDAM http://journals.cambridge.org/aie

Combinatorics, Probability and Computing http://journals.cambridge.org/cpc

Journal of Functional Programming http://journals.cambridge.org/jfp

The Knowledge Engineering Review http://journals.cambridge.org/ker

LMS Journal of Computation and Mathematicshttp://journals.cambridge.org/jcm

Mathematical Structures in Computer Science http://journals.cambridge.org/msc

Natural Language Engineering http://journals.cambridge.org/nle

Probability in the Engineering and Informational Sciences http://journals.cambridge.org/pes

Robotica http://journals.cambridge.org/rob

Theory and Practice of Logic Programming http://journals.cambridge.org/tlp

Printed in the United Kingdom on elemental-chlorine-free paper from sustainable forests. 2011.

Please order from your local bookseller:

ISBN:978-1-107-97091-5

22471_T.indd 8 01/03/2011 11:33

Documents

Computer Science - Cambridge University Pressassets.cambridge.org/isbn13/97811079/70915/full_version/9781107… · Bayesian nonparametrics works. Applications are appearing in such