Výsledky vyhledávání
- 1.0328904 - ÚI 2010 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Moravec, J. - Holeňa, Martin
Using Gaussian Processes for Fitness Function Approximation in Genetic Algorithms.
MIS 2009. Praha: Matfyzpress, 2009 - (Obdržálek, J.; Plátek, M.), s. 56-65. ISBN 978-80-7378-095-1.
[MIS 2009. Malý informatický seminář /26./. Josefův důl (CZ), 17.01.2009-24.01.2009]
Grant CEP: GA ČR GD201/09/H057; GA ČR GEICC/08/E018; GA MŠMT ME 949
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Gaussian process * approximation * fitness function * genetic algorithm
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0175093 - 2.0328861 - ÚI 2010 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
Syntactic Approach to Fuzzy Modal Logic in MTL.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 35-43. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant ostatní: GA UK project 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logics * logic MTL * syntactic derivations * automated theorem proving
Trvalý link: http://hdl.handle.net/11104/0175061Název souboru Staženo Velikost Komentář Verze Přístup 0328861.pdf 17 102.1 KB Vydavatelský postprint povolen - 3.0312146 - ÚI 2009 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
On the Independence of Axioms in BL and MTL.
Doktorandské dny '08. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008 - (Hakl, F.), s. 28-36. ISBN 978-80-7378-054-8.
[Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 29.09.2008-01.10.2008]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Hilbert-style proof systems * independece of axioms * logic BL * logic MTL * automated theorem proving
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0163283Název souboru Staženo Velikost Komentář Verze Přístup 0312146.pdf 12 169 KB Vydavatelský postprint povolen