Evolvable Computational Machines: Formal Approach
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F02%3APU36229" target="_blank" >RIV/00216305:26230/02:PU36229 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Evolvable Computational Machines: Formal Approach
Original language description
The paper introduces an original formal definition of the evolvable computational machine. Mathematical properties as well as impact to application design are investigated. The proposed approach is demonstrated on an evolvable non-uniform cellular automaton for generation of sequences.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formal approaches in digital circuit diagnostics - testable design verification</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Intelligent Technologies - Theory and Applications, E-ISCI 2002
ISBN
1-58603-256-9
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
166-172
Publisher name
IOS Press
Place of publication
Amsterdam
Event location
Kosice
Event date
Jun 16, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—