Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Median Search AlgorithmCovers the median search algorithm and the Hoare algorithm for finding the smallest element in a list.
Dataflow Analysis: OptimizationExplores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.
Verlet and Gear AlgorithmsDiscusses the Verlet and Gear algorithms for harmonic oscillators, emphasizing stability and performance evaluation.
Discussion of ComplexityExplores worst-case complexity in computer science and the importance of real-life complexity in algorithm selection.
Column Subset Selection: RRQR and TCSExplores RRQR, TCS, tradeoffs, accuracy metrics, and low-rank matrix factorization frameworks, emphasizing communication avoidance and recent developments.
