— Inspired from bacteria, a gene regulatory network model for signal transduction is presented in this paper. After describing experiments on stabilizing the population size for ...
Neale Samways, Yaochu Jin, Xin Yao, Bernhard Sendh...
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
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 ...
Fair queueing of rate and delay-sensitive packet flows in a shared-medium, multihop wireless network remains largely unaddressed because of the unique design issues such as locat...
Mobility modeling is a critical step in the design of mobile self-organizing networks. With the emergence of small-scale and short-range wireless communication devices, the commun...
Franck Legendre, Vincent Borrel, Marcelo Dias de A...