Learning to Boost Disjunctive Static Bug-Finders
Explore a novel learning-based strategy for disjunctive static bug-finders, addressing challenges in state-selection heuristics and improving efficiency in real-world program analysis.
Introduction to Artificial Intelligence - Lecture 13: Assignment 4
Explore algorithmic techniques and data structures for AI problem-solving, applying learned concepts to simple games through hands-on assignments.
Introduction to Artificial Intelligence - Lecture 14: Assignment 4
Explore algorithmic techniques and data structures for AI problem-solving, applying learned concepts to simple games in this graduate-level introduction to Artificial Intelligence.
Just Relax, or How I'm Bad at My Own Algorithmic Advice
Explore computational optimization with Professor Ruth Misener as she shares insights and personal experiences in her inaugural lecture at Imperial College London.
Decision Trees and the ID3 Heuristic in Machine Learning - Lecture 4
Delve into decision tree construction using the ID3 heuristic algorithm through practical examples and step-by-step implementation for machine learning applications.
Heuristics for the Arithmetic of Elliptic Curves and Abelian Varieties
Explore probabilistic models for elliptic curve arithmetic, examining theoretical evidence and predictions for higher-dimensional abelian varieties.
Intro to Artificial Intelligence - Search Optimizations - Lecture 6
Explore search optimizations in AI, including techniques for efficient problem-solving and algorithm enhancement. Learn practical applications through game-related assignments.
StarCraft AI Research - Lecture 14
Explore AI techniques for video games, including movement, planning, decision-making, and procedural content generation. Implement a bot for a retail game using C++ and SFML.
Introduction to Artificial Intelligence - Problem Solving and Search - Lecture 3
Explore problem-solving techniques and search algorithms in AI, applying learned concepts to simple games for practical understanding.
Intro to Artificial Intelligence - Minimax and AlphaBeta Search - Lecture 10
Explore Minimax and AlphaBeta Search algorithms for game AI, learning key techniques to optimize decision-making in adversarial environments.