1
Publicado em 2013
Sumário: ... Propositional Logic -- The Relative Power of Semantics and Unification -- First-Order Resolution Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Li, Xingfeng., Li, Xingfeng.
Publicado em 2014
Sumário: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2015
Sumário: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Por Nölting, Bengt., Nölting, Bengt.
Publicado em 2010
Sumário: ... probe microscopy -- Biophysical nanotechnology -- Proteomics: high throughput protein functional...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Por Nölting, Bengt., Nölting, Bengt.
Publicado em 2006
Sumário: ... probe microscopy -- Biophysical nanotechnology -- Proteomics: high throughput protein functional...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Por Lopez, Cesar., Lopez, Cesar.
Publicado em 2014
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2013
Sumário: ... -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2001
Sumário: ... Strategy -- Diagnosis of Penicillin Resistance by PCR-RFLP -- Detection Methods of Glycopeptide-Resistant...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Assuntos: ...Biochemistry, general. https://scigraph.springernature.com/ontologies/product-market-codes/L14005...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2013
Sumário: ... Crystallography: Methods and Examples -- Processing of Electron Diffraction Patterns with the XDP Program...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Obter o texto integral
Recurso Electrónico livro electrónico
15
... slowed the development of suitable TILLING targets. Another method, high-resolution melting (HRM), which...
Obter o texto integral
Artigo
16
Publicado em 2006
Sumário: ... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ... on Threshold of Regular Random k-SAT -- Dynamic Scoring Functions with Variable Expressions: New SLS Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2006
Sumário: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
Obter o texto integral
Recurso Electrónico livro electrónico