Computing

The AI Revolution is Here. Discover its Dynamic Applications in Networking, Cybersecurity, and More.AI is having a profound impact on nearly every sector of the workforce. Huge professional and financial opportunities await in the key domains of computer networking, cybersecurity, IoT, and cloud computing. The AI Revolution in Networking, Cybersecurity, and Emerging Technologies will give you the edge you need to harness AI for your benefit. Learn how AI can efficiently identify shadow data, fortify security measures, generate predictive analytics in real time, and so much more.In this comprehensive guide, Cisco professionals Omar Santos, Samer Salam, and Hazim Dahir engage you in both AI application and theory through practical case studies and predictions of future trends, which makes this book not just a valuable guide for today, but an indispensable resource for tomorrow.You'll discover how AI is building robust bridges in collaboration tools and turning IoT into a super-intelligen

The first collection of Leibniz’s key writings on the binary system, newly translated, with many previously unpublished in any language.The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major―although less studied―mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today’s digital computing. This book offers the first collection of Leibniz’s most important writings on the binary system, all newly translated by the authors with many previously unpublished in any language. Taken together, these thirty-two texts tell the story of binary as Leibniz conceived it, from his first youthful writings on the subject to the mature development and publication of the binary system. As befits a scholarly edition, Strickland and Lewis have not only returned to Leibniz’s original manuscripts in preparing their translations, but also provided full critical apparatus. In additio

Agent Asha is back in the second installment of this action-packed spy adventure series. Top-secret Children's Spy Agency newest recruit, Asha Joshi is back with a brand new mission. Asha is suspicious when evil teenage trillionaire Shelly Belly proposes to cut down all the trees in Asha's favourite park to make room for CyberOaks: the new tech trees.Asha's a top coder and super spy so she should be able to face robot security parrots, navigate a suspicious internship and travel to Shelly's super-confidential base in Scotland to crack the case. Will Asha and her robo-hamster sidekick Tumble be able to protect the park and save the day?The story is a great way to engage young readers in coding and critical-thinking as it combines STEM with exciting adventures. It is mapped onto key National Curriculum Computing KS1 and KS2 concepts including algorithms, conditionals and debugging.

Applications of queueing network models have multiplied in the last generation, including scheduling of large manufacturing systems, control of patient flow in health systems, load balancing in cloud computing, and matching in ride sharing. These problems are too large and complex for exact solution, but their scale allows approximation. This book is the first comprehensive treatment of fluid scaling, diffusion scaling, and many-server scaling in a single text presented at a level suitable for graduate students. Fluid scaling is used to verify stability, in particular treating max weight policies, and to study optimal control of transient queueing networks. Diffusion scaling is used to control systems in balanced heavy traffic, by solving for optimal scheduling, admission control, and routing in Brownian networks. Many-server scaling is studied in the quality and efficiency driven Halfin–Whitt regime and applied to load balancing in the supermarket model and to bipartite matching in ri

Applications of queueing network models have multiplied in the last generation, including scheduling of large manufacturing systems, control of patient flow in health systems, load balancing in cloud computing, and matching in ride sharing. These problems are too large and complex for exact solution, but their scale allows approximation. This book is the first comprehensive treatment of fluid scaling, diffusion scaling, and many-server scaling in a single text presented at a level suitable for graduate students. Fluid scaling is used to verify stability, in particular treating max weight policies, and to study optimal control of transient queueing networks. Diffusion scaling is used to control systems in balanced heavy traffic, by solving for optimal scheduling, admission control, and routing in Brownian networks. Many-server scaling is studied in the quality and efficiency driven Halfin–Whitt regime and applied to load balancing in the supermarket model and to bipartite matching in ri

The field of ultracold atomic physics has developed rapidly during the last two decades, and currently encompasses a broad range of topics in physics, with a variety of important applications in topics ranging from quantum computing and simulation to quantum metrology, and can be used to probe fundamental many-body effects such as superconductivity and superfluidity. Beginning with the underlying and including the most cutting-edge experimental developments, this textbook covers essential topics such as Bose-Einstein condensation of alkali atoms, studies of BEC-BCS crossover in degenerate Fermi gas, synthetic gauge fields and Hubbard models, and many-body localization and dynamical gauge fields. Key physical concepts, such as symmetry and universality highlight the connections between different systems, and theory is developed with plain derivations supported by experimental results. This self-contained and modern text will be invaluable for researchers, graduate students and advanced

