Milan Hladík

Optimalizační seminář (NOPT053), archiv

Letní semestr 2024/2025: (s Elif Garajovou)

5.3.	Milan Hladík: DC programování.
12.3.	Milan Hladík: Absolute value equations with 2ⁿ solutions.
19.3.	Miroslav Rada (KEKO FIS VŠE): Optimalizace buněk ve Voroného diagramu.
9.4.	Elif Garajová: Optimalizace na intervalových max-algebrách.
16.4.	Miloš Kopa (KPMS MFF UK): Stochastic non-dominace in portfolio optimization.
23.4.	David Hartman: Optimalizace nad permutacemi aneb aproximovaný automorfismus grafů.
30.4.	Vladimír Chudý: Complexity of single loop algorithms for nonlinear programming with stochastic objective and constraints.
7.5.	Martin Kunst: Stochastické intervalové matice a markovské řetězce.
14.5.	Kateřina Vokálová: Interval analysis on DAG for global optimization. (dle článku)

Zimní semestr 2024/2025: (s Davidem Hartmanem)

9.10.	Milan Hladík: Reprezentace po částech lineárních funkcí.
16.10.	Miroslav Rada (KEKO FIS VŠE): Odhad počtu buněk arrangementu a low-rank kvadratické programování na boxu.
23.10.	Milan Hladík: Jednohubky z algoritmů konvexní optimalizace (gradient projection, proximal algorithm, polyhedral approximation).
6.11.	Cyril Kotecký: Problém lineární komplementarity.
20.11.	Elif Garajová: Optimalizace na max-algebrách.
27.11.	Vladimír Chudý: Velrybí algoritmus.
4.12.	David Hartman: Cluster detection problems in social networks.
18.12.	Miroslav Rada (KEKO FIS VŠE): Problém redukce dimenze lineárních programů a souvislost s enumerací vrcholů zonotopu.
8.1.	Jirka Fink: Enumerace vrcholů 0-1 polytopů.

Letní semestr 2022/2023: (s Davidem Hartmanem)

22.2.	Milan Hladík: Dolní konvexní odhady a obálky.
8.3.	Martin Černý: Aproximace řešení kooperativních her na základě částečné informace (1/2).
15.3.	Martin Černý: Aproximace řešení kooperativních her na základě částečné informace (2/2).
22.3.	Martin Černý & David Sychrovský: Coalition revealing game.
29.3.	Miroslav Rada (KEKO FIS VŠE): Jak je to tedy s tím batohem aneb FPTAS vs. strong NP-hardness (1/2).
12.4.	Miroslav Rada (KEKO FIS VŠE): Jak je to tedy s tím batohem aneb FPTAS vs. strong NP-hardness (2/2).
19.4.	Elif Garajová: Diskrétní optimalizace s intervalovými daty.
26.4.	David Hartman: Zobecněný problém vlastních čísel (intervalový).
3.5.	Stefan Ratschan (ÚI AV ČR): Computing certificates for solutions of non-linear systems of equalities and inequalities.

Zimní semestr 2022/2023: (s Davidem Hartmanem)

13.10.	Milan Hladík: Citlivost lineárních programů měřená worst-case analýzou.
3.11.	Elif Garajová: Dopravní problém plný intervalů.
10.11.	David Hartman: Lineární programování s absolutními hodnotami.
24.11.	Michal Černý (KEKO FIS VŠE): Optimalizační problémy motivované statistikou.
8.12.	Miroslav Rada (KEKO FIS VŠE): Pokroky v maximalizaci rozptylu nad intervalovými daty.
22.12.	Miroslav Rada (KEKO FIS VŠE): Zmrzlináři: od Hotellinga k Voronému.
5.1.	Tripartita Malá Strana - Karlín - Žižkov a diskuse aktuálních optimalizačních problémů.

Letní semestr 2021/2022: (s Davidem Hartmanem)

