Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

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...

Sparse and Redundant Representations: From Theory to Applications in Signal and Image Processing
Sparse and Redundant Representations: From Theory to Applications in Signal and Image Processing

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,...

Making Musical Apps: Real-time audio synthesis on Android and iOS
Making Musical Apps: Real-time audio synthesis on Android and iOS
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,...
High Throughput Analysis for Early Drug Discovery
High Throughput Analysis for Early Drug Discovery

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...

Name Reactions in Heterocyclic Chemistry
Name Reactions in Heterocyclic Chemistry
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...

miRNA Regulation of the Translational Machinery (Progress in Molecular and Subcellular Biology)
miRNA Regulation of the Translational Machinery (Progress in Molecular and Subcellular Biology)

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...

Haloalkyne Chemistry (SpringerBriefs in Molecular Science)
Haloalkyne Chemistry (SpringerBriefs in Molecular Science)
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...
MPEG-4 Facial Animation: The Standard, Implementation and Applications
MPEG-4 Facial Animation: The Standard, Implementation and Applications
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
Air Transport and the Environment

"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...

Mid-Ocean Ridges
Mid-Ocean Ridges

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...

Software Verification and Analysis: An Integrated, Hands-On Approach
Software Verification and Analysis: An Integrated, Hands-On Approach
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...

Replicated Data Management for Mobile Computing (Synthesis Lectures on Mobile and Pervasive Computing)
Replicated Data Management for Mobile Computing (Synthesis Lectures on Mobile and Pervasive Computing)
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...
unlimited object storage image
Result Page: 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy