Computer Science Catalogue 2016

Computer 2016 Science cambridge.org/computerscience2016

Welcome to the Computer Sciences books catalogue 2016.

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 – Recommender Systems by Deepak K. Agarwal and Bee-Chung Chen and Real-Time Software Design for Embedded Systems by Hassan Gomaa.

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 Computer Science journals, including Network Science and The Knowledge Engineering Review (see back inside page for more information).

You can recommend our books, online collections and journals to your librarian by filling out the form in 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/ computerscience2016.

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

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.

Be the first to hear about the academic products in your area of interest and receive 20% off your first online order

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

Cambridge Alerts

In the Americas: www.cambridge.org/computerscience2016 +1 212 924 3900

www.cambridge.org/alerts

customer_service@cambridge.org

section of computer science and economics, deals with the computational aspects of collective decision making. This handbook, written

Contents

community, covers the field comprehensively. Chapters devoted to each of the field’s major themes offer detailed introductions. Topics include voting theory (such as the computational complexity of winner determination and manipulation in elections), fair allocation (such as algorithms for dividing divisible and indivisible goods), coalition formation (such as matching and hedonic games), and many more. Graduate students, researchers, and professionals in computer science, economics, mathematics, political science, and philosophy will benefit from this accessible and self-contained book.

Felix BrandT is Professor of Computer Science and Professor of Mathematics at Technische Universität München.

VinCenT ConiTzer is the Kimberly J. Jenkins University Professor of new Technologies and Professor of Computer Science, Professor of economics, and Professor of Philosophy at duke University.

Highlights 1 Artificial Intelligence 3 Social Computing 5 Knowledge Management, Data Mining and Data Analysis 8 Algorithms, Complexity and Cryptography 12 Discrete Mathematics and Probability 14 Signal and Image Processing 16 Programming Languages and Software 21 Hardware and Networks 23 Computational Biology 25 Scientific Computing 27 Robotics 28 Also of Interest 29 Information on related journals Inside back cover

Ulle endriSS is associate Professor of logic and artificial intelligence at the institute for logic, language and Computation at the University of amsterdam.

JérôMe lanG is a senior researcher in computer science at CnrSlaMSade, Université Paris-dauphine. ariel d. ProCaCCia is assistant Professor of Computer Science at Carnegie Mellon University.

H a n d B o o K of C o M P U T a T i o n a l S o C i a l C H o i C e

by thirty-six prominent members of the computational social choice

Brandt et al.

The rapidly growing field of computational social choice, at the inter-

HandBooK of

CoMPUTaTional SoCial CHoiCe

see page 3

Felix Brandt • Vincent Conitzer • Ulle endriss Jérôme lang • ariel d. Procaccia

Cover image: imagebox

Cover concept by the editors; layout by Holly Johnson

Milan Vojnović

see page 14

INTRODUCTION TO

9781107118508 : Frieze : PPC : C M Y K

Michał Karoński is a Professor in the Departments of Mathematics and Computer Science at Adam Mickiewicz University in Poznań, Poland and Emory University, Atlanta, USA. He is founder of the Discrete Mathematics group in Poznań and since 1990 has served as co-Editorin-Chief of Random Structures and Algorithms.

Incentive Mechanisms and Ranking Methods

RANDOM GRAPHS

Alan Frieze is a Professor in the Department of Mathematical Sciences at Carnegie Mellon University, Pennsylvania, USA. He has authored more than 300 publications in top journals and was invited to be a plenary speaker at the Seoul ICM 2014. In 1991 he received the Fulkerson prize in discrete mathematics.

see page 13

CONTEST THEORY

FRIEZE KAROŃSKI

From social networks such as Facebook, the World Wide Web, and the Internet, to the complex interactions between proteins in the cells of our bodies, we constantly face the challenge of understanding the structure and development of networks. The theory of random graphs provides a framework for this understanding, and in this book the authors give a gentle introduction to the basic tools for understanding and applying the theory. Part I includes sufficient material, including exercises, for a one-semester course at the advanced undergraduate or beginning graduate level. The reader is then well prepared for the more advanced topics in Parts II and III. A final part provides a quick introduction to the background material needed.

All those interested in discrete mathematics, computer science, or applied probability and their applications will find this an ideal introduction to the subject.

see page 6

INTRODUCTION TO

RANDOM GRAPHS ALAN FRIEZE MICHAŁ KAROŃSKI

see page 21

Featured authors Milan Vojnovic, Microsoft Research Author of Contest Theory I wanted to write a book on contest theory because I felt that one needed to go through a vast literature to get an in-depth exposition to this fascinating and important topic, scattered across different scientific disciplines, including computer science, economics, and statistics. I developed a personal interest in this subject through my early research on allocation of computer network resources and more recent work in the context of online services.

CONTEST THEORY

Incentive Mec hanisms and Rank ing Methods

Milan Vojn ović

Ryen White, Microsoft Research Author of Interactions with Search Systems I wanted to write a book that addresses ongoing changes in how people engage with search systems and the evolving role of these systems in people’s lives. Search interaction is becoming more natural and search systems are increasingly proactive. The data revolution is also yielding a wealth of information about the search activity of individuals and populations that can help support task completion. My book summarizes prior research in these and related areas, and charts a course toward the future.

Robert Harper, Professor of Computer Science at Carnegie Mellon University Author of Practical Foundations of Programming Languages I wrote Practical Foundations of Programming Languages to provide a comprehensive and rigorous account of a broad range of programming language concepts in the unifying framework of type theory and operational semantics. The benefit of this approach is that it supports the development of a rigorous theory of programming languages that supports their design, implementation, and application to programming practice.developments.

Visit www.cambridge.org/authorhub for a range of step-by-step guides for authors

Highlights

Highlights

Computation, Proof, Machine

The Computing Universe

Mathematics Enters a New Age Gilles Dowek

A Journey through a Revolution Tony Hey and Gyuri Pápay

Translated by Pierre Guillot and Marion Roman

University of Southampton

This exciting and accessible book takes us on a journey from the early days of computers to the cutting-edge research of the present day. It introduces a fascinating cast of dreamers and inventors who brought these great technological developments, and will open up the universe of computing to those who wonder where their smartphone came from.

‘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 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

1

Ecole Polytechnique, Paris

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.

‘In this pithy, award-winning account of the growing role of computation in mathematics, Gilles Dowek adds further evidence, if any were needed, that the Age of the Algorithm is upon us. A master storyteller, the author takes the reader on an exhilarating journey through the history of mathematics, as he explains, in engaging, vivid prose, why to prove is to compute. A delightful read brimming with big ideas.’

Bernard Chazelle, Princeton University

Contents: Part I. Ancient Origins; Part II. The Age of Reason; Part III. Crisis of the Axiomatic Method.

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

978-0-521-11801-9 Hardback £60.00 / US$120.00 978-0-521-13377-7 Paperback £24.99 / US$39.99 For all formats available, see

www.cambridge.org/9780521118019

eBooks available at www.cambridge.org/ebookstore

2

Highlights

The Once and Future Turing Computing the World Edited by S. Barry Cooper University of Leeds

and Andrew Hodges University of Oxford

Alan Turing made a seminal contribution to various fields. Here, original essays bring new thinking to a range of Turing’s ideas and demonstrate their relevance to modern research. It will provoke and engross the reader interested in the lasting significance of one of the twentieth century’s deepest thinkers.

