1243 search results - page 2 / 249 » On the locality of bounded growth |
CORR
2006
Springer
13 years 4 months ago
2006
Springer
: A local search algorithm operating on an instance of a Boolean constraint satisfaction problem (in particular, k-SAT) can be viewed as a stochastic process traversing successive ...
HYBRID
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
FIMH
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
AUTOMATICA
2005
13 years 4 months ago
2005
In recent years, several results have been proposed on global stabilization of a class of nonlinear systems that are dominated by a triangular system satisfying the linear growth ...
ICCS
2009
Springer
13 years 2 months ago
2009
Springer
We present a continuous time/discrete space model of biofilm growth, starting from the semi-discrete master equation. The probabilities of biomass movement into neighboring sites d...