Výsledky vyhledávání
- 1.0578399 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
Verification of detectability for unambiguous weighted automata using self-composition.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
Obor OECD: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Trvalý link: https://hdl.handle.net/11104/0347401Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 465.3 KB Vydavatelský postprint vyžádat - 2.0456152 - MÚ 2017 RIV NL eng J - Článek v odborném periodiku
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Cobham recursive set functions.
Annals of Pure and Applied Logic. Roč. 167, č. 3 (2016), s. 335-369. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: set function * polynomial time * Cobham recursion
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.647, rok: 2016
http://www.sciencedirect.com/science/article/pii/S0168007215001293
Trvalý link: http://hdl.handle.net/11104/0256726Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 1 694.7 KB Vydavatelský postprint vyžádat - 3.0044373 - MÚ 2007 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
The strength of sharply bounded induction.
[Síla ostře omezené indukce.]
Mathematical Logic Quarterly. Roč. 52, č. 6 (2006), s. 613-624. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR(CZ) IAA1019401; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: bounded arithmetic * sharply bounded formula * polynomial-time function
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.629, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0137169Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 288.1 KB Vydavatelský postprint vyžádat