Výsledky vyhledávání
- 1.0422281 - MÚ 2014 RIV US eng J - Článek v odborném periodiku
Cavagnetto, Stefano
The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem.
Journal of Mathematical Sciences. Roč. 158, č. 5 (2009), s. 689-707. ISSN 1072-3374
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Kreisel Georg * Gödel
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/article/10.1007/s10958-009-9408-0
Trvalý link: http://hdl.handle.net/11104/0228471Název souboru Staženo Velikost Komentář Verze Přístup Cavagnetto3.pdf 1 362 KB Vydavatelský postprint vyžádat - 2.0380563 - MÚ 2013 RIV PL eng J - Článek v odborném periodiku
Cavagnetto, Stefano
String rewriting and proof complexity: an interpretation of resolution.
Reports on mathematical logic. Roč. 44, Jun (2009), s. 167-200. ISSN 0137-2904. E-ISSN 0137-2904
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: propositional logic * propositional proof complexity
Kód oboru RIV: BA - Obecná matematika
http://www.iphils.uj.edu.pl/rml/rml-44/a-cav-44.htm
Trvalý link: http://hdl.handle.net/11104/0211239Název souboru Staženo Velikost Komentář Verze Přístup Cavagnetto1.pdf 0 321.4 KB Vydavatelský postprint povolen - 3.0380559 - MÚ 2013 RIV DE eng J - Článek v odborném periodiku
Cavagnetto, Stefano
Some applications of propositional logic to cellular automata.
Mathematical Logic Quarterly. Roč. 55, č. 6 (2009), s. 605-616. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: propositional logic * propositional proof complexity * cellular
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2009
http://onlinelibrary.wiley.com/doi/10.1002/malq.200810008/abstract
Trvalý link: http://hdl.handle.net/11104/0211236Název souboru Staženo Velikost Komentář Verze Přístup Cavagnetto2.pdf 1 157.7 KB Vydavatelský postprint vyžádat - 4.0353280 - MÚ 2011 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
On theories of bounded arithmetic for NC1.
Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 322-340. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: bounded arithmetic * circuit complexity * propositional translation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.450, rok: 2011
http://www.sciencedirect.com/science/article/pii/S0168007210001260
Trvalý link: http://hdl.handle.net/11104/0192570Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 361 KB Vydavatelský postprint vyžádat - 5.0353276 - MÚ 2011 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
A sorting network in bounded arithmetic.
Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 341-355. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: bounded arithmetic * sorting network * proof complexity * monotone sequent calculus
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.450, rok: 2011
http://www.sciencedirect.com/science/article/pii/S0168007210001272
Trvalý link: http://hdl.handle.net/11104/0192567Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 306.7 KB Vydavatelský postprint vyžádat - 6.0343145 - MÚ 2011 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Abelian groups and quadratic residues in weak arithmetic.
Mathematical Logic Quarterly. Roč. 56, č. 3 (2010), s. 262-278. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: bounded arithmetic * abelian group * Fermat's little theorem * quadratic reciprocity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.361, rok: 2010
http://onlinelibrary.wiley.com/doi/10.1002/malq.200910009/abstract;jsessionid=9F636FFACB84C025FD90C7E6880350DD.f03t03
Trvalý link: http://hdl.handle.net/11104/0185687Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 595.5 KB Vydavatelský postprint vyžádat - 7.0342826 - MÚ 2011 RIV NL eng J - Článek v odborném periodiku
Hrubeš, P. - Jukna, S. - Kulikov, A. - Pudlák, Pavel
On convex complexity measures.
Theoretical Computer Science. Roč. 411, 16-18 (2010), s. 1842-1854. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: boolean formula * complexity measure * combinatorial rectangle * convexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.838, rok: 2010
http://www.sciencedirect.com/science/article/pii/S0304397510000885
Trvalý link: http://hdl.handle.net/11104/0185450Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 398.4 KB Vydavatelský postprint vyžádat - 8.0338975 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Chrobak, M. - Hurand, M. - Sgall, Jiří
Algorithms for testing fault-tolerance of sequenced jobs.
Journal of Scheduling. Roč. 12, č. 5 (2009), s. 501-515. ISSN 1094-6136. E-ISSN 1099-1425
Grant CEP: GA MŠMT(CZ) 1M0545; GA AV ČR IAA100190902; GA AV ČR IAA1019401
Klíčová slova: sequencing algorithms * fault-tolerance * dynamic programming
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.265, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0182616Název souboru Staženo Velikost Komentář Verze Přístup Sgall1.pdf 1 579 KB Vydavatelský postprint vyžádat - 9.0334962 - MÚ 2010 RIV SG eng J - Článek v odborném periodiku
Zajíček, Ondřej
A note on scheduling parallel unit jobs on hypercubes.
[O rozvrhování paralelních úloh na hyperkrychlích.]
International Journal of Foundations of Computer Science. Roč. 20, č. 2 (2009), s. 341-349. ISSN 0129-0541. E-ISSN 1793-6373
Grant CEP: GA MŠMT(CZ) 1M0545; GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: scheduling * deadline * dynamic programming
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.512, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0179566 - 10.0334960 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Ebenlendr, Tomáš - Jawor, W. - Sgall, Jiří
Preemptive Online Scheduling: Optimal Algorithms for All Speeds.
[Preemptivní online rozvrhování: optimální algoritmy pro všechny rychlosti.]
Algorithmica. Roč. 53, č. 4 (2009), s. 504-522. ISSN 0178-4617. E-ISSN 1432-0541
Grant CEP: GA MŠMT(CZ) 1M0545; GA ČR GA201/05/0124; GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: anline algorithms * scheduling
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.917, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0179564Název souboru Staženo Velikost Komentář Verze Přístup Ebenlendr1.pdf 1 435.2 KB Vydavatelský postprint vyžádat