1
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Toolkit -- Formal Use of Design Patterns and Refactoring -- A Component-Based Access Control Monitor...
View full text
Electronic eBook
4
Published 2014
Table of Contents: .... Kerber, J. Reininghaus and U. Bauer -- 8 Parallel Computation of Nearly Recurrent Components of Piecewise...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... of Nerve Fibres. 3. CLINICAL IMPLANTS. 3.1.Electrodes – The Key Component in Neural Prostheses. 3.2.Cardiac...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- On the Use of Cognitive Neuroscience in Industrial Applications by using Neuroelectromagnetic Recordings -- A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Potential Using Parallel Particle Swarm Optimization Algorithm -- An Artificial Bee Colony Algorithm...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ...RNA as Major Components in Chemical Evolvable Systems -- How the Early Genetic Code Was Established...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Components -- Using Cloud Storage in Production Monitoring Systems -- Speech Processing Application Based...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Multi-dimensional Analysis Strategy -- Using Progressive Logarithmic Tilted Time Frame for Cloud-Based...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
View full text
Electronic eBook
19
Table of Contents: ...: Precedence and Progressive Prioritization -- Ascribed Advantage, Subordination Schematic and ORDIT Ordering...
View full text
Electronic eBook