Sciweavers

1901 search results - page 149 / 381
» Predicting Program Properties from
Sort
View
BIB
2007
82views more  BIB 2007»
15 years 3 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi
BMCBI
2004
130views more  BMCBI 2004»
15 years 2 months ago
PATTERNFINDER: combined analysis of DNA regulatory sequences and double-helix stability
Background: Regulatory regions that function in DNA replication and gene transcription contain specific sequences that bind proteins as well as less-specific sequences in which th...
Yanlin Huang, David Kowalski
129
Voted
ICALP
2001
Springer
15 years 7 months ago
Symbolic Trace Analysis of Cryptographic Protocols
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
Michele Boreale
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 3 months ago
The Light of Existence
This chapter derives the properties of light from the properties of processing, including its ability to be both a wave and a particle, to detect objects it doesn't touch, to...
Brian Whitworth
LION
2009
Springer
135views Optimization» more  LION 2009»
15 years 9 months ago
Neural Network Pairwise Interaction Fields for Protein Model Quality Assessment
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
Alberto J. M. Martin, Alessandro Vullo, Gianluca P...