Sciweavers

269 search results - page 34 / 54
» Computing with Probabilistic Cellular Automata
Sort
View
DIGITEL
2007
IEEE
14 years 2 months ago
A Brief Survey of Distributed Computational Toys
Distributed Computational Toys are physical artifacts that function based on the coordination of more than one computing device. Often, these toys take the form of a microcontroll...
Eric Schweikardt, Mark D. Gross
CONCUR
2006
Springer
14 years 10 days ago
Probabilistic I/O Automata: Theories of Two Equivalences
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
ECAL
2007
Springer
14 years 2 months ago
Detecting Non-trivial Computation in Complex Dynamics
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
Joseph T. Lizier, Mikhail Prokopenko, Albert Y. Zo...
CORR
2010
Springer
79views Education» more  CORR 2010»
13 years 8 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
ICCD
2004
IEEE
79views Hardware» more  ICCD 2004»
14 years 5 months ago
Using Circuits and Systems-Level Research to Drive Nanotechnology
This paper details nano-scale devices being researched by physical scientists to build computational systems. It also reviews some existing system design work that uses the device...
Michael T. Niemier, Ramprasad Ravichandran, Peter ...