Computer Science Catalogue 2015

Computer 2015 Science cambridge.org/computerscience2015

Welcome to the Computer Science books catalogue 2015.

Here you will find new and forthcoming titles, representing the highest level of academic research from renowned authors. Our highlights this year include exciting new works such as The Computing Universe by Tony Hey and Gyuri Pápay and Programming in Ada 2012 from John Barnes.

Our publications are available in a variety of formats, including ebooks and print, as well as online collections for institutional purchase via our publishing service University Publishing Online, which incorporates the Cambridge Books Online platform.

We also publish a range of leading Subject journals, including Network Science, The Knowledge Engineering Review and the Journal of Functional Programming (see back inside page for more information). You can recommend our books, online collections and journals to your librarian by filling out the form at the back of this catalogue.

To see more book listings, product information, preview extracts and reviews, and to find out which conferences we are attending, you can find us online at www.cambridge.org/computerscience2015.

You can also keep up to date with the latest news and author views from our academic blog at http://www.cambridgeblog.org/.

We hope that you enjoy reading about our latest publications. For queries, suggestions or proposals, you can find a list of useful contacts at the back of this catalogue.

20% OFF

your first online purchase*

Stay up to date with

Cambridge Alerts

How to order books In the UK, Europe and rest of the world: www.cambridge.org/computerscience2015 +44 (0)1223 326050 directcs@cambridge.org

Visit www.cambridge.org/alerts to receive email alerts on new books, offers and news in the subjects of interest to you

In the Americas: www.cambridge.org/computerscience2015 +1 845 353 7500 (toll free +1 800-431-1580)

*Terms and conditions apply. full details at http://www.cambridge.org/academic/alerts-terms-and-conditions

orders@cambridge.org

The popularity of the Web and Internet commerce provides many extremely large datasets from which information can be gleaned by data mining. This book focuses on practical algorithms that have been used to solve key problems in data mining and can be used on even the largest datasets.

Anand Rajaraman is a serial entrepreneur, venture capitalist, and academic based in Silicon Valley. He has founded two successful start-ups: Junglee, acquired by Amazon.com and Kosmix, acquired by Walmart. As a Founding Partner of two early-stage venture capital firms, Milliways Labs and Cambrian Ventures, he has been the earliest investor in many successful companies.

Anand was, until recently, Senior Vice President at Walmart Global eCommerce and co-head of @WalmartLabs, where he worked at the intersection of social, mobile, and commerce. As an academic, Anand’s research has focused at the intersection of database systems, the World Wide Web, and social media. His research publications have won several awards at prestigious academic conferences, including two retrospective 10-year Best Paper awards at ACM SIGMOD and VLDB. He is also a co-inventor of Amazon Mechanical Turk, which pioneered the concept of crowdsourcing. You can follow Anand on Twitter at @anand_raj.

General computer science 1 Statistical theory and methods 2 Knowledge management, databases, datamining 3 Pattern recognition and machine learning 6 Algorithmics, complexity, computer algebra and computational geometry 6 Cryptography, cryptology and coding 7 Discrete mathematics, information theory and coding theory 8 Probability theory and stochastic processes 9 Control systems and optimization 10 Optimization, OR and risk analysis 11 Computer hardware, architecture and systems 13 Communications and signal processing 13 Wireless communications 16 Artificial intelligence and natural language processing 18 Social, educational and philosophical aspects of computing, e-publishing, HCI 20 Computer graphics, image processing, robotics and computer vision 22 Engineering design, kinematics, and T robotics 23 Image processing and machine vision 24 Programming languages and applied logic 24 Application development and software engineering 25 Logic, categories and sets 26 Computational biology and bioinformatics 26 Computational science 28 Numerical analysis 28 Also of interest 29 Information on related journals Inside back cover This second edition includes new and extended coverage on social networks, machine learning and dimensionality reduction. Written by leading authorities in database and web technologies, it is essential reading for students and practitioners alike.

Jeffrey David Ullman is the Stanford W. Ascherman Professor of Computer Science (Emeritus) and he is currently the CEO of Gradiance. His research interests include database theory, data mining, and education using the information infrastructure. He is one of the founders of the field of database theory, and was the doctoral advisor of an entire generation of students who later became leading database theorists in their own right. Recent awards include the Knuth Prize (2000), and the Sigmod E. F. Codd Innovations award (2006). Ullman is also the co-recipient (with John Hopcroft) of the 2010 IEEE John von Neumann Medal, for “laying the foundations for the fields of automata and language theory and many seminal contributions to theoretical computer science.”

Mining of Massive Datasets

It begins with a discussion of the mapreduce framework, an important tool for parallelizing algorithms automatically.

The tricks of locality-sensitive hashing are explained. This body of knowledge, which deserves to be more widely known, is essential when seeking similar objects in a very large collection without having to compare each pair of objects.

Stream processing algorithms for mining data that arrives too fast for exhaustive processing are also explained. The PageRank idea and related tricks for organizing the Web are covered next.

Other chapters cover the problems of finding frequent itemsets and clustering, each from the point of view that the data is too large to fit in main memory, and two applications: recommendation systems and Web advertising, each vital in e-commerce.

