1
Table of Contents: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Types -- Lock Free Data Structures Using STM in Haskell -- XML Type Checking Using High-Level Tree...
View full text
Electronic eBook
3
Published 2012
Subjects: ...Atomic/Molecular Structure and Spectra. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
4
Subjects: ...Nucleic Acid Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/L14011...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...Imaging and Image Analysis -- Local Wall-Motion Classification in Echocardiograms Using Shape...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
13
Table of Contents: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... and Engineering -- Parallelized Transient Elastic Wave Propagation in Orthotropic Structures -- Parallel Numerical...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... for Functional and Structural Studies -- Insoluble Protein Purification with Sarkosyl: Facts and Precautions...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Structure Learning Using Node Juxtaposition Distributions -- Analyzing the Credit Default Swap Market Using...
View full text
Electronic eBook