Sciweavers

1526 search results - page 106 / 306
» Computer algebra in systems biology
Sort
View
FM
2009
Springer
123views Formal Methods» more  FM 2009»
16 years 1 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
156
Voted
CCE
2006
15 years 7 months ago
Computation of equilibria in models of flue gas washer plants
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
Wolfgang Desch, Karin Horn, Georg Propst
DAC
2007
ACM
16 years 8 months ago
Synthesizing Stochasticity in Biochemical Systems
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
Brian Fett, Jehoshua Bruck, Marc D. Riedel
AB
2007
Springer
16 years 1 months ago
Attenuation Regulation as a Term Rewriting System
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
Eugene Asarin, Thierry Cachat, Alexander Seliverst...
ARC
2007
Springer
95views Hardware» more  ARC 2007»
15 years 7 months ago
Time delay systems with distribution dependent dynamics
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
H. T. Banks, Sava Dediu, Hoan K. Nguyen