1: Duality of Fix-Points for Distributive Lattices 2: Max-Cut and Max-Bisection are NP-hard on unit disk graphs 3: Group Theoretical Formulation of Quantum Partial Search Algorithm 4: Mining Generalized Graph Patterns based on User Examples