Sciweavers

2416 search results - page 103 / 484
» What is a Biological Function
Sort
View
122
Voted
ASM
2000
ASM
15 years 9 months ago
An ASM Dynamic Semantics for Standard ML
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Steven C. Cater, James K. Huggins
144
Voted
ASM
2008
ASM
15 years 6 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
ISMB
1994
15 years 5 months ago
An Intelligent System for Comparing Protein Structures
Anapproachto protein structure comparisonis presented whichuses techniquesof artificial intelligence (AI) generate a mappingbetweentwoprotein structures. The approachproceedsby fi...
Ethan Benatan
ISMB
1994
15 years 5 months ago
Neural Networks for Determining Protein Specificity and Multiple Alignment of Binding Sites
Weuse a quantitative definition of specificity to developa neural networkfor the identification of commonprotein binding sites in a collection of unaligned DNAfragments. Wedemonst...
John M. Heumann, Alan S. Lapedes, Gary D. Stormo
NAR
2006
98views more  NAR 2006»
15 years 4 months ago
oGNM: online computation of structural dynamics using the Gaussian Network Model
An assessment of the equilibrium dynamics of biomolecular systems, and in particular their most cooperativefluctuationsaccessibleundernativestate conditions, is a first step towar...
Lee-Wei Yang, A. J. Rader, Xiong Liu, Christopher ...