20 search results - page 3 / 4 » SAT-Based Analysis of Cellular Automata |
163
click to vote
UPP
2004
Springer
15 years 2 months ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
TCS
2011
14 years 4 months ago
2011
Let F be a cellular automaton (CA). This paper establishes necessary conditions for F in order to be intrinsically universal. The central idea is to consider the communication com...
BIOSYSTEMS
2008
14 years 9 months ago
2008
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...
VLSID
2003
IEEE
15 years 2 months ago
2003
IEEE
— This paper reports a cryptosystem designed for security of embedded systems. It is based on the theory of Cellular Automata(CA). The Cellular Automata based Cryptosystem(CAC) e...
EH
2004
IEEE
15 years 1 months ago
2004
IEEE
The properties of engineering structures, such as robotic arms, aircrafts or bridges, rely on the properties of the materials used to build them. The internal architecture of the ...