Výsledky vyhledávání
- 1.0404260 - UIVT-O 20010201 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jukna, S. - Žák, Stanislav
On Uncertainty versus Size in Branching Programs.
Electronic Colloquium on Computational Complexity. Report No.39. Trier, 2001, s. -. ISSN 1433-8092
Grant CEP: GA ČR GA201/98/0717; GA MŠMT LN00A056
Klíčová slova: computational complexity * branching programs * decision trees * lower bounds * Kraft inequality
Kód oboru RIV: BA - Obecná matematika
http://www.eccc.uni-trier.de/report/2001/039
Trvalý link: http://hdl.handle.net/11104/0124523 - 2.0403937 - UIVT-O 20000086 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jukna, S. - Žák, Stanislav
Some Notes on the Information Flow in Read-Once Branching Programs.
SOFSEM'2000: Theory and Practice of Informatics. Berlin: Springer, 2000 - (Hlaváč, V.; Jeffery, K.; Wiedermann, J.), s. 356-364. Lecture Notes in Computer Science, 1963. ISBN 3-540-41348-0. ISSN 0302-9743.
[SOFSEM 2000 /27./. Milovy (CZ), 25.11.2000-01.12.2000]
Grant CEP: GA ČR GA201/98/0717
Výzkumný záměr: AV0Z1030915
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124223 - 3.0403461 - UIVT-O 981049 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr - Žák, Stanislav
A Hierarchy for (1,+k) - Branching Programs with Respect to k.
Electronic Colloquium on Computational Complexity, TR96-050. Trier, 1996, s. -
Grant CEP: GA ČR GA201/95/0976
Grant ostatní: COPERNICUS(XE) IP961095 ALTEC-KIT
http://www.eccc.uni-trier.de/report/1996/050/
Trvalý link: http://hdl.handle.net/11104/0123766 - 4.0403365 - UIVT-O 980036 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jukna, S. - Žák, Stanislav
On Branching Programs with Bounded Uncertainty.
Automata, Languages and Programming. Proceedings. Berlin: Springer, 1998 - (Larsen, K.; Skyum, S.; Winskel, G.), s. 259-270. Lecture Notes in Computer Science, 1443. ISBN 3-540-64781-3.
[ICALP'98 International Colloquium /25./. Aalborg (DK), 13.07.1998-17.07.1998]
Grant CEP: GA ČR GA201/98/0717
Grant ostatní: MŠMT(CZ) OK 304; COPERNICUS(XE) IP961095 ALTEC-KIT
Kód oboru RIV: BA - Obecná matematika
http://www.springerlink.com/content/n2860047h75g6127/
Trvalý link: http://hdl.handle.net/11104/0123677 - 5.0403362 - UIVT-O 970199 DE eng C - Konferenční příspěvek (zahraniční konf.)
Žák, Stanislav
A Subexponential Lower Bound for Branching Programs Restricted with Regard to Some Semantic Aspects.
Electronic Colloquium on Computational Complexity. Report Series 1997. ECCC TR97-50. Trier, 1997, s. www.eccc.uni-trier.de/eccc/, ftp.eccc.uni-trier.de:/pub/eccc/
Grant CEP: GA ČR GA201/95/0976
Grant ostatní: COPERNICUS(XE) IP961095 ALTEC-KIT
http://www.eccc.uni-trier.de/report/1997/050
Trvalý link: http://hdl.handle.net/11104/0123674 - 6.0402870 - UIVT-O 981005 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr - Žák, Stanislav
A Large Lower Bound for 1-branching Programs.
Electronic Colloquium on Computational Complexity, TR96-036. Trier, 1996
Grant CEP: GA ČR GA201/95/0976
Klíčová slova: branching programs * lower bounds
http://www.eccc.uni-trier.de/report/1996/036/
Trvalý link: http://hdl.handle.net/11104/0123245 - 7.0402869 - UIVT-O 970073 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr - Žák, Stanislav
A Hierarchy for (1,+k)-Branching Programs with Respect to k.
Mathematical Foundations of Computer Science 1997. Proceedings. Berlin: Springer, 1997 - (Prívara, I.; Ružička, P.), s. 478-487. Lecture Notes in Computer Science, 1295. ISBN 3-540-63437-1.
[MFCS'97, International Symposium /22./. Bratislava (SK), 25.08.1997-29.08.1997]
Grant CEP: GA ČR GA201/95/0976
Klíčová slova: branching programs * lower bounds
Trvalý link: http://hdl.handle.net/11104/0123244 - 8.0402865 - UIVT-O 200055 DE eng C - Konferenční příspěvek (zahraniční konf.)
Žák, Stanislav
A Turing Machine Oracle Hierarchy.
Mathematical Foundations of Computer Science 1979. Proceedings. Berlin: Springer, 1979 - (Bečvář, J.), s. 542-551. Lecture Notes in Computer Science, 74. ISBN 3-540-09526-8.
[Symposium /8./. Olomouc (CZ), 03.09.1979-07.09.1979]
Trvalý link: http://hdl.handle.net/11104/0123240 - 9.0402580 - UIVT-O 950183 DE eng C - Konferenční příspěvek (zahraniční konf.)
Žák, Stanislav
A Superpolynomial Lower Bound for (1,+k(n))-branching programs.
Mathematical Foundations of Computer Science 1995. Berlin: Springer, 1995 - (Wiedermann, J.; Hájek, P.), s. 319-325. Lecture Notes in Computer Science, 969. ISBN 3-540-60246-1.
[MFCS'95. Prague (CR), 28.08.1995-01.09.1995]
Grant CEP: GA ČR GA201/93/0427
Trvalý link: http://hdl.handle.net/11104/0122981 - 10.0400948 - UIVT-O 001268 DB eng C - Konferenční příspěvek (zahraniční konf.)
Žák, Stanislav
An Exponential Lower Bound for One-Time-Only Branching Programs.
Mathematical Foundations of Computer Science. Proceedings of Symposium. Berlin: SpringerVerlag, 1984, s. 562-566. Lecture Notes in Computer Science, 176.
[MFCS'84. Prague (CS), 03.11.1984-07.11.1984]
Trvalý link: http://hdl.handle.net/11104/0121423