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