3136 search results - page 185 / 628 » Genetic programming theory |
104
Voted
SAC
2009
ACM
15 years 11 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...
124
click to vote
BMCBI
2008
15 years 4 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...
140
click to vote
LICS
2005
IEEE
15 years 10 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...
153
click to vote
NORDSEC
2009
Springer
15 years 11 months 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...
115
Voted
BIOINFORMATICS
1999
15 years 4 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...