Výsledky vyhledávání
- 1.0510920 - ÚI 2020 eng V - Výzkumná zpráva
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Trier, 2019. 16 s. Electronic Colloquium on Computational Complexity, TR19-150. ISSN 1433-8092
Institucionální podpora: RVO:67985807
Klíčová slova: branching programs * Computational Complexity * logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://eccc.weizmann.ac.il/report/2019/150/
Trvalý link: http://hdl.handle.net/11104/0301281Název souboru Staženo Velikost Komentář Verze Přístup 0510920-aonl.pdf 3 262.2 KB volně online Vydavatelský postprint povolen - 2.0506562 - ÚI 2020 CZ eng V - Výzkumná zpráva
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Prague: ICS CAS, 2019. 16 s. Technical Report, V-1270.
Institucionální podpora: RVO:67985807
Klíčová slova: branching programs * computational complexity * logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0297795Název souboru Staženo Velikost Komentář Verze Přístup 0506562-av1.pdf 0 157.8 KB verze 07/2019 Jiná povolen - 3.0443323 - ÚI 2016 DE eng V - Výzkumná zpráva
Žák, Stanislav
Inherent Logic and Complexity.
Trier, 2015. 12 s. Electronic Colloquium on Computational Complexity, TR15-029. ISSN 1433-8092
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: branching programs * complexity * logic
Kód oboru RIV: IN - Informatika
http://eccc.hpi-web.de/report/2015/029/
Trvalý link: http://hdl.handle.net/11104/0246047 - 4.0428781 - ÚI 2015 CZ eng V - Výzkumná zpráva
Žák, Stanislav
Inherent Logic and Complexity.
Prague: ICS AS CR, 2014. 17 s. Technical Report, V-1208.
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: branching programs * complexity * logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0234049Název souboru Staženo Velikost Komentář Verze Přístup v1208-14.pdf 25 119.9 KB Jiná povolen - 5.0403962 - UIVT-O 20000105 CZ eng V - Výzkumná zpráva
Žák, Stanislav
A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
Prague: ICS AS CR, 2000. 10 s. Technical Report, V-813.
Grant CEP: GA ČR GA201/98/0717
Výzkumný záměr: AV0Z1030915
Klíčová slova: read-once branching programs * lower bound
Trvalý link: http://hdl.handle.net/11104/0124246Název souboru Staženo Velikost Komentář Verze Přístup v813-00.pdf 19 135.3 KB Jiná povolen - 6.0403746 - UIVT-O 990100 CZ eng V - Výzkumná zpráva
Žák, Stanislav
Upper Bounds for Gentle Branching Programs.
Prague: ICS AS CR, 1999. 11 s. Technical Report, V-788.
Grant CEP: GA ČR GA201/98/0717
Klíčová slova: branching programs * upper bounds
Trvalý link: http://hdl.handle.net/11104/0124039Název souboru Staženo Velikost Komentář Verze Přístup v788-99.pdf 12 180 KB Jiná povolen - 7.0403462 - UIVT-O 200726 CZ eng V - Výzkumná zpráva
Žák, Stanislav
The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
Prague: ICS AS CR, 1997. 13 s. Technical Report, V-758.
Trvalý link: http://hdl.handle.net/11104/0123767Název souboru Staženo Velikost Komentář Verze Přístup v758-98.pdf 12 169.6 KB Jiná povolen - 8.0403282 - UIVT-O 970131 CZ eng V - Výzkumná zpráva
Žák, Stanislav
A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
Prague: ICS AS CR, 1997. 37 s. Technical Report, V-728.
Grant CEP: GA ČR GA201/95/0976
Grant ostatní: ALTEC-KIT(XE) IP960195
Klíčová slova: branching programs * lower bounds
Trvalý link: http://hdl.handle.net/11104/0123596Název souboru Staženo Velikost Komentář Verze Přístup v728-97.pdf 12 339.6 KB Jiná povolen - 9.0402844 - UIVT-O 960160 CZ eng V - Výzkumná zpráva
Savický, Petr - Žák, Stanislav
A Hierarchy for (1,+k)-branching programs with respect to k.
Prague: ICS AS CR, 1996. 15 s. Technical Report, V-672.
Grant CEP: GA ČR GA201/95/0976
Klíčová slova: branching programs * lower bounds
Trvalý link: http://hdl.handle.net/11104/0123220Název souboru Staženo Velikost Komentář Verze Přístup v672-96.pdf 12 220.5 KB Jiná povolen - 10.0402790 - UIVT-O 960096 CZ eng V - Výzkumná zpráva
Savický, Petr - Žák, Stanislav
A Large Lower Bound for 1-branching Programs.
Prague: ICS AS CR, 1996. 6 s. Technical Report, V-669.
Grant CEP: GA ČR GA201/95/0976
Klíčová slova: branching programs * lower bounds
Trvalý link: http://hdl.handle.net/11104/0123172Název souboru Staženo Velikost Komentář Verze Přístup v669-96.pdf 15 145.7 KB Jiná povolen