Sciweavers

587 search results - page 74 / 118
» Mathematical Analysis of Multi-Agent Systems
Sort
View
IJON
2007
99views more  IJON 2007»
13 years 11 months ago
Criticality of avalanche dynamics in adaptive recurrent networks
In many studies of self-organized criticality (SOC), branching processes were used to model the dynamics of the activity of the system during avalanches. This mathematical simpliï...
Anna Levina, Udo Ernst, J. Michael Herrmann
SIAMCO
2000
75views more  SIAMCO 2000»
13 years 10 months ago
Feedback Stabilization and Lyapunov Functions
Given a locally defined, nondifferentiable but Lipschitz Lyapunov function, we construct a (discontinuous) feedback law which stabilizes the underlying system to any given toleran...
F. H. Clarke, Yu. S. Ledyaev, L. Rifford, R. J. St...
JUCS
2002
146views more  JUCS 2002»
13 years 10 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
SIAMSC
2008
142views more  SIAMSC 2008»
13 years 9 months ago
Algebraic Multigrid Solvers for Complex-Valued Matrices
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
Scott MacLachlan, Cornelis W. Oosterlee
SIAMMA
2010
45views more  SIAMMA 2010»
13 years 5 months ago
Nonlinear Cross-Diffusion with Size Exclusion
The aim of this paper is to investigate the mathematical properties of a continuum model for diffusion of multiple species incorporating size exclusion effects. The system for two ...
Martin Burger, Marco Di Francesco, Jan-Frederik Pi...