Search results
- 1.0175434 - MU-W 20030188 RIV NL eng J - Journal Article
Gál, A. - Pudlák, Pavel
A note on monotone complexity and the rank of matrices.
Information Processing Letters. Roč. 87, č. 6 (2003), s. 321-326. ISSN 0020-0190. E-ISSN 1872-6119
R&D Projects: GA AV ČR IAA1019901; GA ČR GA201/01/1195; GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : computational complexity * lower bounds * span programs
Subject RIV: BA - General Mathematics
Impact factor: 0.473, year: 2003
Permanent Link: http://hdl.handle.net/11104/0072417File Download Size Commentary Version Access Pudlak1.pdf 1 98.6 KB Publisher’s postprint require - 2.0175432 - MU-W 20030186 RIV DE eng J - Journal Article
Krajíček, Jan
Interpolation and approximate semantic derivations.
Mathematical Logic Quarterly. Roč. 48, č. 4 (2002), s. 602-606. ISSN 0942-5616. E-ISSN 1521-3870
R&D Projects: GA AV ČR IAA1019901; GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : feasible interpolation * proof complexity * approximation method
Subject RIV: BA - General Mathematics
Impact factor: 0.365, year: 2002
Permanent Link: http://hdl.handle.net/11104/0072415File Download Size Commentary Version Access Krajicek1.pdf 1 132.2 KB Publisher’s postprint require - 3.0175426 - MU-W 20030180 RIV US eng J - Journal Article
Pudlák, Pavel
Complexity theory and genetics: The computational power of crossing over.
Information and Computation. Roč. 171, č. 1 (2001), s. 201-223. ISSN 0890-5401. E-ISSN 1090-2651
R&D Projects: GA AV ČR IAA1019901
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : complexity * genetics * croning over
Subject RIV: BA - General Mathematics
Impact factor: 0.571, year: 2001
Permanent Link: http://hdl.handle.net/11104/0072409File Download Size Commentary Version Access Pudlak2.pdf 1 142.3 KB Publisher’s postprint require - 4.0175425 - MU-W 20030179 RIV IL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : Ramsey's theorem * graph
Subject RIV: BA - General Mathematics
Impact factor: 0.545, year: 2001
Permanent Link: http://hdl.handle.net/11104/0072408File Download Size Commentary Version Access Pudlak.pdf 1 399.9 KB Publisher’s postprint require - 5.0175424 - MU-W 20030178 RIV HU eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : matrix * graph * cycle
Subject RIV: BA - General Mathematics
Impact factor: 0.831, year: 2002
Permanent Link: http://hdl.handle.net/11104/0072407File Download Size Commentary Version Access Pudlak1.pdf 1 193.9 KB Publisher’s postprint require - 6.0175423 - MU-W 20030177 RIV US eng J - Journal Article
Pudlák, Pavel
Proofs as games.
American Mathematical Monthly. Roč. 107, č. 5 (2000), s. 541-550. ISSN 0002-9890. E-ISSN 1930-0972
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : game * lengths of proofs * resolution
Subject RIV: BA - General Mathematics
Impact factor: 0.238, year: 2000
Permanent Link: http://hdl.handle.net/11104/0072406File Download Size Commentary Version Access Pudlak2.pdf 1 967.7 KB Publisher’s postprint require - 7.0175387 - MU-W 20030140 RIV SIGLE GB eng J - Journal Article
Pudlák, Pavel
An Application of Hindmanďs Theorem to a Problem on Communication Complexity.
Combinatorics Probability & Computing. Roč. 12, - (2003), s. 661-670. ISSN 0963-5483. E-ISSN 1469-2163
R&D Projects: GA AV ČR IAA1019901; GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z1019905
Keywords : communication complexity * word * theorem of Hindman
Subject RIV: BA - General Mathematics
Impact factor: 0.407, year: 2003
Permanent Link: http://hdl.handle.net/11104/0072370File Download Size Commentary Version Access Pudlak3.pdf 1 126.8 KB Publisher’s postprint require - 8.0175332 - MU-W 20030084 RIV US eng J - Journal Article
Chrobak, M. - Epstein, L. - Noga, J. - Sgall, Jiří - van Stee, R. - Tichý, Tomáš - Vakhania, N.
Preemptive scheduling in overloaded systems.
Journal of Computer and System Sciences. Roč. 67, č. 1 (2003), s. 183-197. ISSN 0022-0000. E-ISSN 1090-2724
R&D Projects: GA ČR GA201/01/1195; GA MŠMT ME 476; GA AV ČR IAA1019901; GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : scheduling * online algorithms * benefit
Subject RIV: BA - General Mathematics
Impact factor: 0.795, year: 2003
Permanent Link: http://hdl.handle.net/11104/0072316 - 9.0175324 - MU-W 20030076 RIV CZ cze J - Journal Article
Katrnoška, F. - Křížek, Michal
Genetický kód a teorie monoidů.
[Genetic code and the theory of monoids.]
Pokroky matematiky, fyziky & astronomie. Roč. 48, č. 3 (2003), s. 207-222. ISSN 0032-2423
R&D Projects: GA AV ČR IAA1019901
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : monoids * Hardy-Weinberg law * genetic coding
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0072308File Download Size Commentary Version Access Krizek1.pdf 1 471.6 KB Publisher’s postprint open-access - 10.0175292 - MU-W 20030044 RIV NL eng J - Journal Article
Pudlák, Pavel
On reducibility and symmetry of disjoint NP pairs.
Theoretical Computer Science. Roč. 295, - (2003), s. 323-339. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA AV ČR IAA1019901; GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : disjoint NP-pairs * polynomial reducibility * propositional proof systems
Subject RIV: BA - General Mathematics
Impact factor: 0.764, year: 2003
Permanent Link: http://hdl.handle.net/11104/0072276File Download Size Commentary Version Access Pudlak2.pdf 1 172.9 KB Publisher’s postprint require