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