Global properties of cellular automata

Global properties of cellular automata

Bibliographic Details
Main Author:	Powley, Edward Jack
Published:	University of York 2009
Subjects:	004.01
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.516655

Similar Items

Configurable logic : a dynamically programmable cellular architecture and its VLSI implementation
by: Kean, Thomas Andrew
Published: (1989)

Computational properties of spatial logics in the real plane
by: Griffiths, Aled Alun
Published: (2008)

Towards a silicon quantum computer
by: George, R. E.
Published: (2009)

Quantum ComDlexity : restrictions on algorithms ana md architectures
by: Shepherd, Daniel James
Published: (2009)

Extensions and applications of dynamic epistemic logic
by: Economou, Penelope
Published: (2009)

On the core elements of the experience of playing video games
by: Calvillo Gamez, E. H.
Published: (2009)

A study of lawyers' information behaviour leading to the development of two methods for evaluating electronic resources
by: Makri, Stephann
Published: (2009)

Applications of coherent phonons in quantum optics : prospects for optically controlled ensemble quantum memories in the solid state
by: Waldermann, Felix C.
Published: (2009)

A general view of normalisation through atomic flows
by: Gundersen, Tom E.
Published: (2009)

A type-passing implementation of value types and genericity
by: Owen, Timothy Paul
Published: (2002)

Functional metaprogramming
by: Powell, Gareth Moffat
Published: (1993)

Hybrid-logarithmic arithmetic and applications
by: Lee, Peter
Published: (2011)

Computing with changing logic programs
by: Hayashi, Hisashi
Published: (2001)

A study of erasure correcting codes
by: Cai, Jing
Published: (2010)

A study of iterative capacity-approaching codes and their optimal decoding algorithms
by: Yang, Li
Published: (2010)

Compositional logic programming
by: McPhee, Richard
Published: (2000)

Improving Convergence, Diversity and Pertinency in Multiobjective Optimisation
by: Adra, Salem Fawaz
Published: (2007)

Semantic correctness in the specification, translation, and parallel implementation of SQL queries
by: Murray, Paul Timothy
Published: (1994)

Fault diagnosis for nonlinear systems using multiple-models
by: Blake, David
Published: (2008)

Bio-potential monitoring for ubiquitous applications
by: Portelli, Anthony J.
Published: (2013)

Adaptive performance control for scientific coupled models in heterogeneous and dynamic distributed environments
by: Hussein, Mohamed Khamiss
Published: (2008)

Continuous-time Marlov decision processes : theory, approximations and applications
by: Zhang, Yi
Published: (2010)

Development of fuzzy system based channel equalisers
by: Patra, Sarat Kumar
Published: (1998)

Categorical term rewriting : monads and modularity
by: Lüth, Christoph
Published: (1998)

Dependently typed functional programs and their proofs
by: McBride, Conor
Published: (2000)

The proof theory and semantics of intuitionistic modal logic
by: Simpson, Alex K.
Published: (1994)

Formal derivation of a class of computers
by: Wang, Li-Guo
Published: (1995)

Canonicity and bi-approximation in non-classical logics
by: Suzuki, Tomoyuki
Published: (2010)

Algebraic models for advanced microprocessors
by: Fox, A. C. J.
Published: (1999)

Biophysically accurate floating point neuroprocessors
by: Zhang, Yiwei
Published: (2011)

Program schemes and descriptive complexity
by: Chauhan, S. R.
Published: (2001)

An open parallel architecture for data-intensive applications
by: Afshar, M.
Published: (1999)

Particle swarm optimization in stationary and dynamic environments
by: Li, Changhe
Published: (2011)

Proof theory and programming
by: Hancock, P. G.
Published: (1999)

Proof planning for logic program synthesis
by: Kraan, H. C.
Published: (1994)

On semantic and type-theoretic aspects of polynomial-time computability
by: Murawski, Andrzej S.
Published: (2001)

Logic minimization algorithms for three-level AND-OR-EXOR representations
by: Jabir, Abusaleh M.
Published: (2001)

Parallel performance analysis of large Markov models
by: Knottenbelt, William John
Published: (2000)

Quantum programming
by: Zuliani, Paolo
Published: (2001)

Data independence in the model checking of security protocols
by: Broadfoot, Philippa J.
Published: (2001)