Sciweavers

558 search results - page 70 / 112
» Autonomous Continuous P T Systems
Sort
View
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 7 months ago
The Naming Game in Social Networks: Community Formation and Consensus Engineering
We study the dynamics of the Naming Game [Baronchelli et al., (2006) J. Stat. Mech.: Theory Exp. P06014] in empirical social networks. This stylized agentbased model captures essen...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
ICARCV
2008
IEEE
170views Robotics» more  ICARCV 2008»
14 years 2 months ago
Mixed state estimation for a linear Gaussian Markov model
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
Argyris Zymnis, Stephen P. Boyd, Dimitry M. Gorine...
CSL
2005
Springer
14 years 1 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
JAT
2006
69views more  JAT 2006»
13 years 7 months ago
Almost periodic Verblunsky coefficients and reproducing kernels on Riemann surfaces
We give an explicit parametrization of a set of almost periodic CMV matrices whose spectrum (is equal to the absolute continuous spectrum and) is a homogenous set E lying on the u...
Franz Peherstorfer, P. Yuditskii
TCS
2011
13 years 2 months ago
Parameter estimation for Boolean models of biological networks
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
Elena S. Dimitrova, Luis David García-Puent...