Tightness of lead times

This paper introduces a general, formal treatment of dynamic constraints, i.e., constraints on the state changes that are allowed in a given state space. Such dynamic constraints can be seen as representations of "real world" constraints in a managerial context. The notions of transition, reversible and irreversible transition, and transition relation will be introduced. The link with Kripke models (for modal logics) is also made explicit. Several (subtle) examples of dynamic constraints will be given. Some important classes of dynamic constraints in a database context will be identified, e.g. various forms of cumulativity, non-decreasing values, constraints on initial and final values, life cycles, changing life cycles, and transition and constant dependencies. Several properties of these dependencies will be treated. For instance, it turns out that functional dependencies can be considered as "degenerated" transition dependencies. Also, the distinction between primary keys and alternate keys is reexamined, from a dynamic point of view.

Faster Monte Carlo Simulations at Low Temperatures. The Waiting Time Method

We discuss a rejectionless global optimization technique which, while being technically similar to the recently introduced method of Extremal Optimization, still relies on a physical analogy with a thermalizing system. Our waiting time method (WTM) is mathematically equivalent to the usual Metropolis algorithm, but considerably more efficient at low temperatures. The WTM can be used at constant temperature or it can be combined with annealing techniques. It is especially well suited for studying the low temperature relaxation of complex systems as glasses and spin glasses. In the paper we describe the method and test it on a spin glass example by comparing its performance to Extremal Optimization.Comment: 14 pages, 5 figures, LaTe

ANGELAH: A Framework for Assisting Elders At Home

The ever growing percentage of elderly people within modern societies poses welfare systems under relevant stress. In fact, partial and progressive loss of motor, sensorial, and/or cognitive skills renders elders unable to live autonomously, eventually leading to their hospitalization. This results in both relevant emotional and economic costs. Ubiquitous computing technologies can offer interesting opportunities for in-house safety and autonomy. However, existing systems partially address in-house safety requirements and typically focus on only elder monitoring and emergency detection. The paper presents ANGELAH, a middleware-level solution integrating both ”elder monitoring and emergency detection” solutions and networking solutions. ANGELAH has two main features: i) it enables efficient integration between a variety of sensors and actuators deployed at home for emergency detection and ii) provides a solid framework for creating and managing rescue teams composed of individuals willing to promptly assist elders in case of emergency situations. A prototype of ANGELAH, designed for a case study for helping elders with vision impairments, is developed and interesting results are obtained from both computer simulations and a real-network testbed

N-fold way simulated tempering for pairwise interaction point processes

Pairwise interaction point processes with strong interaction are usually difficult to sample. We discuss how Besag lattice processes can be used in a simulated tempering MCMC scheme to help with the simulation of such processes. We show how the N-fold way algorithm can be used to sample the lattice processes efficiently and introduce the N-fold way algorithm into our simulated tempering scheme. To calibrate the simulated tempering scheme we use the Wang-Landau algorithm