Computing

International contributors in informatics, electrical engineering, and computer science give insight on the current research status of service-oriented computing (SOC) and service-oriented architectur

Advancements in computing, instrumentation, robotics, digital imaging, and simulation modeling have changed science into a technology-driven institution. Government, industry, and society increasingly

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.

R by Example is an example-based introduction to the statistical computing environment that does not assume any previous familiarity with R or other software packages. R functions are presented in the

CUTTING-EDGE DEVELOPMENTS IN HIGH-FREQUENCY FINANCIAL ECONOMETRICSIn recent years, the availability of high-frequency data and advances in computing have allowed financial practitioners to design syst

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, T

If you intend to use Amazon Web Services (AWS) for remote computing and storage, Python is an ideal programming language for developing applications and controlling your cloud-based infrastructure. Th

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices

Cloud computing is the latest market-oriented computing paradigm which brings software design and development into a new era characterized by “XaaS”, i.e. everything as a service. Cloud workflows, as

This six-volume-set (CCIS 231, 232, 233, 234, 235, 236) constitutes the refereed proceedings of the International Conference on Computing, Information and Control, ICCIC 2011, held in Wuhan, China, in

If you're a tech company, the most dramatic effect of megatrends like cloud computing, managed services, and the rise of consumer technology won't be felt in your company's product line. The true disr

Barnes (Lab for Social Computing, Rochester Institute of Technology) presents an undergraduate-level introductory textbook on visual literacy and communication that incorporates a broad array of appro

Moore (computing and information systems, Leeds Metropolitan U., UK) et al. compile 15 research projects aimed at improving the educational prospects of disabled people, focusing on themes of technolo

Graf (computing and information systems, Athabasca U., Canada) et al. bring together 21 articles on the integration of intelligent support and adaptive features into learning systems to provide a bett

The classic, landmark work on software testingThe hardware and software of computing have changed markedly in the three decades since the first edition of The Art of Software Testing, but this book's

MacBook in Easy Steps focuses on this area of mobile computing and contains all of the information you need to use MacBooks for both business and pleasure.MacBook in Easy Steps also covers the MacBook

Dive into the RStudio Integrated Development Environment (IDE) for using and programming R, the popular open source software for statistical computing and graphics. This concise book provides new and

Defining and computing a greatest common divisor of two polynomials with inexact coefficients is a classical problem in symbolic-numeric computation. The first part of this book reviews the main resul

This book explains how today's computing and communications world operates, from hardware through software to the Internet and the web. It includes enough detail that you can understand how these syst

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide techniques and analysis

Examining the future of advertising from the perspective of pervasive computing, this book envisions a fully interactive digital cityscape where surfaces are digitalized with sponsored content that pa

The computing world today is in the middle of a revolution: mobile clients and cloud computing have emerged as the dominant paradigms driving programming and hardware innovation today. The Fifth Editi

In the development of optimal control, the complexity of the systems?to which it is applied?has increased significantly, becoming an issue in scientific computing. In order to carry out model-reductio

This book is for students following an introductory course in numerical methods, numerical techniques or numerical analysis. It introduces MATLAB as a computing environment for experimenting with nume

Master Oracle Real Application ClustersMaintain a dynamic enterprise computing infrastructure with expert instruction from an Oracle ACE. Oracle Database 11g Oracle Real Application Clusters Handbook,

Mac Computing for Seniors in Easy Steps begins with an overview of Mac computers, covering different types of desktops and laptops that are available and gives a tour around them so that you quickly f

This collection of twelve articles on emerging mobile computing technology showcases current scholarship in autonomous systems and ubiquitous computing. The works cover a variety of technologies, and

Intended for information technology professionals, system architects, and executives in charge of information systems, this volume discusses the rationale behind implementing cloud computing and virtu

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 current rapid development in both computing power and the ability to present and mine complex data sets in useful ways provides the backdrop to Intelligence Management: Knowledge Driven Frameworks

This collection of eleven articles on human computer interaction highlights current research in integrated computing systems for both public and personal transportation. Topics discussed include trave

Since the 1990s Grid Computing has emerged as a paradigm for accessing and managing distributed, heterogeneous and geographically spread resources, promising that we will be able to access computer po

To solve performance problems in modern computing infrastructures, often comprising thousands of servers running hundreds of applications, spanning multiple tiers, you need tools that go beyond mere r

This country house in the Buckinghamshire countryside was home to Britain’s most brilliant mathematical brains and the scene of immense advances in technology?indeed, the birth of modern computing. Th

INTEGRATED COMPUTER APPLICATIONS 6E challenges users to combine all of the tools of Microsoft Office 2010 plus Web computing to create relevant workplace solutions. Real-world projects plus an easy-to

This monograph integrates theoretical perspectives on affect and learning with recent research in affective computing with an emphasis on building new learning technologies. The "new perspectives" com

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.

This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In