Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation result for generalised quasianalytic algebras

Extended Vacation Systems and the Universality of the M/G/1/K Blocking Formula

A simple blocking formula B(K) = (1 - p)EK [1 - pEK]- 1 relates the probability of blocking for the finite capacity M/G/1/K to EK, the steady state occupancy tail probability of the same system with infinite capacity. The validity of this formula is demonstrated for M/G/1 vacation systems augmented by an idle state, an umbrella for a host of priority systems and vacation systems related to M/G/1. A class of occupancy level dependent vacation systems introduced are shown to require a variant of this blocking formula

Engaging visitors of archaeological sites through ‘emotive’ storytelling experiences: a pilot at the Ancient Agora of Athens

The use of interactive storytelling by museums and heritage sites lends to the creation of experiences that support visitors in engaging emotionally with the objects on display. Finding ways to connect to the cultural content is even more important for visitors of archaeological sites due to the often fragmentary nature of the exhibits, which can leave them wondering what was once there and how it relates to them. In this paper, we describe the creation of a prototype mobile storytelling experience that attempts to explore a more emotive kind of storytelling in cultural contexts. The prototype was evaluated in a preliminary study that took place at the archaeological site of the Ancient Agora of Athens. The observations provide insights for the design of future iterations of such emotive storytelling experiences

Resilient Families Project Web Application

In order to help The Resilient Families Project, a stress management course for at-risk families, we have created an online application to allow users to take stress examinations more frequently, and to record their thoughts and interactions pertaining to the project. In this paper, we document our thought process, design rationale and any other relevant information to the web application for the Resilient Families Project

Integration of Oscillatory and Subanalytic Functions

We prove the stability under integration and under Fourier transform of a concrete class of functions containing all globally subanalytic functions and their complex exponentials. This paper extends the investigation started in [J.-M. Lion, J.-P. Rolin: "Volumes, feuilles de Rolle de feuilletages analytiques et th\'eor\`eme de Wilkie" Ann. Fac. Sci. Toulouse Math. (6) 7 (1998), no. 1, 93-112] and [R. Cluckers, D. J. Miller: "Stability under integration of sums of products of real globally subanalytic functions and their logarithms" Duke Math. J. 156 (2011), no. 2, 311-348] to an enriched framework including oscillatory functions. It provides a new example of fruitful interaction between analysis and singularity theory.Comment: Final version. Accepted for publication in Duke Math. Journal. Changes in proofs: from Section 6 to the end, we now use the theory of continuously uniformly distributed modulo 1 functions that provides a uniform technical point of view in the proofs of limit statement

Networks of Non-homogeneous M/G/oo Systems

For a network of G/oo service facilities, the transient joint distribution of the facility populations is found to have a simple Poisson product form with simple explicit formula for the means. In the network it is assumed that: a) each facility has an infinite number of servers; b) the service time distributions are general; c) external traffic is non-homogenous in time; d) arrivals have random or deterministic routes through the network possibly returning to the same facility more than once; e) arrivals use the facilities on their route sequentially or in parallel (as in the case of a circuit switched telecommunication network). The results have relevance to communication networks and manufacturing systems