Evolvable Computational Machines: Formal Approach

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Evolvable Computational Machines: Formal Approach
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Evolvable Computational Machines: Formal Approach
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Intelligent Technologies - Theory and Applications, E-ISCI 2002
ISBN
1-58603-256-9
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
166-172
Název nakladatele
IOS Press
Místo vydání
Amsterdam
Místo konání akce
Kosice
Datum konání akce
16. 6. 2002
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)