3808 search results - page 25 / 762 » Perspectives on Systems Biology |
CLEIEJ
2006
13 years 8 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
ENTCS
2007
13 years 8 months ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
BMCBI
2006
13 years 8 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...
BMCBI
2008
13 years 8 months ago
2008
In this meeting report we give an overview of the talks and presentations from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium held as ...