First-Order Models for Sequential Decision-Making
Mathematics for Computer Science
Mathematics for Computer Science
Principles of Computer Systems
Biomedical Information Technology
Lecture 21: Introduction to the Kawa Development Environment: Evaluation of Expressions
Translation-based approaches to conformant and contingent planning
Lightweight Spatial Conjunctive Query Answering using Keywords
DBToaster: Aggressive Compilation Techniques for Online Aggregation
Lecture 16: Model Predictive Control