Sciweavers

4074 search results - page 125 / 815
» Defining Computational Aesthetics
Sort
View
CSL
2010
Springer
13 years 11 months ago
From Feasible Proofs to Feasible Computations
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
Jan Krajícek
BMCBI
2008
106views more  BMCBI 2008»
13 years 10 months ago
Identification of hot-spot residues in protein-protein interactions by computational docking
Background: The study of protein-protein interactions is becoming increasingly important for biotechnological and therapeutic reasons. We can define two major areas therein: the s...
Solène Grosdidier, Juan Fernández-Re...
JCC
2008
195views more  JCC 2008»
13 years 10 months ago
pyVib, a computer program for the analysis of infrared and Raman optical activity
: A new program called pyVib has been developed as a tool for the analysis of Gaussian (Gaussian 03, Gaussian Inc., Pittsburgh, PA) outputs of vibrational absorption (IR), Raman as...
Mohamed Zerara
ENGL
2007
100views more  ENGL 2007»
13 years 10 months ago
Utilizing Computational Intelligence to Assist in Software Release Decision
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
Tong-Seng Quah, Mie Mie Thet Thwin
BMCBI
2005
94views more  BMCBI 2005»
13 years 10 months ago
Computational identification of strain-, species- and genus-specific proteins
Background: The identification of unique proteins at different taxonomic levels has both scientific and practical value. Strain-, species- and genus-specific proteins can provide ...
Raja Mazumder, Darren A. Natale, Sudhir Murthy, Ra...