Computing

Storytelling is a fundamental mode of everyday interaction. This book is based upon the Narrative Corpus (NC), a specialized corpus of naturally occurring narratives, and provides new paths for its study. Christoph Rühlemann uses the NC's narrative-specific annotation and XPath and XQuery, query languages that allow the retrieval of complex data structures, to facilitate large-scale quantitative investigations into how narrators and recipients collaborate in storytelling. Empirical analyses are validated using R, a programming language and environment for statistical computing and graphics. Using this unique data and methodological base, Rühlemann reveals new insights, including the discovery of turntaking patterns specific to narrative, the first investigation of textual colligation in spoken data, the unearthing of how speech reports, as discourse units, form striking patterns at utterance level, and the identification of the story climax as the sequential context in which recipient

This is the first comprehensive introduction to the powerful moment approach for solving global optimization problems (and some related problems) described by polynomials (and even semi-algebraic functions). In particular, the author explains how to use relatively recent results from real algebraic geometry to provide a systematic numerical scheme for computing the optimal value and global minimizers. Indeed, among other things, powerful positivity certificates from real algebraic geometry allow one to define an appropriate hierarchy of semidefinite (SOS) relaxations or LP relaxations whose optimal values converge to the global minimum. Several extensions to related optimization problems are also described. Graduate students, engineers and researchers entering the field can use this book to understand, experiment with and master this new approach through the simple worked examples provided.

This is the first comprehensive introduction to the powerful moment approach for solving global optimization problems (and some related problems) described by polynomials (and even semi-algebraic functions). In particular, the author explains how to use relatively recent results from real algebraic geometry to provide a systematic numerical scheme for computing the optimal value and global minimizers. Indeed, among other things, powerful positivity certificates from real algebraic geometry allow one to define an appropriate hierarchy of semidefinite (SOS) relaxations or LP relaxations whose optimal values converge to the global minimum. Several extensions to related optimization problems are also described. Graduate students, engineers and researchers entering the field can use this book to understand, experiment with and master this new approach through the simple worked examples provided.

本書《MATLAB數值計算》（2013修訂版）經MATLAB、數值分析和科學計算之父Cleve Moler 本人 正式授權，是Numerical Computing with MATLAB 2008/2013修訂版的中譯本。該書不 以深奧的數值分析理論為內容，而以易於理解的數學思維和便於掌握的數學計算編程技術為 教學

The recent financial crisis has heightened the need for appropriate methodologies for managing and monitoring complex risks in financial markets. The measurement, management, and regulation of risks in portfolios composed of credits, credit derivatives, or life insurance contracts is difficult because of the nonlinearities of risk models, dependencies between individual risks, and the several thousands of contracts in large portfolios. The granularity principle was introduced in the Basel regulations for credit risk to solve these difficulties in computing capital reserves. In this book, authors Patrick Gagliardini and Christian Gouriéroux provide the first comprehensive overview of the granularity theory and illustrate its usefulness for a variety of problems related to risk analysis, statistical estimation, and derivative pricing in finance and insurance. They show how the granularity principle leads to analytical formulas for risk analysis that are simple to implement and accurate e

The recent financial crisis has heightened the need for appropriate methodologies for managing and monitoring complex risks in financial markets. The measurement, management, and regulation of risks in portfolios composed of credits, credit derivatives, or life insurance contracts is difficult because of the nonlinearities of risk models, dependencies between individual risks, and the several thousands of contracts in large portfolios. The granularity principle was introduced in the Basel regulations for credit risk to solve these difficulties in computing capital reserves. In this book, authors Patrick Gagliardini and Christian Gouriéroux provide the first comprehensive overview of the granularity theory and illustrate its usefulness for a variety of problems related to risk analysis, statistical estimation, and derivative pricing in finance and insurance. They show how the granularity principle leads to analytical formulas for risk analysis that are simple to implement and accurate e