Jure Leskovec is Assistant Professor of Computer Science at Stanford University. His research focuses on mining large social and information networks. Problems he investigates are motivated by large scale data, the Web and online media. This research has won several awards including a Microsoft Research Faculty Fellowship, the Alfred P. Sloan Fellowship, Okawa Foundation Fellowship, and numerous best paper awards. Leskovec has also authored the Stanford Network Analysis Platform (SNAP, http:// snap.stanford.edu), a general purpose network analysis and graph mining library that easily scales to massive networks with hundreds of millions of nodes and billions of edges. You can follow him on Twitter @jure.

see page 4

Leskovec Rajaraman Ullman

9781107077232 Leskovec, Rajaraman & Ullman PPC C M Y K

Contents

Jure Leskovec Anand Rajaraman Jeffrey David Ullman

Mining of Massive Datasets SECOND EDITION

Cover illustration: © S. Ullman 2011

Based on successful courses taught by the authors, and liberally sprinkled with examples and exercises, this comprehensive textbook describes not only the theoretical issues underlying the Semantic Web, but also algorithms, optimisation ideas and implementation details. The book will therefore be valuable to practitioners as well as students, indeed to anyone who is interested in Internet technology, knowledge engineering or description logics.

•

The first comprehensive textbook on the Semantic Web designed for higher education courses

•

Includes a full introduction to description logics, the formalism underlying the Semantic Web

•

Contains numerous exercises to aid teaching and learning

•

Further resources are available from the author’s website at http://www.swexpld.org

The Semantic Web Explained

Supplementary materials available online include the source code of program examples and solutions to selected exercises.

Szeredi, Lukácsy and Benkő

9780521700368 Szeredi, Lukacsy & Benko PB c m Y K

The Semantic Web is a new area of research and development in the field of computer science, aimed at making it easier for computers to process the huge amount of information on the web, and indeed other large databases, by enabling them not only to read but also to understand the information.

Péter Szeredi Gergely Lukácsy Tamás Benkő

see page 4

tHe

ExplainEd The Technology and Mathematics behind Web 3.0

Cover designed by Zoe Naylor

• Covers both core methods and cutting-edge research • Algorithmic approach with open-source implementations • Minimal prerequisites, as all key mathematical concepts are presented, as is the intuition behind the formulas • Short, self-contained chapters with class-tested examples and exercises that allow for flexibility in designing a course and for easy reference • Supplementary online resource containing lecture slides, videos, project ideas, and more

“The authors are world-class experts that provide encyclopedic coverage of all data mining topics, from basic statistics to fundamental methods (clustering, classification, frequent item sets) to advanced methods (svd, svm, kernels, spectral graph theory).

For each concept, this book thoughtfully balances the intuition, the arithmetic examples, and the rigorous math details. It can serve as both a textbook and a reference book.”

– Professor Christos Faloutsos, Carnegie Mellon University, and winner of the ACM SIGKDD Innovation Award “This book by Mohammed Zaki and Wagner Meira Jr. is a great option for teaching a course in data mining or data science. It covers both fundamental and advanced data mining topics, emphasizing the mathematical foundations and the algorithms; it also includes exercises for each chapter and provides data, slides, and other supplementary material on the companion Web site.”

– Gregory Piatetsky-Shapiro, Editor, KDnuggets.com, and Founder, ACM SIGKDD

Data Mining and Analysis

Key Features:

ZAKI MEIRA JR.

The fundamental algorithms in data mining and analysis form the basis for the emerging field of data science, which includes automated methods to analyze patterns and models for all kinds of data, with applications ranging from scientific discovery to business intelligence and analytics. This textbook for senior undergraduate and graduate data mining courses provides a broad yet in-depth overview of data mining, integrating related concepts from machine learning and statistics. The main parts of the book include exploratory data analysis, pattern mining, clustering, and classification. The book lays the basic foundations of these tasks, and also covers cutting-edge topics such as kernel methods, high-dimensional data analysis, and complex graphs and networks. With its comprehensive coverage, algorithmic perspective, and wealth of examples, this book offers solid guidance in data mining for students, researchers, and practitioners alike.

Data Mining and Analysis

see page 4

FUNDAMENTAL CONCEPTS AND ALGORITHMS MOHAMMED J. ZAKI WAGNER MEIRA JR.

Cover image: La Mezquita de Córdoba, Mohammed J. Zaki, 1992 Cover design: Alice Soloway

he growth of social media over the last decade has revolutionized the way individuals interact and industries conduct business.

Individuals produce data at an unprecedented rate by interacting, sharing, and consuming content through social media. Understanding and processing this new type of data to glean actionable patterns presents challenges and opportunities for interdisciplinary research, novel algorithms, and tool development.

Social Media Mining integrates social media, social network analysis, and data mining to provide a convenient and coherent platform for students, practitioners, researchers, and project managers to understand the basics and potentials of social media mining. It introduces the unique problems arising from social media data and presents fundamental concepts, emerging issues, and effective algorithms for network analysis and data mining.

Suitable for use in advanced undergraduate and beginning graduate courses as well as professional short courses, the text contains exercises of different degrees of difficulty that improve understanding and help apply concepts, principles, and methods in various scenarios of social media mining.

SOCIAL MEDIA MINING

“This is a delightful exploration of a multi-disciplinary field in its simple and straightforward style. Social Media Mining introduces and connects underlying concepts with clarity and enables you to explore this amazing field further with confidence.”

– Philip Yu, University of Illinois at Chicago

Zafarani Abbasi • Liu

“This is an exceptionally well-constructed book on social media that will be useful to academia and industry alike. The book covers the entire area of social network analysis in a comprehensive and understandable way.”

– Charu Aggarwal, IBM T. J. Watson Research Center

SOCIAL MEDIA MINING

see page 5

An Introduction

Reza Zafarani Mohammad Ali Abbasi Huan Liu

Cover Image: Shutterstock / Jozsef Bagota Cover design by Alice Soloway

MULTIMEDIA COMPUTING

Gerald Friedland Ramesh Jain

see page 22

The Computing Universe A Journey through a Revolution Tony Hey, Microsoft Research, Redmond, Washington Gyuri Pápay, University of Southampton ‘Tony Hey has made significant contributions to both physics and computer science and with The Computing Universe he and his co-author share the knowledge and history that has inspired us all.’

Bill Gates ‘In this lavishly illustrated and refreshingly nonlinear introduction to the people, ideas, machines, and codes that ushered us into the age of computation, Tony Hey and Gyuri Pápay have assembled a comprehensive, authoritative, and nonpartisan account of how we got here, combined with much useful insight into how computers work and what may lie ahead. Although filling a conspicuous need for an introduction to computer science for nonscientists, all scientists – including computer scientists – will find this an illuminating book.’

George Dyson, author of Turing’s Cathedral: The Origins of the Digital Universe ‘I recommend the book as a highly readable account of the fascinating ideas of computer science and the fascinating people who invented them.’

Tony Hoare, Turing Award Winner, Microsoft Research Ltd Paperback | 978-0-521-15018-7 | December 2014 | £24.99

Mining of Massive Datasets 2nd Edition Jure Leskovec, Stanford University, California Anand Rajaraman, Milliways Laboratories Jeffrey David Ullman, Stanford University, California Written by leading authorities in database and Web technologies, this book is essential reading for students and practitioners alike. The popularity of the Web and Internet commerce provides many extremely large datasets from which information can be gleaned by data mining. This book focuses on practical algorithms that have been used to solve key problems in data mining and can be applied successfully to even the largest datasets. It begins with a discussion of the map-reduce framework, an important tool for parallelizing algorithms automatically. The authors explain the tricks of locality-sensitive hashing and stream processing algorithms for mining data that arrives too fast for exhaustive processing. Other chapters cover the PageRank idea and related tricks for organizing the Web, the problems of finding frequent itemsets and clustering. This second edition includes new and extended coverage on social networks, machine learning and dimensionality reduction.

Hardback | 978-1-107-07723-2 | November 2014 | £45.00

General computer science

General computer science The Computing Universe A Journey through a Revolution Tony Hey

1

Computing Universe he and his co-author share the knowledge and history that has inspired us all.’

Bill Gates 2015 297 x 210 mm 424pp 596 colour illus. 20 tables 978-0-521-76645-6 Hardback £50.00 / US$85.00 978-0-521-15018-7 Paperback £24.99 / US$39.99 For all formats available, see

www.cambridge.org/9780521766456

Microsoft Research, Redmond, Washington

and Gyuri Pápay University of Southampton

Computers now impact almost every aspect of our lives, from our social interactions to the safety and performance of our cars. How did this happen in such a short time? And this is just the beginning. In this book, Tony Hey and Gyuri Pápay lead us on a journey from the early days of computers in the 1930s to the cutting-edge research of the present day that will shape computing in the coming decades.

Along the way, they explain the ideas behind hardware, software, algorithms, Moore’s Law, the birth of the personal computer, the Internet and the Web, the Turing Test, Jeopardy’s Watson, World of Warcraft, spyware, Google, Facebook and quantum computing. This book also introduces the fascinating cast of dreamers and inventors who brought these great technological developments into every corner of the modern world.

This exciting and accessible introduction will open up the universe of computing to anyone who has ever wondered where his or her smartphone came from.

Computation, Proof, Machine Mathematics Enters a New Age Gilles Dowek Ecole Polytechnique, Paris

Translated by Pierre Guillot and Marion Roman

Computation, calculation, algorithms – all have played an important role in mathematical progress from the beginning, but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.

2015 216 x 138 mm 160pp 6 b/w illus.

978-0-521-11801-9 Hardback £60.00 / US$120.00 Publication May 2015 For all formats available, see

www.cambridge.org/9780521118019

‘Tony Hey has made significant contributions to both physics and computer science and with The

eBooks available at www.cambridge.org/ebookstore

2

Statistical theory and methods

Statistical theory and methods Highlight

Privacy, Big Data, and the Public Good Frameworks for Engagement Edited by Julia Lane American Institutes for Research, Washington DC

Victoria Stodden Columbia University, New York

Stefan Bender

Causal Inference in Statistics, Social, and Biomedical Sciences

Institute for Employment Research of the German Federal Employment Agency

An Introduction Guido W. Imbens

The book discusses access to big data for city, state, and federal government agencies and legal, social science, statistical, and technical communities interested in enabling research on big data. The authors’ goal is to move the conversation to a vision of what frameworks should and could guide data access.

Stanford University, California

and Donald B. Rubin Harvard University, Massachusetts

In this groundbreaking text, two worldrenowned experts present statistical methods for studying causal effects: how can we learn about the expected effect of an intervention or a change in environment? The authors discuss how we can assess such effects in simple randomized experiments, where the researcher controls the treatments, and in observational studies, where the subjects themselves may affect which treatment they receive.

Advance praise: ‘This book offers a definitive treatment of causality using the potential outcomes approach. Both theoreticians and applied researchers will find this an indispensable volume for guidance and reference.’

Hal Varian, University of California, Berkeley 2015 253 x 177 mm 592pp 18 b/w illus. 97 tables 978-0-521-88588-1 Hardback £40.00 / US$60.00 Publication May 2015 For all formats available, see

www.cambridge.org/9780521885881

and Helen Nissenbaum New York University

“Big data’ – the collection, aggregation or federation, and analysis of vast amounts of increasingly granular data – present[s] serious challenges not only to personal privacy but also to the tools we use to protect it. Privacy, Big Data, and the Public Good focuses valuable attention on two of these tools: notice and consent, and de-identification – the process of preventing a person’s identity from being linked to specific data. [It] presents a collection of essays from a variety of perspectives, in chapters by some of the heavy hitters in the privacy debate, who make a convincing case that the current framework for dealing with consumer privacy does not adequately address issues posed by big data … As society becomes more ‘datafied’ – a term coined to describe the digital quantification of our existence – our privacy is ever more at risk, especially if we continue to rely on the tools

Statistical theory and methods / Knowledge management, databases, datamining that we employ today to protect it.

[This book] represents a useful and approachable introduction to these important issues.’

Science 2014 228 x 152 mm 344pp 4 b/w illus.

978-1-107-06735-6 Hardback £55.00 / US$85.00 978-1-107-63768-9 Paperback £19.99 / US$29.99 For all formats available, see

www.cambridge.org/9781107067356

Core Statistics Simon Wood University of Bath

Core Statistics is a compact starter course on the fundamentals of inference for parametric statistical models, including both theory and practical numerical computation. It delivers the theory and tools that a beginning graduate student, or any quantitative scientist, needs to make informed use of powerful statistical methods.

Institute of Mathematical Statistics Textbooks

2015 228 x 152 mm 258pp 43 b/w illus. 2 tables 51 exercises 978-1-107-07105-6 Hardback £60.00 / US$99.00

3

Knowledge management, databases, datamining Sentiment Analysis Mining Opinions, Sentiments, and Emotions Bing Liu University of Illinois, Urbana-Champaign

This comprehensive introduction to all the core areas and many emerging themes of sentiment analysis approaches the problem from a naturallanguage-processing angle. The author explains the underlying structure and the language constructs that are commonly used to express opinions and sentiments and presents computational methods to analyze and summarize opinions.

2015 234 x 156 mm 384pp 24 b/w illus. 9 tables 978-1-107-01789-4 Hardback £50.00 / US$80.00 Publication April 2015 For all formats available, see

www.cambridge.org/9781107017894

978-1-107-41504-1 Paperback £24.99 / US$39.99 Publication April 2015 For all formats available, see

www.cambridge.org/9781107071056

For regular email alerts visit www.cambridge.org/alerts

4

Knowledge management, databases, datamining Mining of Massive Datasets Second edition Jure Leskovec Stanford University, California

Anand Rajaraman Milliways Laboratories

and Jeffrey David Ullman Stanford University, California

Essential reading for students and practitioners, this book focuses on practical algorithms used to solve key problems in data mining, with exercises suitable for students from the advanced undergraduate level and beyond.

This second edition includes new and extended coverage on social networks, machine learning and dimensionality reduction.

2014 247 x 174 mm 476pp 150 b/w illus. 210 exercises 978-1-107-07723-2 Hardback £45.00 / US$70.00 For all formats available, see

www.cambridge.org/9781107077232

The Semantic Web Explained The Technology and Mathematics behind Web 3.0 Péter Szeredi Budapest University of Technology and Economics

Gergely Lukácsy Cisco Systems, Ireland

and Tamás Benkő Digital Enterprise Research Institute, Ireland

With contributions by Zsolt Nagy

A textbook based on successful courses taught by the authors. They describe not only the theoretical issues underlying the Semantic Web, but also practical

matters, making it valuable for students and practitioners. Supplementary webbased materials include the source code of program examples and the syntactic description of various languages.

2014 247 x 174 mm 478pp 117 b/w illus. 195 exercises 978-0-521-70036-8 Paperback £35.00 / US$50.00 For all formats available, see

www.cambridge.org/9780521700368

Textbook

Data Mining and Analysis Fundamental Concepts and Algorithms Mohammed J. Zaki Rensselaer Polytechnic Institute, New York

and Wagner Meira, Jr Universidade Federal de Minas Gerais, Brazil

The fundamental algorithms in data mining and analysis are the basis for business intelligence and analytics, automated methods to analyze patterns, and models of data. This textbook for senior undergraduate and graduate data mining courses provides a comprehensive overview from an algorithmic perspective, integrating concepts from machine learning and statistics.

Contents: 1. Data mining and analysis; Part I. Data Analysis Foundations: 2. Numeric attributes; 3. Categorical attributes; 4. Graph data; 5. Kernel methods; 6. High-dimensional data; 7. Dimensionality reduction; Part II. Frequent Pattern Mining: 8. Itemset mining; 9. Summarizing itemsets; 10. Sequence mining; 11. Graph pattern mining; 12. Pattern and rule assessment; Part III. Clustering: 13. Representativebased clustering; 14. Hierarchical clustering; 15. Density-based clustering; 16. Spectral

Knowledge management, databases, datamining and graph clustering; 17. Clustering validation; Part IV. Classification: 18. Probabilistic classification; 19. Decision tree classifier; 20. Linear discriminant analysis; 21. Support vector machines; 22. Classification assessment.

2014 234 x 156 mm 332pp 109 b/w illus. 20 tables 107 exercises 978-1-107-01885-3 Hardback £40.00 / US$60.00 For all formats available, see

www.cambridge.org/9781107018853

2014 253 x 177 mm 562pp 186 b/w illus. 85 tables 130 exercises 978-0-521-76633-3 Hardback £40.00 / US$65.00

Foundations of Data Exchange

For all formats available, see

Marcelo Arenas

www.cambridge.org/9780521766333

5

Pontificia Universidad Catolica de Chile

Pablo Barceló

Social Media Mining An Introduction Reza Zafarani Arizona State University

Mohammad Ali Abbasi Arizona State University

and Huan Liu Arizona State University

Social Media Mining integrates social media, social network analysis, and data mining to provide a coherent platform for students, practitioners, researchers and project managers to understand the basics and potentials of social media mining. It presents fundamental concepts, emerging issues, and effective algorithms for network analysis and data mining.

Universidad de Chile

Leonid Libkin University of Edinburgh

and Filip Murlak Uniwersytet Warszawski, Poland

Summarizes the key developments of a decade of research into the area of data exchange.

2014 247 x 174 mm 341pp 26 b/w illus. 90 exercises 978-1-107-01616-3 Hardback £35.00 / US$55.00 For all formats available, see

www.cambridge.org/9781107016163

‘This is an exceptionally wellconstructed book on social media that will be useful to academia and industry alike. The book covers the entire area of social network analysis in a comprehensive and understandable way.’

Charu Aggarwal, IBM T. J. Watson Research Center

Visit our website at www.cambridge.org/academic

6

Pattern recognition and machine learning / Algorithmics, complexity, computer algebra and computational geometry

Pattern recognition and machine learning

Kernel Methods and Machine Learning

Understanding Machine Learning

2014 247 x 174 mm 572pp 136 b/w illus. 21 tables 978-1-107-02496-0 Hardback £55.00 / US$90.00

From Theory to Algorithms Shai Shalev-Shwartz Hebrew University of Jerusalem

S. Y. Kung Princeton University, New Jersey

Covering the fundamentals of kernelbased learning theory, this is an essential resource for graduate students and professionals in computer science.

For all formats available, see

www.cambridge.org/9781107024960

and Shai Ben-David University of Waterloo, Ontario

Machine learning is one of the fastest growing areas of computer science, with far-reaching applications. This book explains the principles behind the automated learning approach and the considerations underlying its usage. The authors explain the ‘hows’ and ‘whys’ of machine-learning algorithms, making the field accessible to both students and practitioners.

‘This elegant book covers both rigorous theory and practical methods of machine learning. This makes it a rather unique resource, ideal for all those who want to understand how to find structure in data.’

Bernhard Schölkopf, Max Planck Institute for Intelligent Systems 2014 253 x 177 mm 409pp 47 b/w illus. 123 exercises 978-1-107-05713-5 Hardback £37.50 / US$60.00 For all formats available, see

www.cambridge.org/9781107057135

Algorithmics, complexity, computer algebra and computational geometry Analytic Pattern Matching From DNA to Twitter Philippe Jacquet Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt

and Wojciech Szpankowski Purdue University, Indiana

How do you distinguish a cat from a dog by their DNA? Pattern matching problems like these play a key role in areas such as computer science, telecommunications and molecular biology. In this graduate-level book the authors present a unique probabilistic

Algorithmics, complexity, computer algebra and computational geometry / Cryptography, cryptology and coding approach using analytic combinatorics and analytic information theory.

2015 247 x 174 mm 350pp 40 b/w illus. 110 exercises 978-0-521-87608-7 Hardback £45.00 / US$75.00 Publication May 2015 For all formats available, see

www.cambridge.org/9780521876087

Analysis of Boolean Functions Ryan O’Donnell Carnegie Mellon University, Pennsylvania

This graduate-level text gives a thorough overview of the field, beginning with the most basic definitions and proceeding to advanced topics such as hypercontractivity and isoperimetry.

Each chapter includes a ‘highlight application’ such as Arrow’s theorem, the Goldreich–Levin algorithm, hardness of approximation, and ‘sharp threshold’ theorems for random graphs.

2014 228 x 152 mm 444pp 13 b/w illus. 450 exercises 978-1-107-03832-5 Hardback £45.00 / US$70.00 For all formats available, see

www.cambridge.org/9781107038325

7

Tractability Practical Approaches to Hard Problems Edited by Lucas Bordeaux Microsoft Research

Youssef Hamadi Microsoft Research

and Pushmeet Kohli Microsoft Research

An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.

2014 247 x 174 mm 396pp 75 b/w illus.

978-1-107-02519-6 Hardback £70.00 / US$110.00 For all formats available, see

www.cambridge.org/9781107025196

Cryptography, cryptology and coding A Cryptography Primer Secrets and Promises Philip N. Klein Brown University, Rhode Island

This accessible introduction for undergraduates explains the cryptographic protocols for privacy and the use of digital signatures for certifying the integrity of messages and programs.

2014 228 x 152 mm 186pp 72 b/w illus.

978-1-107-01788-7 Hardback £55.00 / US$90.00 978-1-107-60345-5 Paperback £19.99 / US$32.99 For all formats available, see

www.cambridge.org/9781107017887

eBooks available at www.cambridge.org/ebookstore

8

Discrete mathematics, information theory and coding theory

Discrete mathematics, information theory and coding theory Catalan Numbers Richard P. Stanley Massachusetts Institute of Technology

Catalan numbers are probably the most ubiquitous sequence of numbers in mathematics. This book gives some basic background and then presents more than 250 exercises and solutions on the properties and applications of these numbers, with difficulty levels ranging from recreational to research.

2015 228 x 152 mm 216pp 150 b/w illus. 282 exercises 978-1-107-07509-2 Hardback £44.99 / US$74.99 978-1-107-42774-7 Paperback £19.99 / US$29.99 Publication April 2015 For all formats available, see

www.cambridge.org/9781107075092

Applied Algebra and Number Theory Edited by Gerhard Larcher Johannes Kepler Universität Linz

Friedrich Pillichshammer Johannes Kepler Universität Linz

Arne Winterhof Austrian Academy of Sciences, Linz

and Chaoping Xing Nanyang Technological University, Singapore

This book contains survey articles authored by Harald Niederreiter’s close colleagues and leading experts to mark the occasion of his 70th birthday.

Intended for graduate students and researchers, the articles focus on uniform distribution and quasi-Monte Carlo methods as well as finite fields and their applications, in particular, cryptography and pseudorandom number generation.

2014 228 x 152 mm 345pp 25 b/w illus. 5 colour illus.

978-1-107-07400-2 Hardback £65.00 / US$99.00 For all formats available, see

www.cambridge.org/9781107074002

Games of No Chance 4 Edited by Richard J. Nowakowski Dalhousie University, Nova Scotia

This book includes a tutorial for analyzing misère impartial games and how it can be used for misère partisan games. Hex and Go are featured, along with new games: Toppling Dominoes and Maze. Updated versions of Unsolved Problems in Combinatorial Game

Discrete mathematics, information theory and coding theory / Probability theory and stochastic processes Theory and the Combinatorial Games Bibliography complete the volume.

Mathematical Sciences Research Institute Publications

2015 234 x 156 mm 352pp 70 b/w illus. 23 tables 978-1-107-01103-8 Hardback c. £59.99 / c. US$94.99 Publication April 2015 For all formats available, see

www.cambridge.org/9781107011038

Probability theory and stochastic processes The Cambridge Dictionary of Probability and its Applications David Stirzaker St John’s College, Oxford

Probability comes of age with this, the first dictionary of probability and its applications in English, which supplies a guide to the concepts and vocabulary of this rapidly expanding field. Besides the basic theory of probability and random processes, applications covered here include financial and insurance mathematics, operations research (including queueing, reliability, and inventories), decision and game theory, optimization, time series, networks, and communication theory, as well as classic problems and paradoxes. The dictionary is reliable, stable, concise, and cohesive. Each entry provides a rigorous

9

definition, a sketch of the context, and a reference pointing the reader to the wider literature. Judicious use of figures makes complex concepts easier to follow without oversimplifying. As the only dictionary on the market, this will be a guiding reference for all those working in, or learning, probability together with its applications.

2015 246 x 189 mm 500pp 80 b/w illus.

978-1-107-07516-0 Hardback c. £120.00 / c. US$199.00 Publication June 2015 For all formats available, see

www.cambridge.org/9781107075160

The Surprising Mathematics of Longest Increasing Subsequences Dan Romik University of California, Davis

This book presents for the first time to a graduate-level readership recent groundbreaking developments in probability and combinatorics related to the longest increasing subsequence problem. Its detailed, playful presentation provides a motivating entry to elegant mathematical ideas that are of interest to every mathematician and to many computer scientists, physicists and statisticians.

Advance praise: ‘The story of longest monotone subsequences in permutations has been, for six decades, one of the most beautiful in mathematics, ranging from the very pure to the applied and featuring many terrific mathematicians, starting with Erdős– Szekeres’s ‘happy end theorem’ and continuing through the Tracy–Widom

Visit our website at www.cambridge.org/academic

10

Probability theory and stochastic processes / Control systems and optimization distribution and the breakthrough of Baik–Deift–Johansson. With its connections to many areas of mathematics, to the Riemann hypothesis, and to high-energy physics we cannot foresee where the story is heading. Dan Romik tells the tale thus far – and teaches its rich multifaceted mathematics, a blend of probability, combinatorics, analysis, and algebra – in a wonderful way.’

Gil Kalai, Hebrew University Institute of Mathematical Statistics Textbooks, 4

2015 228 x 152 mm 432pp 3 b/w illus. 94 exercises 978-1-107-07583-2 Hardback £65.00 / US$99.00 978-1-107-42882-9 Paperback £27.99 / US$39.99 Publication March 2015

the general theory of noise sensitivity into a concrete study, allowing for a new understanding of the percolation process. It provides an excellent and clear exposition of the general theory of noise sensitivity and its manifestation in two-dimensional critical percolation.’

Itai Benjamini, Weizmann Institute of Science, Israel Institute of Mathematical Statistics Textbooks, 5

2015 228 x 152 mm 222pp 29 b/w illus. 75 exercises 978-1-107-07643-3 Hardback £60.00 / US$99.00 978-1-107-43255-0 Paperback £21.99 / US$34.99 Publication February 2015 For all formats available, see

www.cambridge.org/9781107076433

For all formats available, see

www.cambridge.org/9781107075832

Noise Sensitivity of Boolean Functions and Percolation Christophe Garban

Control systems and optimization

Ecole Normale Supérieure, Lyon

and Jeffrey E. Steif Chalmers University of Technology, Gothenberg

This account of the new and exciting area of noise sensitivity of Boolean functions – in particular applied to critical percolation – is designed for graduate students and researchers in probability theory, discrete mathematics, and theoretical computer science.

It assumes a basic background in probability theory and integration theory.

Each chapter ends with exercises.

Advance praise: ‘Presented in an orderly, accessible manner, this book elegantly integrates

Textbook

Optimization Models Giuseppe C. Calafiore Politecnico di Torino

and Laurent El Ghaoui University of California, Berkeley

Emphasizing practical understanding over the technicalities of specific algorithms, this elegant textbook teaches students how to recognize, simplify, model and solve optimization problems – and apply these basic principles to their own projects. Accompanied by an

Control systems and optimization / Optimization, OR and risk analysis online solution manual, accessible only to instructors.

‘In Optimization Models, Calafiore and El Ghaoui have created a beautiful and very much needed on-ramp to the world of modern mathematical optimization and its wide range of applications. They lead an undergraduate, with not much more than basic calculus behind her, from the basics of linear algebra all the way to modern optimization-based machine learning, image processing, control, and finance, to name just a few applications. Until now, these methods and topics were accessible only to graduate students in a few fields, and the few undergraduates who brave the daunting prerequisites.

The book’s seamless integration of mathematics and applications, and its focus on modeling practical problems and algorithmic solution methods, will be very appealing to a wide audience.’

Stephen Boyd, Stanford University

Contents: 1. Introduction; Part I. Linear Algebra: 2. Vectors; 3. Matrices; 4. Symmetric matrices; 5. Singular value decomposition; 6. Linear equations and least-squares; 7. Matrix algorithms; Part II. Convex Optimization: 8. Convexity; 9. Linear, quadratic and geometric models; 10. Second-order cone and robust models; 11. Semidefinite models; 12. Introduction to algorithms; Part III. Applications: 13. Learning from data; 14. Computational finance; 15. Control problems; 16. Engineering design.

2014 246 x 189 mm 650pp 352 b/w illus. 126 exercises 978-1-107-05087-7 Hardback £48.00 / US$69.99 For all formats available, see

11

Optimization, OR and risk analysis Textbook

A Gentle Introduction to Optimization B. Guenin University of Waterloo, Ontario

J. Könemann University of Waterloo, Ontario

and L. Tunçel University of Waterloo, Ontario

Assuming only basic linear algebra, this textbook is the perfect starting point for a wide range of undergraduate students from across the mathematical sciences (computer science, engineering, economics, and so on). The authors focus on the fundamental ideas in optimization and motivate the theory with real-world examples and exercises.

Contents: Preface; 1. Introduction; 2. Solving linear programs; 3. Duality through examples; 4. Duality theory; 5. Applications of duality; 6. Solving integer programs; 7. Nonlinear optimization; Appendix A. Computational complexity; References; Index.

2014 247 x 174 mm 279pp 55 b/w illus. 25 colour illus. 20 tables 140 exercises 978-1-107-05344-1 Hardback £50.00 / US$80.00 978-1-107-65879-0 Paperback £25.00 / US$40.00 For all formats available, see

www.cambridge.org/9781107053441

www.cambridge.org/9781107050877

For regular email alerts visit www.cambridge.org/alerts

12

Optimization, OR and risk analysis An Introduction to Polynomial and Semi-Algebraic Optimization Jean Bernard Lasserre Centre National de la Recherche Scientifique (CNRS), Toulouse

This is the first comprehensive introduction to the powerful moment approach for solving global optimization problems. Graduate students, engineers and researchers entering the field can use this book to understand, experiment with and master this new approach through the simple worked examples provided.

Cambridge Texts in Applied Mathematics, 52

problems are set up as exercises, with detailed hints for their solutions.

Advance praise: ‘In the early 1990s, Jean-François Mertens, Sylvain Sorin, and Shmuel Zamir collaborated on a series of deep papers on repeated games, which, unfortunately, they never published.

Happily, this book at long last makes their important and still highly pertinent work widely accessible.’

Eric Maskin, Nobel Laureate in Economics, Harvard University Econometric Society Monographs, 55

2015 228 x 152 mm 546pp 22 b/w illus. 18 exercises 978-1-107-03020-6 Hardback £75.00 / US$125.00

2015 228 x 152 mm 370pp 15 b/w illus. 2 colour illus.

978-1-107-06057-9 Hardback £70.00 / US$120.00

978-1-107-66263-6 Paperback £39.99 / US$59.99

978-1-107-63069-7 Paperback £35.00 / US$60.00

www.cambridge.org/9781107030206

Publication February 2015 For all formats available, see

www.cambridge.org/9781107060579

Highlight

Repeated Games Jean-François Mertens Sylvain Sorin Université de Paris VI (Pierre et Marie Curie)

and Shmuel Zamir Hebrew University of Jerusalem and University of Exeter

Based on a set of working papers published by the Center for Operations Research and Econometrics (CORE) at the Université Catholique de Louvain in 1994, this landmark work significantly advances the literature on game theory with its masterful conceptual presentation. Challenging and important

Publication February 2015 For all formats available, see

Computer hardware, architecture and systems / Communications and signal processing

Computer hardware, architecture and systems

Communications and signal processing

Workload Modeling for Computer Systems Performance Evaluation

Foundations of Signal Processing

Textbook

Martin Vetterli École Polytechnique Fédérale de Lausanne

Jelena Kovačević

Dror G. Feitelson

Carnegie Mellon University, Pennsylvania

Hebrew University of Jerusalem

and Vivek K. Goyal

This book closes the gap between experts and practitioners, emphasizing the intuition and reasoning behind definitions and derivations related to evaluations of computer systems performance. Readers will learn to analyze collected workload data, derive statistical models, including skewed marginal distributions and correlations, and consider generative models and feedback from systems.

Boston University

2015 253 x 177 mm 576pp 182 b/w illus. 90 colour illus. 18 tables 978-1-107-07823-9 Hardback £50.00 / US$75.00 Publication June 2015 For all formats available, see

www.cambridge.org/9781107078239

13

This comprehensive, accessible textbook covers the basics of signal processing, building up from fundamental principles to practical applications. It uses engineering notation to make mathematical concepts easy to follow, includes numerous homework problems and is accompanied by an extensive Mathematica® companion and instructor solutions manual.

‘This is a major book about a serious subject – the combination of engineering and mathematics that goes into modern signal processing: discrete time, continuous time, sampling, filtering, and compression.

The theory is beautiful and the applications are so important and widespread.’

Gil Strang, Massachusetts Institute of Technology

eBooks available at www.cambridge.org/ebookstore

14

Communications and signal processing Contents: 1. On rainbows and spectra; 2. From Euclid to Hilbert:; 3. Sequences and discrete-time systems; 4. Functions and continuous-time systems; 5. Sampling and interpolation; 6. Approximation and compression; 7. Localization and uncertainty.

2014 247 x 174 mm 744pp 200 b/w illus. 44 tables 190 exercises 978-1-107-03860-8 Hardback £45.00 / US$70.00 For all formats available, see

www.cambridge.org/9781107038608

Lattice Coding for Signals and Networks A Structured Coding Approach to Quantization, Modulation and Multiuser Information Theory Ram Zamir Tel-Aviv University

With contributions by Bobak Nazer and Yuval Kochman Illustrated by Ilai Bistritz

Unifying information theory and digital communication through the language of lattice codes, this book provides a detailed overview for students, researchers and industry practitioners. It covers both classical work and the more recent results, including many advanced setups and techniques showing the advantages of lattice codes over traditional random-coding solutions.

2014 247 x 174 mm 454pp 138 b/w illus. 11 tables 110 exercises 978-0-521-76698-2 Hardback £75.00 / US$120.00 For all formats available, see

www.cambridge.org/9780521766982

Textbook

Essentials of Digital Signal Processing B. P. Lathi California State University, Sacramento

and Roger A. Green North Dakota State University

This textbook offers a fresh approach to digital signal processing (DSP), combining heuristic reasoning and physical appreciation with sound mathematical methods. It uses metaphors, analogies and creative explanations and exercises. There are 500 figures, over 170 fully worked examples, hundreds of end-of-chapter problems, and over 150 drill exercises with student solutions.

Contents: List of figures; List of tables; Preface; Acknowledgments; 1. Review of continuous-time signals and systems; 2. Continuous-time analog filters; 3. Sampling: the bridge from continuous to discrete; 4. Discrete-time signals and systems; 5. Time domain analysis of discrete-time systems; 6. Discrete-time fourier analysis; 7. Discrete-time system analysis using the z-transform; 8. Digital filters; 9. Discrete fourier transform; Appendix A. Matlab; Appendix B. Useful tables; Appendix C. Drill solutions; Index.

2014 253 x 177 mm 760pp 936 b/w illus. 35 tables 729 exercises 978-1-107-05932-0 Hardback £55.00 / US$99.00 For all formats available, see

www.cambridge.org/9781107059320

Communications and signal processing Markov Chains and Dependability Theory Gerardo Rubino IRISA, Rennes, France

and Bruno Sericola IRISA, Rennes, France

Dependability metrics are omnipresent in every engineering field, from simple ones through to more complex measures combining performance and dependability aspects of systems. This book presents the mathematical basis of the analysis of these metrics using Markov models, and is of interest to graduate students and researchers.

2014 247 x 174 mm 284pp 32 b/w illus. 24 tables 978-1-107-00757-4 Hardback £65.00 / US$99.00 For all formats available, see

www.cambridge.org/9781107007574

15

foundations over issues of evaluation to practical applications, and written by some of the world’s leading researchers in the field. With the widespread use of interactive language technology on the horizon, this book is an immensely helpful resource for industry and academia alike.’

Alexander Koller, University of Potsdam, Germany 2014 247 x 174 mm 379pp 65 b/w illus. 37 tables 978-1-107-01002-4 Hardback £45.00 / US$65.00 For all formats available, see

www.cambridge.org/9781107010024

Performance Analysis of Complex Networks and Systems Piet Van Mieghem

Natural Language Generation in Interactive Systems Edited by Amanda Stent AT&T Research, Florham Park, New Jersey

and Srinivas Bangalore AT&T Research, Florham Park, New Jersey

An informative and comprehensive overview of the state-of-the-art in natural language generation for interactive systems, this guide serves to introduce graduate students and new researchers to the field of natural language processing and artificial intelligence, with links to corpora, data, software and other resources for pursuing research in this field.

Technische Universiteit Delft, The Netherlands

Provides the mathematical, stochastic and graph theoretic methods to analyse the performance and robustness of complex networks and systems.

2014 247 x 174 mm 688pp 103 b/w illus. 4 tables 104 exercises 978-1-107-05860-6 Hardback £50.00 / US$80.00 For all formats available, see

www.cambridge.org/9781107058606

‘This book provides a comprehensive overview of the state of the art in interactive natural language generation, ranging from theoretical

For regular email alerts visit www.cambridge.org/alerts

16

Communications and signal processing / Wireless communications Cryptography and Secure Communication Richard E. Blahut University of Illinois, Urbana-Champaign

This fascinating book presents the timeless mathematical theory underpinning cryptosystems both old and new, written specifically with engineers in mind.

2014 247 x 174 mm 602pp 77 b/w illus. 230 exercises 978-1-107-01427-5 Hardback £65.00 / US$99.00 For all formats available, see

www.cambridge.org/9781107014275

Wireless communications Principles of Wireless Sensor Networks Mohammad S. Obaidat Monmouth University, New Jersey

and Sudip Misra Indian Institute of Technology, Kharagpur

A concise, clear guide to the principles and concepts of wireless sensor networks, advanced research being carried out in the area, and a wide range of applications for this technology. A great introduction for new learners of the subject, as well as an ideal reference for practitioners and researchers.

2014 247 x 174 mm 433pp 104 b/w illus. 5 tables 978-0-521-19247-7 Hardback £65.00 / US$99.00 For all formats available, see

www.cambridge.org/9780521192477

Vehicular Networking Christoph Sommer Universität Paderborn, Germany

and Falko Dressler Universität Paderborn, Germany

With this essential guide to vehicular networking, covering both in- and inter-vehicle communication, you will learn about everything from conceptual approaches and state-of-the-art protocols, to system designs and their evaluation. A valuable resource for graduate students and professionals in communications research and the automotive industries.

2014 247 x 174 mm 370pp 190 b/w illus. 19 tables 978-1-107-04671-9 Hardback £70.00 / US$110.00 For all formats available, see

www.cambridge.org/9781107046719

The Dynamics of Broadband Markets in Europe Realizing the 2020 Digital Agenda Edited by Wolter Lemstra Technische Universiteit Delft, The Netherlands

and William H. Melody Aalborg University, Denmark

This book supports policy-makers, regulators, advisors, and consultants in realizing the EU Digital Agenda targets for 2020 in the field of telecommunications. Based on a set of longitudinal country case studies, it combines qualitative and quantitative analysis to provide an in-depth analysis

Wireless communications of broadband developments in twelve different European countries.

Smartphone Energy Consumption

‘After two decades of regulatory convergence the major global regions have pursued more differentiated paths during the past decade. In contrast to the US which adopted a framework steeped in minimally regulated markets and the government-centric approaches of many Asian nations, the EU has pursued a hybrid model combining competition, regulation and forms of industrial policy intervention. The national diversity that exists within the common European framework constitutes a natural experiment from which important lessons can be learned. The case studies assembled and expertly analyzed in this volume provide unique insights into the diversity of policy models across the EU, the effects of these choices for sector performance, and options for pursuing the ambitious goals of the Digital Agenda for Europe.’

Modeling and Optimization Sasu Tarkoma

Johannes M. Bauer, Michigan State University and Chair, Telecommunications Policy Research Conference, 2010–13 2014 247 x 174 mm 448pp 65 b/w illus. 47 tables 978-1-107-07358-6 Hardback £80.00 / US$130.00 For all formats available, see

www.cambridge.org/9781107073586

17

University of Helsinki

Matti Siekkinen Aalto University, Finland

Eemil Lagerspetz University of Helsinki

and Yu Xiao Aalto University, Finland

Get the key measurement, modeling, and analytical tools needed to develop energy-aware and energy-efficient systems and applications with this practical guide. As well as the necessary theoretical background, you will also be provided with real-world examples, practical guidance on assessing and optimizing energy consumption, and details of future trends.

‘Energy is a vital resource for mobile computing. This book gives a comprehensive treatment of energy from the viewpoint of batterypowered mobile devices. A broad range of topics is covered, and each topic is discussed in depth. This book will be a valuable resource for graduate students and mobile system engineers.’

Mahadev Satyanarayanan, Carnegie Mellon University 2014 247 x 174 mm 350pp 99 b/w illus. 47 tables 978-1-107-04233-9 Hardback £60.00 / US$95.00 For all formats available, see

www.cambridge.org/9781107042339

Visit our website at www.cambridge.org/academic

18

Artificial intelligence and natural language processing

Artificial intelligence and natural language processing Principles of Automated Negotiation Shaheen Fatima Loughborough University

Sarit Kraus Bar-Ilan University, Israel

and Michael Wooldridge University of Oxford

Top researchers investigate in depth the main challenges involved in designing computers that are capable of negotiating effectively on our behalf, weigh up their advantages and disadvantages, and look at possible applications. This book will interest students, researchers and practitioners working in computer science, economics, artificial intelligence or social science.

2014 228 x 152 mm 289pp 40 b/w illus.

978-1-107-00254-8 Hardback £35.00 / US$60.00

Burden of Proof, Presumption and Argumentation Douglas Walton University of Windsor, Ontario

The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with presumptions and burdens of proof, and from how artificial intelligence has built precise formal and computational systems to represent this kind of reasoning.

‘Douglas Walton has done it again.

This important and timely book should be read by everyone concerned with the health and state of argumentation in a world that seems devoid of reasoning.’

Ian I. Mitroff, Center for Catastrophic Risk Management, University of California, Berkeley 2014 228 x 152 mm 318pp 52 b/w illus.

978-1-107-04662-7 Hardback £55.00 / US$85.00 978-1-107-67882-8 Paperback £19.99 / US$32.99 For all formats available, see

www.cambridge.org/9781107046627

For all formats available, see

New in Paperback

www.cambridge.org/9781107002548

Modeling and Reasoning with Bayesian Networks Adnan Darwiche University of California, Los Angeles

This book provides a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive

Artificial intelligence and natural language processing discussion of techniques for building Bayesian networks that model realworld situations, including techniques for synthesizing models from design, learning models from data, and debugging models using sensitivity analysis. ‘… both practical and advanced …

The first five chapters are sufficient for students and practitioners to gain the necessary knowledge in order to build Bayesian networks for moderately sized applications with the aid of a software tool … All major inference methods are covered in later chapters which allow researchers and software developers to implement their own software systems tailored to their needs … It is a comprehensive book that can be used for self study by students and newcomers to the field or as a companion for courses on probabilistic reasoning. Experienced researchers may also find deeper information on some topics. In my opinion, the book should definitely be [on] the bookshelf of everyone who teaches Bayesian networks and builds probabilistic reasoning agents.’

Artificial Intelligence

19

Knowledge Representation, Reasoning, and the Design of Intelligent Agents The Answer-Set Programming Approach Michael Gelfond Texas Tech University

and Yulia Kahl

This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.

2014 228 x 152 mm 360pp 25 b/w illus. 3 tables 97 exercises 978-1-107-02956-9 Hardback £50.00 / US$75.00 For all formats available, see

www.cambridge.org/9781107029569

2014 254 x 178 mm 562pp 246 b/w illus. 64 tables 342 exercises 978-1-107-67842-2 Paperback £38.99 / US$59.99 Also available 978-0-521-88438-9 Hardback £69.99 / US$119.99 For all formats available, see

www.cambridge.org/9781107678422

eBooks available at www.cambridge.org/ebookstore

20

Social, educational and philosophical aspects of computing, e-publishing, HCI

Social, educational and philosophical aspects of computing, e-publishing, HCI Twitter: A Digital Socioscope Edited by Yelena Mejova Qatar Computing Research Institute

Ingmar Weber Qatar Computing Research Institute

and Michael Macy Cornell University, New York

This book surveys how to use Twitter data to study human behavior and social interaction on a global scale. It is a reference for behavioral and social scientists who want to explore the use of online data in their research, and for non-professionals that follow the social impact of new technologies.

2015 228 x 152 mm 238pp 53 b/w illus. 4 tables 978-1-107-10237-8 Hardback c. £60.00 / c. US$99.00 978-1-107-50007-5 Paperback c. £22.99 / c. US$34.99 Publication May 2015 For all formats available, see

www.cambridge.org/9781107102378

Social Media Intelligence Wendy W. Moe University of Maryland, College Park

and David A. Schweidel Emory University, Atlanta

This book explains what affects the opinions posted online and how organizations can use social media data to inform their strategies.

2014 228 x 152 mm 200pp 8 b/w illus. 3 tables 978-1-107-03120-3 Hardback £30.00 / US$50.00 For all formats available, see

www.cambridge.org/9781107031203

Trust, Computing, and Society Edited by Richard H. R. Harper Microsoft Research, Cambridge

Do new forms of connection need more regulation and control? These fascinating essays explore the question from technical, socio-philosophical and design perspectives.

2014 228 x 152 mm 373pp 8 b/w illus.

978-1-107-03847-9 Hardback £45.00 / US$70.00 For all formats available, see

www.cambridge.org/9781107038479

Social, educational and philosophical aspects of computing, e-publishing, HCI Key Reference

The Cambridge Handbook of Applied Perception Research

theoretical advances in the nature of attention and perceptual processes.

Cambridge Handbooks in Psychology

Institute for Human and Machine Cognition, Florida

2015 253 x 177 mm 1150pp 122 b/w illus. 16 colour illus. 20 tables 978-1-107-09640-0 2 Hardback Volumes £175.00 / US$300.00

Peter A. Hancock

Publication March 2015

University of Central Florida

For all formats available, see

Mark W. Scerbo

www.cambridge.org/9781107096400

Edited by Robert R. Hoffman

21

Old Dominion University, Virginia

Raja Parasuraman George Mason University, Virginia

and James L. Szalma University of Central Florida

The Cambridge Handbook of Applied Perception Research covers core areas of research in perception with an emphasis on its application to real-world environments. Topics include multisensory processing of information, time perception, sustained attention, and signal detection, as well as pedagogical issues surrounding the training of applied perception researchers. In addition to familiar topics, such as perceptual learning, the Handbook focuses on emerging areas of importance, such as human-robot coordination, haptic interfaces, and issues facing societies in the twenty-first century (such as terrorism and threat detection, medical errors, the broader implications of automation). Organized into sections representing major areas of theoretical and practical importance for the application of perception psychology to human performance and the design and operation of human-technology interdependence, it also addresses the challenges to basic research, including the problem of quantifying information, defining cognitive resources, and

The Cambridge Handbook of Multimedia Learning Second edition Edited by Richard E. Mayer University of California, Santa Barbara

In recent years, multimedia learning, or learning from words and images, has developed into a coherent discipline with a significant research base. The Cambridge Handbook of Multimedia Learning is unique in offering a comprehensive, up-to-date analysis of research and theory in the field, with a focus on computer-based learning.

Since the first edition appeared in 2005, it has shaped the field and become the primary reference work for multimedia learning. Multimedia environments, including online presentations, e-courses, interactive lessons, simulation games, slideshows, and even textbooks, play a crucial role in education. This revised second edition incorporates the latest developments in multimedia learning and contains new chapters on topics such as drawing, video, feedback, working memory, learner control, and intelligent tutoring systems. It examines research-based principles to determine the most effective methods of multimedia instruction and considers

Visit our website at www.cambridge.org/academic

22

Social, educational and philosophical aspects of computing, e-publishing, HCI / Computer graphics, image processing, robotics and computer vision research findings in the context of cognitive theory to explain how these methods work.

Contributors: Richard E. Mayer, Fred Paas, John Sweller, Wolfgang Schnotz, Jeroen J. G. van Merrienboer, Liesbeth Kester, Richard E. Clark, David F. Feldon, Kirsten R. Butcher, Paul Ayres, Renae Low, Slava Kalyuga, Tamara van Gog, Logan Fiorella, Celeste Pilegard, Ton de Jong, Ard W. Lazonder, Alexander Renkl, Ruth Wylie, Michelene T. H. Chi, Detlev Leutner, Annett Schmeck, Cheryl I. Johnson, Heather A. Priest, Shaaron Ainsworth, Katharina Scheiter, Richard K. Lowe, Paul A. Kirschner, Femke Kirschner, Jereon Janssen, Jennifer Wiley, Christopher A. Sanchez, Allison J. Jaeger, Susanne P. Lajoie, Roger Azevedo, Mary Hegarty, Benjamin D. Nye, Arthur C. Graesser, Xiangen Hu, Jan Plass, Ruth N. Schwartz, Sigmund Tobias, J. D. Fletcher, Benoit Bediou, Alexander P. Wind, Fei Chen, Sharon Derry, Miriam Gamoran Sherin, Bruce L. Sherin, Jean-Francois Rouet, Ann Britt, Ruth Colvin Clark Cambridge Handbooks in Psychology

2014 253 x 177 mm 950pp 93 b/w illus. 2 maps 56 tables 978-1-107-03520-1 Hardback £80.00 / US$140.00 978-1-107-61031-6 Paperback £45.00 / US$75.00 For all formats available, see

www.cambridge.org/9781107035201

Computer graphics, image processing, robotics and computer vision Textbook

Multimedia Computing Gerald Friedland International Computer Science Institute, Berkeley, California

and Ramesh Jain University of California, Irvine

This innovative textbook presents current techniques in computing and communication, developing a holistic approach to multimedia computing using heterogeneous data sources in the same way humans understand information through the perspective of our five senses. The authors describe fundamental properties and algorithms, relating these emerging applications that use multifarious information sources.

‘This book fills a critical need in multimedia computing by offering a comprehensive, authoritative, and holistic review of key principles, stateof-the-art technologies, and open issues in this vibrant field. Authored by two renowned pioneers and educators, it will be a wonderful book for students and anyone interested in learning more about multimedia.’

Shih-Fu Chang, Columbia University

Computer graphics, image processing, robotics and computer vision / Engineering design, kinematics, and robotics Contents: 1. Introduction; 2. Multimedia: a definition; 3. Elements of multimedia computing; 4. Introduction to sensors; 5. Sound; 6. Light; 7. Multimedia documents; 8. Multimodal integration and synchronization; 9. Multimedia systems; 10. The human factor; 11. Fundamentals of compression; 12. Lossy compression; 13. Advanced perceptual compression; 14. Speech compression; 15. Multimedia information retrieval; 16. Signal processing primer; 17. Multimedia content analysis; 18. Content analysis systems; 19. Content and context; 20. Future topics.

2014 253 x 177 mm 368pp 111 b/w illus. 9 colour illus. 3 tables 233 exercises 978-0-521-76451-3 Hardback £45.00 / US$75.00 For all formats available, see

www.cambridge.org/9780521764513

23

in building-component manufacturing and construction introduced in earlier volumes to on-site structured environments and on-site automated factories.

2015 253 x 177 mm 375pp 463 b/w illus. 9 tables 978-1-107-07597-9 Hardback c. £75.00 / c. US$135.00 Publication August 2015 For all formats available, see

www.cambridge.org/9781107075979

Robot Oriented Design Design and Management Tools for the Deployment of Automation and Robotics in Construction Thomas Bock Technische Universität München

and Thomas Linner

Engineering design, kinematics, and robotics Site Automation Automated/Robotic On-Site Factories Thomas Bock Technische Universität München

and Thomas Linner Technische Universität München

The Cambridge Handbooks on Construction Robotics series focuses on the implementation of automation and robot technology to renew the construction industry. Site Automation extends the new technology of robotics

Technische Universität München

The Cambridge Handbooks on Construction Robotics series focuses on the implementation of automation and robot technology to renew the construction industry. Robot-Oriented Design introduces the design, innovation and management methodologies that are key to the realization and implementation of the advanced concepts and technologies presented in the subsequent volumes.

2015 253 x 177 mm 352pp 167 b/w illus. 145 colour illus. 34 tables 978-1-107-07638-9 Hardback £85.00 / US$135.00 Publication April 2015 For all formats available, see

www.cambridge.org/9781107076389

For regular email alerts visit www.cambridge.org/alerts

24

Image processing and machine vision / Programming languages and applied logic

Image processing and machine vision

Programming languages and applied logic

Motion Deblurring

Type Theory and Formal Proof

Algorithms and Systems Edited by A. N. Rajagopalan Indian Institute of Technology, Madras

and Rama Chellappa University of Maryland, College Park

Comprehensive guide to the restoration of images degraded by motion blur, encompassing algorithms and architectures, with novel computational photography methods.

2014 247 x 174 mm 306pp 150 b/w illus. 4 tables 978-1-107-04436-4 Hardback £75.00 / US$120.00 For all formats available, see

www.cambridge.org/9781107044364

An Introduction Rob Nederpelt Technische Universiteit Eindhoven, The Netherlands

and Herman Geuvers Radboud Universiteit Nijmegen

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

2014 247 x 174 mm 490pp 35 b/w illus. 125 exercises 978-1-107-03650-5 Hardback £50.00 / US$80.00 For all formats available, see

www.cambridge.org/9781107036505

Thinking Functionally with Haskell Richard Bird University of Oxford

Designed to fit a first- or second-year undergraduate course, this is a thorough overhaul and replacement of Richard Bird’s earlier textbooks. It includes a fresh set of case studies and over 100 exercises with fully worked solutions.

The author’s emphasis remains on fundamental techniques for reasoning

Programming languages and applied logic / Application development and software engineering mathematically about functional programs.

in the Coq developments of the Verified Software Toolchain.

2014 247 x 174 mm 350pp 1 b/w illus.

978-1-107-08720-0 Hardback £60.00 / US$90.00

2014 228 x 152 mm 367pp 52 b/w illus.

978-1-107-04801-0 Hardback £55.00 / US$85.00

978-1-107-45264-0 Paperback £30.00 / US$45.99

For all formats available, see

25

www.cambridge.org/9781107048010

For all formats available, see

www.cambridge.org/9781107087200

Program Logics for Certified Compilers Andrew W. Appel Princeton University, New Jersey

With contributions by Robert Dockins Portland State University

Application development and software engineering

Aquinas Hobor National University of Singapore

Lennart Beringer Princeton University, New Jersey

Programming in Ada 2012

Josiah Dodds

John Barnes

Princeton University, New Jersey

Ada is the language of choice for the majority of programmers involved in writing safety-critical software. With the release of the latest ISO standard, Ada 2012, this new book is sure to become the go-to resource for those wishing to learn the language or to program in it.

Gordon Stewart Princeton University, New Jersey

Sandrine Blazy Université de Rennes I, France

and Xavier Leroy Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt

This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C. All constructions and proofs are given

‘Once again, John Barnes has provided a wonderfully lucid, learned and insightful description of the latest version of Ada. He has been the tireless explicator of the design and evolution of the language over more than three decades.’

Ed Shonberg, Chairman of the Ada Rapporteur Group 2014 246 x 189 mm 967pp 25 b/w illus. 300 exercises 978-1-107-42481-4 Paperback £60.00 / US$95.00 For all formats available, see

www.cambridge.org/9781107424814

eBooks available at www.cambridge.org/ebookstore

26

Logic, categories and sets / Computational biology and bioinformatics

Logic, categories and sets

Pure Inductive Logic Jeffrey Paris University of Manchester

and Alena Vencovská University of Manchester

Basic Category Theory Tom Leinster University of Edinburgh

Assuming little mathematical background, this short introduction to category theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. Suitable for independent study or as a course book, it gives extensive explanations of the key concepts along with hundreds of examples and exercises.

Cambridge Studies in Advanced Mathematics, 143

2014 228 x 152 mm 190pp 100 exercises 978-1-107-04424-1 Hardback £37.99 / US$65.00 For all formats available, see

www.cambridge.org/9781107044241

Turing’s Legacy Developments from Turing’s Ideas in Logic Edited by Rod Downey Victoria University of Wellington

A collection of essays celebrating the influence of Alan Turing’s work in logic, computer science and related areas.

Lecture Notes in Logic, 42

2014 228 x 152 mm 539pp 978-1-107-04348-0 Hardback £60.00 / US$95.00 For all formats available, see

www.cambridge.org/9781107043480

This book establishes pure inductive logic as a contemporary branch of mathematical logic. Collecting together research from a wide range of sources within one unified context, it provides both a comprehensive account of the subject up to cutting-edge modern research, and an accessible reference for the philosopher or computer scientist.

Perspectives in Logic

2015 228 x 152 mm 360pp 1 b/w illus.

978-1-107-04230-8 Hardback c. £60.00 / c. US$95.00 Publication March 2015 For all formats available, see

www.cambridge.org/9781107042308

Computational biology and bioinformatics Integrating Omics Data George C. Tseng University of Pittsburgh

Debashis Ghosh Pennsylvania State University

and Xianghong Jasmine Zhou University of Southern California

This book provides comprehensive coverage of information integration of omics, experimental data, and databases. It introduces state-of-the-art methods developed by leaders in the field to handle information integration problems of omics data. Popular

Computational biology and bioinformatics technologies include microarray, nextgeneration sequencing, and proteomic experiments.

2015 228 x 152 mm 488pp 147 b/w illus. 23 colour illus. 31 tables 978-1-107-06911-4 Hardback £80.00 / US$125.00

Textbook

Computing for Biologists Python Programming and Principles Ran Libeskind-Hadas

Publication July 2015

Harvey Mudd College, California

For all formats available, see

and Eliot Bush

www.cambridge.org/9781107069114

Harvey Mudd College, California

Python Programming for Biology Bioinformatics and Beyond Tim J. Stevens MRC Laboratory of Molecular Biology, Cambridge

and Wayne Boucher University of Cambridge

This book presents core concepts in computational biology in an accessible, jargon-free manner and offers a complete foundation course in the Python language, with entry points for novices and experienced programmers alike. Material covers traditional bioinformatics and many topics beyond, with practical examples for Python versions 2 and 3.

2015 247 x 174 mm 720pp 91 b/w illus. 11 colour illus. 3 tables 978-0-521-89583-5 Hardback £84.99 / US$139.99 978-0-521-72009-0 Paperback £44.99 / US$69.99 Publication February 2015 For all formats available, see

www.cambridge.org/9780521895835

27

Specifically designed for life science students with no prior computing experience, this textbook teaches computational problem-solving along with Python programming skills. The chapters cover three key tools – gene finding, sequence alignment and phylogenetic methods. An accompanying website features numerous integrated exercises, equipping students with the skills to write programs independently.

‘In my twenty years as a professor, I have never run across a textbook on bioinformatics algorithms that a biologist can read from cover to cover and understand. This is the one.’

Pavel Pevzner, Ronald R. Taylor Distinguished Professor of Computer Science, University of California, San Diego

Contents: Preface; Meet python; Part I. Python versus Pathogens: 1. Computing GC content; 2. Pathogenicity islands; 3. Open reading frames and genes; 4. Finding genes (at last!); Part II. Sequence Alignment and Sex Determination: 5. Recursion; 6. The use-it-or-lose-it principle; 7. Dictionaries, memoization, and speed; 8. Sequence alignments and the evolution of sex chromosomes; Part III. Phylogenetic Reconstruction and the Origin of Modern Humans: 9. Representing and working with trees; 10. Drawing trees; 11. The UPGMA algorithm; Part IV. Additional Topics:

For regular email alerts visit www.cambridge.org/alerts

28

Computational biology and bioinformatics / Computational science / Numerical analysis 12. RNA secondary structure prediction; 13. Gene regulatory networks and the maximum likelihood method; 14. Birds, bees, and genetic algorithms; Where to go from here; Index.

Computational science

2014 246 x 189 mm 217pp 8 b/w illus. 33 colour illus. 1 table 978-1-107-04282-7 Hardback £60.00 / US$99.00

Python for Scientists

978-1-107-64218-8 Paperback £29.99 / US$49.99

Python is a free and easy-to-use software tool that offers a significant alternative to proprietary packages such as MATLAB and Mathematica. This book explains Python from scratch, covering everything students and researchers need to get up and running. No previous knowledge of the software is required.

For all formats available, see

www.cambridge.org/9781107042827

Neuronal Dynamics From Single Neurons to Networks and Models of Cognition Wulfram Gerstner École Polytechnique Fédérale de Lausanne

Werner M. Kistler European Patent Attorney

Richard Naud University of Ottawa

John M. Stewart University of Cambridge

2014 247 x 174 mm 230pp 36 b/w illus.

978-1-107-06139-2 Hardback £65.00 / US$100.00 978-1-107-68642-7 Paperback £27.95 / US$40.00 For all formats available, see

www.cambridge.org/9781107061392

and Liam Paninski Columbia University, New York

Exploring neuron models, the neural code, decision making and learning, this textbook provides a thorough and up-to-date introduction to computational neuroscience for advanced undergraduate and beginning graduate students. With step-by-step explanations, end-of-chapter summaries and classroom-tested exercises, it is ideal for courses or for self-study.

2014 247 x 174 mm 578pp 280 b/w illus. 6 tables 80 exercises 978-1-107-06083-8 Hardback £65.00 / US$99.00 978-1-107-63519-7 Paperback £32.00 / US$50.00 For all formats available, see

www.cambridge.org/9781107060838

Numerical analysis Acta Numerica 2014 Volume 23 Edited by Arieh Iserles University of Cambridge

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing.

The papers present overviews of recent

Numerical analysis / Also of interest developments in their area and provide state-of-the-art techniques and analysis.

Acta Numerica, 23

2014 247 x 174 mm 824pp 978-1-107-06739-4 Hardback £109.00 / US$186.00 For all formats available, see

www.cambridge.org/9781107067394

Also of interest The Art of Electronics Third edition Paul Horowitz Harvard University, Massachusetts

and Winfield Hill Rowland Institute of Science, Harvard University, Massachusetts

At long last, here is the thoroughly revised and updated, and longanticipated, third edition of the hugely successful The Art of Electronics. Widely accepted as the best single authoritative text on electronic circuit design, it will be an indispensable reference and the gold standard for anyone in the field.

Advance praise: ‘Who among us has not kept a cherished copy of AoE on our workbench throughout our careers?

Engineers, hackers and makers of all stripes, rejoice for the third edition … has been worth the wait! Packed with tons of delicious knowledge to navigate electronics in both work and hobby. An encyclopedia of electronics knowledge, [The Art of Electronics] is a pleasure to read through for tips and tricks and is an unbeatable resource!

Take a day out to read a chapter – you will learn things you didn’t even know you didn’t know. Or, refer to the pinouts, diagrams, and techniques

29

as necessary to guide you through a difficult project. If you think electrical engineering is magical then you must pick up this tome!’

Limor ‘Ladyada’ Fried, Adafruit Industries 2015 253 x 203 mm 1224pp 1470 b/w illus. 78 tables 978-0-521-80926-9 Hardback £59.99 / US$120.00 Publication June 2015 For all formats available, see

www.cambridge.org/9780521809269

The Cambridge Handbook of Artificial Intelligence Edited by Keith Frankish The Open University, Milton Keynes

and William M. Ramsey University of Nevada, Las Vegas

This volume of original essays by leading experts describes cutting-edge work in artificial intelligence. Written for non-specialists, it covers the discipline’s foundations, major theories, and principal research areas, plus related topics such as artificial life. It is ideal for anyone wanting an accessible and authoritative introduction to this exciting field.

2014 247 x 174 mm 368pp 29 b/w illus. 1 table 978-0-521-87142-6 Hardback £50.00 / US$80.00 978-0-521-69191-8 Paperback £19.99 / US$29.99 For all formats available, see

www.cambridge.org/9780521871426

Visit our website at www.cambridge.org/academic

30

Also of interest Textbook

Bayesian Cognitive Modeling A Practical Course Michael D. Lee University of California, Irvine

and Eric-Jan Wagenmakers Universiteit van Amsterdam

Using a practical, hands-on approach, this book will teach anyone how to carry out Bayesian analyses and interpret the results.

‘This book provides the best practical guide to date on how to do Bayesian modeling in cognitive science.’

Jay Myung, Ohio State University

Contents: Part I. Getting Started: 1. The basics of Bayesian analysis; 2. Getting started with WinBUGS; Part II. Parameter Estimation: 3. Inferences with binomials; 4. Inferences with Gaussians; 5. Some examples of data analysis; 6. Latent mixture models; Part III. Model Selection: 7. Bayesian model comparison; 8. Comparing Gaussian means; 9. Comparing binomial rates; Part IV. Case Studies: 10. Memory retention; 11. Signal detection theory; 12. Psychophysical functions; 13. Extrasensory perception; 14. Multinomial processing trees; 15. The SIMPLE model of memory; 16. The BART model of risk taking; 17. The GCM model of categorization; 18. Heuristic decisionmaking; 19. Number concept development.

2014 246 x 189 mm 280pp 978-1-107-01845-7 Hardback £65.00 / US$110.00 978-1-107-60357-8 Paperback £27.99 / US$45.00 For all formats available, see

www.cambridge.org/9781107018457

Methods of Applied Mathematics for Engineers and Scientists Tomas B. Co Michigan Technological University

This engineering mathematics textbook is rich with examples, applications and exercises, and emphasises applying matrices.

2013 253 x 177 mm 582pp 176 b/w illus. 52 tables 298 exercises 978-1-107-00412-2 Hardback £75.00 / US$135.00 For all formats available, see

www.cambridge.org/9781107004122

The Art of Lecturing A Practical Guide to Successful University Lectures and Business Presentations Parham Aarabi University of Toronto

An accessible, example-based guide to effective strategies for successful academic and business lectures.

2007 228 x 152 mm 166pp 978-0-521-70352-9 Paperback £17.99 / US$29.99 For all formats available, see

www.cambridge.org/9780521703529

Index A Aarabi, Parham......................................30 Abbasi, Mohammad Ali............................5 Acta Numerica 2014..............................28 Analysis of Boolean Functions..................7 Analytic Pattern Matching........................6 Appel, Andrew W....................................25 Applied Algebra and Number Theory.........8 Arenas, Marcelo.......................................5 Art of Electronics, The.............................29 Art of Lecturing, The...............................30

B Bangalore, Srinivas.................................15 Barceló, Pablo..........................................5 Barnes, John...........................................25 Basic Category Theory............................26 Bayesian Cognitive Modeling..................30 Ben-David, Shai........................................6 Bender, Stefan..........................................2 Benkő, Tamás...........................................4 Beringer, Lennart....................................25 Bird, Richard..........................................24 Bistritz, Ilia.............................................14 Blahut, Richard E....................................16 Bock, Thomas.........................................23 Bordeaux, Lucas.......................................7 Boucher, Wayne......................................27 Burden of Proof, Presumption and Argumentation....................................18 Bush, Eliot..............................................27

C Calafiore, Giuseppe C.............................10 Cambridge Dictionary of Probability and its Applications, The...............................9 Cambridge Handbook of Applied Perception Research, The.....................21 Cambridge Handbook of Artificial Intelligence, The...................................29 Cambridge Handbook of Multimedia Learning, The.......................................21 Catalan Numbers.....................................8 Causal Inference in Statistics, Social, and Biomedical Sciences...............................2

31

Chellappa, Rama....................................24 Co, Tomas B...........................................30 Computation, Proof, Machine...................1 Computing for Biologists........................27 Computing Universe, The..........................1 Core Statistics..........................................3 Cryptography and Secure Communication...................................16 Cryptography Primer, A.............................7

D Darwiche, Adnan....................................18 Data Mining and Analysis.........................4 Dockins, Robert......................................25 Dodds, Josiah.........................................25 Dowek, Gilles...........................................1 Downey, Rod..........................................26 Dressler, Falko........................................16 Dynamics of Broadband Markets in Europe, The.........................................16

E El Ghaoui, Laurent..................................10 Essentials of Digital Signal Processing.....14

F Fatima, Shaheen.....................................18 Feitelson, Dror G.....................................13 Foundations of Data Exchange.................5 Foundations of Signal Processing............13 Frankish, Keith........................................29 Friedland, Gerald....................................22

G Games of No Chance 4............................8 Garban, Christophe................................10 Gelfond, Michael....................................19 Gentle Introduction to Optimization, A....11 Gerstner, Wulfram..................................28 Geuvers, Herman....................................24 Ghosh, Debashis....................................26 Goyal, Vivek K........................................13 Green, Roger A.......................................14 Guenin, B...............................................11

eBooks available at www.cambridge.org/ebookstore

32

Index Guillot, Pierre...........................................1

H Hamadi, Youssef.......................................7 Hancock, Peter A....................................21 Harper, Richard H. R...............................20 Hey, Tony.................................................1 Hill, Winfield..........................................29 Hobor, Aquinas.......................................25 Hoffman, Robert R..................................21 Horowitz, Paul........................................29

I Imbens, Guido W......................................2 Integrating Omics Data...........................26 Introduction to Polynomial and SemiAlgebraic Optimization, An..................12 Iserles, Arieh...........................................28

J Jacquet, Philippe......................................6 Jain, Ramesh..........................................22

K Kahl, Yulia..............................................19 Kernel Methods and Machine Learning.....6 Kistler, Werner M....................................28 Klein, Philip N...........................................7 Knowledge Representation, Reasoning, and the Design of Intelligent Agents....19 Kochman, Yuval......................................14 Kohli, Pushmeet.......................................7 Könemann, J..........................................11 Kovačević, Jelena....................................13 Kraus, Sarit.............................................18 Kung, S. Y.................................................6

L Lagerspetz, Eemil...................................17 Lane, Julia................................................2 Larcher, Gerhard.......................................8 Lasserre, Jean Bernard............................12 Lathi, B. P...............................................14

Lattice Coding for Signals and Networks.14 Lee, Michael D........................................30 Leinster, Tom..........................................26 Lemstra, Wolter......................................16 Leskovec, Jure..........................................4 Libeskind-Hadas, Ran.............................27 Libkin, Leonid...........................................5 Linner, Thomas.......................................23 Liu, Bing..................................................3 Liu, Huan.................................................5 Lukácsy, Gergely.......................................4

M Macy, Michael........................................20 Markov Chains and Dependability Theory.................................................15 Mayer, Richard E.....................................21 Meira, Jr, Wagner.....................................4 Mejova, Yelena.......................................20 Melody, William H..................................16 Mertens, Jean-François...........................12 Methods of Applied Mathematics for Engineers and Scientists......................30 Mining of Massive Datasets......................4 Misra, Sudip...........................................16 Modeling and Reasoning with Bayesian Networks............................................18 Moe, Wendy W.......................................20 Motion Deblurring..................................24 Multimedia Computing...........................22 Murlak, Filip.............................................5

N Nagy, Zsolt..............................................4 Natural Language Generation in Interactive Systems..............................15 Naud, Richard........................................28 Nazer, Bobak.........................................14 Nederpelt, Rob.......................................24 Neuronal Dynamics................................28 Nissenbaum, Helen..................................2 Noise Sensitivity of Boolean Functions and Percolation...................................10 Nowakowski, Richard J.............................8

Index O O’Donnell, Ryan.......................................7 Obaidat, Mohammad S...........................16 Optimization Models..............................10

P Paninski, Liam........................................28 Pápay, Gyuri.............................................1 Parasuraman, Raja.................................21 Paris, Jeffrey...........................................26 Performance Analysis of Complex Networks and Systems.........................15 Pillichshammer, Friedrich...........................8 Principles of Automated Negotiation.......18 Principles of Wireless Sensor Networks...16 Privacy, Big Data, and the Public Good......2 Program Logics for Certified Compilers....25 Programming in Ada 2012......................25 Pure Inductive Logic...............................26 Python for Scientists...............................28 Python Programming for Biology............27

R Rajagopalan, A. N...................................24 Rajaraman, Anand....................................4 Ramsey, William M.................................29 Repeated Games....................................12 Robot Oriented Design...........................23 Roman, Marion........................................1 Romik, Dan..............................................9 Rubin, Donald B.......................................2 Rubino, Gerardo.....................................15

S Scerbo, Mark W......................................21 Schweidel, David A.................................20 Semantic Web Explained, The...................4 Sentiment Analysis...................................3 Sericola, Bruno.......................................15 Shalev-Shwartz, Shai................................6 Siekkinen, Matti.....................................17 Site Automation.....................................23 Smartphone Energy Consumption...........17 Social Media Intelligence........................20

33

Social Media Mining.................................5 Sommer, Christoph.................................16 Sorin, Sylvain..........................................12 Stanley, Richard P.....................................8 Steif, Jeffrey E.........................................10 Stent, Amanda.......................................15 Stevens, Tim J.........................................27 Stewart, Gordon.....................................25 Stewart, John M.....................................28 Stirzaker, David.........................................9 Stodden, Victoria......................................2 Surprising Mathematics of Longest Increasing Subsequences, The................9 Szalma, James L.....................................21 Szeredi, Péter...........................................4 Szpankowski, Wojciech.............................6

T Tarkoma, Sasu........................................17 Thinking Functionally with Haskell..........24 Tractability...............................................7 Trust, Computing, and Society.................20 Tseng, George C.....................................26 Tunçel, L.................................................11 Turing’s Legacy.......................................26 Twitter: A Digital Socioscope...................20 Type Theory and Formal Proof.................24

U Ullman, Jeffrey David................................4 Understanding Machine Learning.............6

V Van Mieghem, Piet.................................15 Vehicular Networking.............................16 Vencovská, Alena...................................26 Vetterli, Martin.......................................13

W Wagenmakers, Eric-Jan...........................30 Walton, Douglas.....................................18 Weber, Ingmar........................................20 Winterhof, Arne........................................8 Wood, Simon...........................................3

Visit our website at www.cambridge.org/academic

34

Index Wooldridge, Michael..............................18 Workload Modeling for Computer Systems Performance Evaluation..........13

X Xiao, Yu.................................................17 Xing, Chaoping........................................8

Z Zafarani, Reza..........................................5 Zaki, Mohammed J...................................4 Zamir, Ram.............................................14 Zamir, Shmuel........................................12 Zhou, Xianghong Jasmine.......................26

FAO: Acquisitions Librarian LIBRARY RECOMMENDATION FORM I would like to recommend the following titles/online products published by Cambridge University Press for the library ISBN

Author

Title

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

_________________

__________________

_________________________

Name

Position

Department

Date

Signature

"

Please pass this form to your librarian

FAO: Acquisitions Librarian

Cambridge University Press Bookshop

Customer Services

Cambridge University Press Bookshop occupies the historic site of 1 Trinity Street, Cambridge CB2 1SZ, where the complete range of titles is on sale.

Bookshop Manager: Cathy Ashbee Phone + 44 (0)1223 333333 Fax + 44 (0)1223 332954 Email bookshop@cambridge.org

Booksellers For customer service, please contact: UK, Europe - internationaltrade2@cambridge.org Middle East & North Africa - internationaltrade1@cambridge.org North America - customer_service@cambridge.org Central & South America, Caribbean - internationalorders@cambridge.org Asia - asia@cambridge.org Account-holding booksellers can order online at www.PubEasy.com

Cambridge University Press Around the World Cambridge University Press has offices, representatives and distributors in some 60 countries around the world; our publications are available through bookshops in virtually every country.

United Kingdom and Ireland

The Americas

Academic Sales Department Cambridge University Press, University Printing House, Cambridge CB2 8BS, UK Phone + 44 (0)1223 325517 Fax + 44 (0)1223 325983 Email academicsales@cambridge.org Web www.cambridge.org/emea

North, Central, South America and Caribbean Cambridge University Press 32 Avenue of the Americas, New York, NY 10013-2473, USA Phone + 1 212 924 3900 Fax + 1 212 691 3239 Email customer_service@cambridge.org Web www.cambridge.org

Europe (excluding Iberia), Middle East and North Africa Academic Sales Department Cambridge University Press, University Printing House, Cambridge CB2 8BS, UK Phone + 44 (0)1223 325517 Fax + 44 (0)1223 325983 Email academicsales@cambridge.org Web www.cambridge.org/emea

Iberia Cambridge University Press Iberian Branch Basílica 17, 1º-, 28020 Madrid, Spain Phone + 34 91 360 46 06 Fax + 34 91 360 45 70 Email iberia@cambridge.org Web www.cambridge.org/emea

Asia 79 Anson Road Unit #06-04/06 Singapore 079906 Phone + 65 6323 2701 Fax + 65 6323 2370 Email singapore@cambridge.org Web www.cambridge.org/asia

Sub-Saharan Africa and English-speaking Caribbean Cambridge University Press African Branch Lower Ground Floor, Nautica Building, The Water Club, Beach Road, Granger Bay – 8005, Cape Town, South Africa Phone + 27 21 412 7800 Fax + 27 21 419 8418 Email information@cambridge.org Web www.cambridge.org/africa

Australia and New Zealand Cambridge University Press Australian Branch 477 Williamstown Road, Port Melbourne, VIC 3207, Australia Phone +61 3 8671 1411 Fax +61 3 9676 9966 Email info@cambridge.edu.au Web www.cambridge.org/aus

Institutional ebook access If you’re interested in institution-wide access to ebooks, or other Cambridge digital publications, please contact online@cambridge.org in the Americas or library.sales@cambridge.org in the rest of the world.

Connect with our Authors

Join in the conversation

Read exclusive articles and interviews

www.cambridgeblog.org How to order books In the UK, Europe and rest of the world:

Further information Please contact information@cambridge.org

www.cambridge.org/acomputerscience2015

Inspection Copies

+44 (0)1223 326050

Please order your inspection copies by visiting www.cambridge.org/textbooks

directcs@cambridge.org In the Americas: www.cambridge.org/computerscience2015 +1 845 353 7500 (toll free +1 800-431-1580)

If you experience problems with ordering your inspection copy via our website, or have any questions, please contact our Customer Services team at directcs@cambridge.org or on +44 (0)1223 325588

orders@cambridge.org

Our inspection copy policy • Inspection copies are available to lecturers who regard the textbook as potentially suitable for adoption

EBooks

• We will only supply inspection copies to a campus address

For individuals: you can find information about ebook availability for Cambridge publications at www.cambridge.org/computerscience2015 For institutions: Cambridge publications are also available for institutional purchase as online collections and packages.

Visit www.universitypublishingonline.org/list

Review enquiries For further information please email reviewcopy@cambridge.org

Press and media enquiries For further information please visit www.cambridge.org/academic/journalist

Translation Rights For enquiries regarding translation rights, please contact foreignrights@cambridge.org

• We will only process requests which contain a complete university or college address and course information • Books not yet published will be sent in the month of publication • Inspection copies are sent at the discretion of Cambridge University Press and we reserve the right to decline requests without explanation

Book proposals For information about submitting book proposals, please visit www.cambridge.org/proposals

Pricing and availability Prices and publication dates are correct at time of going to press but are subject to alteration without notice

Computer Science Journals from Cambridge AI EDAM APSIPA Transactions on Signal and Information Processing Combinatorics, Probability and Computing New for 2015 Design Science

Journal of Functional Programming The Knowledge Engineering Review LMS Journal of Computation and Mathematics Mathematical Structures in Computer Science Natural Language Engineering Network Science Probability in the Engineering and Informational Sciences ReCALL The Review of Symbolic Logic Robotica Theory and Practice of Logic Programming

To access articles and activate email content alerts visit

02699648_29-1_02699648_29-1 02/01/15 3:19 PM Page 1

in the Engineering and Informational Sciences Volume 29

2015

Number 1

CONTENTS Structure-Reversibility of a Two-Dimensional Reflecting Random Walk and its Application to Queueing Network Masahiro Kobayashi, Masakiyo Miyazawa, and Hiroshi Shimizu

1

Nonstationary Loss Queues Via Cumulant Moment Approximations Jamol Pender Multi-Armed Bandits under General Depreciation and Commitment Wesley Cowan and Michael N. Katehakis Optimal Maintenance of Semi-Markov Missions Bora Çekyay and Süleyman Özekici On a Generalized Q-Urn Model May-Ru Chen and Shoou-Ren Hsiau

99

Study of Instant System Availability Kai Huang and Jie Mi Modeling and Optimization of Genetic Screens Via RNA Interference and FACS Yair Goldberg and Yuval Nov

131

27

PROBABILITY in the ENGINEERING and INFORMATIONAL SCIENCES

PROBABILITY

journals.cambridge.org/computerscience

51 77

Volume 29, Number 1, 2015

117

Pages 1–146

Cambridge Journals Online

For further information about this journal please go to the journal website at:

journals.cambridge.org/pes

Volume 29 | 2015 Number 1

ebooks For institutional purchase Over 25,000 ebooks across multiple subject areas are available for institutional purchase from Cambridge University Press and our partner publishers.

Browse Cambridge titles at ebooks.cambridge.org and partner titles at universitypublishingonline.org Please speak to your librarian about gaining access for your institution.

Your librarian can contact us at

online@cambridge.org in the Americas or library.sales@cambridge.org for all other areas.

We further the mission of the University of Cambridge by disseminating knowledge in the pursuit of education, learning and research at the highest international levels of excellence.