Sciweavers

4762 search results - page 70 / 953
» About the use of protein models
Sort
View
109
Voted
ESOP
2010
Springer
15 years 11 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
ISBI
2008
IEEE
16 years 2 months ago
Flexible image registration for the identification of best fitted protein models in 3D-EM maps
In this work we propose an image registration algorithm to automatically fit protein atomic domain models into medium-resolution three-dimensional electron microscopy reconstructi...
Andrés Santos, Carlos Oscar Sánchez ...
PADL
2004
Springer
15 years 6 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
UAI
1994
15 years 2 months ago
A Logic for Default Reasoning About Probabilities
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...
Manfred Jaeger
BMCBI
2008
116views more  BMCBI 2008»
15 years 1 months ago
IgTM: An algorithm to predict transmembrane domains and topology in proteins
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...
Piedachu Peris, Damián López, Marcel...