Sciweavers

1526 search results - page 51 / 306
» Computer algebra in systems biology
Sort
View
TCBB
2008
137views more  TCBB 2008»
15 years 1 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
CMSB
2006
Springer
15 years 5 months ago
Probabilistic Model Checking of Complex Biological Pathways
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
John Heath, Marta Z. Kwiatkowska, Gethin Norman, D...
BMVC
2002
15 years 4 months ago
Modelling life cycle related and individual shape variation in biological specimens
The main purpose of this research is to develop methods for automatic identification of biological specimens in digital photographs and drawings held in a database. Incorporation ...
Y. A. Hicks, A. David Marshall, Ralph R. Martin, P...
CLUSTER
2005
IEEE
15 years 3 months ago
SymbioticSphere: Towards an Autonomic Grid Network System
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...
Paskorn Champrasert, Chonho Lee, Junichi Suzuki
BMCBI
2008
149views more  BMCBI 2008»
15 years 2 months ago
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
Olivier Bastien, Eric Maréchal