Sciweavers

2902 search results - page 240 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
LOBJET
2008
104views more  LOBJET 2008»
15 years 4 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
JCNS
2006
59views more  JCNS 2006»
15 years 4 months ago
Spatio-temporal filtering properties of a dendritic cable with active spines: A modeling study in the spike-diffuse-spike framew
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modeled with a simple integrate-and-fire process, whils...
Yulia Timofeeva, Gabriel J. Lord, Stephen Coombes
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
15 years 10 months ago
Discontinuity-induced bifurcations in TCP/RED communication algorithms
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...
Mingjian Liu, A. Marciello, Mario di Bernardo, Lji...
122
Voted
COGSCI
2010
103views more  COGSCI 2010»
15 years 4 months ago
From Perceptual Categories to Concepts: What Develops?
People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dyna...
Vladimir M. Sloutsky
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 9 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb