Sciweavers

384 search results - page 5 / 77
» HYPE Applied to the Modelling of Hybrid Biological Systems
Sort
View
MCS
2008
Springer
13 years 7 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski
BMCBI
2006
94views more  BMCBI 2006»
13 years 7 months ago
Fly-DPI: database of protein interactomes for D. melanogaster in the approach of systems biology
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
Chung-Yen Lin, Shu-Hwa Chen, Chi-Shiang Cho, Chia-...
IJDMB
2008
128views more  IJDMB 2008»
13 years 7 months ago
Protein homology detection with biologically inspired features and interpretable statistical models
: Computational classification of proteins using methods such as string kernels and Fisher-SVM has demonstrated great success. However, the resulting models do not offer an immedia...
Pai-Hsi Huang, Vladimir Pavlovic
CMSB
2009
Springer
14 years 1 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...
ENTCS
2008
100views more  ENTCS 2008»
13 years 7 months ago
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...