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.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 - 3.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 - 4.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 - 5.0175123 - MU-W 20025074 RIV GB eng J - Článek v odborném periodiku
Krajíček, Jan
Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets.
Proceedings of the London Mathematical Society. Roč. 81, č. 2 (2000), s. 257-284. ISSN 0024-6115. E-ISSN 1460-244X
Grant CEP: GA AV ČR IAA1019602; GA MŠMT ME 103
Klíčová slova: following system of polynomial equations
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.948, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0072112Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 3 MB Autorský postprint vyžádat - 6.0175118 - MU-W 20025169 RIV US eng J - Článek v odborném periodiku
Sgall, Jiří - Epstein, L. - Noga, J. - Seiden, S. S. - Woeginger, G. J.
Randomized online scheduling for two related machines.
Journal of Scheduling. Roč. 4, č. 2 (2001), s. 71-92. ISSN 1094-6136. E-ISSN 1099-1425
Grant CEP: GA AV ČR IAA1019901; GA AV ČR IAA1019602; GA MŠMT ME 103
Klíčová slova: online algorithms%scheduling
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0072107 - 7.0175116 - MU-W 20025167 RIV US eng J - Článek v odborném periodiku
Avidor, A. - Azar, Y. - Sgall, Jiří
Ancient and new algorithms for load balancing in the Lp norm.
Algorithmica. Roč. 29, č. 3 (2001), s. 422-441. ISSN 0178-4617. E-ISSN 1432-0541
Grant CEP: GA AV ČR IAA1019602
Klíčová slova: online algorithms%scheduling
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.477, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0072105 - 8.0175005 - MU-W 20010051 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
On the degree of ideal membership proofs from uniform families of polynomials over a finite field.
Illinois Journal of Mathematics. Roč. 45, č. 1 (2001), s. 41-73. ISSN 0019-2082
Grant CEP: GA AV ČR IAA1019602
Výzkumný záměr: CEZ:AV0Z1019905
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.314, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0071996Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 372.6 KB Vydavatelský postprint vyžádat - 9.0174935 - MU-W 200128 RIV US eng J - Článek v odborném periodiku
Sgall, Jiří - Bartal, Y. - Leonardi, S. - Marchetti-Spaccamela, A. - Stougie, L.
Multiprocessor scheduling with rejection.
SIAM Journal on Discrete Mathematics. Roč. 13, č. 1 (2000), s. 64-78. ISSN 0895-4801. E-ISSN 1095-7146
Grant CEP: GA AV ČR IAA1019602; GA AV ČR IAA1019901; GA ČR GA201/97/P038
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:A05/98:Z1-019-9ii
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.686, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0071928Název souboru Staženo Velikost Komentář Verze Přístup Sgall3.pdf 1 432.8 KB Vydavatelský postprint vyžádat - 10.0174807 - MU-W 990021 RIV US eng J - Článek v odborném periodiku
Pudlák, Pavel
Lower bounds for resolution and cutting plane proofs and monotone computations.
Journal of Symbolic Logic. Roč. 62, č. 3 (1997), s. 981-998. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA1019602; GA MŠMT ME 103
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.413, rok: 1997
Trvalý link: http://hdl.handle.net/11104/0071806Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 4 1.9 MB Vydavatelský postprint vyžádat Pudlak4.pdf 2 326 KB Vydavatelský postprint vyžádat