For 80 years, mathematics has driven fundamental innovation in computing and communications. This timely book provides a panorama of some recent ideas in mathematics and how they will drive continued innovation in computing, communications and AI in the coming years. It provides a unique insight into how the new techniques that are being developed can be used to provide theoretical foundations for technological progress, just as mathematics was used in earlier times by Turing, von Neumann, Shannon and others. Edited by leading researchers in the field, chapters cover the application of new mathematics in computer architecture, software verification, quantum computing, compressed sensing, networking, Bayesian inference, machine learning, reinforcement learning and many other areas.

This lucid, accessible introduction to supervised machine learning presents core concepts in a focused and logical way that is easy for beginners to follow. The author assumes basic calculus, linear algebra, probability and statistics but no prior exposure to machine learning. Coverage includes widely used traditional methods such as SVMs, boosted trees, HMMs, and LDAs, plus popular deep learning methods such as convolution neural nets, attention, transformers, and GANs. Organized in a coherent presentation framework that emphasizes the big picture, the text introduces each method clearly and concisely "from scratch" based on the fundamentals. All methods and algorithms are described by a clean and consistent style, with a minimum of unnecessary detail. Numerous case studies and concrete examples demonstrate how the methods can be applied in a variety of contexts.

This book provides a comprehensive explanation of forward error correction, which is a vital part of communication systems. The book is written in such a way to make the subject easy and understandable for the reader. The book starts with a review of linear algebra to provide a basis for the text. The author then goes on to cover linear block codes, syndrome error correction, cyclic codes, Galois fields, BCH codes, Reed Solomon codes, and convolutional codes. Examples are provided throughout the text.

If the carriers of information are governed by quantum mechanics, new principles for information processing apply. This graduate textbook introduces the underlying mathematical theory for quantum communication, computation, and cryptography. A focus lies on the concept of quantum channels, understanding fi gures of merit, e.g. fidelities and entropies in the quantum world, and understanding the interrelationship of various quantum information processing protocols.

This book develops a mathematical framework for modeling and optimizing interference-coupled multiuser systems. At the core of this framework is the concept of general interference functions, which provides a simple means of characterizing interdependencies between users. The entire analysis builds on the two core axioms scale-invariance and monotonicity.
The proposed network calculus has its roots in power control theory and wireless communications. It adds theoretical tools for analyzing the typical behavior of interference-coupled networks. In this way it complements existing game-theoretic approaches.
The framework should also be viewed in conjunction with optimization theory. There is a fruitful interplay between the theory of interference functions and convex optimization theory. By jointly exploiting the properties of interference functions, it is possible to design algorithms that outperform general-purpose techniques that only exploit convexity.
The title "network calculus" refers to the fact that the theory of interference functions constitutes a generic theoretical framework for the analysis of interference coupled systems. Certain operations within the framework are "closed," that is, combinations of interference functions are interference functions again. Also, certain properties are preserved under such operations. This, provides a methodology for analyzing different multiuser performance measures that can be expressed as interference functions or combinations of interference functions.

Kommunikation uber kulturelle Grenzen hinweg stellt die Beteiligten vor die Herausforderung, eine gemeinsame Sprache oder zumindest ein gemeinsames "Sprachregime" zu finden. Die Verwendung einer Lingua franca ist dabei nur eine - und nicht immer die optimale - Strategie zur Bewaltigung dieser Herausforderung. Die hier versammelten Beitrage von Sprachpraktiker/inne/n, aber auch von Sprach- und Kulturwissenschaftler/inne/n reflektieren die Problematik aus ihrer jeweils spezifischen Perspektive. Besondere Aufmerksamkeit gilt dabei der tschechisch-deutschen Grenzregion. Der Blick wird aber auch auf andere Konstellation einander benachbarter Sprachgemeinschaften sowie auf nicht-geographische Sprachgrenzen innerhalb spezifischer gesellschaftlicher Diskurse gerichtet.

