1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Table of Contents: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... using Affymetrix and Ilumina SNP Array Data -- Targeted Screening and Validation of Copy Nuber...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
6
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
7
Published 2013
Table of Contents: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- Current Definitions of Alcohol Use Disorders and the Use of Validated Questionnaires in Clinical Practice...
View full text
Electronic eBook
9
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
10
Table of Contents: ... of PID Regulators for Type I Control Loops -- Changes on the Current State of the Art....
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... -- Form-Finding of Architectural Membranes in a CAD-Environment Using the AiCAD-Concept -- Balancing...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Simulation of a NFA with k–Symbol Lookahead -- Mobility Management Using Virtual Domain in IPv6-Based...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Origins -- Adaptations and Evolution of the Cranium -- Jaw-Muscle Function and the Origin of Primates...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Towards Integrative Functional Genomics Using Yeast as a Reference Model -- Metabolomics...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Loss-of-Function Studies in Mouse Embryonic Stem Cells Using the pHYPER shRNA Plasmid Vector...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
View full text
Electronic eBook
19
Published 2011
Table of Contents: ... of swarm intelligence -- Multilevel Data Classification and Function Approximation Using Hierarchical...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... -- Finding Functional Structures in Ggioma Gene-Expressions Using Gene Shaving Clustering and MDL Principle...
View full text
Electronic eBook