Search alternatives:
program verification » formal verification
microarrays » microarray
https » http
1
Publicado 2015
Table of Contents: ...A Discrete Event System Based Approach for Obfuscated Malware Detection -- Quantification...
Ligazón do recurso
Electrónico eBook
2
Publicado 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ...-Based Approaches to Quantitative Medical Image Analysis and Image-Based Decision Making -- Optimal Field...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... in Microarray-Based Detection of Cancer -- An Evolutionary Multi-objective Optimization of Market Structures...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... Accuracy of Economical Indexes Prediction -- A Distance-Based Method for Preference Information Retrieval...
Ligazón do recurso
Electrónico eBook
6
Publicado 2014
Table of Contents: ... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
Ligazón do recurso
Electrónico eBook
8
Publicado 2008
Table of Contents: ... Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming...
Ligazón do recurso
Electrónico eBook