Over the past 25 years, there has been an explosion of interest in the area of random tilings. The first book devoted to the topic, this timely text describes the mathematical theory of tilings. It starts from the most basic questions (which planar domains are tileable?), before discussing advanced topics about the local structure of very large random tessellations. The author explains each feature of random tilings of large domains, discussing several different points of view and leading on to open problems in the field. The book is based on upper-division courses taught to a variety of students but it also serves as a self-contained introduction to the subject. Test your understanding with the exercises provided and discover connections to a wide variety of research areas in mathematics, theoretical physics, and computer science, such as conformal invariance, determinantal point processes, Gibbs measures, high-dimensional random sampling, symmetric functions, and variational problems.

The global biodiversity crisis is one of humanity's most urgent problems, but even quantifying biological diversity is a difficult mathematical and conceptual challenge. This book brings new mathematical rigour to the ongoing debate. It was born of research in category theory, is given strength by information theory, and is fed by the ancient field of functional equations. It applies the power of the axiomatic method to a biological problem of pressing concern, but it also presents new theorems that stand up as mathematics in their own right, independently of any application. The question 'what is diversity?' has surprising mathematical depth, and this book covers a wide breadth of mathematics, from functional equations to geometric measure theory, from probability theory to number theory. Despite this range, the mathematical prerequisites are few: the main narrative thread of this book requires no more than an undergraduate course in analysis.

The book is a concise, self-contained and fully updated introduction to automata theory - a fundamental topic of computer sciences and engineering. The material is presented in a rigorous yet convincing way and is supplied with a wealth of examples, exercises and down-to-the earth convincing explanatory notes. An ideal text to a spectrum of one-term courses in computer sciences, both at the senior undergraduate and graduate students.

At the height of the Cold War, a new Soviet threat triggers a daring heist, and the stakes couldn't be higher'A defining novel of the genre and a lost classic' James SwallowBritish and American intelligence services have just learned of the Soviet Union's latest aircraft: the MiG-31. Codenamed "Firefox", the plane is a marvel of engineering - stealthy, hypersonic, with a thought-guided weapons system - outclassing anything flown by the West. Faced with Soviet air domination, MI6 and the CIA launch a daring mission to steal a Firefox prototype. Veteran US Air Force pilot Mitchell Gant, is sent to the Soviet Union under an assumed identity. He seems the perfect man for the job. But, deep within the icy heart of Soviet power, the stakes are overwhelming: fail this mission, and lose the war... Blending Cold War espionage suspense with high-altitude aerial action, Firefox is the original and greatest techno-thriller, from million-copy bestselling author Craig Thomas. Perfect for fans of Tom Clancy and Robert Ludlum. Praise for Firefox 'Firefox is as tense and exciting as they come' TLS 'Writes far better than Ludlum' Washington Post

This book focuses on current practices in scientific and technical communication, historical aspects, and characteristics and biblio graphic control of various forms of scientific and technical literature. It integrates the inventory approach for scientific and technical communication.

Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting point is that reality provides the data, to be understood as constraining affordances, and we transform them into information, like semantic engines. Such transformation or repurposing is not equivalent to portraying, or picturing, or photographing, or photocopying anything. It is more like cooking: the dish does not represent the ingredients, it uses them to make something else out of them, yet the reality of the dish and its properties hugely depend on the reality and the properties of the ingredients. Models are not representations understood as pictures, but interpretations understood as data elaborations, of systems. Thus, he articulates and defends the thesis that knowledge is design and philosophy is the ultimate form of conceptual design. Although entirely independent of Floridi's previous books, The Philosophy of Information (OUP 2011) and The Ethics of Information (OUP 2013), The Logic of Information both complements the existing volumes and presents new work on the foundations of the philosophy of information.

