Sciweavers

85 search results - page 15 / 17
» Synthesis of live behaviour models
Sort
View
BMCBI
2005
126views more  BMCBI 2005»
13 years 7 months ago
Integrative analysis of multiple gene expression profiles with quality-adjusted effect size models
Background: With the explosion of microarray studies, an enormous amount of data is being produced. Systematic integration of gene expression data from different sources increases...
Pingzhao Hu, Celia M. T. Greenwood, Joseph Beyene
BIOSYSTEMS
2008
72views more  BIOSYSTEMS 2008»
13 years 7 months ago
The manipulation of calcium oscillations by harnessing self-organisation
This paper investigates how self-organisation might be harnessed for the manipulation and control of calcium oscillations. Calcium signalling mechanisms are responsible for a numb...
Cristina Costa Santini, Andy M. Tyrrell
ENVSOFT
2007
76views more  ENVSOFT 2007»
13 years 7 months ago
Biocomplexity of deforestation in the Caparo tropical forest reserve in Venezuela: An integrated multi-agent and cellular automa
A multi-agent model of social and environmental complexity of deforestation was developed for the Caparo Forest Reserve, Venezuela. It includes three types of agents: settlers, go...
Niandry Moreno, Raquel Quintero, Magdiel Ablan, Ro...
SUM
2010
Springer
13 years 5 months ago
Event Modelling and Reasoning with Uncertain Information for Distributed Sensor Networks
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
Jianbing Ma, Weiru Liu, Paul Miller
MFCS
2009
Springer
14 years 2 months ago
Stochastic Games with Finitary Objectives
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
Krishnendu Chatterjee, Thomas A. Henzinger, Floria...