1.3.	Milan Hladík: Optimální korekce nepřípustných systémů ve Frobeniově a spektrální normě.
8.3.	Jan Bok: Minimum cost spanning tree games (1/2).
15.3.	Jan Bok: Minimum cost spanning tree games (2/2).
22.3.	Elif Garajová: Cut problems & divide-and-conquer.
29.3.	Martin Černý: Neúplné kooperativní hry a otevřené problémy.
12.4.	Miroslav Rada (KEKO FIS VŠE): O skutečné složitosti semidefinitních programů.
19.4.	Miroslav Rada (KEKO FIS VŠE): Lasserreova hierarchie semidefinitních programů v aproximačních algoritmech. Díl 1 - celočíselné lineární programování
26.4.	Miroslav Rada (KEKO FIS VŠE): Lasserreova hierarchie semidefinitních programů v aproximačních algoritmech. Díl 2 - důkaz, aplikace a polynomiální programování.
3.5.	Nikola Kalábová: Handling dependencies in object-counting graph kernels.
10.5.	David Hartman: Vzájemná informace a Shapleyho hodnota. (zdrojový článek)
17.5.	Zheming Gao (Northeastern University): Nonlinear kernel-free support vector machines and applications.

Zimní semestr 2021/2022: (s Davidem Hartmanem a Janem Bokem)

21.10.	Elif Garajová: Intervalový dopravní problém.
4.11.	Milan Hladík: Optimální korekce nepřípustných systémů v Čebyševově normě.
11.11.	Jan Bok: NTU hry 1.
25.11.	Jan Bok: NTU hry 2.
2.12.	Martin Černý: Robinsonova vlastnost pro intervalové matice + otevřený problém z kompletně pozitivních matic.
16.12.	Jan Bok: NTU hry 3.
20.1.	Petra Pelikánová: Unfairness minimization problem. (preprint)

Letní semestr 2020/2021: (s Davidem Hartmanem)

15.3.	David Hartman: Maximization of a PSD quadratic form and factorization. (slides)
22.3.	Elif Garajová: Bilevel Programming with(out) Intervals. (slides)
29.3.	Jan Bok: Matchings with preferences. (slides)
12.4.	Viktoryia Valiuk: Cyber threat intelligence, I.
26.4.	Milan Hladík: Absolute value programming.
3.5.	Viktoryia Valiuk: Cyber threat intelligence, II.
10.5.	Nikola Kalábová: Community-based algorithms for protein function prediction. (slides)
24.5.	Matyáš Lorenc: Interval B-matrices and extensions. (in Czech, slides)
31.5.	Martin Černý: Completely positive matrices and their appllications. (slides)
7.6.	Gönül Selin Savaşkan: On the value of infinite matrix games with interval payoffs. (slides)

Zimní semestr 2020/2021: (s Davidem Hartmanem a Janem Bokem)

7.10.	Martin Loebl: O optimalizaci zimní údržby trochu jinak. (slajdy)
21.10.	Elif Garajová: Bilevel programování s intervaly i bez (slajdy).
4.11.	Milan Hladík: Subdiferenciály a jejich role v optimalizaci. (slajdy)
18.11.	David Hartman: Jak mocnit intervalové matice. (slajdy)
25.11.	Martin Černý: Kooperativní k-konvexní hry. (slajdy)
2.12.	Jan Bok: Problém bankrotu.
16.12.	Jaroslav Horáček: Počítačová simulace sociálních revolucí. (slajdy)
20.1.	Ahmad Mousavi: Sparse Recovery via Constrained Optimization: Least Sparsity, Solution Uniqueness, and Constrained Exact Recovery. (abstract) (slides)

Letní semestr 2019/2020: (s Davidem Hartmanem)

27.2.	Milan Hladík: Technika reformulace a linearizace RLT v celočíselném programování.
5.3.	Elif Garajová: Adjustable robust optimization.
...	COVID-19

Zimní semestr 2019/2020: (zaměřeno na kooperativní teorii her, s Davidem Hartmanem a Janem Bokem)

7.10.	Jan Bok: Kooperativní teorie her - úvod, historie, motivační příklady a aplikace.
21.10.	Jan Bok: Kooperativní teorie her - stabilita a jádro.
4.11.	Hossein Moosaei (University of Bojnord): Introduction to Optimization for Machine Learning. (slides)
18.11.	Jan Bok: Kooperativní teorie her - Shapleyho hodnota.
22.11.	Chen Hajaj (Ariel University): Adversarial Artificial Intelligence. (abstract)
2.12.	Jan Bok: Kooperativní teorie her - Shapleyho hodnota a další řešení.
9.12.	Martin Černý: Partially defined cooperative games.
6.1.	Jan Bok: Kooperativní teorie her - přehled solution konceptů.

Letní semestr 2018/2019: (s Davidem Hartmanem)

