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.

Switched Diversity Techniques for Indoor Off-body Communications Channels: An Experimental Analysis and Modeling

This paper investigates the potential improvement in signal reliability for indoor off-body communications channels operating at 5.8 GHz using switched diversity techniques. In particular we investigate the performance of switch-and-stay combining (SSC), switch-and-examine combining (SEC) and switch-and-examine combining with post-examining selection (SECps) schemes which utilize multiple spatially separated antennas at the base station. During the measurements a test subject, wearing an antenna on his chest, performed a number of walking movements towards and then away from a uniform linear array. It was found that all of the considered diversity schemes provided a worthwhile signal improvement. However, the performance of the diversity systems varied according to the switching threshold that was adopted. To model the fading envelope observed at the output of each of the combiners, we have applied diversity specific equations developed under the assumption of Nakagami-$m$ fading. As a measure of the goodness-of-fit, the Kullback-Leibler divergence between the empirical and theoretical probability density functions (PDFs) was calculated and found to be close to 0. To assist with the interpretation of the goodness-of-fit achieved in this study, the standard deviation, $\sigma$, of a zero-mean, $\sigma^2$ variance Gaussian PDF used to approximate a zero-mean, unit variance Gaussian PDF is also presented. These were generally quite close to 1 indicating that the theoretical models provided an adequate fit to the measured data.

Case study investigation of indoor air quality in mechanically ventilated and naturally ventilated UK social housing

There is a significant lack of indoor air quality research in low energy homes. This study compared the indoor air quality of eight
newly built case study homes constructed to similar levels of air-tightness and insulation; with two different ventilation strategies (four homes with Mechanical Ventilation with Heat Recovery (MVHR) systems/Code level 4 and four homes naturally ventilated/Code level 3). Indoor air quality measurements were conducted over a 24 h period in the living room and main bedroom of each home during the summer and winter seasons. Simultaneous outside measurements and an occupant diary were also employed during the measurement period. Occupant interviews were conducted to gain information on perceived indoor air quality, occupant behaviour and building related illnesses. Knowledge of the MVHR system including ventilation related behaviour was also studied. Results suggest indoor air quality problems in both the mechanically ventilated and naturally ventilated homes, with significant issues identified regarding occupant use in the social homes

Effective indoor air quality for energy-efficient homes: a comparison of UK rating systems

The use of sustainable assessment methods in the UK is on the rise, anticipating the future regulatory trajectory towards zero carbon by 2016. The indisputable influence of sustainable rating tools on UK building regulations conveys the importance of evaluating their effectiveness in achieving true sustainable design, without adversely effecting human health and wellbeing. This paper reviews indoor air-quality (IAQ) issues addressed by UK sustainable assessment tools, and the potential trade-offs between building energy conservation and IAQ. The barriers to effective adoption of IAQ strategies are investigated, including recommendations, suggestions, and future research needs. The review identified a fundamental lack of IAQ criteria in sustainable assessment tools aimed at the residential sector. The consideration of occupants’ health and well-being should be paramount in any assessment scheme, and should not be overshadowed or obscured by the drive towards energy efficiency. A balance is essential.

Indoor air quality in elementary schools of Lisbon and Aveiro

Tem havido uma preocupação crescente com a qualidade do ar interior (QAI) nas escolas em muitos países. Muitos estudos epidemiológicos têm encontrado diferenças regionais entre ambientes interiores. Apesar da elevada incidência de asma e rinite na população infantil, praticamente nada se sabia sobre a QAI em escolas portuguesas. A percepção dos problemas de QAI é crucial para avaliar os riscos para a saúde e rendimento dos estudantes, e para sugerir meios de reduzir a exposição a poluentes indesejáveis. Neste estudo procurou-se obter as concentrações de poluentes de interesse em estabelecimentos de ensino do 1º ciclo de Lisboa e Aveiro, estimar o estado atual de casos de asma e rinite em escolas primárias da capital, avaliar a influência de diferentes materiais das salas de aula/construção e hábitos escolares na QAI, identificar potenciais fontes de poluentes nos interiores e exteriores das salas de aula e propor medidas mitigadoras. Catorze escolas de Lisboa foram visitadas para obter a caracterização física das construções em termos de estrutura, ventilação, materiais de acabamento, produtos de limpeza, densidade de ocupação e potenciais fontes interiores de poluição. Os estudantes foram questionados sobre os seus hábitos e sintomas respiratórios através de inquéritos do modelo ISAAC (International Study of Asthma and Allergies in Childhood). Durante a primavera, outono e inverno (2008-2010), nas salas de aula e pátios, foram monitorizados, por amostragem passiva, compostos orgânicos voláteis (COVs), carbonilos e dióxido de azoto (NO2). Foram também medidos parâmetros de conforto e níveis de microrganismos. Duas escolas localizadas, uma no centro da cidade e outra na região suburbana, em Aveiro foram estudadas em 2010. Parâmetros de conforto, microrganismos, COVs, NO2, material particulado (PM10) foram medidos no interior e no exterior de ambas escolas. Os iões solúveis, carbono orgânico e elementar (OC e EC), e compostos orgânicos presentes no material particulado foram subsequentemente analisados em laboratório. Uma medida mitigadora - fitoremediação - foi avaliada na escola do centro da cidade de Aveiro em 2011. Os resultados do estudo mostraram que a QAI é pior do que a do ar exterior. Em geral, os níveis de CO2 e dos bioaerosóis excederam os níveis máximos aceitáveis para o conforto dos ocupantes estipulado pelas regulamentações portuguesas. Quase todos os COVs e carbonilos identificados mostraram razões interior/exterior (I/E) maiores que uma unidade, o que demonstra a importante contribuição de fontes interiores em todas as escolas. As razões I/E das concentrações de NO2 nunca excederam a unidade. Os níveis interiores diários de PM10 foram sempre maiores que os exteriores, exceto nos fins de semana. Após a colocação de plantas numa das salas de aula, observou-se uma redução estatisticamente significativa nos níveis de CO2, COVs, carbonilos, PM10, OC, e dos iões nitrato, sulfato, amónia, cálcio e carbonato. A possível redução dos níveis de poluentes no interior após a colocação de plantas pode representar uma solução de baixo custo para reduzir a exposição a muitos compostos, melhorar o rendimento e aumentar o bem estar dos alunos e professores em sala de aula.