In this paper we present a novel approach for monitoring elderly people living alone and independently in their own homes. The proposed system is able to detect behavioral deviations of the routine indoor activities on the basis of a generic indoor localization system and a swarm intelligence method. For this reason, an in-depth study on the error modeling of state-of-the-art indoor localizatio...

x Abstract. We generalise the notion of explicit substitution from the-calculus to higher order rewriting, realised by combinatory reduction systems (CRSs). For every connuent CRS, R, we construct an explicit substitution variant, Rx, which we prove connuent. We identify a large subset of the CRSs, the structure-preserving CRSs, and show for any structure-preserving CRS R that Rx preserves stro...

Iterative solvers in combination with multi-grid have been used extensively to solve large algebraic systems. One of the best known is the Runge-Kutta iteration. Previously [4] we reformulated the Runge-Kutta scheme and established a model of a complete V-cycle which was used to optimize the coefficients of the multi-stage scheme and resulted in a better overall performance. We now look into as...

This paper explores expressiveness of asynchronous multiparty sessions. We model the behaviours of endpoint implementations in several ways: (i) by the existence of different buffers and queues used to store messages exchanged asynchronously, (ii) by the ability for an endpoint to lightly reconfigure his behaviour at runtime (flexibility), (iii) by the presence of explicit parallelism or interr...

The operational model for large Internet service providers is moving to a multi-layer architecture consisting of IP/MPLS coupled with OTN/DWDM. While there has been significant work on multi-layer networks, the explicit modeling in IP/MPLS over OTN/DWDM has not been addressed before. In this paper, we present a detailed network optimization model for the operational planning of such an environm...

Fair resource allocation in high-speed networks, such as the Internet, can be viewed as a constrained optimization program. Kelly et al. have shown that an unconstrained penalty function formulation of this problem can be used to design congestion controllers that are stable. In this paper, we examine the question of providing feedback from the network such that the congestion controllers deriv...

Accattoli and Dal Lago have recently proved that the number of steps in a leftmost-outermost β-reduction rewrite sequence to normal form provides an invariant cost model for the Lambda Calculus. They sketch how to implement leftmost-outermost rewrite sequences on a reasonable machine, with a polynomial overhead, by using simulating rewrite sequences in the linear explicit substitution calculus....

In Genetic Programming (GP) and most of the other evolutionary computing approaches, the knowledge which is learned during the evolutionary processing is implicitly encoded in the population. In this research, we proposed a new approach for program synthesis – Program Evolution with Explicit Learning (PEEL), which learns and makes use of this knowledge explicitly. PEEL learns probability distri...

Given A ∈ Zm×n and b ∈ Z, we consider the integer program max{c′x|Ax = b;x ∈ N} and provide an equivalent and explicit linear program max{ĉ′q|Mq = r; q ≥ 0}, where M, r, ĉ are easily obtained from A, b, c with no calculation. We also provide an explicit algebraic characterization of the integer hull of the convex polytope P = {x ∈ R|Ax = b;x ≥ 0}. All strong valid inequalities can be obtained f...

This paper describes the theoretical and experimental investigations of the key components and also the performance analysis of a rotary wheel for using as a solid desiccant dehumidifier and also indirect evaporator cooling system. Solid desiccants have long been used in dehumidification and cooling systems for energy efficiency or reduce electricity. Although many mathematical models on th...