27.2.	Milan Hladík: Derivace optimální hodnoty v lineárním programování a číslo podmíněnosti.
6.3.	David Hartman: Inverzní intervalová matice a znaménková stabilita.
13.3.	Elif Garajová: Numerische Behandlung des Simplexverfahrens mit intervallanalytischen Methoden.
20.3.	Anna Pidnebesna (ÚI AV ČR): Sparse linear regression methods in brain activity detection.
27.3.	Martin Černý: Úvod do teorie bodových mřížek.
3.4.	Martin Černý: Teorie bodových mřížek a celočíselné programování.
17.4.	Petra Pelikánová: Optimalizace údržby silnic v Plzeňském kraji. (slides)
24.4.	Miroslav Rada (KEKO FIS VŠE): Maximalizace RSS nad intervalovými daty v regresi.
15.5.	Jan Bok: Partially defined cooperative games.

Zimní semestr 2018/2019: (s Davidem Hartmanem)

17.10.	David Hartman: Mocnina intervalové matice: teoretické vlastnosti.
24.10.	Milan Hladík: Absolute value equations.
31.10.	Elif Garajová: Intervalová diskrétní optimalizace. (dle Kasperski, Discrete Optimization with Interval Data)
7.11.	Miroslav Rada (KEKO FIS VŠE): Nejkratší cesta v grafu s intervalovými hranami, minmax regret a jeho NP-těžkost.
14.11.	Martin Černý: Intervalová matice - Mongeova vlastnot v silném a slabém smyslu.
5.12.	David Říha: Mocnina intervalové matice: metody.
12.12.	Martin Černý: Aplikace intervalové Mongeovy matice - výběr minim, dopravní problém a TSP.

Letní semestr 2017/2018: (zaměřeno na smart gridy, s Jirkou Finkem)

27.2.	Jirka Fink: Úvod ke smart gridům.
6.3.	Jirka Fink: Fyzika za smart gridy.
13.3.	Jirka Fink: Approximation algorithms for scheduling a group of heat pumps (1).
20.3.	Ondřej Král: Evolutionary multiobjective optimization of kernel-based very-short-term load forecasting.
27.3.	Jirka Fink: Approximation algorithms for scheduling a group of heat pumps (2).
3.4.	Milan Hladík: Stručný přehled výsledků v intervalovém lineárním programování.
11.4.	Elif Garajová: Graphical models for optimal power flow.
18.4.	Robert Hlavatý: The Price of Robustness.
25.4.	Jirka Fink: Factor graphs and the sum-product algorithm.
2.5.	Elif Garajová: Branching and bounds tightening techniques for non-convex MINLP.
9.5.	Milan Hladík: Verifikace v lineárním programování.
23.5.	Jirka Fink: A greedy algorithm for local heating.

Zimní semestr 2017/2018: (s Davidem Hartmanem)

2.11.	David Hartman: Radius regularity.
9.11.	Robert Hlavatý: Metody vnitřních bodů pro lineární programování (1/2).
16.11.	Robert Hlavatý: Metody vnitřních bodů pro lineární programování (2/2).
30.11.	Jan Kuřátko (ÚI AVČR): Symmetric indefinite factorization and reusing pivots.
14.12.	Elif Garajová: Smart gridy.
11.1.	Robert Hlavatý: Metody vnitřních bodů pro speciální nelineární programování.

Letní semestr 2016/2017: zaměřeno na Metody Krylovových prostorů

7.3.	Jaroslav Horáček: Metody Krylovových prostorů - úvod.
14.3.	Jaroslav Horáček: Odvození metody sdružených gradientů CG (conjugate gradient method).
21.3.	Jaroslav Horáček: Lanczosův algoritmus a CG.
28.3.	Kristýna Krejčová: Aproximačně algoritmický výstup: Randomizované algoritmy.
4.4.	Jaroslav Horáček: Momenty a kvadratury.
11.4.	Jaroslav Horáček: Ortogonální polynomy, Řetězové zlomky, Jacobiho matice.
18.4.	Jaroslav Horáček: Ucelený názorný pohled na celou matiku za CG.
25.4.	Jaroslav Horáček: Analýza chování CG a GMRES part 1 - exact arithmetic
2.5.	Jaroslav Horáček: Analýza chování CG a GMRES part 2 - finite arithmetic.
9.5.	Dušan Knop: Solving combinatorial n-fold integer programming and its applications.
16.5.	Jan Bok: Coalition formation (hedonic) games. (handout here)
23.5.	Ondřej Král: Linear programming with set coefficients.

