129 search results - page 15 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
127
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
VIS
2006
IEEE
16 years 1 months ago
2006
IEEE
With the explosive growth of proteomic and expression data of homologous genes, it becomes necessary to explore new methods to visualize and analyze related gene expression data t...
105
click to vote
COMAD
2008
15 years 1 months ago
2008
An important problem in biological data analysis is to predict the family of a newly discovered sequence like a protein or DNA sequence, using the collection of available sequence...
196
click to vote
ECCB
2008
IEEE
15 years 15 days ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
114
click to vote
BMCBI
2006
15 years 12 days ago
2006
Background: The use of exogenous small interfering RNAs (siRNAs) for gene silencing has quickly become a widespread molecular tool providing a powerful means for gene functional s...