Sciweavers

9 search results - page 2 / 2
» A computer scientist's reactions to NPfIT
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
13 years 11 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...
BMCBI
2010
113views more  BMCBI 2010»
13 years 4 months ago
Use of historic metabolic biotransformation data as a means of anticipating metabolic sites using MetaPrint2D and Bioclipse
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...
Lars Carlsson, Ola Spjuth, Samuel Adams, Robert C....
BMCBI
2006
179views more  BMCBI 2006»
13 years 4 months ago
Multiscale Hy3S: Hybrid stochastic simulation for supercomputers
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
Howard Salis, Vassilios Sotiropoulos, Yiannis N. K...
CGF
2010
146views more  CGF 2010»
13 years 4 months ago
Pathline: A Tool For Comparative Functional Genomics
Biologists pioneering the new field of comparative functional genomics attempt to infer the mechanisms of gene regulation by looking for similarities and differences of gene activ...
Miriah D. Meyer, Bang Wong, Mark P. Styczynski, Ta...