Sciweavers

769 search results - page 85 / 154
» The Chemical Reaction Model
Sort
View
TCS
2010
13 years 7 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,...
ENTCS
2010
127views more  ENTCS 2010»
13 years 8 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...
CCE
2004
13 years 8 months ago
A general modeling framework for the operational planning of petroleum supply chains
In the literature, optimization models deal with planning and scheduling of several subsystems of the petroleum supply chain such as oilfield infrastructure, crude oil supply, ref...
Sérgio M. S. Neiro, José M. Pinto
ECOOP
1994
Springer
14 years 27 days ago
A Geographic Environmental Modeling System: Towards an Object-Oriented Framework
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
Bernd Bruegge, Erik Riedel
ALIFE
1998
13 years 8 months ago
Computational Models for the Formation of Protocell Structures
There have been various attempts to simulate the self-assembly process of lipid aggregates by computers. However, due to the computationally complex nature of the problem, previou...
Linglan Edwards, Yun Peng, James A. Reggia