The real world is perceived and broken down as data, models and algorithms in the eyes of physicists and engineers. Data is noisy by nature and classical statistical tools have so far been successful in dealing with relatively smaller levels of randomness. The recent emergence of Big Data and the required computing power to analyse them have rendered classical tools outdated and insufficient. Tools such as random matrix theory and the study of large sample covariance matrices can efficiently process these big data sets and help make sense of modern, deep learning algorithms. Presenting an introductory calculus course for random matrices, the book focusses on modern concepts in matrix theory, generalising the standard concept of probabilistic independence to non-commuting random variables. Concretely worked out examples and applications to financial engineering and portfolio construction make this unique book an essential tool for physicists, engineers, data analysts, and economists.

Learn how to deploy and monitor databases in the cloud, manipulate documents, visualize data, and build applications running on MongoDB using Node.jsKey FeaturesLearn the fundamentals of NoSQL databases with MongoDBCreate, manage, and optimize a MongoDB database in the cloud using AtlasUse a real-world dataset to gain practical experience of handling big dataBook DescriptionMongoDB is one of the most popular database technologies for handling large collections of data. This book will help MongoDB beginners develop the knowledge and skills to create databases and process data efficiently.Unlike other MongoDB books, MongoDB Fundamentals dives into cloud computing from the very start - showing you how to get started with Atlas in the first chapter. You will discover how to modify existing data, add new data into a database, and handle complex queries by creating aggregation pipelines. As you progress, you'll learn about the MongoDB replication architecture and configure a simple cluster.

Although computation and the science of physical systems would appear to be unrelated, there are a number of ways in which computational and physical concepts can be brought together in ways that illuminate both. This volume examines fundamental questions which connect scholars from both disciplines: is the universe a computer? Can a universal computing machine simulate every physical process? What is the source of the computational power of quantum computers? Are computational approaches to solving physical problems and paradoxes always fruitful? Contributors from multiple perspectives reflecting the diversity of thought regarding these interconnections address many of the most important developments and debates within this exciting area of research. Both a reference to the state of the art and a valuable and accessible entry to interdisciplinary work, the volume will interest researchers and students working in physics, computer science, and philosophy of science and mathematics.

Networks are everywhere: networks of friends, transportation networks and the Web. Neurons in our brains and proteins within our bodies form networks that determine our intelligence and survival. This modern, accessible textbook introduces the basics of network science for a wide range of job sectors from management to marketing, from biology to engineering, and from neuroscience to the social sciences. Students will develop important, practical skills and learn to write code for using networks in their areas of interest - even as they are just learning to program with Python. Extensive sets of tutorials and homework problems provide plenty of hands-on practice and longer programming tutorials online further enhance students' programming skills. This intuitive and direct approach makes the book ideal for a first course, aimed at a wide audience without a strong background in mathematics or computing but with a desire to learn the fundamentals and applications of network science.

This unique text provides a thorough, yet accessible, grounding in the mathematics, statistics, and programming that students need to master for coursework and research in climate science, meteorology, and oceanography. Assuming only high school mathematics, it presents carefully selected concepts and techniques in linear algebra, statistics, computing, calculus and differential equations within the context of real climate science examples. Computational techniques are integrated to demonstrate how to visualize, analyze, and apply climate data, with R code featured in the book and both R and Python code available online. Exercises are provided at the end of each chapter with selected solutions available to students to aid self-study and further solutions provided online for instructors only. Additional online supplements to aid classroom teaching include datasets, images, and animations. Guidance is provided on how the book can support a variety of courses at different levels, making i

Perfect for senior undergraduates and first-year graduate students in geophysics, physics, mathematics, geology and engineering, this book is devoted exclusively to seismic wave theory. The result is an invaluable teaching tool, with its detailed derivations of formulas, clear explanations of topics, exercises along with selected answers, and an additional set of exercises with derived answers on the book's website. Some highlights of the text include: a review of vector calculus and Fourier transforms and an introduction to tensors, which prepare readers for the chapters to come; and a detailed discussion on computing reflection and transmission coefficients, a topic of wide interest in the field; a discussion in later chapters of plane waves in anisotropic and anelastic media, which serves as a useful introduction to these two areas of current research in geophysics. Students will learn to understand seismic wave theory through the book's clear and concise pedagogy.

Although computation and the science of physical systems would appear to be unrelated, there are a number of ways in which computational and physical concepts can be brought together in ways that illuminate both. This volume examines fundamental questions which connect scholars from both disciplines: is the universe a computer? Can a universal computing machine simulate every physical process? What is the source of the computational power of quantum computers? Are computational approaches to solving physical problems and paradoxes always fruitful? Contributors from multiple perspectives reflecting the diversity of thought regarding these interconnections address many of the most important developments and debates within this exciting area of research. Both a reference to the state of the art and a valuable and accessible entry to interdisciplinary work, the volume will interest researchers and students working in physics, computer science, and philosophy of science and mathematics.