Nonlinear Model Predictive Control is a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC is interpreted as an approximation of infinite-horizon optimal control so that important properties like closed-loop stability, inverse optimality and suboptimality can be derived in a uniform manner. These results are complemented by discussions of feasibility and robustness. NMPC schemes with and without stabilizing terminal constraints are detailed and intuitive examples illustrate the performance of different NMPC variants. An introduction to nonlinear optimal control algorithms gives insight into how the nonlinear optimisation routine - the core of any NMPC controller - works. An appendix covering NMPC software and accompanying software in MATLAB (R) and C++(downloadable from www.springer.com/ISBN) enables readers to perform computer experiments exploring the possibilities and limitations of NMPC.

This book provides the basic concepts and fundamental principles of dynamic systems including experimental methods, calibration, signal conditioning, data acquisition and processing as well as the results presentation. How to select suitable sensors to measure is also introduced. It is an essential reference to students, lecturers, professionals and any interested lay readers in measurement technology.

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the mastery of proofs. The book begins with the basic concepts of logic and set theory to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for an analysis of techniques that can be used to build up complex proofs step by step, using detailed 'scratch work' sections to expose the machinery of proofs about numbers, sets, relations, and functions. Assuming no background beyond standard high school mathematics, this book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and, of course, mathematicians.

The first half of the book provides an introduction to general topology, with ample space given to exercises and carefully selected applications. The second half of the text includes topics in asymmetric topology, a field motivated by applications in computer science. Recurring themes include the interactions of topology with order theory and mathematics designed to model loss-of-resolution situations.

These Proceedings offer a selection of peer-reviewed research and survey papers by some of the foremost international researchers in the fields of finance, energy, stochastics and risk, who present their latest findings on topical problems. The papers cover the areas of stochastic modeling in energy and financial markets; risk management with environmental factors from a stochastic control perspective; and valuation and hedging of derivatives in markets dominated by renewables, all of which further develop the theory of stochastic analysis and mathematical finance. The papers were presented at the first conference on "Stochastics of Environmental and Financial Economics (SEFE)", being part of the activity in the SEFE research group of the Centre of Advanced Study (CAS) at the Academy of Sciences in Oslo, Norway during the 2014/2015 academic year.

This book presents the various design methods of a state-feedback control law and of an observer. The considered systems are of continuous-time and of discrete-time nature, monovariable or multivariable, the last ones being of main consideration. Three different approaches are described: * Linear design methods, with an emphasis on decoupling strategies, and a general formula for multivariable controller or observer design; * Quadratic optimization methods: Linear Quadratic Control (LQC), optimal Kalman filtering, Linear Quadratic Gaussian (LQG) control; * Linear matrix inequalities (LMIs) to solve linear and quadratic problems. The duality between control and observation is taken to advantage and extended up to the mathematical domain. A large number of exercises, all given with their detailed solutions, mostly obtained with MATLAB, reinforce and exemplify the practical orientation of this book. The programs, created by the author for their solving, are available on the Internet sites of Springer and of MathWorks for downloading. This book is targeted at students of Engineering Schools or Universities, at the Master's level, at engineers desiring to design and implement innovative control methods, and at researchers.

Self-organization of matter is observed in every context and on all scales, from the nanoscale of quantum fields and subatomic particles to the macroscale of galaxy superclusters. This book analyzes the wide range of patterns of organization present in nature, highlighting their similarities rather than their differences. This unconventional approach results in an illuminating read which should be part of any Physics student's background.

A cocktail party. A terrorist cell. Ancient bacteria. An international conglomerate. All are networks, and all are a part of a surprising scientific revolution. In "Linked," Albert-Laszlo Barabasi, the nation's foremost expert in the new science of networks, takes us on an intellectual adventure to prove that social networks, corporations, and living organisms are more similar than previously thought. Barabasi shows that grasping a full understanding of network science will someday allow us to design blue-chip businesses, stop the outbreak of deadly diseases, and influence the exchange of ideas and information. Just as James Gleick and the Erdos-Renyi model brought the discovery of chaos theory to the general public, "Linked" tells the story of the true science of the future and of experiments in statistical mechanics on the internet, all vital parts of what would eventually be called the Barabasi-Albert model.

