Sciweavers

762 search results - page 120 / 153
» Finding SHA-1 Characteristics: General Results and Applicati...
Sort
View
SIGSOFT
2010
ACM
13 years 6 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
BMCBI
2010
105views more  BMCBI 2010»
13 years 8 months ago
A knowledge-guided strategy for improving the accuracy of scoring functions in binding affinity prediction
Background: Current scoring functions are not very successful in protein-ligand binding affinity prediction albeit their popularity in structure-based drug designs. Here, we propo...
Tiejun Cheng, Zhihai Liu, Renxiao Wang
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
14 years 1 months ago
Controllability of the rotation of a quantum planar molecule
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
Ugo V. Boscain, Thomas Chambrion, Paolo Mason, Mar...
BMCBI
2008
148views more  BMCBI 2008»
13 years 8 months ago
StAR: a simple tool for the statistical comparison of ROC curves
Background: As in many different areas of science and technology, most important problems in bioinformatics rely on the proper development and assessment of binary classifiers. A ...
Ismael A. Vergara, Tomás Norambuena, Evandr...
WWW
2009
ACM
14 years 9 months ago
Evaluating similarity measures for emergent semantics of social tagging
Social bookmarking systems and their emergent information structures, known as folksonomies, are increasingly important data sources for Semantic Web applications. A key question ...
Benjamin Markines, Ciro Cattuto, Filippo Menczer, ...