Zimní semestr 2016/2017:

19.10.	Milan Hladík: Linear semi-infinite programming.
26.10.	Jan Bok: Complexity in cooperative games, part I.
2.11.	Jan Bok: Complexity in cooperative games, part II. (handout here)
16.11.	Elif Garajová: Minimax programming with applications.
30.11.	Milan Hladík: Inexact linear programming. (lecture notes here)
7.12.	Robert Hlavatý: Nonconvex programming overview.
14.12.	Jana Novotná: Duality in interval linear programming.
4.1.	Helena Brožová (KSI ČZU): Programming de novo according to M. Zeleny (slides)
11.1.	Robert Hlavatý: A simplex algorithm for pseudolinear programming.

Letní semestr 2015/2016:

9.3.	Milan Hladík: Rozsah optimálních hodnot v intervalovém lineárním programování.
23.3.	Kateřina Márová: Black-box optimalizace v inženýrské praxi: ladění regulátorů v motorech.
30.3.	Jan Bok: Combinatorial Optimization Games 101: Minimální barvicí hry.
6.4.	Milan Hladík: Úvod do kuželového programování.
13.4.	Elif Garajová: Optimální řešení v intervalovém lineárním programování.
20.4.	Karel Ha: AlphaGo: Mastering the Game of Go with Deep Neural Networks and Tree Search. [in English] (abstract)
27.4.	Přemysl Šůcha (FEL ČVUT): Project scheduling s jemnou příchutí teorie her.
11.5.	Kristýna Krejčová: Toleranční analýza ve vícekriteriálním lineárním programování.
18.5.	Jana Novotná: Intervalové lineární programování a dualita.

Zimní semestr 2015/2016: (s Davidem Hartmanem)

5.11.	Jan Bok: Introduction to Minimum Coloring Games.
12.11.	Robert Hlavatý: Optimalizační modely s nekonvexní po částech lineární účelovou funkcí.
19.11.	Milan Hladík: Toleranční analýza v lineárním programování.
26.11.	Jaroslav Horáček a Václav Koucký (LF2 UK): Diagnostika plicních funkcí dětí - aplikace intervalových metod.
10.12.	Robert Hlavatý a Jan Kašpar (FLD ČZU): Adoption of optimization techniques in harvest scheduling and forest planning.
17.12.	Lukáš Bajer (UI AV ČR): Spojitá black-box optimalizace - algoritmus CMA-ES a metodiky náhradního modelování pomocí Gaussovských procesů.
7.1.	Kristýna Krejčová: Úvod do robustní optimalizace.

Letní semestr 2014/2015: (zaměřeno na algoritmickou teorii her, s Martinem Schmidem a Matejem Moravčíkem)

23.2.	Martin Schmid a Matej Moravčík: Playing Atari with deep reinforcement learning
9.3.	Martin Schmid: Reinforcement learning and external regret - an introduction
16.3.	Martin Schmid a Matej Moravčík: Nyx
13.4.	Jaroslav Horáček: Graphical games.
20.4.	Jaroslav Horáček: Introduction to the inefficiency of equilibria.
27.4.	Martin Schmid a Matej Moravčík: Solving Endgames in Large Imperfect-Information Games such as Poker
11.5.	Jan Bok: Introduction to cooperation game theory.
18.5.	Matej Moravčík: Very recent developments in poker.

Zimní semestr 2014/2015: (zaměřeno na neurčitost, s Jaroslavem Horáčkem)

13.10.	Jaroslav Horáček: Neurčitost kolem nás (ve filosofii, psychologii, fyzice, matematice i každodenním životě).
20.10.	Jaroslav Horáček: Kde se vzala pravděpodobnost.
3.11.	Jan Bok: Intervalová kooperativní teorie her.
10.11.	Jan Horáček: Network coding.
24.11.	Petr Lachout (KPMS MFF UK): Úvod do stochastického programování.
1.12.	Elif Garajová: Fuzzy přístup k neurčitosti. (slides)
15.12.	Dušan Knop, Tomáš Masařík: Parametrická složitost.
5.1.	Martin Branda (KPMS MFF UK): Přehled aplikací optimalizace.