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 Vojnovic ´
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 KARONSKI ´
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Ł KARONSKI ´
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 ovic ´
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.