Výsledky vyhledávání
- 1.0174760 - MU-W 990099 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sgall, Jiří - Epstein, L.
Approximation schemes for scheduling on uniformly related and identical parallel machines.
Proceedings of the 7th Annales European Symposium on Algorithms. Berlin: SpringerVerlag, 1999, s. 151-162. Lectures Notes in Computer Science, 1643.
[Annales European Symposium on Algorithms/7./. Praha (CZ), 16.07.1999-18.07.1999]
Grant CEP: GA AV ČR IAA1019602; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA MŠMT ME 103
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071760 - 2.0174679 - MU-W 990011 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Sgall, Jiří - Epstein, L. - Noga, J. - Seiden, S.S. - Woeginger, G.J.
Randomized online scheduling for two related machines.
Proceedings of the 10th Ann. ACM-SIAM Symposium on Discrete Algorithms. Baltimore: ACMSIAM, 1999, s. 317-326.
[Annual ACM-SIAM Symposium on Discrete Algorithms /10./. Baltimore (US), 17.01.1999-19.01.1999]
Grant CEP: GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠMT ME 103
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071682 - 3.0174484 - MU-W 970123 RIV DD eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus.
Mathematical Foundations of Computer Science. Berlin: SpringerVerlag, 1997 - (Růžička, P.), s. 85-90. Lecture Notes in Computer Science, 1295.
[International Symposium Mathematical Foundations of Computer Science /22./ (SK), 00.08.1997]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071490 - 4.0174440 - MU-W 970047 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
On methods for proving lower bounds in propositional logic.
Logic and Scientific Methods. Vol. 1. Dordrecht: Kluwer Academic Publ., 1997 - (Dalla Chiara, M.), s. 69-83
[International Congress of Logic, Methodology and Philosophy of Science /10./. Florence (IT), 19.08.1995-25.08.1995]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071448 - 5.0174272 - MU-W 960064 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Bartal, Y. - Leonardi, S. - Marchetti-Spaccamela, A. - Sgall, Jiří - Stougie, L.
Multiprocessor scheduling with rejection.
Proceedings of the 7th Annual ACM-SIAM Symposium on Discrete Algorithms. New York: ACM, 1996, s. 95-103.
[Annual ACM-SIAM Symposium on Discrete Algorithm /7./. Atlanta (US), 28.01.1996-30.01.1996]
Grant CEP: GA AV ČR IAA119107; GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071283