Contents: Part I. Inside our Computable World, and the Mathematics of Universality; Part II. The Computation of Processes, and Not Computing the Brain; Part III. The Reverse Engineering Road to Computing Life; Part IV. Biology, Mind, and the Outer Reaches of Quantum Computation; Part V. Oracles, Infinitary Computation, and the Physics of the Mind.

2016 247 x 174 mm 410pp 978-1-107-01083-3 Hardback c. £64.99 / c. US$100.00 Publication March 2016 For all formats available, see

www.cambridge.org/9781107010833

Textbook

Chance, Strategy, and Choice An Introduction to the Mathematics of Games and Elections Samuel Bruce Smith St Joseph’s University, Philadelphia

This classroom-tested undergraduate textbook is intended for a general education course in game theory at the freshman or sophomore level. While it starts off with the basics and introduces the reader to mathematical proofs, this text also presents several advanced topics, including accessible proofs of the Sprague–Grundy theorem and Arrow’s impossibility theorem.

‘Sam Smith’s book offers an intriguing juxtaposition of chance, strategy, and elections. The mathematical analysis is rigorous without being too formal or forbidding. The applications to topics in economics and political science – including auctions, power, and voting – as well as to parlor games like poker will engage both students and professionals.’

Steven Brams, New York University Cambridge Mathematical Textbooks

2015 253 x 177 mm 352pp 60 b/w illus. 243 tables 300 exercises 978-1-107-08452-0 Hardback £29.99 / US$49.99 For all formats available, see

www.cambridge.org/9781107084520

Highlights / Artificial Intelligence New in Paperback

Alan M. Turing Centenary Edition Sara Turing Afterword by John F. Turing Foreword by Lyn Irvine and Martin Davis

To commemorate the centenary of Turing’s birth, this republication of his mother’s biography contains a new foreword by Martin Davis and a neverbefore-published memoir by Alan’s brother. The contrast between this memoir and the original biography sheds new light on Turing’s relationship with his family, and on the man himself.

‘The book is full of brilliant treasures, anecdotal accounts of Turing’s eccentricity and genius, and insights into his science … This little book, with its kaleidoscopic picture of Alan Turing’s short life, goes some way towards de-coding his mind, and his family.’

The Guardian

Artificial Intelligence Handbook of Computational Social Choice Edited by Felix Brandt Technische Universität München

Vincent Conitzer Duke University, North Carolina

Ulle Endriss Universiteit van Amsterdam

Jérôme Lang Université de Paris IX (Paris-Dauphine)

and Ariel D. Procaccia Carnegie Mellon University, Pennsylvania

Foreword by Hervé Moulin

This book outlines the field’s major themes: voting, fair allocation, and coalition formation. Graduate students and researchers in computer science, economics, mathematics, political science, and philosophy will benefit from this book.

Also available 978-1-107-02058-0 Hardback £19.99 / US$29.99

‘The book offers to noneconomists an outstanding self-contained introduction to normative themes in contemporary economics and to economists a thorough discussion of the computational limits of their art.

But I also recommend it to anyone with a taste for axiomatics: it is replete with new and open questions that will be with us for some time.’

For all formats available, see

Hervé Moulin, from the Foreword

Contents: Part I. Mainly Biographical; Part II. Containing Computing Machinery and Morphogenesis.

2014 216 x 140 mm 194pp 7 b/w illus.

978-1-107-52422-4 Paperback £9.99 / US$15.99

www.cambridge.org/9781107524224

3

Contents: Part I. Voting; Part II. Fair Allocation; Part III. Coalition Formation; Part IV. Additional Topics.

2016 253 x 177 mm 544pp 41 b/w illus. 9 tables 978-1-107-06043-2 Hardback £39.99 / US$59.99 Publication March 2016 For all formats available, see

www.cambridge.org/9781107060432

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

4

Artificial Intelligence

Knowledge Engineering Building Cognitive Assistants for Evidence-based Reasoning Gheorghe Tecuci George Mason University, Virginia

Dorin Marcu George Mason University, Virginia

Mihai Boicu George Mason University, Virginia

and David A. Schum George Mason University, Virginia

This book presents a significant advancement in knowledge engineering based on learning agent technology.

Using the software Disciple-EBR, students, practitioners, and researchers can rapidly develop learning assistants numerous domains that require evidence-based reasoning, including cyber security, law, forensics, medicine, and education.

2016 253 x 177 mm 450pp 350 colour illus. 59 tables 978-1-107-12256-7 Hardback c. £49.99 / c. US$94.99 Publication April 2016 For all formats available, see

www.cambridge.org/9781107122567

Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments Connecting the Dots Gheorghe Tecuci George Mason University, Virginia

David A. Schum George Mason University, Virginia

Dorin Marcu George Mason University, Virginia

and Mihai Boicu George Mason University, Virginia

This book teaches the evidential and inferential issues involved in ‘connecting the dots’ to draw defensible and persuasive conclusions from masses of evidence, providing a hands-on learning experience with an advanced analytical tool to generate and test hypotheses.

Advance praise: ‘At the pole opposite statistical machine learning lies disciplined knowledge engineering. This book gives a new and comprehensive journey on the approach to AI as symbol manipulation. This book puts most of the relevant pieces of knowledge engineering together in a refreshingly interesting and novel way.’

Edward Feigenbaum, Stanford University, California, and Former President of the Association for the Advancement of Artificial Intelligence 2016 253 x 177 mm 320pp 111 colour illus. 23 tables 978-1-107-12260-4 Hardback c. £40.00 / c. US$65.00 Publication April 2016 For all formats available, see

www.cambridge.org/9781107122604

Artificial Intelligence / Social Computing

Goal-based Reasoning for Argumentation

Social Computing

Douglas Walton

Twitter: A Digital Socioscope

University of Windsor, Ontario

Practical argumentation is intelligent reasoning from an agent’s goals and known circumstances, and from an action selected as a means, to arrive at a decision on what action to take. This book will appeal to a wide audience, from designers of multi-agent and robotics systems to social scientists.

2015 228 x 152 mm 301pp 59 b/w illus. 2 tables 978-1-107-11904-8 Hardback £59.99 / US$99.99 978-1-107-54509-0 Paperback £22.99 / US$34.99 For all formats available, see

www.cambridge.org/9781107119048

Principles of Automated Negotiation

5

Edited by Yelena Mejova Qatar Computing Research Institute, Doha

Ingmar Weber Qatar Computing Research Institute, Doha

and Michael W. 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 nonprofessionals that follow the social impact of new technologies.

2015 228 x 152 mm 184pp 53 b/w illus. 4 tables 978-1-107-10237-8 Hardback £59.99 / US$94.99 978-1-107-50007-5 Paperback £22.99 / US$34.99

Shaheen Fatima

For all formats available, see

Loughborough University

www.cambridge.org/9781107102378

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 For all formats available, see

www.cambridge.org/9781107002548

Visit our website at www.cambridge.org/academic

6

Social Computing

Interactions with Search Systems

Big Crisis Data

Microsoft Research

Social Media in Disasters and Time-Critical Situations Carlos Castillo

Search engines are an invaluable part of our daily lives. This book describes advances in technology, data availability, and searcher expectations around nextgeneration search engines. It will appeal to students (undergraduate/graduate) in disciplines such as computer science and information science, as well as scholars and scientists in related areas.

During natural disasters people make extensive use of social media. How can this avalanche of messages be processed to extract the information needed to save lives? This book brings together computational methods from many disciplines for processing social media messages under time-critical constraints.

