Výsledky vyhledávání - "Chaloupka, Jakub"

Report

Using Strategy Improvement to Stay Alive

Publikováno v: EPTCS 25, 2010, pp. 40-54

We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges

Externí odkaz: http://arxiv.org/abs/1006.1405

Zobrazit plný text záznamu

Akademický článek

Improved Distributed Algorithms for SCC Decomposition

Autor: Barnat, Jiří, Chaloupka, Jakub, van de Pol, Jaco

Publikováno v: In Electronic Notes in Theoretical Computer Science 23 February 2008 198(1):63-77

Zobrazit plný text záznamu

Kniha

Proměny montánní krajiny : historické sídelní a montánní struktury Krušnohoří / autoři: Petr Bohdálek, Jiří Crkal, Tomáš Efler, Jan Hanzlík, Milena Hauserová, Jana Horváthová, Jakub Chaloupka, Tomáš Karel, Jan Konůpek, David Kovařík, Alžběta Kratochvílová, Ondřej Malina, Petr Mikšíček, Jan Nedvěd, Jaroslava Pokludová, Filip Prekop, Daniela Staňková, Michal Urban, Josef Večeřa, Viera Večeřová, Martin Volf, Lubomír Zeman ; editoři Tomáš Karel, Alžběta Kratochvílová.

Akademický článek

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P.

Autor: Chaloupka, Jakub¹ chali@mail.muni.cz

Publikováno v: Fundamenta Informaticae. 2013, Vol. 123 Issue 1, p15-42. 28p. 3 Diagrams.

Zobrazit plný text záznamu

Distributed Algorithms for SCC Decomposition

Autor: Cerna, I., Barnat, Jiri, Chaloupka, Jakub, Haverkort, Boudewijn R.H.M., van de Pol, Jan Cornelis

Publikováno v: Journal of logic and computation, Advance Ac(1):10.1093/logcom/exp003, 23-44. Oxford University Press

We study existing parallel algorithms for the decomposition of a partitioned graph into its strongly connected components (SCCs). In particular, we identify several individual procedures that the algorithms are assembled from and show how to assemble

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77206a3d017fba27a7259d8fd6bb128d
https://doi.org/10.1093/logcom/exp003

Zobrazit plný text záznamu

Faster Algorithm for Mean-Payoff Games

Autor: Chaloupka, Jakub, Brim, Lubo

We study some existing techniques for solving mean-payoff games (MPGs), improve them, and design a randomized algorithm for solving MPGs with currently the best expected complexity.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4c3851dece23aabcef13d87fa4188393

Zobrazit plný text záznamu

Algorithms for SCC Decomposition

Autor: Barnat, J., Chaloupka, Jakub, Pol, Jaco

Publikováno v: Electronic Notes in Theoretical Computer Science, 198 (1), 63-77

We study and improve the OBF technique [Barnat, J. and P.Moravec, Parallel algorithms for finding SCCs in implicitly given graphs, in: Proceedings of the 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2006), LNCS

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::6673a1734cebc5d4b29c3a89366e5cc9
https://ir.cwi.nl/pub/12382

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání