Výsledky vyhledávání
- 1.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 - 2.0175425 - MU-W 20030179 RIV IL eng J - Článek v odborném periodiku
Alon, N. - Pudlák, Pavel
Constructive lower bounds for off-diagonal Ramsey numbers.
Israel Journal of Mathematics. Roč. 122, č. 3 (2001), s. 243-251. ISSN 0021-2172. E-ISSN 1565-8511
Grant CEP: GA AV ČR IAA1019901; GA MŠMT ME 103
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: Ramsey's theorem * graph
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.545, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0072408Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 399.9 KB Vydavatelský postprint vyžádat - 3.0175424 - MU-W 20030178 RIV HU eng J - Článek v odborném periodiku
Pudlák, Pavel
Cycles of nonzero elements in low rank matrices.
Combinatorica. Roč. 22, č. 2 (2002), s. 321-334. ISSN 0209-9683. E-ISSN 1439-6912
Grant CEP: GA AV ČR IAA1019901; GA MŠMT ME 103
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: matrix * graph * cycle
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.831, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0072407Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 193.9 KB Vydavatelský postprint vyžádat - 4.0175423 - MU-W 20030177 RIV US eng J - Článek v odborném periodiku
Pudlák, Pavel
Proofs as games.
American Mathematical Monthly. Roč. 107, č. 5 (2000), s. 541-550. ISSN 0002-9890. E-ISSN 1930-0972
Grant CEP: GA AV ČR IAA1019901; GA MŠMT ME 103
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: game * lengths of proofs * resolution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.238, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0072406Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 967.7 KB Vydavatelský postprint vyžádat - 5.0175422 - MU-W 20030176 RIV NL eng J - Článek v odborném periodiku
Pudlák, Pavel
A Note On the Use of Determinant for Proving Lower Bounds on the Size of Linear Circuits.
Information Processing Letters. Roč. 74, č. 2 (2000), s. 197-201. ISSN 0020-0190. E-ISSN 1872-6119
Grant CEP: GA AV ČR IAA1019602; GA MŠMT ME 103
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: computational complexity * matrix * determinant
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.360, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0072405Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 65.7 KB Vydavatelský postprint vyžádat - 6.0175421 - MU-W 20030175 RIV NL eng J - Článek v odborném periodiku
Codenotti, B. - Pudlák, Pavel - Resta, J.
Some structural properties of low rank matrices related to computational complexity.
Theoretical Computer Science. Roč. 235, č. 1 (2000), s. 89-107. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA AV ČR IAA1019602; GA MŠMT ME 103
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: matrix rigidity * low-rank matrices * cycles in graphs
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.417, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0072404Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 139 KB Vydavatelský postprint vyžádat - 7.0175393 - MU-W 20030147 RIV GB eng J - Článek v odborném periodiku
Došlý, O. - Řehák, Pavel
Recessive solution of half-linear second order difference equations.
Journal of Difference Equations and Applications. Roč. 9, č. 1 (2003), s. 49-61. ISSN 1023-6198. E-ISSN 1563-5120
Grant CEP: GA ČR GA201/01/0079; GA ČR GP201/01/P041; GA MŠMT ME 103
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: half-linear difference equation * recessive solution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.426, rok: 2003
http://www.tandfonline.com/doi/abs/10.1080/10236100309487534
Trvalý link: http://hdl.handle.net/11104/0072376Název souboru Staženo Velikost Komentář Verze Přístup Rehak2.pdf 1 596.9 KB Vydavatelský postprint vyžádat - 8.0175225 - MU-W 20020113 RIV CH eng J - Článek v odborném periodiku
Edmonds, J. - Impagliazzo, R. - Rudich, S. - Sgall, Jiří
Communication complexity towards lower bounds on circuit depth.
Computational Complexity. Roč. 10, č. 3 (2001), s. 210-246. ISSN 1016-3328. E-ISSN 1420-8954
Grant CEP: GA AV ČR IAA1019602; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA ČR GA201/01/1195; GA MŠMT ME 103
Klíčová slova: communication complexity%lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.448, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0072210Název souboru Staženo Velikost Komentář Verze Přístup Sgall1.pdf 1 556.3 KB Vydavatelský postprint vyžádat - 9.0175224 - MU-W 20020112 RIV NL eng J - Článek v odborném periodiku
Azar, Y. - Regev, O. - Sgall, Jiří - Woeginger, G. J.
Off-line temporary tasks assignment.
Theoretical Computer Science. Roč. 287, č. 2 (2002), s. 419-428. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA MŠMT LN00A056; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA MŠMT ME 103
Klíčová slova: load balancing%temporary tasks%PTAS
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.417, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0072209Název souboru Staženo Velikost Komentář Verze Přístup Sgall1.pdf 1 203.7 KB Vydavatelský postprint vyžádat - 10.0175223 - MU-W 20020111 RIV NL eng J - Článek v odborném periodiku
Anderson, E. - Chrobak, M. - Noga, J. - Sgall, Jiří - Woeginger, G. J.
Solution of a problem in DNA computing.
Theoretical Computer Science. Roč. 287, č. 2 (2002), s. 387-391. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA MŠMT LN00A056; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA MŠMT ME 103
Klíčová slova: DNA computing
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.417, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0072208