Ryen W. White

2016 253 x 177 mm 500pp 79 b/w illus. 16 tables 978-1-107-03422-8 Hardback £34.99 / US$59.99 Publication March 2016 For all formats available, see

www.cambridge.org/9781107034228

Qatar Computing Research Institute, Doha

Advance praise: ‘Gaining situational awareness in a disaster is critical and time sensitive in nature. Social media presents the possibilities of a new and exciting data source to help improve response in the early hours and days of a crisis.

[Castillo] has not only researched, but also contributed to building technologies that help both to make sense of social media and to integrate it into existing information flows and decision-making processes. This book helps walk the reader through the state of the art in several aspects of the big crisis data field, including many elements that are important for these technologies to have real-world impact.’

Andrej Verity, Co-founder, Digital Humanitarian Network, and Information Management Officer, United Nations Office for the Coordination of Humanitarian Affairs 2016 228 x 152 mm 224pp 10 b/w illus. 6 tables 978-1-107-13576-5 Hardback c. £39.99 / c. US$59.99 Publication April 2016 For all formats available, see

www.cambridge.org/9781107135765

Social Computing

Computational Social Science Discovery and Prediction Edited by R. Michael Alvarez California Institute of Technology

This book serves as an introduction to the field of computational social science for academics, students, and practitioners.

It will also appeal to data scientists who wish to learn about innovations in the area, in particular those interested in how data analytics is applied to study social behavior.

Advance praise: ‘Computational social science is either the coming or just arrived tidal wave. But how the computations part fits with social science is the most important issue that needs to be settled before this wave overtakes us all. This book does a great job in laying out some of the issues in general terms but, perhaps more importantly, showing the areas where computational social science is (not so) simply good social science.’

7

Design and Development of Training Games Practical Guidelines from a Multidisciplinary Perspective Edited by Talib S. Hussain Raytheon BBN Technologies

and Susan L. Coleman Intelligent Decision Systems, Inc.

The multidisciplinary nature of learninggames development is key to successful projects. In this book, field leaders in serious games and professionals in entertainment games share practical guidelines and lessons learned from their own experiences researching and developing learning games, offering a comprehensive picture of the state of the art.

2014 253 x 177 mm 568pp 64 b/w illus. 149 tables 978-1-107-05174-4 Hardback £75.00 / US$120.00 For all formats available, see

www.cambridge.org/9781107051744

Nathaniel Beck, New York University

Contents: Part I. Computation Social Science Tools; Part II. Computation Social Science Applications.

Analytical Methods for Social Research

2016 228 x 152 mm 312pp 46 b/w illus. 2 maps 18 tables 978-1-107-10788-5 Hardback £64.99 / US$99.99 978-1-107-51841-4 Paperback £18.99 / US$34.99 Publication March 2016 For all formats available, see

www.cambridge.org/9781107107885

eBooks available at www.cambridge.org/ebookstore

8

Knowledge Management, Data Mining and Data Analysis

Knowledge Management, Data Mining and Data Analysis Sentiment Analysis Mining Opinions, Sentiments, and Emotions Bing Liu

scale systems and the state-of-the-art solutions in personalization, explore/ exploit, dimension reduction and multiobjective optimization.

Contents: Part I. Introduction; Part II. Common Problem Settings; Part III. Advanced Topics.

2016 228 x 152 mm 288pp 66 b/w illus. 18 tables 978-1-107-03607-9 Hardback £34.99 / US$59.99 For all formats available, see

www.cambridge.org/9781107036079

University of Illinois, Chicago

This comprehensive introduction to all the core areas and many emerging themes of sentiment analysis approaches the problem from a natural-languageprocessing 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.

Algorithms and Models for Network Data and Link Analysis

2015 234 x 156 mm 381pp 24 b/w illus. 9 tables 978-1-107-01789-4 Hardback £50.00 / US$80.00

Nara Institute of Science and Technology

For all formats available, see

www.cambridge.org/9781107017894

Statistical Methods for Recommender Systems Deepak K. Agarwal LinkedIn Corporation, California

and Bee-Chung Chen LinkedIn Corporation, California

This book is for researchers and students in statistics, data mining, computer science, machine learning, marketing and also practitioners who implement recommender systems. It provides an in-depth discussion of challenges encountered in deploying real-life large-

François Fouss Université catholique de Louvain

Marco Saerens Université catholique de Louvain

and Masashi Shimbo

Network data capture social and economic behavior in a form that can be analyzed using computational tools.

In this entry-level guide, algorithms for extracting information are derived in detail and summarized in pseudocode. This book is intended primarily for computer scientists, engineers, statisticians and physicists, but is accessible to social network scientists more broadly.

2016 253 x 177 mm 525pp 14 b/w illus. 7 tables 978-1-107-12577-3 Hardback c. £50.00 / c. US$80.00 Publication May 2016 For all formats available, see

www.cambridge.org/9781107125773

Knowledge Management, Data Mining and Data Analysis

The Semantic Web Explained

Mining of Massive Datasets

The Technology and Mathematics behind Web 3.0 Péter Szeredi

Second edition Jure Leskovec

Budapest University of Technology and Economics

Anand Rajaraman

Gergely Lukácsy

and Jeffrey David Ullman

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.

Contents: Part I. The Semantic Web; Part II. Ontologies and Logics; Part III. Ontologies and the Semantic Web. 2014 247 x 174 mm 478pp 117 b/w illus. 195 exercises 978-0-521-70036-8 Paperback £39.99 / US$59.99

9

Stanford University, California Milliways Laboratories 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

For all formats available, see

www.cambridge.org/9780521700368

Visit our website at www.cambridge.org/academic

10

Knowledge Management, Data Mining and Data Analysis

Causal Inference for Statistics, Social, and Biomedical Sciences An Introduction Guido W. Imbens 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.

‘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, Chief Economist, Google, and Emeritus Professor, University of California, Berkeley

Contents: Part I. Introduction; Part II. Classical Randomized Experiments; Part III. Regular Assignment Mechanisms: Design; Part IV. Regular Assignment Mechanisms: Analysis; Part V. Regular Assignment Mechanisms: Supplementary Analyses; Part VI. Regular Assignment Mechanisms with Noncompliance; Part VII. Conclusion.

2015 253 x 177 mm 644pp 18 b/w illus. 97 tables 978-0-521-88588-1 Hardback £40.00 / US$60.00 For all formats available, see

www.cambridge.org/9780521885881

Computer-Age Statistical Inference Bradley Efron Stanford University, California

and Trevor Hastie Stanford University, California

This landmark book lays out the interplay between methodology and inference from the early computer age to the state of the art. After reviewing classical inference and computation, it tackles the present, including false discovery rates, automatic model building (Lasso and LARS), objective Bayes inference, machine learning methods, and inference after model selection.

2016 228 x 152 mm 450pp 978-1-107-14989-2 Hardback c. £45.99 / c. US$74.99 Publication August 2016 For all formats available, see

www.cambridge.org/9781107149892

Core Statistics Simon N. 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.

‘The author keeps this book concise by focusing entirely on topics that are most relevant for scientific modeling via maximum likelihood and Bayesian inference. This makes it an ideal text and handy reference for any mathliterate scientist who wants to learn how to build sophisticated parametric models and fit them to data using

Knowledge Management, Data Mining and Data Analysis modern computational approaches.

I will be recommending this wellwritten book to my collaborators.’

