We distinguish two kinds of undeenedness: undeenedness in existence versus undeenedness in information. We give several applications of the rst kind: a rst order formulation of the untyped lambda calculus and a Zermelo-Fraenkel style theory for partial functions which is equally powerful as ZF-Set Theory. We add the rst kind of unde-nedness to a typed lambda calculus, and show that identifying ...

We describe an approach to reduce the effort involved in disseminating prototype academic (command-line) tools for wider use and inspection. This helps in preserving the effort involved in the development of such tools, and in raising the standards in computer science for conducting repeatable experiments. For this purpose we propose a light-weight, flexible framework to make such tools availab...

Geomagnetic field is highly applicable to indoor localization due to its pervasive spatial presence, high signal stability and infrastructureless support. Previous work in the area often fuses it with pedometer (step counter) via particles. These approaches are computationally intensive and require strong assumptions on user behavior. To overcome the weaknesses, we propose Magil, a pedometer-fr...

In this paper the influence of an example indoor environment on narrowband radio channel path loss for body area networks operating around 2.4 GHz is investigated using computer simulations and on-site measurements. In contrast to other similar studies, the simulation model included both a numerical human body phantom and its environment-room walls, floor and ceiling. As an example, radio signa...

Aiming to reduce the drawbacks of traditional VIRE approach, such as inaccurate boundary positioning and poor results of virtual tags using linear interpolation, we propose a new algorithm based on Radial Basis Functions (RBF) interpolation method and Quantum-behaved Particle Swarm Optimization (QPSO) in this paper. In order to simulate the actual loss of RSSI better, the proposed approach uses...

Residential and commercial gaseous air cleaning technologies have not gained wide acceptance in the marketplace, in part due to the lack of performance data from field tests or simulation studies. This paper describes a field study of the performance of two gaseous air cleaners in a single room test house and simulations based on these tests with an indoor air quality model (CONTAMW). Air clean...