Výsledky vyhledávání
- 1.0504567 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Trvalý link: http://hdl.handle.net/11104/0296171 - 2.0435886 - ÚI 2015 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Křen, T. - Neruda, Roman
Generating Lambda Term Individuals in Typed Genetic Programming Using Forgetful A*.
2014 IEEE Congress on Evolutionary Computation. Piscataway: IEEE CS, 2014, s. 1847-1854. ISBN 978-1-4799-6626-4.
[CEC 2014. IEEE Congress on Evolutionary Computation. Beijing (CN), 06.06.2014-11.06.2014]
Grant CEP: GA ČR GAP202/10/1333; GA MŠMT(CZ) LD13002
Grant ostatní: SVV(CZ) 260 104
Institucionální podpora: RVO:67985807
Klíčová slova: genetic algorithms * geometry * lambda calculus * search problems
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0239718Název souboru Staženo Velikost Komentář Verze Přístup a0435886.pdf 0 791.7 KB Vydavatelský postprint vyžádat - 3.0430974 - ÚI 2015 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Křen, T. - Neruda, Roman
Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming.
GECCO '14. Proceedings of the 2014 Conference on Genetic and Evolutionary Computation. New York: ACM, 2014 - (Igel, C.; Arnold, D.), s. 943-950. ISBN 978-1-4503-2662-9.
[GECCO 2014. Genetic and Evolutionary Computation Conference. Vancouver (CA), 12.07.2014-16.07.2014]
Grant CEP: GA ČR GAP202/10/1333; GA MŠMT(CZ) LD13002
Grant ostatní: SVV(CZ) 260 104
Institucionální podpora: RVO:67985807
Klíčová slova: genetic programming * lambda calculus
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235640Název souboru Staženo Velikost Komentář Verze Přístup a0430974.pdf 0 698.9 KB Vydavatelský postprint vyžádat