Výsledky vyhledávání
- 1.0405663 - UIVT-O 336045 RIV US eng J - Článek v odborném periodiku
Krause, M. - Savický, Petr - Wegener, I.
On the Influence of the Variable Ordering for Algorithmic Learning using OBDDs.
[Vliv uspořádání proměnných na algoritmické učení pomocí OBDD.]
Information and Computation. Roč. 201, č. 2 (2005), s. 160-177. ISSN 0890-5401. E-ISSN 1090-2651
Grant CEP: GA ČR GA201/98/0717
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: OBDD * variable ordering * algorithmic learning
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.053, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125803 - 2.0404707 - UIVT-O 20030012 RIV GB eng J - Článek v odborném periodiku
Wiedermann, Jiří
The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa.
Journal of Experimental & Theoretical Artificial Intelligence. Roč. 15, č. 3 (2003), s. 267-279. ISSN 0952-813X. E-ISSN 1362-3079
Grant CEP: GA ČR GA201/98/0717; GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: computational power * neural nets * neuroids * finite automata * Turing machines
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.317, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0124946 - 3.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 - 4.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 - 5.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 - 6.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 - 7.0403463 - UIVT-O 20020001 RIV DE eng J - Článek v odborném periodiku
Savický, Petr - Sgall, Jiří
DNF Tautologies with a Limited Number of Occurrences of Every Variable.
Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GA201/98/0717; GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠMT ME 103
Výzkumný záměr: AV0Z1030915
Klíčová slova: disjunctive normal form * tautology * occurences of variable
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.417, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0123768 - 8.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 - 9.0403025 - UIVT-O 990003 RIV SK eng J - Článek v odborném periodiku
Šíma, Jiří
Table Rounding Problem.
Computers and Artificial Intelligence. Roč. 18, č. 2 (1999), s. 175-189. ISSN 0232-0274
Grant CEP: GA ČR GA201/98/0717
Výzkumný záměr: AV0Z1030915
Klíčová slova: table * rouding * adjacent integer * check sum * maximum flow * minimum cut * minimum cost flow problem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.164, rok: 1999
http://www.cai.sk/ojs/index.php/cai/article/view/606
Trvalý link: http://hdl.handle.net/11104/0123392Název souboru Staženo Velikost Komentář Verze Přístup 0403025.pdf 0 773.8 KB Autorský preprint povolen - 10.0402803 - UIVT-O 980004 RIV US eng J - Článek v odborném periodiku
Šíma, Jiří - Wiedermann, Jiří
Theory of Neuromata.
Journal of the ACM. Roč. 45, č. 1 (1998), s. 155-178. ISSN 0004-5411. E-ISSN 1557-735X
Grant CEP: GA ČR GA201/95/0976; GA ČR GA201/98/0717
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.703, rok: 1998
Trvalý link: http://hdl.handle.net/11104/0123179Název souboru Staženo Velikost Komentář Verze Přístup 0402803.pdf 0 533.3 KB Autorský preprint povolen