1: Measuring Independence of Datasets
2: Heaps Simplified
3: A polynomial graph extension procedure for improving graph isomorphism algorithms
4: Optimal Interdiction of Unreactive Markovian Evaders
5: Rotation Distance is Fixed-Parameter Tractable
6: A Linear-Time Approximation Algorithm for Rotation Distance
7: How to Play Unique Games on Expanders
8: De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results
9: Deductive Inference for the Interiors and Exteriors of Horn Theories
10: Raptor Codes Based Distributed Storage Algorithms for Wireless Sensor Networks
11: Filtering Algorithms for the Multiset Ordering Constraint
12: A constructive proof of the general Lovasz Local Lemma
13: Algorithm for Finding $k$-Vertex Out-trees and its Application to $k$-Internal Out-branching Problem
14: Decomposition, Reformulation, and Diving in University Course Timetabling