This book provides thorough and comprehensive coverage of most of the new and important quantitative methods of data analysis for graduate students and practitioners. In recent years, data analysis methods have exploded alongside advanced computing power, and it is critical to understand such methods to get the most out of data, and to extract signal from noise. The book excels in explaining difficult concepts through simple explanations and detailed explanatory illustrations. Most unique is the focus on confidence limits for power spectra and their proper interpretation, something rare or completely missing in other books. Likewise, there is a thorough discussion of how to assess uncertainty via use of Expectancy, and the easy to apply and understand Bootstrap method. The book is written so that descriptions of each method are as self-contained as possible. Many examples are presented to clarify interpretations, as are user tips in highlighted boxes.

Health-centred research has changed hugely over the last ten years, from the importance of computing software to the NHS becoming more involved in research. The expectations of grant-awarding bodies, ethics committees and publishers have evolved and increased in many senses. This new edition is designed for trainee clinicians, not only those preparing for membership of the Royal College of Obstetricians and Gynaecologists (MRCOG) but also higher degree candidates and aspiring clinical academics. Chapter authors with extensive expertise make the path to embarking on research direct, straightforward and most importantly, fun and interesting, particularly aiming to support those who trained clinically and are now undertaking a research project or beginning an academic career. There remains no single book with so much relevant information gathered in a single, succinct volume. This edition now covers the wide spectrum of modern research methods for all specialities, with five supplementary

The field of artificial intelligence (AI) and the law is on the cusp of a revolution that began with text analytic programs like IBM's Watson and Debater and the open-source information management architectures on which they are based. Today, new legal applications are beginning to appear and this book - designed to explain computational processes to non-programmers - describes how they will change the practice of law, specifically by connecting computational models of legal reasoning directly with legal text, generating arguments for and against particular outcomes, predicting outcomes and explaining these predictions with reasons that legal professionals will be able to evaluate for themselves. These legal applications will support conceptual legal information retrieval and allow cognitive computing, enabling a collaboration between humans and computers in which each does what it can do best. Anyone interested in how AI is changing the practice of law should read this illuminating wo

The field of artificial intelligence (AI) and the law is on the cusp of a revolution that began with text analytic programs like IBM's Watson and Debater and the open-source information management architectures on which they are based. Today, new legal applications are beginning to appear and this book - designed to explain computational processes to non-programmers - describes how they will change the practice of law, specifically by connecting computational models of legal reasoning directly with legal text, generating arguments for and against particular outcomes, predicting outcomes and explaining these predictions with reasons that legal professionals will be able to evaluate for themselves. These legal applications will support conceptual legal information retrieval and allow cognitive computing, enabling a collaboration between humans and computers in which each does what it can do best. Anyone interested in how AI is changing the practice of law should read this illuminating wo

This new book provides a focused set of topics suitable for advanced undergraduate or graduate courses on lightning. It presents the current state of the art in lightning science including areas such as lightning modeling, calculation of lightning electromagnetic fields, electromagnetic methods of lightning location, and lightning damaging effects and protective techniques. Pedagogical features designed to facilitate class learning include end-of-chapter summaries, further reading suggestions, questions and problems, and a glossary explaining key lightning and atmospheric electricity terms. A selection of appendices are provided at the end of the book, which include detailed derivations of exact equations for computing electric and magnetic fields produced by lightning. Designed for a single-semester course on lightning and its effects, and written in a style accessible to technical non-experts, this book will also be a useful, up-to-date reference for scientists, engineers and practit

Featuring detailed explanations of the major algorithms used in quantum Monte Carlo simulations, this is the first textbook of its kind to provide a pedagogical overview of the field and its applications. The book provides a comprehensive introduction to the Monte Carlo method, its use, and its foundations, and examines algorithms for the simulation of quantum many-body lattice problems at finite and zero temperature. These algorithms include continuous-time loop and cluster algorithms for quantum spins, determinant methods for simulating fermions, power methods for computing ground and excited states, and the variational Monte Carlo method. Also discussed are continuous-time algorithms for quantum impurity models and their use within dynamical mean-field theory, along with algorithms for analytically continuing imaginary-time quantum Monte Carlo data. The parallelization of Monte Carlo simulations is also addressed. This is an essential resource for graduate students, teachers, and re

