Sciweavers

2 search results - page 1 / 1
» Argudas: arguing with gene expression information
Sort
View
CORR
2010
Springer
115views Education» more  CORR 2010»
13 years 1 months ago
Argudas: arguing with gene expression information
Abstract. In situ hybridisation gene expression information helps biologists identify where a gene is expressed. However, the databases that republish the experimental information ...
Kenneth McLeod, Gus Ferguson, Albert Burger
CLEIEJ
2006
88views more  CLEIEJ 2006»
13 years 5 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda