Computing

Topological Phases of Matter are an exceptionally dynamic field of research: several of the most exciting recent experimental discoveries and conceptual advances in modern physics have originated in this field. These have generated new, topological, notions of order, interactions and excitations. This text provides an accessible, unified and comprehensive introduction to the phenomena surrounding topological matter, with detailed expositions of the underlying theoretical tools and conceptual framework, alongside accounts of the central experimental breakthroughs. Among the systems covered are topological insulators, magnets, semimetals, and superconductors. The emergence of new particles with remarkable properties such as fractional charge and statistics is discussed alongside possible applications such as fault-tolerant topological quantum computing. Suitable as a textbook for graduate or advanced undergraduate students, or as a reference for more experienced researchers, the book ass

Handbook of Computational Intelligence in Biomedical Engineering and Healthcare helps readers analyze and conduct advanced research in specialty healthcare applications surrounding oncology, genomics and genetic data, ontologies construction, bio-memetic systems, biomedical electronics, protein structure prediction, and biomedical data analysis. The book provides the reader with a comprehensive guide to advanced computational intelligence, spanning deep learning, fuzzy logic, connectionist systems, evolutionary computation, cellular automata, self-organizing systems, soft computing, and hybrid intelligent systems in biomedical and healthcare applications. Sections focus on important biomedical engineering applications, including biosensors, enzyme immobilization techniques, immuno-assays, and nanomaterials for biosensors and other biomedical techniques.Other sections cover gene-based solutions and applications through computational intelligence techniques and the impact of nonlinear/un

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.

Statutory interpretation involves the reconstruction of the meaning of a legal statement when it cannot be considered as accepted or granted. This phenomenon needs to be considered not only from the legal and linguistic perspective, but also from the argumentative one - which focuses on the strategies for defending a controversial or doubtful viewpoint. This book draws upon linguistics, legal theory, computing, and dialectics to present an argumentation-based approach to statutory interpretation. By translating and summarizing the existing legal interpretative canons into eleven patterns of natural arguments - called argumentation schemes - the authors offer a system of argumentation strategies for developing, defending, assessing, and attacking an interpretation. Illustrated through major cases from both common and civil law, this methodology is summarized in diagrams and maps for application to computer sciences. These visuals help make the structures, strategies, and vulnerabilities

Book Link's Lasting Connection 2020 TitleIn this clever, convivial picture book, an Indian boy untangles a mathematical conundrum to win a place at the Rajah's court.In ancient India, a boy named Bhagat travels to the Rajah's city, hoping to ensure his family's prosperity by winning a place at court as a singer. Bhagat carries his family's entire fortune--a single coin and a chain of seven golden rings--to pay for his lodging. But when the innkeeper demands one ring per night, and every link snipped costs one coin, how can Bhagat both break the chain and avoid overpaying? His inventive solution points the way to an unexpected triumph, and offers readers a friendly lesson in binary numbers--the root of all computing.

Boolean functions are essential to systems for secure and reliable communication. This comprehensive survey of Boolean functions for cryptography and coding covers the whole domain and all important results, building on the author's influential articles with additional topics and recent results. A useful resource for researchers and graduate students, the book balances detailed discussions of properties and parameters with examples of various types of cryptographic attacks that motivate the consideration of these parameters. It provides all the necessary background on mathematics, cryptography, and coding, and an overview on recent applications, such as side channel attacks on smart cards, cloud computing through fully homomorphic encryption, and local pseudo-random generators. The result is a complete and accessible text on the state of the art in single and multiple output Boolean functions that illustrates the interaction between mathematics, computer science, and telecommunications