both in the foundations of inference and in a wide range of practical applications of inference.’

Murali Haran, Pennsylvania State University

Nancy Reid, University Professor of Statistical Sciences, University of Toronto

Institute of Mathematical Statistics Textbooks, 6

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 978-1-107-41504-1 Paperback £24.99 / US$39.99

Cambridge Series in Statistical and Probabilistic Mathematics, 41

2016 253 x 177 mm 544pp 147 b/w illus. 17 tables 100 exercises 978-0-521-86160-1 Hardback £52.99 / US$84.99 Publication March 2016

For all formats available, see

For all formats available, see

www.cambridge.org/9781107071056

www.cambridge.org/9780521861601

Confidence, Likelihood, Probability

Mathematical Foundations of Infinite-Dimensional Statistical Models

Statistical Inference with Confidence Distributions Tore Schweder Universitetet i Oslo

and Nils Lid Hjort Universitetet i Oslo

The baby without the bathwater? This lively book lays out a methodology of confidence distributions and puts them through their paces with a generous mixture of theory, illustrations, applications and exercises – suitable for statisticians at all levels of experience, as well as for data-oriented scientists. The methodology yields posterior distributions for parameters, but without the Bayesian ingredients.

Advance praise: ‘This book presents a detailed and wide-ranging account of an approach to inference that moves the discipline towards increased cohesion, avoiding the artificial distinction between testing and estimation. Innovative and thorough, it is sure to have an impact

11

Evarist Giné University of Connecticut

and Richard Nickl University of Cambridge

High-dimensional and nonparametric statistical models are ubiquitous in modern data science. This book develops a mathematically coherent and objective approach to statistical inference in such models, with a focus on function estimation problems arising from random samples (density estimation) or from Gaussian regression/signal in white noise problems.

‘Finally – a book that goes all the way in the mathematics of nonparametric statistics. It is reasonably selfcontained, despite its depth and breadth, including accessible overviews of the necessary analysis and approximation theory.’

Aad van der Vaart, Leiden University

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

12

Knowledge Management, Data Mining and Data Analysis / Algorithms, Complexity and Cryptography Cambridge Series in Statistical and Probabilistic Mathematics, 40

2015 253 x 177 mm 720pp 978-1-107-04316-9 Hardback £59.99 / US$99.99 For all formats available, see

Algorithms, Complexity and Cryptography

www.cambridge.org/9781107043169

Large Sample Covariance Matrices and High-Dimensional Data Analysis Jianfeng Yao The University of Hong Kong

Shurong Zheng Northeast Normal University, China

and Zhidong Bai Northeast Normal University, China

High-dimensional statistical methods are at the heart of the new era of big data analytics. This book, written by leading experts, is highly recommended for anyone who wants to make serious use of these modern statistical tools.

‘This is the first book which treats systematic corrections to the classical multivariate statistical procedures so that the resultant procedures can be used for high-dimensional data.

The corrections have been done by employing asymptotic tools based on the theory of random matrices.’

Yasunori Fujikoshi, Hiroshima University Cambridge Series in Statistical and Probabilistic Mathematics, 39

2015 253 x 177 mm 322pp 80 b/w illus. 30 tables 978-1-107-06517-8 Hardback £52.00 / US$85.00 For all formats available, see

www.cambridge.org/9781107065178

Analytic Pattern Matching From DNA to Twitter Philippe Jacquet Bell Laboratories

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 graduatelevel book the authors present a unique probabilistic approach using analytic combinatorics and analytic information theory.

Contents: Part I. Analysis; Part II. Applications.

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

www.cambridge.org/9780521876087

Algorithms, Complexity and Cryptography

Secure Multiparty Computation and Secret Sharing Ronald Cramer CWI, Amsterdam and Leiden University, The Netherlands

Ivan Bjerre Damgård Aarhus Universitet, Denmark

and Jesper Buus Nielsezn Aarhus Universitet, Denmark

This text is the first to present a comprehensive treatment of unconditionally secure techniques for multiparty computation and secret sharing. The authors present feasibility results from the last 30 years, generalizations to arbitrary access structures, some techniques for efficiency improvements, and a general treatment of the theory of secret sharing.

Contents: Part I. Secure Multiparty Computation; Part II. Secret Sharing; Part III. Back Material.

the theoretical principles and to test them in practice.

Advance praise: ‘Contest theory, including the war of attrition, winner-take-all competition, and tournaments, has recently received renewed attention, due to its applicability to online rating systems, platform competition, and other internet phenomena. Milan Vojnovic’s book is a delightful and thorough examination of the state of the art in contest modeling, for economists and computer scientists alike.’

Preston McAfee, Microsoft 2016 253 x 177 mm 656pp 187 b/w illus. 6 tables 978-1-107-03313-9 Hardback £49.99 / US$79.99 Publication February 2016 For all formats available, see

www.cambridge.org/9781107033139

Textbook

2015 253 x 177 mm 381pp 9 b/w illus. 41 exercises 978-1-107-04305-3 Hardback £49.99 / US$79.99

Network Science

For all formats available, see

Northeastern University, Boston

www.cambridge.org/9781107043053

Illustrated throughout in full colour, this pioneering textbook, spanning a wide range of disciplines from physics to the social sciences, is the only book needed for an introduction to network science.

In modular format, with clear delineation between undergraduate and graduate material, its unique design is supported by extensive online resources.

Contest Theory Incentive Mechanisms and Ranking Methods Milan Vojnovic Microsoft Research, Cambridge, UK

Contests are prevalent in many areas, from sports, to labor markets, to resource allocation, to crowdsourcing. Using a game-theoretic framework, this unified, comprehensive treatment pays particular attention to online applications of contest design, allowing professionals, researchers and students to learn about

13

Albert-László Barabási

2016 246 x 189 mm 498pp 371 colour illus. 12 tables 30 exercises 978-1-107-07626-6 Hardback £34.99 / US$59.99 Publication March 2016 For all formats available, see

www.cambridge.org/9781107076266

eBooks available at www.cambridge.org/ebookstore

14

Discrete Mathematics and Probability

Discrete Mathematics and Probability

Surveys in Combinatorics 2015 Edited by Artur Czumaj University of Warwick

Agelos Georgakopoulos University of Warwick

Inequalities for Graph Eigenvalues

Daniel Král

Zoran Stanic

University of Warwick

Univerzitet u Beogradu, Serbia

Written for mathematicians working with the theory of graph spectra, this book explores more than 400 inequalities for eigenvalues of the six matrices associated with graphs. It presents the main results and then details their proofs, discussions, comparisons, examples, and exercises.

Open problems and pointers to the literature are provided.

London Mathematical Society Lecture Note Series, 423

2015 228 x 152 mm 312pp 35 b/w illus. 7 tables 90 exercises 978-1-107-54597-7 Paperback £55.00 / US$90.00 For all formats available, see

www.cambridge.org/9781107545977

University of Warwick

Vadim Lozin and Oleg Pikhurko University of Warwick

This book consists of nine survey papers by internationally renowned mathematicians. It will be of interest to researchers in combinatorics, from graduate students who want an overview of several areas to advanced researchers who want to have an in-depth analysis of recent developments.

London Mathematical Society Lecture Note Series, 424

2015 228 x 152 mm 334pp 20 b/w illus.

978-1-107-46250-2 Paperback £55.00 / US$90.00 For all formats available, see

www.cambridge.org/9781107462502

Introduction to Random Graphs Alan Frieze Carnegie Mellon University, Pennsylvania

