Sciweavers

9 search results - page 2 / 2
» Stronger Computational Modelling of Signalling Pathways Usin...
Sort
View
ISMIR
2004
Springer
99views Music» more  ISMIR 2004»
13 years 10 months ago
A Hybrid Graphical Model for Aligning Polyphonic Audio with Musical Scores
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
Christopher Raphael
FM
2009
Springer
138views Formal Methods» more  FM 2009»
13 years 12 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
2004
323views more  BMCBI 2004»
13 years 5 months ago
Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
David Adalsteinsson, David McMillen, Timothy C. El...
CODES
2008
IEEE
13 years 11 months ago
Cache-aware optimization of BAN applications
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...
Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mi...