Degree of Freedom AnalysisExplores degree of freedom analysis, redundancy, and data reconciliation in process modeling and optimization.
Approximation AlgorithmsCovers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.