and Michał Karoński Uniwersytet im. Adama Mickiewicza w Poznaniu, Poland

The authors cover random graphs from the basic to the advanced and will appeal to anyone interested in combinatorics, applied probability or theoretical computer science. Having read this book,

Discrete Mathematics and Probability the reader should be in a good position to pursue research in the area.

Contents: Part I. Basic Models; Part II. Basic Model Extensions; Part III. Other Models; Part IV. Tools and Methods.

2015 228 x 152 mm 478pp 25 b/w illus. 190 exercises 978-1-107-11850-8 Hardback £49.99 / US$79.99

15

Random Graphs, Geometry and Asymptotic Structure Michael Krivelevich Tel-Aviv University

Konstantinos Panagiotou Universität Munchen

Mathew Penrose

For all formats available, see

University of Bath

www.cambridge.org/9781107118508

and Colin McDiarmid University of Oxford

Combinatorics, Words and Symbolic Dynamics

Edited by Nikolaos Fountoulakis

Edited by Valérie Berthé

A self-contained and concise introduction to recent developments, particularly those of a geometric and topological nature, in the theory of random graphs.

Such material is seldom covered in the formative study of young combinatorialists and probabilists, making this essential reading for beginning researchers in these fields.

Université de Paris VII (Denis Diderot)

and Michel Rigo Université de Liège, Belgium

This survey volume looks at developing trends in combinatorics with applications in the study of words and in symbolic dynamics. It will appeal to graduate students, research mathematicians and computer scientists working in combinatorics, graph theory, theory of computation, multidimensional subshifts, dynamical systems, ergodic theory or probabilistic models.

Encyclopedia of Mathematics and its Applications, 159

2016 234 x 156 mm 490pp 135 b/w illus. 75 exercises 978-1-107-07702-7 Hardback £99.99 / US$155.00 Publication January 2016 For all formats available, see

www.cambridge.org/9781107077027

University of Birmingham

and Dan Hefetz University of Birmingham

Contents: Part I. Long Paths and Hamiltonicity in Random Graphs; Part II. Random Graphs from Restricted Classes; Part III. Lectures on Random Geometric Graphs; Part IV. On Random Graphs from a Minorclosed Class.

London Mathematical Society Student Texts, 84

2016 228 x 152 mm 160pp 2 b/w illus. 1 table 978-1-107-13657-1 Hardback £49.99 / US$84.99 978-1-316-50191-7 Paperback £24.99 / US$39.99 Publication April 2016 For all formats available, see

www.cambridge.org/9781107136571

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

16

Discrete Mathematics and Probability / Signal and Image Processing

Solving Polynomial Equation Systems III Volume 3: Algebraic Solving Teo Mora University of Genoa

This third volume of four describes all the most important techniques, mainly based on Gröbner bases. It covers the ‘standard’ solutions (Gianni–Kalkbrener, Auzinger– Stetter, Cardinal–Mourrain) as well as the more innovative (Lazard–Rouillier, Giusti– Heintz–Pardo). The author also explores the historical background, from Bézout to Macaulay.

Contents: Part VI. Algebraic Solving.

Encyclopedia of Mathematics and its Applications, 157

2015 234 x 156 mm 294pp 7 b/w illus.

978-0-521-81155-2 Hardback £79.99 / US$125.00 For all formats available, see

www.cambridge.org/9780521811552

Solving Polynomial Equation Systems IV Volume 4: Buchberger Theory and Beyond Teo Mora University of Genoa

In this fourth and final volume the author covers extensions of Buchberger’s Algorithm, including a discussion of the most promising recent alternatives to Gröbner bases: Gerdt’s involutive bases and Faugère’s F4 and F5 algorithms. This completes the author’s comprehensive treatise, which is a fundamental reference for any mathematical library.

Contents: Part VII. Beyond.

Encyclopedia of Mathematics and its Applications, 158

2016 234 x 156 mm 800pp 40 b/w illus.

978-1-107-10963-6 Hardback £110.00 / US$175.00 Publication March 2016 For all formats available, see

www.cambridge.org/9781107109636

Signal and Image Processing Sampling Theory Beyond Bandlimited Systems Yonina C. Eldar Technion – Israel Institute of Technology, Haifa

Covering the fundamental mathematical underpinnings together with engineering principles and applications, this is a comprehensive guide to the theory and practice of sampling. Written from an engineering perspective, it focuses on uniform sampling in shift-invariant spaces and deterministic signals, and includes a wealth of worked examples and end-ofchapter exercises.

‘I must say that this is really a unique book on sampling theory.

The introduction of vector space terminology right from the beginning is a great idea. Starting from classical sampling, the book goes all the way to the most recent breakthroughs including compressive sensing, union-of-subspace setting, and the CoSamp algorithm. Eldar has the right combination of mathematics and practical sense, and she has very good command of the ‘art of writing’.

This, combined with the archival nature of the topic (which has seen seven decades of history), makes the book an invaluable addition to the Cambridge collection of advanced texts in signal processing.’

P. P. Vaidyanathan, California Institute of Technology 2015 247 x 174 mm 836pp 315 b/w illus. 19 tables 198 exercises 978-1-107-00339-2 Hardback £65.00 / US$99.00 For all formats available, see

www.cambridge.org/9781107003392

Signal and Image Processing

Sparse Image and Signal Processing Wavelets and Related Geometric Multiscale Analysis Second edition Jean-Luc Starck Centre d’etudes de Saclay, France

Fionn Murtagh Royal Holloway, University of London

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

This thoroughly updated edition presents state-of-the-art sparse and multiscale image and signal processing with applications in astronomy, biology, physics, MRI, digital media, and forensics.

New chapters and sections cover dictionary learning, 3-D data (data cubes), and geo-located data. MATLAB® and IDL code are available.

Review of previous edition: ‘One of the main virtues of this book is the expert insight that the authors provide into several design and algorithmic choices that one can face when solving practical problems. The authors give some guidance into understanding how sparsity helps in signal and image processing, what some benefits of overcomplete representations are, when to use isotropic wavelets for image processing, why morphological diversity can be helpful, and how to choose between analysis and synthesis priors for regularization in inverse problems.’

Michael B. Wakin, IEEE Signal Processing Magazine

17

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 2014 253 x 177 mm 368pp 111 b/w illus. 9 colour illus. 3 tables 233 exercises 978-0-521-76451-3 Hardback £49.99 / US$79.99 For all formats available, see

www.cambridge.org/9780521764513

2016 253 x 177 mm 428pp 194 b/w illus. 109 colour illus. 8 tables 978-1-107-08806-1 Hardback £54.99 / US$89.99 For all formats available, see

www.cambridge.org/9781107088061

Visit our website at www.cambridge.org/academic

18

Signal and Image Processing

Speech and Audio Processing A MATLAB-based Approach Ian McLoughlin University of Science and Technology of China

This accessible introduction includes numerous practical illustrations, exercises, and hands-on MATLAB examples to equip readers with the skills and knowledge needed to work with current and future audio, speech, and hearing processing technologies. Clearly and concisely written, it is an ideal guide for students and industry practitioners alike.

2016 247 x 174 mm 425pp 126 b/w illus. 16 tables 108 exercises 978-1-107-08546-6 Hardback c. £50.00 / c. US$80.00 Publication April 2016 For all formats available, see

www.cambridge.org/9781107085466

Textbook

Random Processes for Engineers Bruce Hajek University of Illinois, Urbana-Champaign

