Výsledky vyhledávání
- 1.0404724 - UIVT-O 20030013 RIV SK eng J - Článek v odborném periodiku
Žák, Stanislav
A Sharp Separation on Sublogarithmic Space Complexity Classes.
Computing and Informatics. Roč. 21 (2003), s. 617-624. ISSN 1335-9150. E-ISSN 1335-9150
Grant CEP: GA ČR GA201/02/1456
Výzkumný záměr: AV0Z1030915
Klíčová slova: space complexity * separation * diagonalization
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.254, rok: 2003
http://www.cai.sk/ojs/index.php/cai/article/view/478
Trvalý link: http://hdl.handle.net/11104/0124962 - 2.0404608 - UIVT-O 220471 NL eng J - Článek v odborném periodiku
Žák, Stanislav
Letter to the Editor.
Information Processing Letters. Roč. 18, č. 5 (1984), s. 297-298. ISSN 0020-0190. E-ISSN 1872-6119
Trvalý link: http://hdl.handle.net/11104/0124850 - 3.0404104 - UIVT-O 20020142 RIV NL eng J - Článek v odborném periodiku
Jukna, S. - Žák, Stanislav
On Uncertainty versus Size in Branching Programs.
Theoretical Computer Science. Roč. 290, - (2003), s. 1851-1867. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GA201/98/0717; GA MŠMT LN00A056; GA ČR GA201/02/1456
Klíčová slova: computational complexity * branching programs * decision trees * lower bounds * kraft inequality * entropy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.764, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0124375 - 4.0403395 - UIVT-O 20000006 RIV NL eng J - Článek v odborném periodiku
Žák, Stanislav - Savický, Petr
A Read-once Lower Bound and a (1,+k) - Hierarchy for Branching Programs.
Theoretical Computer Science. Roč. 238, č. 1-2 (2000), s. 347-362. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GA201/98/0717
Grant ostatní: MŠMT ČR(CZ) OK 304
Výzkumný záměr: AV0Z1030915
Klíčová slova: Boolean functions * branching programs * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.417, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0123705 - 5.0403364 - UIVT-O 200622 CS1 cze J - Článek v odborném periodiku
Žák, Stanislav
Exponenciální dolní odhad složitosti pro programy s větvením počítající v reálném čase.
Acta Polytechnica. Roč. 17, č. 2 (1985), s. 43-50
Trvalý link: http://hdl.handle.net/11104/0123676 - 6.0403363 - UIVT-O 200621 CS1 cze J - Článek v odborném periodiku
Žák, Stanislav
Větvící se programy a disjunktní predikáty.
Acta Polytechnica. Roč. 14, č. 2 (1984), s. 79-83
Trvalý link: http://hdl.handle.net/11104/0123675 - 7.0402774 - UIVT-O 970010 NL eng J - Článek v odborném periodiku
Savický, Petr - Žák, Stanislav
A Lower Bound on Branching Programs Reading Some Bits Twice.
Theoretical Computer Science. Roč. 172, - (1997), s. 293-301. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GA201/95/0976
Klíčová slova: branching programs
Impakt faktor: 0.361, rok: 1997
Trvalý link: http://hdl.handle.net/11104/0123156 - 8.0401125 - UIVT-O 862121 US eng J - Článek v odborném periodiku
Žák, Stanislav
An Exponential Lower Bound for Real-Time Branching Programs.
Information and Computation. Roč. 71, 1-2 (1986), s. 87-94. ISSN 0890-5401. E-ISSN 1090-2651
Trvalý link: http://hdl.handle.net/11104/0121599 - 9.0400952 - UIVT-O 001272 CS1 eng J - Článek v odborném periodiku
Žák, Stanislav
A Turing Machine Space Hierarchy.
Kybernetika. Roč. 15, č. 2 (1979), s. 100-121. ISSN 0023-5954
http://dml.cz/handle/10338.dmlcz/124477
Trvalý link: http://hdl.handle.net/11104/0121427Název souboru Staženo Velikost Komentář Verze Přístup Kybernetika_15-1979-2_3.pdf 0 972.3 KB Vydavatelský postprint povolen - 10.0400951 - UIVT-O 001271 CS1 eng J - Článek v odborném periodiku
Žák, Stanislav
Information in Computation Structures.
Acta Polytechnica. Roč. 20, č. 4 (1983), s. 47-54. ISSN 1210-2709. E-ISSN 1805-2363
Trvalý link: http://hdl.handle.net/11104/0121426