Interacting with your sofa:Interaction designfor pervasive computing Abstract The move of computing into the physical environment and into most aspects ofeveryday life challenges how we understand and design human computer interaction. This talk describes research that addresses this challenge and it provides a number of examples from current and…

Title: Phase transitions in satisfiabilitySpeaker: Rocio SantillanTime: Tue Dec 11th 2007 14:15-15:15Location: Turing-014Abstract:Phase transitions not only occur in physics but also in many problems in computer science. An especially important problem is the satisfiability problem, SAT, for Boolean formulas. K-SAT is the problem, where the…

I/O Efficient Algorithms forBatched Union-Find with Dynamic Set Propertiesand its Applications to Hydrological ConditioningIn this thesis we expand the definition of topological persistence to include topological volume persistence and topological area persistence. We show that both topological persistence measures in theory can be computed using…