Aircraft Design explores fixed winged aircraft design at the conceptual phase of a project. Designing an aircraft is a complex multifaceted process embracing many technical challenges in a multidisciplinary environment. By definition, the topic requires intelligent use of aerodynamic knowledge to configure aircraft geometry suited specifically to the customer's demands. It involves estimating aircraft weight and drag and computing the available thrust from the engine. The methodology shown here includes formal sizing of the aircraft, engine matching, and substantiating performance to comply with the customer's demands and government regulatory standards. Associated topics include safety issues, environmental issues, material choice, structural layout, understanding flight deck, avionics, and systems (for both civilian and military aircraft). Cost estimation and manufacturing considerations are also discussed. The chapters are arranged to optimize understanding of industrial approaches

Today's pervasive computing and communications networks have created an intense need for secure and reliable cryptographic systems. Bringing together a fascinating mixture of topics in engineering, mathematics, computer science, and informatics, this book presents the timeless mathematical theory underpinning cryptosystems both old and new. Major branches of classical and modern cryptography are discussed in detail, from basic block and stream cyphers through to systems based on elliptic and hyperelliptic curves, accompanied by concise summaries of the necessary mathematical background. Practical aspects such as implementation, authentication and protocol-sharing are also covered, as are the possible pitfalls surrounding various cryptographic methods. Written specifically with engineers in mind, and providing a solid grounding in the relevant algorithms, protocols and techniques, this insightful introduction to the foundations of modern cryptography is ideal for graduate students and r

Simulation and Behavioral Modeling of Analogue Systems focuses on numerical simulations of analogue systems by use of functional behavioral models, presenting a MATLAB toolbox optimized for NVIDIA GPU

Our modern connected world depends on fast and efficient networks to operate. Without global data networks modern society would come to an abrupt halt. There would be no email, no internet access, n

Perceptual organization is the neuro-cognitive process that enables us to perceive scenes as structured wholes consisting of objects arranged in space. Simplicity in Vision explores the intriguing idea that these perceived wholes are given by the simplest organizations of the scenes. Peter A. van der Helm presents a truly multidisciplinary approach to answer fundamental questions such as: Are simplest organizations sufficiently reliable to guide our actions? What is the nature of the regularities that are exploited to arrive at simplest organizations? To account for the high combinatorial capacity and speed of the perceptual organization process, he proposes transparallel processing by hyperstrings. This special form of distributed processing not only gives classical computers the extraordinary computing power that seemed reserved for quantum computers, but also explains how neuronal synchronization relates to flexible self-organizing cognitive architecture in between the relatively ri

《普通高等教育“十一五”國家級規劃教材．21世紀大學本科計算機專業系列教材：軟件工程（第2版）》系統地介紹了軟件工程的概念、原理、過程及主要方法，內容上覆蓋了ACM和IEEE最新制定的Computing Curricula中有關軟件工程的主要知識點。本書在介紹軟件工程的基本概念和基本原理的基礎上，重點介紹軟件開發方法和技術，包括經典的和常用的方法，如結構化方法、面向數據結構方法和面向對象方法，以及

本書討論幾何計算（geometry computing），它的主體是幾何，要解決的對象是幾何的定義、構造、度量、變換與關係處理。幾何計算在計算機圖形學、計算機輔助設計與製造、計算幾何以及醫學圖像處理、機械、船舶、建築、醫學、生物、藝術、運動學與機器人等領域均會有所應用。

Recent decades have brought advances in statistical theory for missing data, which, combined with advances in computing ability, have allowed implementation of a wide array of analyses. In fact, so many methods are available that it can be difficult to ascertain when to use which method. This book focuses on the prevention and treatment of missing data in longitudinal clinical trials. Based on his extensive experience with missing data, the author offers advice on choosing analysis methods and on ways to prevent missing data through appropriate trial design and conduct. He offers a practical guide to key principles and explains analytic methods for the non-statistician using limited statistical notation and jargon. The book's goal is to present a comprehensive strategy for preventing and treating missing data, and to make available the programs used to conduct the analyses of the example dataset.

