3136 search results - page 185 / 628 » Genetic programming theory |
132
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
An automated web based tool for assigning HIV-1 pure and recombinant subtypes within unaligned sequences is presented. The system combines the BLAST search algorithm and the recom...
150
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Many common disorders have multiple genetic components which convey increased susceptibility. SNPs have been used to identify genetic components which are associated w...
168
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
188
click to vote
NORDSEC
2009
Springer
16 years 28 days ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
143
click to vote
BIOINFORMATICS
1999
15 years 6 months ago
1999
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...