1
Publicado em 2015
Sumário: ... -- Parallel Donor Genotyping For 46 Selected Blood Group and 4 Human Platelet Antigens Using High-Throughput...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Assuntos: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ...Invited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2011
Sumário: ... of swarm intelligence -- Multilevel Data Classification and Function Approximation Using Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2014
Sumário: ... Tension Vector -- A Deployable Parallel Wrist with Simple Kinematics -- Geometric Derivation of 6R...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ... Pessiland -- Pseudorandom Generators from One-Way Functions: A Simple Construction for Any Hardness...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Por Bjørner, Dines., Bjørner, Dines.
Publicado em 2006
Sumário: ... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Sumário: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... Using Co-EM -- Nonrigid Embeddings for Dimensionality Reduction -- Multi-view Discriminative Sequential...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2014
Sumário: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2015
Sumário: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Sumário: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... System for Power Quality Improvement in Grid-Parallel Microgrid -- A Distance Sorting Based Multi...
Obter o texto integral
Recurso Electrónico livro electrónico