Search Results - program verification programming using microarray https

Search alternatives:
verification programming » specification programming , identification programming , verification program
program verification » formal verification
using microarray » using microarrays , dna microarray , cdna microarray
microarray https » microarrays https , microarray chips , microscopy https

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Published 2010

Table of Contents: “... Learning Vector Quantization -- Cost Optimization of a Localized Irrigation System Using Genetic Algorithms...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
View full text

Electronic eBook

Frontiers in Algorithmics Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... for Mining Subtle Signals in Time Course Microarray Data -- A PTAS for the k-Consensus Structures Problem...”
View full text

Electronic eBook

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming -- Modelling...”
View full text

Electronic eBook

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Published 2014

Table of Contents: “... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...”
View full text

Electronic eBook

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /

Published 2008

Table of Contents: “... Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming...”
View full text

Electronic eBook

Advances in Communication and Computing

Published 2015

Table of Contents: “... Inference System -- Active Learning using Fuzzy K-NN for Cancer Classification from Microarray Gene...”
View full text

Electronic eBook

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Published 2005

Table of Contents: “... Variables in Bayesian Networks -- Kernel K-Means for Categorical Data -- Using Genetic Algorithms to Improve...”
View full text

Electronic eBook

Narrow Search