An engaging introduction to the critical tools needed to design and evaluate engineering systems that must operate reliably in uncertain environments. It includes over 100 worked examples and over 300 end-of-chapter problems, with worked solutions to half provided in the book and the remaining solutions available online for instructors.

‘A comprehensive exposition of random processes … Abstract concepts are nicely explained through many examples … The book will be very helpful for beginning graduate students who want a firm foundational understanding of random processes. It will also serve as a nice reference for the advanced reader.’

Anima Anandkumar, University of California, Irvine 2015 247 x 174 mm 432pp 130 b/w illus. 1 table 307 exercises 978-1-107-10012-1 Hardback £44.99 / US$80.00 For all formats available, see

www.cambridge.org/9781107100121

Signal and Image Processing

Big Data over Networks

Bayesian Speech and Language Processing

Edited by Shuguang Cui

Shinji Watanabe

Texas A & M University

Mitsubishi Electric Research Laboratories, Cambridge, Massachusetts

Alfred Hero University of Michigan, Ann Arbor

and Jen-Tzung Chien

Zhi-Quan Luo

National Chiao Tung University, Taiwan

University of Minnesota

With this comprehensive guide readers will learn how they can apply Bayesian machine learning techniques systematically to solve speech and language processing problems. Including detailed practical explanations along with examples and case studies, this is an invaluable resource for students, researchers, and industry practitioners working in speech and language processing.

and Jose Moura Carnegie Mellon University, Pennsylvania

Written by experts in the field, this pioneering text is the first to examine the crucial interaction between big data and three diverse networks: communication, social and biological. Using critical mathematical tools and state-of-theart research results, it is an essential reference for graduate students, scientific researchers and industry practitioners.

Contents: Part I. Mathematical Foundations; Part II. Big Data over Cyber Networks; Part III. Big Data over Social Networks; Part IV. Big Data over Biological Networks.

2016 247 x 174 mm 457pp 115 b/w illus. 30 tables 978-1-107-09900-5 Hardback £64.99 / US$89.99 For all formats available, see

www.cambridge.org/9781107099005

19

‘This book provides an overview of a wide range of fundamental theories of Bayesian learning, inference, and prediction for uncertainty modeling in speech and language processing.

The uncertainty modeling is crucial in increasing the robustness of practical systems based on statistical modeling under real environments, such as automatic speech recognition systems under noise, and question answering systems based on limited size of training data. This is the most advanced and comprehensive book for learning fundamental Bayesian approaches and practical techniques.’

Sadaoki Furui, Tokyo Institute of Technology

Contents: Part I. General Discussion; Part II. Approximate Inference.

2015 247 x 174 mm 445pp 59 b/w illus. 13 tables 978-1-107-05557-5 Hardback £59.99 / US$94.99 For all formats available, see

www.cambridge.org/9781107055575

eBooks available at www.cambridge.org/ebookstore

20

Signal and Image Processing

Geometric Methods in Signal and Image Analysis

Partial Differential Equation Methods for Image Inpainting

Hamid Krim

Carola-Bibiane Schönlieb

North Carolina State University

University of Cambridge

and Abdessamad Ben Hamza

This book introduces the mathematical concept of partial differential equations (PDEs) for virtual image restoration.

It provides insight in mathematical modelling, partial differential equations, functional analysis, variational calculus, optimisation and numerical analysis. It is addressed towards generally informed mathematicians and graduate students in mathematics with an interest in image processing and mathematical analysis.

Concordia University, Montréal

A comprehensive guide to modern geometric methods for signal and image analysis, covering basic principles as well as state-of-the-art concepts and applications. This is an ideal resource for graduate students, researchers, and practitioners in a range of fields including signal and image processing, biomedical engineering, and computer graphics.

2015 247 x 174 mm 295pp 211 b/w illus. 3 tables 7 exercises 978-1-107-03390-0 Hardback £54.99 / US$89.99 For all formats available, see

www.cambridge.org/9781107033900

‘Since the late 1990s, there has been a substantial amount of academic works on the application of partial differential equations (PDEs) to the restoration of missing parts in images, which is usually referred to as the ‘inpainting problem’. This book provides a very comprehensive, clear, and well-written account of the use of PDEs for inpainting, and this is no minor feat, given the sizeable literature on the subject and the mathematical complexity of many of the techniques described.’

Marcelo Bertalmío, Universitat Pompeu Fabra Cambridge Monographs on Applied and Computational Mathematics, 29

2016 228 x 152 mm 250pp 69 b/w illus. 34 colour illus. 15 exercises 978-1-107-00100-8 Hardback £64.99 / US$99.99 For all formats available, see

www.cambridge.org/9781107001008

Programming Languages and Software

Programming Languages and Software Building High Integrity Applications with SPARK John W. McCormick University of Northern Iowa

and Peter C. Chapin Vermont Technical College

The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK. 2015 228 x 152 mm 382pp 13 b/w illus. 14 tables 119 exercises 978-1-107-04073-1 Hardback £79.99 / US$130.00 978-1-107-65684-0 Paperback £37.99 / US$59.99 For all formats available, see

www.cambridge.org/9781107040731

Practical Foundations for Programming Languages

21

techniques for proving properties of languages and programs.

Review of previous edition: ‘Harper’s book provides a comprehensive treatment of the foundations of computation. He touches on a surprising range of concepts that arise in language design: from simple types to polymorphism to dependent types to modules; from strict to lazy to parallel computation; and from proof techniques for reasoning about extensional behavior to practical, compositional cost models in the presence of garbage collection.

More importantly, throughout the book he uses types and the principles of type theory to organize the material and help us discover the orthogonal, composable abstractions that arise naturally not only in the design of programming languages but also in logics and mathematics. This approach helps uncover the fundamental structure lurking inside programming languages of today, and provides a principled approach to the designs for tomorrow.’

Greg Morrisett, Harvard University, Massachusetts 2016 253 x 177 mm 550pp 978-1-107-15030-0 Hardback c. £50.00 / c. US$85.00 Publication March 2016 For all formats available, see

www.cambridge.org/9781107150300

Second edition Robert Harper Carnegie Mellon University, Pennsylvania

This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages.

It stresses the central role of types and teaches the use of rigorous mathematical

Visit our website at www.cambridge.org/academic

22

Programming Languages and Software

Type Theory and Formal Proof 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 mathematically about functional programs.

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

978-1-107-08720-0 Hardback £69.99 / US$105.00 978-1-107-45264-0 Paperback £34.99 / US$54.99 For all formats available, see

www.cambridge.org/9781107087200

Real-Time Software Design for Embedded Systems Hassan Gomaa George Mason University, Virginia

This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/ RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers.

Contents: Part I. Overview; Part II. Software Design Method; Part III. Architectural Analysis; Part IV. Real-Time Software Design Case Studies.

2016 253 x 177 mm 592pp 373 b/w illus. 15 tables 978-1-107-04109-7 Hardback £49.99 / US$79.99 Publication February 2016 For all formats available, see

www.cambridge.org/9781107041097

Hardware and Networks

Hardware and Networks Workload Modeling for Computer Systems Performance Evaluation Dror G. Feitelson Hebrew University of Jerusalem

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.

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

www.cambridge.org/9781107078239

23

Textbook

Digital Design Using VHDL A Systems Approach William J. Dally Stanford University, California

R. Curtis Harting Google Inc., New York

and Tor M. Aamodt University of British Columbia, Vancouver

