Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
LLL AlgorithmCovers the LLL algorithm for reducing lattice bases to shorter and more orthogonal forms through iterative transformations.
Information Retrieval BasicsIntroduces the basics of information retrieval, covering document representation, query expansion, and TF-IDF for document ranking.
Probabilistic Retrieval ModelsCovers probabilistic retrieval models, evaluation metrics, query likelihood, user relevance feedback, and query expansion.