Information seeking is a fundamental human activity. In the modern world, it is frequently conducted through interactions with search systems. The retrieval and comprehension of information returned by these systems is a key part of decision making and action in a broad range of settings. Advances in data availability coupled with new interaction paradigms, and mobile and cloud computing capabilities, have created a broad range of new opportunities for information access and use. In this comprehensive book for professionals, researchers, and students involved in search system design and evaluation, search expert Ryen White discusses how search systems can capitalize on new capabilities and how next-generation systems must support higher order search activities such as task completion, learning, and decision making. He outlines the implications of these changes for the evolution of search evaluation, as well as challenges that extend beyond search systems in areas such as privacy and so

Designing algorithms to recommend items such as news articles and movies to users is a challenging task in numerous web applications. The crux of the problem is to rank items based on users' responses to different items to optimize for multiple objectives. Major technical challenges are high dimensional prediction with sparse data and constructing high dimensional sequential designs to collect data for user modeling and system design. This comprehensive treatment of the statistical issues that arise in recommender systems includes detailed, in-depth discussions of current state-of-the-art methods such as adaptive sequential designs (multi-armed bandit methods), bilinear random-effects models (matrix factorization) and scalable model fitting using modern computing paradigms like MapReduce. The authors draw upon their vast experience working with such large-scale systems at Yahoo! and LinkedIn, and bridge the gap between theory and practice by illustrating complex concepts with examples

The majority of empirical research in economics ignores the potential benefits of nonparametric methods, while the majority of advances in nonparametric theory ignore the problems faced in applied econometrics. This book helps bridge this gap between applied economists and theoretical nonparametric econometricians. It discusses in depth, and in terms that someone with only one year of graduate econometrics can understand, basic to advanced nonparametric methods. The analysis starts with density estimation and motivates the procedures through methods that should be familiar to the reader. It then moves on to kernel regression, estimation with discrete data, and advanced methods such as estimation with panel data and instrumental variables models. The book pays close attention to the issues that arise with programming, computing speed, and application. In each chapter, the methods discussed are applied to actual data, paying attention to presentation of results and potential pitfalls.

The majority of empirical research in economics ignores the potential benefits of nonparametric methods, while the majority of advances in nonparametric theory ignore the problems faced in applied econometrics. This book helps bridge this gap between applied economists and theoretical nonparametric econometricians. It discusses in depth, and in terms that someone with only one year of graduate econometrics can understand, basic to advanced nonparametric methods. The analysis starts with density estimation and motivates the procedures through methods that should be familiar to the reader. It then moves on to kernel regression, estimation with discrete data, and advanced methods such as estimation with panel data and instrumental variables models. The book pays close attention to the issues that arise with programming, computing speed, and application. In each chapter, the methods discussed are applied to actual data, paying attention to presentation of results and potential pitfalls.

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later.

The Cambridge Handbook of Engineering Education Research is the critical reference source for the growing field of engineering education research, featuring the work of world luminaries writing to define and inform this emerging field. The Handbook draws extensively on contemporary research in the learning sciences, examining how technology affects learners and learning environments, and the role of social context in learning. Since a landmark issue of the Journal of Engineering Education (2005), in which senior scholars argued for a stronger theoretical and empirically driven agenda, engineering education has quickly emerged as a research-driven field increasing in both theoretical and empirical work drawing on many social science disciplines, disciplinary engineering knowledge, and computing. The Handbook is based on the research agenda from a series of interdisciplinary colloquia funded by the US National Science Foundation and published in the Journal of Engineering Education in Oc

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

The advent of accessible student computing packages has meant that geophysics students can now easily manipulate datasets and gain first-hand modeling experience - essential in developing an intuitive understanding of the physics of the Earth. Yet to gain a more in-depth understanding of physical theory, and to develop new models and solutions, it is necessary to be able to derive the relevant equations from first principles. This compact, handy book fills a gap left by most modern geophysics textbooks, which generally do not have space to derive all of the important formulae, showing the intermediate steps. This guide presents full derivations for the classical equations of gravitation, gravity, tides, earth rotation, heat, geomagnetism and foundational seismology, illustrated with simple schematic diagrams. It supports students through the successive steps and explains the logical sequence of a derivation - facilitating self-study and helping students to tackle homework exercises and

