1424 search results - page 18 / 285 » Improving on Version Stamps |
89
Voted
JCC
2002
14 years 10 months ago
2002
: The predictor-corrector method for following a reduced gradient (RGF) to determine saddle points [Quapp, W. et al., J Comput Chem 1998, 19, 1087] is further accelerated by a modi...
180
click to vote
ICDE
2009
IEEE
16 years 19 days ago
2009
IEEE
Immortal DB is a transaction time database system that is built into a commercial database system rather than being layered on top. This enables it to have performance that is very...
CEC
2010
IEEE
14 years 7 months ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
106
Voted
NAR
2011
14 years 1 months ago
2011
We updated the plant transcription factor (TF) database to version 2.0 (PlantTFDB 2.0, http:// planttfdb.cbi.pku.edu.cn) which contains 53 319 putative TFs predicted from 49 speci...
84
Voted
JLP
2007
14 years 10 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...