2918 search results - page 348 / 584 » Design tools for reliability analysis |
201
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
190
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Matrix metalloproteinases (MMPs) are well-known biological targets implicated in tumour progression, homeostatic regulation, innate immunity, impaired delivery of pro-...
177
click to vote
ALMOB
2006
15 years 6 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
171
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Channel current feature extraction methods, using Hidden Markov Models (HMMs) have been designed for tracking individual-molecule conformational changes. This informat...
162
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Detection of Loss of Heterozygosity (LOH) is one of the most common molecular applications in the study of human diseases, in particular cancer. The technique is commo...