The advent of accessible student computing packages has meant that geophysics students can now easily manipulate datasets and gain first-hand modeling experience - essential in developing an intuitive understanding of the physics of the Earth. Yet to gain a more in-depth understanding of physical theory, and to develop new models and solutions, it is necessary to be able to derive the relevant equations from first principles. This compact, handy book fills a gap left by most modern geophysics textbooks, which generally do not have space to derive all of the important formulae, showing the intermediate steps. This guide presents full derivations for the classical equations of gravitation, gravity, tides, earth rotation, heat, geomagnetism and foundational seismology, illustrated with simple schematic diagrams. It supports students through the successive steps and explains the logical sequence of a derivation - facilitating self-study and helping students to tackle homework exercises and

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-o

This text takes a practical, step-by-step approach to algebraic curves and surface interpolation motivated by the understanding of the many practical applications in engineering analysis, approximation, and curve plotting problems. Because of its usefulness for computing, the algebraic approach is the main theme, but a brief discussion of the synthetic approach is also presented as a way of gaining additional insight before proceeding with the algebraic manipulation. The authors start with simple interpolation, including splines, and extend this in an intuitive fashion to the production of conic sections. They then introduce projective co-ordinates as tools for dealing with higher order curves and singular points. They present many applications and concrete examples, including parabolic interpolation, geometric approximation, and the numerical solution of trajectory problems. In the final chapter they apply the basic theory to the construction of finite element basis functions and surf

This new, thoroughly revised edition of the acclaimed Cambridge Encyclopedia of Language incorporates the major developments in language study which have taken place since the mid 1990s. Two main new areas have been added: the rise of electronic communication in all its current forms from email to texting, and the crisis affecting the world's languages, of which half are thought to be so seriously endangered that they will die out this century. • All language statistics have been updated, and additional information provided about their linguistic affiliation • All topics involving technology have been revised to take account of recent developments, notably in phonetics, language disability, and computing • Maps have been revised to include new countries or country names • Special attention has been paid to fast-moving areas such as language teaching and learning • The text design has been completely updated with many new illustrations throughout

The famous and prolific nineteenth-century mathematician, engineer and inventor Charles Babbage (1791–1871) was an early pioneer of computing. He planned several calculating machines, but none was built in his lifetime. On his death his youngest son, Henry P. Babbage, was charged with the task of completing an unfinished volume of papers on the machines, which was finally published in 1889 and is reissued here. The papers, by a variety of authors, were collected from journals including The Philosophical Magazine, The Edinburgh Review and Scientific Memoirs. They relate to the construction and potential application of Charles Babbage's calculating engines, notably the Difference Engine and the more complex Analytical Engine, which was to be programmed using punched cards. The book also includes correspondence with members of scientific societies, as well as proceedings, catalogues and drawings. Included is a complete catalogue of the drawings of the Analytical Engine.

Path integrals provide a powerful method for describing quantum phenomena. This book introduces the quantum mechanics of particles that move in curved space by employing path integrals and then using them to compute anomalies in quantum field theories. The authors start by deriving path integrals for particles moving in curved space and their supersymmetric generalizations. They then discuss the regularization schemes essential to constructing and computing these path integrals. This topic is used to introduce regularization and renormalization in quantum field theories in a wider context. These methods are then applied to discuss and calculate anomalies in quantum field theory. Such anomalies provide enormous constraints in the search for physical theories of elementary particles, quantum gravity and string theories. An advanced text for researchers and graduate students of quantum field theory and string theory, the first part is also a stand-alone introduction to path integrals in q

The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.

The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.

Number theory and algebra play an increasingly significant role in computing and communications, as evidenced by the striking applications of these subjects to such fields as cryptography and coding theory. This introductory book emphasizes algorithms and applications, such as cryptography and error correcting codes, and is accessible to a broad audience. The presentation alternates between theory and applications in order to motivate and illustrate the mathematics. The mathematical coverage includes the basics of number theory, abstract algebra and discrete probability theory. This edition now includes over 150 new exercises, ranging from the routine to the challenging, that flesh out the material presented in the body of the text, and which further develop the theory and present new applications. The material has also been reorganized to improve clarity of exposition and presentation. Ideal as a textbook for introductory courses in number theory and algebra, especially those geared t

本書圍繞不斷快速發展的可信計算學科展開全書內容，其內容涵蓋了如何使用可信計算模塊(TPM)提供安全解決方案，并討淪了如何編碼實現。本書介紹了TPM的基本功能以及如何編寫代碼通過標準TCC(Trusted Computing Group，可信計算組織)軟件棧訪問這些功能，同時還提供了相關范例，并討論了利用TPM能夠實現的解決方案。本書簡明實用，可作為高等院校相關專業的教材或教學參考書，同時也適合軟件