User interfaces rarely adapt to the specific user preferences orthe task at hand. We present a method that allows to quickly and inexpensively create personalized interfaces from plain paper. Users can cut out shapes and assign control functions to these paper snippets via a simple configuration interface. After configuration, control takes place entirely through the manipulation of the paper shapes, providing the experience ofa tailored ...

Understanding complicated city traffic patterns has been recognized as a key goal by twenty- first century urban planners and traffic management systems, resulting in a significant rise in the quantity and variety of traffic data gathered. For example, taxi firms in a growing number of large cities have begun to collect metadata for each individual vehicle trip, such as origin, destination, and travel duration. Taxi data offer information ...

In recent years, permisionless blockchains have received a lot of attention both from industry and academia, where substantial effort has been spent to develop consensus protocols that are secure under the assumption that less than half (or a third) of a given resource (e.g., stake or computing power) is controlled by corrupted parties. The security proofs of these consensus protocols usually assume the availability of a network functionality ...

The provision of sustainable housing solutions is one of the main challenges in emerging economy countries. Furthermore, it is clear that a sustainable solution should be based on renewable bio-based materials. The scientific and practical evidence clearly suggests that the use of bamboo in the provision of housing solutions not only brings environmental but also socio-economic benefits to the communities using these strategies. One barrier ...

Correctness and regulatory compliance of today’s software systems are crucial for our safety and security. This can be achieved with policy enforcement: the process of monitoring and possibly modifying system behavior to satisfy a given policy. The enforcer’s capabilities determine which policies are enforceable. We study the enforceability of policies specified in metric first-order temporal logic (MFOTL) with enforcers that can cause ...