Provides students with a system-level perspective and the tools they need to understand, analyze and design complete digital systems using VHDL. It goes beyond the design of simple combinational and sequential modules to show how such modules are used to build complete systems, reflecting digital design in the real world.

Contents: Part I. Introduction; Part II. Combinational Logic; Part III. Arithmetic Circuits; Part IV. Synchronous Sequential Logic; Part V. Practical Design; Part VI. System Design; Part VII. Asynchronous Logic.

2015 246 x 189 mm 721pp 489 b/w illus. 68 tables 978-1-107-09886-2 Hardback £49.99 / US$99.99 For all formats available, see

www.cambridge.org/9781107098862

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

24

Hardware and Networks

Wireless Device-to-Device Communications and Networks Lingyang Song Peking University, Beijing

Dusit Niyato Nanyang Technological University, Singapore

Zhu Han University of Houston

and Ekram Hossain University of Manitoba, Canada

Covering the fundamental theory together with the state of the art in research and development, this practical guide provides the techniques needed to design, analyze, and optimize device-to-device communications in wireless networking.

Physical, medium access control, and networking layer requirements are all covered, whilst existing real-world applications and potential future developments are discussed.

Contents: Part I. Introduction; Part II. Techniques for Modeling and Analysis of D2D Communications; Part III. Resource Management, Cross-Layer Design, and Security for D2D Communications; Part IV. Applications of D2D Communications; Part V. Standardization of D2D Communications.

2015 247 x 174 mm 431pp 124 b/w illus. 25 tables 978-1-107-06357-0 Hardback £75.00 / US$120.00 For all formats available, see

www.cambridge.org/9781107063570

Random Wireless Networks An Information Theoretic Perspective Rahul Vaze Tata Institute of Fundamental Research, Mumbai

This book provides a holistic view of all relevant concepts used to analyse random wireless networks. A conscious attempt is made to bring out connections between the transmission and the throughput capacity, between percolation theory and throughput capacity, and between stochastic geometry and cellular networks.

2015 244 x 170 mm 246pp 978-1-107-10232-3 Hardback £69.99 / US$110.00 For all formats available, see

www.cambridge.org/9781107102323

Computational Biology

Design and Deployment of Small Cell Networks

25

Computational Biology

Edited by Alagan Anpalagan Ryerson Polytechnic University, Toronto

Mehdi Bennis University of Oulu, Finland

and Rath Vannithamby Intel Corporation, Portland, Oregon

This is a comprehensive resource for understanding small cell networks.

Describing new trends, challenges and recent research results, and ranging from fundamental concepts to advanced topics, it is an ideal reference for graduate students, researchers and industry practitioners working in communications and networking.

‘Small cell networks are poised to play an important role in the communications technologies of the 2020s and beyond, particularly in fifth generation wireless systems. Edited by well-known experts from university and industry, this is the defining book on this topic and is a must-have for a researcher [or] engineer in this field.’

Vijay Bhargava, University of British Columbia 2015 247 x 174 mm 519pp 241 b/w illus. 23 tables 978-1-107-05671-8 Hardback £74.99 / US$120.00 For all formats available, see

www.cambridge.org/9781107056718

Textbook

Genome-Scale Algorithm Design Biological Sequence Analysis in the Era of High-Throughput Sequencing Veli Mäkinen University of Helsinki

Djamal Belazzougui University of Helsinki

Fabio Cunial University of Helsinki

and Alexandru I. Tomescu University of Helsinki

Outlining the fundamental algorithms and data structures that power modern sequence analysis workflows, this book provides a powerful toolkit for students and researchers in bioinformatics and computer science. Its numerous examples and exercises are designed to help readers understand applications of the latest algorithm techniques, providing tools for further research.

‘Genome-Scale Algorithm Design is a well-thought-out … book that fills a gap in the recent literature … [on algorithms] for bioinformatics. It offers a sound, clear, and rich overview of computer science methods for the challenge of today’s biological sequence analysis. I [recommend] it to students as well as to researchers in the field.’

Nadia Pisanti, University of Pisa

eBooks available at www.cambridge.org/ebookstore

26

Computational Biology Contents: Part I. Preliminaries; Part II. Fundamentals of Biological Sequence Analysis; Part III. Genome-Scale Index Structures; Part IV. Genome-Scale Algorithms; Part V. Applications.

Cambridge Series in Systems Genetics

2015 247 x 174 mm 413pp 90 b/w illus. 4 tables 269 exercises 978-1-107-07853-6 Hardback £39.99 / US$64.99

For all formats available, see

For all formats available, see

www.cambridge.org/9781107078536

2015 247 x 174 mm 268pp 101 b/w illus. 12 tables 978-1-107-01384-1 Hardback £69.99 / US$115.00 www.cambridge.org/9781107013841

Bayesian Evolutionary Analysis with BEAST Alexei J. Drummond

Systems Genetics Linking Genotypes and Phenotypes Edited by Florian Markowetz Cancer Research UK Cambridge Institute

and Michael Boutros German Cancer Research Center, Heidelberg

Gathering contributions from leading scientists, both computational and experimental, this book shows how experimental perturbations can help us to understand the link between genotype and phenotype. Researchers and graduate students in genetics, functional genomics, bioinformatics, computational biology, systems biology and biotechnology will find this a valuable and timely tool.

‘Since the completion of the Human Genome Project we hold the ‘book of life’ in our hands, but for the most part, we do not understand how to interpret it. We lack an understanding of the grammar that it is written in. With this book the authors put together an impressive collection of chapters that provide insights into our current efforts to understand how genetic information is integrated, coordinated and ultimately assembled into biological systems. If you are interested in how to decipher the grammar of life this is a must read!’

Frank Buchholz, Technische Universität Dresden, Germany

University of Auckland

and Remco R. Bouckaert University of Auckland

A comprehensive overview of Bayesian approaches to phylogenetics using Markov chain Monte Carlo (MCMC) methods, offering theoretical insight, pragmatic advice and tools to develop further models. This title is a onestop reference to applying the latest phylogenetic models in BEAST 2, interpreting the analyses and extending these models further.

‘Want to construct a phylogeny, add in calibrated time points or work out the past history of an epidemic? The open source package BEAST has established itself as the industry standard for all this and more. This definitive book, explaining what is under the hood, how the user can customize extensions and, most critically, a simple ‘how to’ users guide, is necessary reading for beginners and specialists alike.’

Laurence D. Hurst, University of Bath

Contents: Part I. Theory; Part II. Practice; Part III. Programming.

2015 247 x 174 mm 260pp 21 b/w illus. 70 colour illus. 9 tables 978-1-107-01965-2 Hardback £39.99 / US$64.99 For all formats available, see

www.cambridge.org/9781107019652

Computational Biology / Scientific Computing

Integrating Omics Data George C. Tseng

27

Scientific Computing

University of Pittsburgh

Debashis Ghosh Colorado School of Public Health

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 technologies include microarray, next-generation sequencing, mass spectrometry and proteomic assays.

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

Acta Numerica 2015 Volume 24 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 developments in their area and provide state-of-the-art techniques and analysis.

Acta Numerica, 24

2015 247 x 174 mm 381pp 50 b/w illus.

978-1-107-11258-2 Hardback £114.00 / US$195.00 For all formats available, see

www.cambridge.org/9781107112582

For all formats available, see

www.cambridge.org/9781107069114

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

28

Scientific Computing / Robotics Textbook

