Signal loss is a major problem for cellular wireless devices, resulting in dropped calls and failure in downloading data. Our research uses a combination of different interaction models to provide an easy interface to replace traditional control methods for maintaining signal levels. The lossy WiFi wave propagation around and within buildings is studied utilizing college buildings at the Univer...

This paper describes the implementation of an algorithm capable of enumerating a large number of propagation paths in interactive time for the special case of 2.5D environments. A two-dimensional beam tracing algorithm is used to compute the projection of the propagation paths in the plane and the heights lost in this projection, allowing the reconstruction of the actual propagation paths in th...

Two competing approaches to handling complex constraints in satisfaction and optimization problems using SAT and LCG/SMT technology are: decompose the complex constraint into a set of clauses; or (theory) propagate the complex constraint using a standalone algorithm and explain the propagation. Each approach has its benefits. The decomposition approach is prone to an explosion in size to repres...

Constraint Handling Rules (CHR) is a general-purpose rulebased programming language. This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies. Forward propagation transforms input to output, while backward propagation uncovers input from output. This work includes a source-to-source transformation capable of implementing a backw...