This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide...
This textbook introduces sparse and redundant representations with a focus on applications in signal and image processing. The theoretical and numerical foundations are tackled before the applications are discussed. Mathematical modeling for signal sources is discussed along with how to use the proper model for tasks such as denoising,...
Pure Data (Pd) is a programming language for digital audio and more. Written by Miller Puckette in the 1990s and under active development ever since, Pd has established itself as one of the leading open-source packages for computer music, and it remains largely interoperable with its commercial cousin, Max/MSP. A Pd program,...
This book offers concise and unbiased presentations by synthetic and analytical chemists who have been involved in creating and moving the field of combinatorial chemistry into the academic and industrial mainstream. Since the synthetic method often dictates the appropriate types of analysis, each chapter or section begins with a description...
Covers important name reactions relevant to heterocyclic chemistry
The field of heterocyclic chemistry has long presented a special challenge for chemists. Because of the enormous amount and variety of information, it is often a difficult topic to cover for undergraduate and graduate chemistry students, even in simplified...
The silencing of gene expression by small interfering RNAs has been recognized for only a relatively short time, but this has transformed our understanding of both transcriptional and post-transcriptional gene regulatory mechanisms. Multiple pathways culminate in formation of an RNA-induced silencing complex (RISC) containing a member of the...
This book presents efficient and practical methods for the synthesis of various functionalized organic molecules from haloalkynes through different reaction processes such as cross-coupling reactions, nucleophilic additions and cycloadditions. It consists of four chapters demonstrating interesting examples of these transformations, and...
One of the more revolutionary parts of the MPEG-4 International Standard is the Face and Body Animation, or FBA: the specification for efficient coding of shape and animation of human faces and bodies. This specification is a result of collaboration of experts with different backgrounds ranging from image coding and compression to video analysis,...
"Air Transport and the Environment" provides an overview of the main issues relating to aviation environmental impacts. It explains the challenge facing policymakers in terms of sustainable development, focusing on the importance of balancing the industry's economic, social and environmental costs and benefits, both for people...
The world's mid-ocean ridges form a single, connected global ridge system that is part of every ocean, and is the longest mountain range in the world. Geologically active, mid-ocean ridges are key sites of tectonic movement, intimately involved in seafloor spreading. This coursebook presents a multidisciplinary approach to the science of...
This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).
Three major software verification techniques are discussed: Semantic program synthesis and...
Mobility has become increasingly important for both business and casual users of computing technology. With the widespread adoption of portable computing devices, such as laptops, PDAs, tablet computers, music players, and cell phones, people can have almost constant access to their personal data as well as to information that is shared with...