This book introduces and discusses the analysis of interacting many-body complex systems exhibiting spontaneous synchronization from the perspective of nonequilibrium statistical physics. While such systems have been mostly studied using dynamical system theory, the book underlines the usefulness of the statistical physics approach to obtain insightful results in a number of representative dynamical settings. Although it is intractable to follow the dynamics of a particular initial condition, statistical physics allows to derive exact analytical results in the limit of an infinite number of interacting units. Chapter one discusses dynamical characterization of individual units of synchronizing systems as well as of their interaction and summarizes the relevant tools of statistical physics. The latter are then used in chapters two and three to discuss respectively synchronizing systems with either a first- or a second-order evolution in time. This book provides a timely introduction to the subject and is meant for the uninitiated as well as for experienced researchers working in areas of nonlinear dynamics and chaos, statistical physics, and complex systems.

This book reports on cutting-edge research into innovative system interfaces, highlighting both lifecycle development and human-technology interaction, especially in virtual, augmented and mixed-reality systems. It describes advanced methodologies and tools for evaluating and improving interface usability and discusses new models, as well as case studies and good practices. The book addresses the human, hardware, and software factors in the process of developing interfaces for optimizing total system performance, while minimizing their costs. It also highlights the forces currently shaping the nature of computing and systems, such as: the importance of portability and technologies for reducing power requirements; the necessity of a better assimilation of computation in the environment; as well as solutions to promote accessibility to computers and systems for people with special needs. The book, which is based on the AHFE 2019 International Conference on Human Factors and Systems Interaction, held on July 24-28, 2019, in Washington D.C., USA, offers a timely survey and practice-oriented guide for systems interface users and developers alike.

This book presents papers on various problems of dependability in computer systems and networks that were discussed at the 14th DepCoS-RELCOMEX conference, in Brunow, Poland, from 1st to 5th July 2019. Discussing new ideas, research results and developments in the design, implementation, maintenance and analysis of complex computer systems, it is of interest to researchers and practitioners who are dealing with dependability issues in such systems. Dependability analysis came as a response to new challenges in the evaluation of contemporary complex systems, which should be considered as systems of people - with their needs and behaviours -interacting with technical communication channels (such as mobile activities, iCloud, Internet of Everything) and online applications, often operating in hostile environments. The diversity of topics covered, illustrates the variety of methods used in this area, often with the help of the latest results in artificial and computational intelligence.

This comprehensive treatment of network information theory and its applications provides the first unified coverage of both classical and recent results. With an approach that balances the introduction of new models and new coding techniques, readers are guided through Shannon's point-to-point information theory, single-hop networks, multihop networks, and extensions to distributed computing, secrecy, wireless communication, and networking. Elementary mathematical tools and techniques are used throughout, requiring only basic knowledge of probability, whilst unified proofs of coding theorems are based on a few simple lemmas, making the text accessible to newcomers. Key topics covered include successive cancellation and superposition coding, MIMO wireless communication, network coding, and cooperative relaying. Also covered are feedback and interactive communication, capacity approximations and scaling laws, and asynchronous and random access channels. This book is ideal for use in the classroom, for self-study, and as a reference for researchers and engineers in industry and academia.

Recent developments in model-predictive control promise remarkable opportunities for designing multi-input, multi-output control systems and improving the control of single-input, single-output systems. This volume provides a definitive survey of the latest model-predictive control methods available to engineers and scientists today. The initial set of chapters present various methods for managing uncertainty in systems, including stochastic model-predictive control. With the advent of affordable and fast computation, control engineers now need to think about using "computationally intensive controls," so the second part of this book addresses the solution of optimization problems in "real" time for model-predictive control. The theory and applications of control theory often influence each other, so the last section of Handbook of Model Predictive Control rounds out the book with representative applications to automobiles, healthcare, robotics, and finance. The chapters in this volume will be useful to working engineers, scientists, and mathematicians, as well as students and faculty interested in the progression of control theory. Future developments in MPC will no doubt build from concepts demonstrated in this book and anyone with an interest in MPC will find fruitful information and suggestions for additional reading.