In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
The problem of making a bicycle trace a strictly convex Jordan curve with bounded roll angle and bounded speed is investigated. The problem is solved by enforcing a virtual holonom...
The environments in which agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an agent model is pr...
—We address the problem of finding a mathematical model for the genetic network regulating the stress response of the yeast Saccharomyces cerevisiae to the fungicide mancozeb. A...
Background: Noise has many important roles in cellular genetic regulatory functions at the nanomolar scale. At present, no good theory exists for identifying all possible mechanis...