10715 search results - page 1810 / 2143 » From Tests to Proofs |
198
click to vote
JCB
2002
15 years 6 months ago
2002
The use of DNA microarrays for the analysis of complex biological samples is becoming a mainstream part of biomedical research. One of the most commonly used methods compares the ...
151
click to vote
JCC
2002
15 years 6 months ago
2002
: A protocol is described for the treatment of molecular polarization in force field calculations. The resulting model is consistent in that both inter- and intramolecular polariza...
194
click to vote
JAIR
1998
15 years 6 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
157
click to vote
JAIR
1998
15 years 6 months ago
1998
Using an improved backtrack algorithm with sophisticated pruning techniques, we revise previous observations correlating a high frequency of hard to solve Hamiltonian cycle instan...
221
click to vote
DATAMINE
1999
15 years 6 months ago
1999
Abstract. We describe a scalable parallel implementation of the self organizing map (SOM) suitable for datamining applications involving clustering or segmentation against large da...