Výsledky vyhledávání
- 1.0404244 - UIVT-O 20010071 RIV US eng J - Článek v odborném periodiku
Savický, Petr
On Random Orderings of Variables for Parity Ordered Binary Decision Diagrams.
Random Structures and Algorithms. Roč. 16, č. 3 (2000), s. 233-239. ISSN 1042-9832. E-ISSN 1098-2418
Grant CEP: GA ČR GA201/98/0717; GA MŠMT OK 304
Grant ostatní: ALTEC-KIT(XE) INCO-COOP 96-0195
Výzkumný záměr: AV0Z1030915
Klíčová slova: representation of Boolean functions * OBDD * variable ordering
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.568, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0124508 - 2.0403493 - UIVT-O 980102 RIV CZ eng J - Článek v odborném periodiku
Wiedermann, Jiří
Splendor and Misery of Parallel Machine Models.
Neural Network World. Roč. 8, č. 3 (1998), s. 269-297. ISSN 1210-0552
Grant CEP: GA ČR GA201/95/0976; GA ČR GA201/98/0717
Grant ostatní: MŠMT(CZ) OK 304; INCO-COPERNICUS(XE) 96-0195
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0003422 - 3.0403492 - UIVT-O 20000012 RIV US eng J - Článek v odborném periodiku
Wiedermann, Jiří
Simulating the Mind: A Gauntlet Thrown to Computer Science.
ACM Computing Surveys. Roč. 31, č. 3 (1999), Art. No. 16. ISSN 0360-0300. E-ISSN 1557-7341
Grant CEP: GA ČR GA201/98/0717
Grant ostatní: INCO-COOP(XE) 96-0195; MŠMT ČR(CZ) OK 304
Výzkumný záměr: AV0Z1030915
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.440, rok: 1999
Trvalý link: http://hdl.handle.net/11104/0123796 - 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