1922 search results - page 195 / 385 » Systems biology, models, and concurrency |
111
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Gene regulatory networks (GRNs) are complex control systems that govern the interaction of genes, which ultimately control cellular processes at the protein level. GRNs can be ted...
121
click to vote
AUTOMATICA
2008
15 years 1 months ago
2008
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
126
click to vote
DEDS
1998
15 years 1 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
122
click to vote
AAAI
1993
15 years 2 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...
118
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...