6800 search results - page 916 / 1360 » Testing with Functions as Specifications |
173
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
183
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: In past number of methods have been developed for predicting subcellular location of eukaryotic, prokaryotic (Gram-negative and Gram-positive bacteria) and human prote...
199
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
220
click to vote
ASE
2005
15 years 6 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
177
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Structure-dependent substitution matrices increase the accuracy of sequence alignments when the 3D structure of one sequence is known, and are successful e.g. in fold ...