Sciweavers

2502 search results - page 75 / 501
» Using probabilistic model checking in systems biology
Sort
View
BMCBI
2004
208views more  BMCBI 2004»
13 years 9 months ago
Using 3D Hidden Markov Models that explicitly represent spatial coordinates to model and compare protein structures
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
Vadim Alexandrov, Mark Gerstein
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
14 years 2 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
FLAIRS
2004
13 years 10 months ago
Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
Derek Harter, Robert Kozma
BIBE
2009
IEEE
252views Bioinformatics» more  BIBE 2009»
14 years 3 months ago
Multi-Agents System to Model Cell Signalling by Using Fuzzy Cognitive Maps. Application to Computer Simulation of Multiple Myelo
—In order to simulate biological processes, we use multi-agents system. However, modelling cell behavior in systems biology is complex and may be based on intracellular biochemic...
Vincent Rodin, Gabriel Querrec, Pascal Ballet, Fra...
RECOMB
2004
Springer
14 years 9 months ago
A discriminative model for identifying spatial cis-regulatory modules
Transcriptional regulation is mediated by the coordinated binding of transcription factors to the upstream regions of genes. In higher eukaryotes, the binding sites of cooperating...
Eran Segal, Roded Sharan