Recent decades have brought advances in statistical theory for missing data, which, combined with advances in computing ability, have allowed implementation of a wide array of analyses. In fact, so many methods are available that it can be difficult to ascertain when to use which method. This book focuses on the prevention and treatment of missing data in longitudinal clinical trials. Based on his extensive experience with missing data, the author offers advice on choosing analysis methods and on ways to prevent missing data through appropriate trial design and conduct. He offers a practical guide to key principles and explains analytic methods for the non-statistician using limited statistical notation and jargon. The book's goal is to present a comprehensive strategy for preventing and treating missing data, and to make available the programs used to conduct the analyses of the example dataset.

●NEW SCAFFOLDED EXERCISES: At the beginning of problem sets, new basic exercises reinforce key skills and build student confidence to prepare them for more rigorous exercises and conceptual understanding.●NEW EXPLANATIONS AND EXAMPLES: Careful refinements throughout provide even greater clarity on key concepts such as computing volumes of revolution and setting up triple integrals.●NEW SUBHEADINGS: Additional subsections within chapters help instructors and students find key content more easily to make the text an even more helpful teaching and learning tool.●NEW WEBASSIGN RESOURCES: New digital resources in WebAssign include Explore It interactive learning modules, the MindTap reader for interactive and mobile ebook access, enhanced remediation support, and improved problem types.

The masses of neutron stars are limited by an instability to gravitational collapse and an instability driven by gravitational waves limits their spin. Their oscillations are relevant to x-ray observations of accreting binaries and to gravitational wave observations of neutron stars formed during the coalescence of double neutron-star systems. This volume includes more than forty years of research to provide graduate students and researchers in astrophysics, gravitational physics and astronomy with the first self-contained treatment of the structure, stability and oscillations of rotating neutron stars. This monograph treats the equations of stellar equilibrium; key approximations, including slow rotation and perturbations of spherical and rotating stars; stability theory and its applications, from convective stability to the r-mode instability; and numerical methods for computing equilibrium configurations and the nonlinear evolution of their oscillations. The presentation of fundamen

Covering point process theory, random geometric graphs and coverage processes, this rigorous introduction to stochastic geometry will enable you to obtain powerful, general estimates and bounds of wireless network performance and make good design choices for future wireless architectures and protocols that efficiently manage interference effects. Practical engineering applications are integrated with mathematical theory, with an understanding of probability the only prerequisite. At the same time, stochastic geometry is connected to percolation theory and the theory of random geometric graphs and accompanied by a brief introduction to the R statistical computing language. Combining theory and hands-on analytical techniques with practical examples and exercises, this is a comprehensive guide to the spatial stochastic models essential for modelling and analysis of wireless network performance.

