Sciweavers

5159 search results - page 332 / 1032
» Structural Testing of Executables
Sort
View
BMCBI
2008
146views more  BMCBI 2008»
15 years 7 months ago
Can molecular dynamics simulations help in discriminating correct from erroneous protein 3D models?
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
Jean-François Taly, Antoine Marin, Jean-Fra...
ATS
2009
IEEE
111views Hardware» more  ATS 2009»
16 years 2 months ago
Dynamic Compaction in SAT-Based ATPG
SAT-based automatic test pattern generation has several advantages compared to conventional structural procedures, yet often yields too large test sets. We present a dynamic compa...
Alejandro Czutro, Ilia Polian, Piet Engelke, Sudha...
OOPSLA
2004
Springer
16 years 19 days ago
Chianti: a tool for change impact analysis of java programs
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryd...
ISMB
2000
15 years 8 months ago
Genomic Fold Assignment and Rational Modeling of Proteins of Biological Interest
The first available genome of a multicellular organism, C. elegans, was used as a test case for protein fold assignment using PSI-BLAST, followed by rational structure modeling an...
J. Michael Sauder, Roland L. Dunbrack Jr.
PROCEDIA
2010
109views more  PROCEDIA 2010»
15 years 2 months ago
Ridge regression ensemble for toxicity prediction
Traditional methods of assessing chemical toxicity of various compounds require tests on animals, which raises ethical concerns and is expensive. Current legislation may lead to a...
Marcin Budka, Bogdan Gabrys