Indoor and Outdoor monitoring of photocatalytic activity using a mobile phone app. and a photocatalytic activity indicator ink (paii)

A resazurin (Rz) based photocatalyst activity indicator ink (paii) is used to test the activity of commercial self-cleaning materials. The semiconductor photocatalyst driven colour change of the ink is monitored indoors and outside using a simple mobile phone application that measures the RGB colour components of the digital image of the paii-covered, irradiated sample in real time. The results correlate directly with those generated using a traditional, lab-bound method of analysis (UV–vis spectrophotometry).

Received Signal Characteristics of the Indoor Off-Body Communications Channel at 5.8 GHz

In this paper we investigate the received signal characteristics of a mobile chest-worn transmitter at 5.8 GHz within a high multipath indoor environment. The off-body channel measurements considered both the co- and cross-polarized received signal for both line-of-sight (LOS) and non-LOS (NLOS) conditions. A straightforward channel model based upon the estimated path loss, a lognormal slow fading component and Ricean small-scale fading contribution is developed and used to perform simulations which allow the generation of first order received signal power characteristics.

Channel characterisation for indoor wearable active RFID at 868 MHz

Active radio-frequency identification systems that are used for the localisation and tracking of people will be subject to the same body centric processes that impact other forms of wearable communications. To achieve the goal of creating body worn tags with multiyear life spans, it will be necessary to gain an understanding of the channel conditions which are likely to impact the reader-tag interrogation process. In this paper we present the preliminary results of an indoor channel measurement campaign conducted at 868 MHz aimed at understanding and modelling signal characteristics for a wrist-worn tag. Using a model selection process based on the Akaike Information Criterion, the lognormal distribution was selected most often to describe the received signal amplitude. Parameter estimates are provided so that the channels investigated in this study may be readily simulated.

Designing games for older adults: an affordance based approach

The main purpose of this study is to determine the game principles that need to be adopted in order to create an enjoyable and engaging game experience for older adults, whilst ensuring that the purpose of the game, encouraging upper limb mobility, is respected. The study reported in this paper involved a group of older adults who played and gave feedback on an early game prototype which feed into the design modification process. Each player's action capabilities were measured and taken into account in the design process. This helped ensure that opportunities for action that the game afforded were adapted to players' need.

Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Decentralized Computation of Pareto Optimal Pure Nash Equilibria of Boolean Games with Privacy Concerns

In Boolean games, agents try to reach a goal formulated as a Boolean formula. These games are attractive because of their compact representations. However, few methods are available to compute the solutions and they are either limited or do not take privacy or communication concerns into account. In this paper we propose the use of an algorithm related to reinforcement learning to address this problem. Our method is decentralized in the sense that agents try to achieve their goals without knowledge of the other agents’ goals. We prove that this is a sound method to compute a Pareto optimal pure Nash equilibrium for an interesting class of Boolean games. Experimental results are used to investigate the performance of the algorithm.

A Statistical Characterization of Shadowed Fading in Indoor Off-Body Communications Channels At 5.8 GHz

This paper investigates the characteristics of the shadowed fading observed in off-body communications channels at 5.8 GHz using the κ-μ / gamma composite fading model. Realistic measurements have been conducted considering four individual scenarios namely line of sight (LOS) and non-LOS (NLOS) walking, rotation and random movements within an indoor laboratory environment. It is shown that the κ-μ / gamma composite fading model provides a better fit to the fading observed in off-body communications channels compared to the conventional Nakagami-m and Rician fading models.

Signal Reception Characteristics in the Proximity of Alice and Bob for Secure Indoor Peer-to-Peer Communications At 2.45 GHz

Mutual variation of the received signal which occurs as a consequence of the channel reciprocity property has recently been proposed as a viable method for secret key generation. However, this cannot be strictly maintained in practice as the property is applicable only in the absence of interference. To ensure the propagation defined key remains secret, one requirement is that there remain high degrees of uncertainty between the legitimate users channel response and that of any eavesdropper's. In this paper, we investigate whether such de-correlation occurs for an indoor point-to-point link at 2.45 GHz. This is achieved by computing the localized correlation coefficient between the simultaneous channel response measured by the legitimate users and that of multiple distributed eavesdroppers for static and dynamic scenarios.

Think, code, succeed: The Programming Studio as a games-based collaboration:Paper published in the Proceedings of the Association for Teacher Education in Europe conference: Teacher Education through Partnerships and Collaborative Learning Communities, Glasgow, UK. ATEE, 2015

This paper investigates the profile of teachers in the island of Ireland who declared themselves willing to undertake professional development activities in programming, in particular to master programming by taking on-line courses involving the design of computer games. Using the Technology Acceptance Model (TAM), it compares scores for teachers “willing” to undertake the courses with scores for those who declined, and examines other differences between the groups of respondents. Findings reflect the perceived difficulties of programming and the current low status accorded to the subject in Ireland. The paper also reviews the use of games-based learning as a “hook” to engage learners in programming and discusses the role of gamification as a tool for motivating learners in an on-line course. The on-line course focusing on games design was met with enthusiasm, and there was general consensus that gamification was appropriate for motivating learners in structured courses such as those provided.

Validated Cfd Study of Indoor Environmental Conditions in a Highly Glazed , Cross-Ventilated Meeting Room

This paper investigates the environmental conditions inside a highly-glazed cross-ventilated meeting room. A 3D computational fluid dynamics (CFD) model of an indoor environment is developed with the support of the field measurements performed in a normally operating room. The work presented here follows the steps of the formal calibration methodology for the development of CFD models of naturally ventilated environments. This paper utilises the calibration methodology in order to predict environmental conditions within the highly-glazed cross-ventilated room occupied by people. The CFD model is verified and validated with field measurements performed in an operating building. Moreover, parametric analysis determines the most influential boundary conditions on indoor air temperatures and air speeds

Shadowed Fading in Indoor Off-Body Communications Channels: A Statistical Characterization using the κ – μ / Gamma Composite Fading Model

This paper investigates the characteristics of the shadowed fading observed in off-body communications channels at 5.8 GHz. This is realized with the aid of the $\kappa-\mu$ / gamma composite fading model which assumes that the transmitted signal undergoes $\kappa-\mu$ fading which is subject to \emph{multiplicative} shadowing. Based on this, the total power of the multipath components, including both the dominant and scattered components, is subject to non-negligible variations that follow the gamma distribution. For this model, we present an integral form of the probability density function (PDF) as well as important analytic expressions for the PDF, cumulative distribution function, moments and moment generating function. In the case of indoor off-body communications, the corresponding measurements were carried out in the context of four explicit individual scenarios namely: line of sight (LOS) and non-LOS (NLOS) walking, rotational and random movements. The measurements were repeated within three different indoor environments and considered three different hypothetical body worn node locations. With the aid of these results, the parameters for the $\kappa-\mu$ / gamma composite fading model were estimated and analyzed extensively. Interestingly, for the majority of the indoor environments and movement scenarios, the parameter estimates suggested that dominant signal components existed even when the direct signal path was obscured by the test subject's body. Additionally, it is shown that the $\kappa-\mu$ / gamma composite fading model provides an adequate fit to the fading effects involved in off-body communications channels. Using the Kullback-Leibler divergence, we have also compared our results with another recently proposed shadowed fading model, namely the $\kappa-\mu$ / lognormal LOS shadowed fading model. It was found that the $\kappa-\mu$ / gamma composite fading model provided a better fit for the majority of the scenarios considered in this study.