1. 新加坡雲端運算應用政策分析 (2012/10/30) 2. 行動應用浪潮下的雲端運算市場發展趨勢 (2012/10/24) 簡報檔 3. 新興運算風潮下， 資料中心發展趨勢與商機 (2012/10/18)簡報檔 4. 主要國家雲端運算推動項目與應用政策 (2012/8/21) 5. 從2012紐約Cloud Computing Expo觀察雲端產業發展趨勢 (2012/6/2

1. 從Smart TV Alliance及中智盟看智慧電視推展關鍵議題 (2012/10/31) 2. New Computing趨勢下電視產品與應用之發展契機 (2012/10/18) 簡報檔 3. Smart TV市場與產品發展趨勢 (2012/8/24) 4. TV Apps發展分析 (2012/7/30) 5. 中國智慧電視品牌策略布局分析 (2012/7/27) 6

《大學光電與電子專業實驗雙語教程》由張永康主編，是為大學本科光電及電子類專業實驗課程進行雙語教學而編寫的一本新型教材，主要取材于加拿大勞瑞爾大學(Wilfrid Laurier University)光子專業(Photonics Program)和計算機電子專業(Computing and Computer Electronics Program)本科二、三年級的實驗教材。本書共包含32個實驗，由

~成功取得IC3國際證照必勝秘笈~本書是專為通過IC3(Internet and Computing Core Certification)計算機綜合能力國際認證而準備的教材。架構完整，完全符合IC3應考範圍之要求，加上作者豐富的教學經驗與實地應考之過程分享。內容特色如下：■ 在「計算機基礎」方面，具備計算機的基礎知識，包含電腦軟硬體、周邊設備及作業系統；在「常用應用軟體」方面，以Office的軟

In this 1991 book, Hilbers discusses the general case of how to use processors simultaneously in order to solve a single problem rather than any specific application, and develops a theory independent of particular architectures. He starts by introducing distributed computing with graph theory, and considers processor networks and their price/performance ratios. He goes on to look at obtaining homogeneous distributions of work over networks and considers examples. Finally he discusses message routing within a processor network. This is intended to be a fundamental treatment of the relevant subjects and is aimed at computer scientists and graduate students in computer science who have experience with parallel processing: it will also be useful to others interested in processor networks.

雲端運算(Cloud Computing) 之意義，是將原儲存在本地電腦的資料，交由雲端網站(Cloud Site) 儲存；原由本地電腦之運算，交由雲端網站運算。本系列書有兩冊，內容豐富，範例導引，具高度實用性。本書適用於資訊相關科系，以大專院校課程教學需求，精要編撰3篇共13章：(1) 雲端網站訊息應用(Cloud Information)：範例實作解說雲端網頁使用訊息(Popularity a

雲端運算為近年來深受關注的議題之一，各種雲端運算服務陸續地推出市面，如何在現有雲端運算服務下開創新的發展機會，也成為產業界關注的焦點。 因此，本書根據Cloud Computing Journal與Red Herring於2011年的年度評選名單，挑選出25家具代表性的雲端運算創新服務案例，並將其區分為資訊工具、企業應用與個人應用三大類型，以進行商業模式分析。

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

《計算機科學導論》參照國際電子電氣工程師學會（IEEE）、美國計算機學會（ACM）發表的“計算學科2005 教程（Computing Curricula 2005）以及中國計算機學會和全國高等學校計算機教育研究會發布的《中國計算機科學與技術學科教程2002》中的相關內容和主要精神，主要介紹了計算機的發展與組成、程序設計的語言與方法、數據庫系統及其應用、操作系統、計算機網絡技術基礎、軟件工程、數據結

雲端運算為近年來深受關注的議題之一，各種雲端運算服務陸續地推出市面，如何在現有雲端運算服務下開創新的發展機會，也成為產業界關注的焦點。 因此，本書根據Cloud Computing Journal與Red Herring於2011年的年度評選名單，挑選出25家具代表性的雲端運算創新服務案例，並將其區分為資訊工具、企業應用與個人應用三大類型，以進行商業模式分析。

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

雲端運算(Cloud Computing) 之意義，是將原儲存在本地電腦(Local Machine) 的資料(Information)，交由雲端網站(Cloud Site) 儲存；原由本地電腦之運算，交由雲端網站運算。本系列書有兩冊，內容豐富，範例導引，具高度實用性。本書適用於資訊相關科系，以大專院校課程教學需求，精要編撰3篇共14章：(1) 雲端運算之意義與Java工具(Cloud Compu

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

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Number theory is one of the oldest and most appealing areas of mathematics. Computation has always played a role in number theory, a role which has increased dramatically in the last 20 or 30 years, both because of the advent of modern computers, and because of the discovery of surprising and powerful algorithms. As a consequence, algorithmic number theory has gradually emerged as an important and distinct field with connections to computer science and cryptography as well as other areas of mathematics. This text provides a comprehensive introduction to algorithmic number theory for beginning graduate students, written by the leading experts in the field. It includes several articles that cover the essential topics in this area, and in addition, there are contributions pointing in broader directions, including cryptography, computational class field theory, zeta functions and L-series, discrete logarithm algorithms, and quantum computing.

Best known for his theory of electromagnetism, James Clerk Maxwell (1831–79) was Cambridge University's first Cavendish Professor of Experimental Physics. Albert Einstein described his work as 'the most profound and the most fruitful that physics has experienced since the time of Newton'. He carried out brilliant work in thermodynamics and statistical mechanics, laying the foundation for the kinetic theory of gases. This book, published originally in 1871, summarises his work in this field. It includes the 'Maxwell relations' that still feature in every standard text on thermodynamics. It also outlines his famous thought experiment, later named Maxwell's 'demon'. This idea, which appeared to contradict the second law of thermodynamics, would inspire scientific debate well into the twentieth century. More recently, it has sparked developments in the new sciences of nanotechnology and quantum computing.

The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results.

This concise, self-contained and cohesive book focuses on commonly used and recently developed methods for designing and analyzing high-throughput screening (HTS) experiments from a statistically sound basis. Combining ideas from biology, computing and statistics, the author explains experimental designs and analytic methods that are amenable to rigorous analysis and interpretation of RNAi HTS experiments. The opening chapters are carefully presented to be accessible both to biologists with training only in basic statistics and to computational scientists and statisticians with basic biological knowledge. Biologists will see how new experiment designs and rudimentary data-handling strategies for RNAi HTS experiments can improve their results, whereas analysts will learn how to apply recently developed statistical methods to interpret HTS experiments.

This concise, self-contained and cohesive book focuses on commonly used and recently developed methods for designing and analyzing high-throughput screening (HTS) experiments from a statistically sound basis. Combining ideas from biology, computing and statistics, the author explains experimental designs and analytic methods that are amenable to rigorous analysis and interpretation of RNAi HTS experiments. The opening chapters are carefully presented to be accessible both to biologists with training only in basic statistics and to computational scientists and statisticians with basic biological knowledge. Biologists will see how new experiment designs and rudimentary data-handling strategies for RNAi HTS experiments can improve their results, whereas analysts will learn how to apply recently developed statistical methods to interpret HTS experiments.

A passionate and personal account of the early days of quantum information and quantum computing, this unique book is a collection of more than 500 letters between the author and many of the founders of these intriguing fields. Christopher A. Fuchs is one of the most penetrating modern thinkers on the philosophical foundations of quantum mechanics. This remarkable book follows his journey as he comes to grips with the quantum world. It contains correspondence with Charles Bennett, Gilles Brassard, Rolf Landauer, N. David Mermin, Michael Nielsen, Asher Peres, John Preskill, Abner Shimony, William Wootters, Anton Zeilinger, and many others. Filled with diary entries, anecdotes, historical selections, and research ideas, this book will fascinate physicists, philosophers, and historians of science.

The evolutionary history of species is traditionally represented using a rooted phylogenetic tree. However, when reticulate events such as hybridization, horizontal gene transfer or recombination are believed to be involved, phylogenetic networks that can accommodate non-treelike evolution have an important role to play. This book provides the first interdisciplinary overview of phylogenetic networks. Beginning with a concise introduction to both phylogenetic trees and phylogenetic networks, the fundamental concepts and results are then presented for both rooted and unrooted phylogenetic networks. Current approaches and algorithms available for computing phylogenetic networks from different types of datasets are then discussed, accompanied by examples of their application to real biological datasets. The book also summarises the algorithms used for drawing phylogenetic networks, along with the existing software for their computation and evaluation. All datasets, examples and other addi

Relational mathematics is to operations research and informatics what numerical mathematics is to engineering: it is intended to help modelling, reasoning, and computing. Its applications are therefore diverse, ranging from psychology, linguistics, decision aid, and ranking to machine learning and spatial reasoning. Although many developments have been made in recent years, they have rarely been shared amongst this broad community of researchers. This comprehensive 2010 overview begins with an easy introduction to the topic, assuming a minimum of prerequisites; but it is nevertheless theoretically sound and up to date. It is suitable for applied scientists, explaining all the necessary mathematics from scratch using a multitude of visualised examples, via matrices and graphs. It ends with tangible results on the research level. The author illustrates the theory and demonstrates practical tasks in operations research, social sciences and the humanities.