Learning Scientific Programming with Python Christian Hill

to on-site structured environments and on-site automated factories.

2016 253 x 177 mm 375pp 463 b/w illus. 9 tables 978-1-107-07597-9 Hardback £74.99 / US$135.00

University College London

Publication March 2016

Learn to master basic programming tasks from scratch with real-life scientific examples drawn from many different areas of science and engineering. This complete introduction to using Python teaches Numpy, SciPy and Matplotlib libraries and is supported by extensive online resources to provide a targeted package for students and researchers.

For all formats available, see

2016 247 x 174 mm 457pp 93 b/w illus. 52 tables 150 exercises 978-1-107-07541-2 Hardback £69.99 / US$99.99 978-1-107-42822-5 Paperback £27.99 / US$44.99 Publication February 2016 For all formats available, see

www.cambridge.org/9781107075412

Robotics Site Automation Automated/Robotic On-Site Factories Thomas Bock

www.cambridge.org/9781107075979

Robotic Industrialization Automation and Robotic Technologies for Customized Component, Module, and Building Prefabrication 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. This volume outlines technologies in building component manufacturing based on building materials and large-scale prefabrication holding the potential to deliver complex components and products which are introduced and discussed.

Technische Universität München

2015 253 x 177 mm 260pp 482 b/w illus. 85 tables 978-1-107-07639-6 Hardback £74.99 / US$125.00

and Thomas Linner

For all formats available, see

Technische Universität München

www.cambridge.org/9781107076396

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 in building-component manufacturing and construction introduced in earlier volumes

Also of Interest

Also of Interest Truth or Truthiness Distinguishing Fact from Fiction

by Learning to Think Like a Data Scientist Howard Wainer National Board of Medical Examiners, Philadelphia, Pennsylvania

Escaping the clutches of truthiness begins with one simple question: ‘what is the evidence?’ Howard Wainer shows how the sceptical mindset of a data scientist can expose truthiness, nonsense, and outright deception. He evaluates the evidence, or lack thereof, supporting claims in many fields, with special emphasis in education.

The Cambridge Dictionary of Probability and Its Applications David Stirzaker St John’s College, Oxford

This book, the first dictionary of probability and its applications in English, guides the reader through the concepts and vocabulary of this rapidly expanding field. As the only dictionary on the market, it will be a guiding reference for all those working and studying in this area.

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

978-1-107-07516-0 Hardback £120.00 / US$195.00 For all formats available, see

www.cambridge.org/9781107075160

‘This book is like the proverbial bag of potato chips. It’s impossible to stop reading after just one of its fun and thought-provoking examples of statistical reasoning.’

Psychology of the Digital Age

Andrew Gelman, Columbia University, New York

Rider University

Contents: Part I. Thinking Like a Data Scientist; Part II. Communicating Like a Data Scientist; Part III. Applying the Tools of Data Science to Education.

2015 228 x 152 mm 232pp 52 b/w illus. 9 colour illus. 12 tables 978-1-107-13057-9 Hardback £19.99 / US$29.99 For all formats available, see

www.cambridge.org/9781107130579

29

Humans Become Electric John R. Suler

This book provides an engaging overview of life in the digital realm that will benefit scholars, students, and general readers.

A founder of the cyberpsychology field, John R. Suler offers insights for improving wellbeing online, highlighting principles about identity management, online relationships, social media, virtual reality, artificial intelligence, and media overload.

‘Professor John R. Suler is acknowledged as the world’s leading expert in cyberpsychology and the founder of the discipline …

[His] treatment creates a powerful argument for the consideration of cyberpsychology as a unique and valuable discipline in its own right, and is groundbreaking in this regard … His transdisciplinary vision is reflective of the discipline itself,

Visit our website at www.cambridge.org/academic

30

Also of interest and therefore the content will likely resonate with those of us who are immersed in this subject and those who are interested in discovering it.

John’s elegant writing style, especially the narrative and historical aspects of the book, should delight anyone with an interest in technology and psychology while providing professors and students in all the fields that interface with the digital world a coherent and informed overview of cyberpsychology.’

Mary Aiken, Director, Cyberpsychology Research Centre, from the Foreword 2015 228 x 152 mm 250pp 6 b/w illus.

978-1-107-12874-3 Hardback £59.99 / US$94.99 978-1-107-56994-2 Paperback £24.99 / US$39.99 For all formats available, see

www.cambridge.org/9781107128743

Textbook

Social Media and Electronic Commerce Law Second edition Alan Davidson University of Queensland

Written in an accessible style, Social Media and Electronic Commerce Law is designed to provide students and legal practitioners with a thorough and engaging exploration of the laws, regulations and grey areas of commerce via online platforms.

Contents: Part I. Introduction; Part II. Social Media; Part III. Electronic Commerce; Part IV. Conclusion.

2015 247 x 174 mm 452pp 978-1-107-50053-2 Paperback £74.99 / US$125.00 For all formats available, see

www.cambridge.org/9781107500532

Ethics, Medicine, and Information Technology Intelligent Machines and the Transformation of Health Care Kenneth W. Goodman University of Miami

This unique book establishes the ‘core curriculum’ in the new field of ethics and health informatics. It discusses the effects of information technology on all aspects of medicine and research, from privacy and big data to computer-rendered diagnoses and prognoses. Compelling reading for practitioners, students, researchers and policymakers alike.

2016 234 x 156 mm 192pp 978-1-107-62473-3 Paperback £34.99 / US$54.99 For all formats available, see

www.cambridge.org/9781107624733

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 & Japan - 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 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 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/computerscience2016

Inspection Copies

+44 (0)1223 325566

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

internationaltrade2@cambridge.org In the Americas: www.cambridge.org/computerscience2016 +1 212 924 3900

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

customer_service@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/computerscience2016 For institutions: Cambridge publications are also available for institutional purchase as online collections and packages.

Visit www.universitypublishingonline.org/list

• 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

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

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

Pricing and availability Prices are correct at time of going to press but are subject to alteration without notice. Publication dates indicate anticipated first publication date, but are subject to alteration without notice and may differ by country.

Computer Science Journals from Cambridge AI EDAM APSIPA Transactions on Signal and Information Processing Combinatorics, Probability and Computing 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

1 27

journals.cambridge.org/computerscience

51 77 99 117

131

Volume 29, Number 1, 2015

Structure-Reversibility of a Two-Dimensional Reflecting Random Walk and its Application to Queueing Network Masahiro Kobayashi, Masakiyo Miyazawa, and Hiroshi Shimizu 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 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

PROBABILITY in the ENGINEERING and INFORMATIONAL SCIENCES

PROBABILITY

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

A world of learning and research inspired

by Cambridge At Cambridge University Press, our mission is to unlock people’s potential with the best learning and research solutions. Our success is driven by academic pedigree, innovation, unparalleled editorial experience and quality production processes.

Do you want to publish with us?

If you are thinking about getting your research published, we want to hear from you.

• You will join a distinguished group of authors, including over 60 Nobel Prize Laureates, whose work has helped to shape the world we live in today.

• With over 30,000 ebooks available we are proud of our digital publishing, and we can offer you the best combination of print and digital formats for your publication.

• We draw on a range of marketing methods, including social media, e-marketing, author videos, and book trailers to promote titles across the world.

• You will have access to Author Hub, an online resource designed to help you connect with the wider academic community.

To find out more, go to cambridge.org/getpublished

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.

Printed in the United Kingdom, 2016.