Sciweavers

4353 search results - page 4 / 871
» Computational Challenges of Systems Biology
Sort
View
BMCBI
2007
89views more  BMCBI 2007»
14 years 9 months ago
Highlights from the Third International Society for Computational Biology Student Council Symposium at the Fifteenth Annual Inte
In this meeting report we give an overview of the 3rd International Society for Computational Biology Student Council Symposium. Furthermore, we explain the role of the Student Co...
Nils Gehlenborg, Manuel Corpas, Sarath Chandra Jan...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 4 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
ASM
2010
ASM
14 years 7 months ago
Specifying Self-configurable Component-Based Systems with FracToy
Alban Tiberghien, Philippe Merle, Lionel Seinturie...