Sciweavers

10435 search results - page 132 / 2087
» Computational Biology and Language
Sort
View
CMSB
2009
Springer
16 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...
IJDMB
2008
128views more  IJDMB 2008»
15 years 6 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
TCS
2010
15 years 4 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
BMCBI
2006
118views more  BMCBI 2006»
15 years 6 months ago
Exploration of biological network centralities with CentiBiN
Background: The elucidation of whole-cell regulatory, metabolic, interaction and other biological networks generates the need for a meaningful ranking of network elements. Central...
Björn H. Junker, Dirk Koschützki, Falk S...
ICCS
2007
Springer
16 years 17 days ago
Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
Tibor Bosse, Charlotte Gerritsen, Jan Treur