7117 search results - page 159 / 1424 » IT Governance Frameworks as Methods |
159
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
177
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
155
click to vote
IJCAI
1989
15 years 7 months ago
1989
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mass spectrometry (MS) coupled with online separation methods is commonly applied for differential and quantitative profiling of biological samples in metabolomic as w...
180
click to vote
SCFBM
2008
15 years 5 months ago
2008
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...