本書系統地講解了雲計算(Cloud Computing)產生與發展的基本概況以及公有雲、私有雲和混合雲的架構特點與應用領域；闡述了SaaS、PaaS和IaaS 3種雲計算服務模式的功用和特點，為全面瞭解雲計算奠定了基礎。為了更深入地瞭解雲計算技術內涵，本書講解了構建雲計算系統架構的開放平臺OpenStack技術；分析了構成雲計算技術核心的虛擬化(Virtualization)、並行計算(Paral

《物聯網ABC》一書以臺大電機系「物聯網導論」課程與實作教材為基礎，同時結合人工智慧（AI）、大數據（Big Data）及雲端運算（Cloud Computing）等資通訊技術，歷經三年試教與反覆修正後編撰而成。本書參照「網宇實體系統」（Cyber-Physical System，簡稱CPS）架構，涵蓋其中的感測控制（Connected Things）、網路傳輸（Conversion）、虛實統合（

Our technologies are progressively developing into algorithmic devices that seamlessly interface with digital personhood. This text discusses the ways in which technology is increasingly becoming a part of personhood and the resulting ethical issues. It extends upon the framework for a brain-based cyberpsychology outlined by the author's earlier book Cyberpsychology and the Brain: The Interaction of Neuroscience and Affective Computing (Cambridge, 2017). Using this framework, Thomas D. Parsons investigates the ethical issues involved in cyberpsychology research and praxes, which emerge in algorithmically coupled people and technologies. The ethical implications of these ideas are important as we consider the cognitive enhancements that can be afforded by our technologies. If people are intimately linked to their technologies, then removing or damaging the technology could be tantamount to a personal attack. On the other hand, algorithmic devices may threaten autonomy and privacy. This

Our technologies are progressively developing into algorithmic devices that seamlessly interface with digital personhood. This text discusses the ways in which technology is increasingly becoming a part of personhood and the resulting ethical issues. It extends upon the framework for a brain-based cyberpsychology outlined by the author's earlier book Cyberpsychology and the Brain: The Interaction of Neuroscience and Affective Computing (Cambridge, 2017). Using this framework, Thomas D. Parsons investigates the ethical issues involved in cyberpsychology research and praxes, which emerge in algorithmically coupled people and technologies. The ethical implications of these ideas are important as we consider the cognitive enhancements that can be afforded by our technologies. If people are intimately linked to their technologies, then removing or damaging the technology could be tantamount to a personal attack. On the other hand, algorithmic devices may threaten autonomy and privacy. This

Network flow theory has been used across a number of disciplines, including theoretical computer science, operations research, and discrete math, to model not only problems in the transportation of goods and information, but also a wide range of applications from image segmentation problems in computer vision to deciding when a baseball team has been eliminated from contention. This graduate text and reference presents a succinct, unified view of a wide variety of efficient combinatorial algorithms for network flow problems, including many results not found in other books. It covers maximum flows, minimum-cost flows, generalized flows, multicommodity flows, and global minimum cuts and also presents recent work on computing electrical flows along with recent applications of these flows to classical problems in network flow theory.

Network flow theory has been used across a number of disciplines, including theoretical computer science, operations research, and discrete math, to model not only problems in the transportation of goods and information, but also a wide range of applications from image segmentation problems in computer vision to deciding when a baseball team has been eliminated from contention. This graduate text and reference presents a succinct, unified view of a wide variety of efficient combinatorial algorithms for network flow problems, including many results not found in other books. It covers maximum flows, minimum-cost flows, generalized flows, multicommodity flows, and global minimum cuts and also presents recent work on computing electrical flows along with recent applications of these flows to classical problems in network flow theory.

Discover the very latest game-theoretic approaches for designing, modeling, and optimizing emerging wireless communication networks and systems with this unique text. Providing a unified and comprehensive treatment throughout, it explains basic concepts and theories for designing novel distributed wireless networking mechanisms, describes emerging game-theoretic tools from an engineering perspective, and provides an extensive overview of recent applications. A wealth of new tools is covered - including matching theory and games with bounded rationality - and tutorial chapters show how to use these tools to solve current and future wireless networking problems in areas such as 5G networks, network virtualization, software defined networks, cloud computing, the Internet of Things, context-aware networks, green communications, and security. This is an ideal resource for telecommunications engineers, and researchers in industry and academia who are working on the design of efficient, scala

Radio astronomy is an active and rapidly expanding field due to advances in computing techniques, with several important new instruments on the horizon. This text provides a thorough introduction to radio astronomy and its contribution to our understanding of the universe, bridging the gap between basic introductions and research-level treatments. It begins by covering the fundamentals physics of radio techniques, before moving on to single-dish telescopes and aperture synthesis arrays. Fully updated and extensively rewritten, the fourth edition places greater emphasis on techniques, with detailed discussion of interferometry in particular, and comprehensive coverage of digital techniques in the appendices. The science sections are fully revised, with new author Peter N. Wilkinson bringing added expertise to the sections on pulsars, quasars and active galaxies. Spanning the entirety of radio astronomy, this is an engaging introduction for students and researchers approaching radio astr

For courses in electrical & computing engineering. Feedback control fundamentals with context, case studies, and a focus on design Feedback Control of Dynamic Systems, 8th Edition, covers the material that every engineer needs to know about feedback control-including concepts like stability, tracking, and robustness. Each chapter presents the fundamentals along with comprehensive, worked-out examples, all within a real-world context and with historical background provided.The text is devoted to supporting students equally in their need to grasp both traditional and more modern topics of digital control, and the author's focus on design as a theme early on, rather than focusing on analysis first and incorporating design much later. An entire chapter is devoted to comprehensive case studies, and the 8th Edition has been revised with up-to-date information, along with brand-new sections, problems, and examples.

Algorithmic Aspects of Graph Connectivity is the first comprehensive book on this central notion in graph and network theory, emphasizing its algorithmic aspects. Because of its wide applications in the fields of communication, transportation, and production, graph connectivity has made tremendous algorithmic progress under the influence of the theory of complexity and algorithms in modern computer science. The book contains various definitions of connectivity, including edge-connectivity and vertex-connectivity, and their ramifications, as well as related topics such as flows and cuts. The authors thoroughly discuss new concepts and algorithms that allow for quicker and more efficient computing, such as maximum adjacency ordering of vertices. Covering both basic definitions and advanced topics, this book can be used as a textbook in graduate courses in mathematical sciences, such as discrete mathematics, combinatorics, and operations research, and as a reference book for specialists i

Interest in nonparametric methodology has grown considerably over the past few decades, stemming in part from vast improvements in computer hardware and the availability of new software that allows practitioners to take full advantage of these numerically intensive methods. This book is written for advanced undergraduate students, intermediate graduate students, and faculty, and provides a complete teaching and learning course at a more accessible level of theoretical rigor than Racine's earlier book co-authored with Qi Li, Nonparametric Econometrics: Theory and Practice (2007). The open source R platform for statistical computing and graphics is used throughout in conjunction with the R package np. Recent developments in reproducible research is emphasized throughout with appendices devoted to helping the reader get up to speed with R, R Markdown, TeX and Git.

This user-friendly textbook introduces complex analysis at the beginning graduate or advanced undergraduate level. Unlike other textbooks, it follows Weierstrass' approach, stressing the importance of power series expansions instead of starting with the Cauchy integral formula, an approach that illuminates many important concepts. This view allows readers to quickly obtain and understand many fundamental results of complex analysis, such as the maximum principle, Liouville's theorem, and Schwarz's lemma. The book covers all the essential material on complex analysis, and includes several elegant proofs that were recently discovered. It includes the zipper algorithm for computing conformal maps, as well as a constructive proof of the Riemann mapping theorem, and culminates in a complete proof of the uniformization theorem. Aimed at students with some undergraduate background in real analysis, though not Lebesgue integration, this classroom-tested textbook will teach the skills and intui

The healthcare systems in the US and globally are undergoing a period of rapid transformation. Medical technology breakthroughs, economic pressures and demographic trends are driving that transformati

本書是中國科協新一代信息技術系列叢書之一。 本書分為基礎篇､技術篇､應用篇和發展篇四個部分。 基礎篇從身邊的雲計算出發，介紹在新技術革命推動下及產業變革的需求牽引下，雲計算產生的時代背景､發展歷程及雲計算系統的系統架構；技術篇介紹了雲計算系統的使能技術､雲計算系統的管理與服務､雲計算安全三個方面；應用篇針對工業､農

Businesses are rushing to collect personal data to fuel surging demand. Data enthusiasts claim personal information that's obtained from the commercial internet, including mobile platforms, social networks, cloud computing, and connected devices, will unlock path-breaking innovation, including advanced data security. By contrast, regulators and activists contend that corporate data practices too often disempower consumers by creating privacy harms and related problems. As the Internet of Things matures and facial recognition, predictive analytics, big data, and wearable tracking grow in power, scale, and scope, a controversial ecosystem will exacerbate the acrimony over commercial data capture and analysis. The only productive way forward is to get a grip on the key problems right now and change the conversation. That's exactly what Jules Polonetsky, Omer Tene, and Evan Selinger do. They bring together diverse views from leading academics, business leaders, and policymakers to discuss

《計算機科學導論(第5版)》結合理論講解和實際應用，嚴格按照教育部高教司主持評審的《中國計算機科學與技術學科教程2002》進行編寫，並參照美國計算機學會和美國電氣和電子工程師協會的計算教程(Computing Curricula，CC)，對計算機科學與技術進行系統化和科學化闡述。本書具體介紹了計算機體系結構與組織、程序設計語言、程序設計基礎、算法與複雜性、信息管理、軟件工程、操作系統、網絡計算、圖

This book presents an integrated collection of representative approaches for scaling up machine learning and data mining methods on parallel and distributed computing platforms. Demand for parallelizing learning algorithms is highly task-specific: in some settings it is driven by the enormous dataset sizes, in others by model complexity or by real-time performance requirements. Making task-appropriate algorithm and platform choices for large-scale machine learning requires understanding the benefits, trade-offs and constraints of the available options. Solutions presented in the book cover a range of parallelization platforms from FPGAs and GPUs to multi-core systems and commodity clusters, concurrent programming frameworks including CUDA, MPI, MapReduce and DryadLINQ, and learning settings (supervised, unsupervised, semi-supervised and online learning). Extensive coverage of parallelization of boosted trees, SVMs, spectral clustering, belief propagation and other popular learning algo

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

本書從基本概念、設計方法和應用實例三個方面入手，系統全面地介紹了嵌入式系統、信息物理系統、物聯網、普適計算等方面的基礎知識和基本原理，並介紹了信息物聯網融合系統在數字製造/工業4.0方面的應用場景和社會影響。本書既可以作為相關專業高年級本科生和研究生的教材，也適用於相關領域的學者和工業界人士。