282 search results - page 28 / 57 » An Algebraic Method for Analyzing Open-Loop Dynamic Systems |
94
Voted
ENTCS
2006
15 years 15 days ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
108
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we report on an interactive system and the results ofa formal user study that was carried out with the aim of comparing two approaches to estimating users' int...
107
click to vote
BMCBI
2010
15 years 18 days ago
2010
Background: Codon substitution constitutes a fundamental process in molecular biology that has been studied extensively. However, prior studies rely on various assumptions, e.g. r...
103
Voted
BMCBI
2006
15 years 16 days ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...
90
Voted
BMCBI
2010
15 years 18 days ago
2010
Background: Mitochondrial DNA (mtDNA) is widely being used for population genetics, forensic DNA fingerprinting and clinical disease association studies. The recent past has uncov...