Sciweavers

9504 search results - page 138 / 1901
» Dynamic Substitution Model
Sort
View
104
Voted
DALT
2006
Springer
15 years 6 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
MSV
2007
15 years 4 months ago
Computational Modeling of Brain Dynamics during Repetitive Head Motions
Abstract We numerically model the effects of repetitive human head motions in traumatic scenarios that are associated with severe brain injuries. Our results are based on the line...
Igor Szczyrba, Martin Burtscher, Rafal Szczyrba
222
Voted
ECCB
2008
IEEE
15 years 2 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
98
Voted
CG
2010
Springer
15 years 2 months ago
A cellular model for spatial population dynamics
Interacting populations exhibit complex behavior in nature. Classic quadratic iteration models with two or three populations exhibit some of the features seen in nature, but fail ...
Chu Yue (Stella) Dong, James T. Long, Clifford A. ...
CORR
2008
Springer
140views Education» more  CORR 2008»
15 years 2 months ago
Adaptive Spam Detection Inspired by a Cross-Regulation Model of Immune Dynamics: A Study of Concept Drift
Abstract. This paper proposes a novel solution to spam detection inspired by a model of the adaptive immune system known as the crossregulation model. We report on the testing of a...
Alaa Abi-Haidar, Luis Mateus Rocha