Acomputing cloudis more thana collection of computer resources, because it provides mechanisms to manage those resources. In a cloud computing platform, software is migrating from the desktop to the "clouds," promising users, at any time and anywhere, access to their...

Cultural heritages include rich information related to social, historical and cultural values. Affected by climate, environmental and other factors, some valuable heritage information is threatened through destruction or disappearance, and some is still not utilized sufficiently. How to investigate and utilize such information...

Digital electronic circuits are the engines of cell phones, MPEG players, digital cameras, com puters, data servers, personal digital devices, GPS displays, and many other consumer prod ucts that process and use information in a digital format. This book presents a basic treatment of digital circuits and the fundamental concepts used in their...

Computer graphics systems are capable of generating stunningly realistic images of objects that have never physically existed. In order for computers to create these accurately detailed images, digital models of appearance must include robust data to give viewers a credible visual impression of the depicted materials. In particular, digital...

On the other hand, marketing online isn’t rocket science. This book charts a practical course of action to put your business Web site to work,...

Mathematically, computability theory originates from the concept of an algorithm. It leads to a classification of functions according...

Storage technologies have fundamentally changed the landscape of digital media in a profound way. Gone are the days of using a single hard disk drive on a workstation as the sole means to store digital content. Nearly vanished is the practice of capturing video and audio only on videotape. The practice of transferring videotape...

Since the first edition of Semantic Web for the Working Ontologist came out in June 2008, we have been encouraged by the reception the book has received. Practitioners from a wide variety of industries— health care, energy, environmental science, life sciences, national intelligence, and publishing, to name a few—have told...

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

We have been very pleased, beyond our expectations, with the reception of the first edition of this book. Bioinformatics, however, continues to evolve very rapidly, hence the need for a new edition. In the past three years, fullgenome sequencing has blossomed with the completion of the sequence of the fly and the first draft of the...

The story of software engineering has been the story of increasing the level of abstraction at which we as programmers work, from logic encoded in hardware to toggle switches representing binary digits, through machine code, assembly language, low-level languages, and high-level languages both procedural and functional. More recently,...

The deluge of data observed throughout research and industry has turned the analysis of the resulting information into the primary limiting factor for the rapid progress of science, engineering, and medicine. The field of visualization strives to tackle this data analysis challenge by devising visual representations that afford users an...