Sciweavers

821 search results - page 82 / 165
» A Model Driven Approach to the Analysis of Timeliness Proper...
Sort
View
ECAL
2005
Springer
15 years 7 months ago
Timescale and Stability in Adaptive Behaviour
Recently, in both the neuroscience and adaptive behaviour communities, there has been growing interest in the interplay of multiple timescales within neural systems. In particular,...
Christopher L. Buckley, Seth Bullock, Netta Cohen
ISBRA
2010
Springer
15 years 17 hour ago
Analysis of Gene Interactions Using Restricted Boolean Networks and Time-Series Data
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
Carlos H. A. Higa, Vitor H. P. Louzada, Ronaldo Fu...
BMCBI
2010
178views more  BMCBI 2010»
15 years 1 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 10 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
ICDT
1999
ACM
99views Database» more  ICDT 1999»
15 years 5 months ago
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
Matthias Nicola, Matthias Jarke