Multi-arm BanditsDiscusses algorithms for balancing exploration and exploitation in decision-making processes.
Quasi-newton optimizationCovers gradient line search methods and optimization techniques with an emphasis on Wolfe conditions and positive definiteness.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Dataflow Analysis: OptimizationExplores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.