Výsledky vyhledávání
- 1.0542403 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
Masopust, Tomáš - Krötzsch, M.
Partially ordered automata and piecewise testability.
Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 14. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: automata * nondeterminism * complexity
Obor OECD: Automation and control systems
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://dx.doi.org/10.23638/LMCS-17(2:14)2021
Trvalý link: http://hdl.handle.net/11104/0319817Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 4 866.6 KB Vydavatelský postprint povolen - 2.0462042 - MÚ 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Krötzsch, M. - Masopust, Tomáš - Thomazo, M.
On the Complexity of Universality for Partially Ordered NFAs.
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik, 2016 - (Faliszewski, P.; Muscholl, A.; Niedermeier, R.), 61:1-61:14. Leibniz International Proceedings in Informatics (LIPIcs), 58. ISBN 978-3-95977-016-3. ISSN 1868-8969.
[41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016). Krakow (PL), 22.08.2016-26.08.2016]
Institucionální podpora: RVO:67985840
Klíčová slova: automata * nondeterminism * partial order * universality
Kód oboru RIV: BA - Obecná matematika
http://drops.dagstuhl.de/opus/volltexte/2016/6473/
Trvalý link: http://hdl.handle.net/11104/0261588Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 1 578.9 KB Vydavatelský postprint vyžádat - 3.0405528 - UIVT-O 330906 RIV NL eng J - Článek v odborném periodiku
Savický, Petr - Sieling, D.
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.
[Výsledek o hierarchii pro read-once rozhodovací diagramy s omezeným nedeterminismem paritního typu.]
Theoretical Computer Science. Roč. 340, č. 3 (2005), s. 594-605. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: read-once branching programs * restricted parity nondeterminism * lower bounds on complexity * hierarchy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.743, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125686 - 4.0403256 - UIVT-O 970121 CZ eng V - Výzkumná zpráva
Wiedermann, Jiří
Accelerating Nondeterministic Single-Tape Off-Line Computations by One Alternation.
Prague: ICS AS CR, 1997. 13 s. Technical Report, V-725.
Grant CEP: GA ČR GA201/95/0976
Grant ostatní: INCO-COP(XE) 96-0195 ALTEC-KIT
Klíčová slova: turing machines * nondeterminism * alternation * complexity classes
Trvalý link: http://hdl.handle.net/11104/0123575Název souboru Staženo Velikost Komentář Verze Přístup v725-97.pdf 13 245.6 KB Jiná povolen - 5.0402013 - UIVT-O 950284 SK eng J - Článek v odborném periodiku
Wiedermann, Jiří
Fast Sequential and Parallel Simulations of Nondeterministic Computations.
Computers and Artificial Intelligence. Roč. 13, č. 6 (1994), s. 521-536. ISSN 0232-0274
Grant ostatní: ALTEC(XE) IC-1000
Klíčová slova: complexity * simulation * Turing machines * determinism * nondeterminism * parallelism
Impakt faktor: 0.059, rok: 1994
Trvalý link: http://hdl.handle.net/11104/0122434 - 6.0368246 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Computation as an Unbounded Process.
Theoretical Computer Science. Roč. 429, 20 April (2012), s. 202-212. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: arithmetical hierarchy * hypercomputation * mind change complexity * nondeterminism * relativistic computation * unbounded computation
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.489, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0202642