Abstract
Smart buildings will play a fundamental role in ensuring comfort while reducing the energy required. However, due to the lack of knowledge about the operation of the smart controllers, the occupants can unintentionally increase the energy spent. Nevertheless, there is evidence that the informed and motivated user will actually cooperate with the system. Some of the issues associated with researching control systems in the context of building automation are difficult to address, because of the chronic lack of effective laboratory settings for experimentation. In this paper, we describe a system representative of the usual complexity found in cyber-physical systems, whose purpose is to address the needs for experimenting with building automation, with a focus on control systems and gamification. Designed with pragmatic concerns, this system presents a unique set of challenges and opportunities to research a new generation of software control systems, and supporting interfaces, that leverage the occupants' behaviour.

Abstract
Based on the concept of explanation sheets, we present an approach to make spreadsheets easier to understand and thus easier to use and maintain. We identify the notion of explanation soundness and show that explanation sheets which conform to simple rules of formula coverage provide sound explanations. We also present a practical evaluation of explanation sheets based on samples drawn from widely used spreadsheet corpora and based on a small user study. In addition to supporting spreadsheet understanding and maintenance, our work on explanation sheets has also uncovered several general principles of explanation languages that can help guide the design of explanations for other programming and domain-specific languages.

Abstract
Based on the concept of explanation sheets, we present an approach to make spreadsheets easier to understand and thus easier to use and maintain. We identify the notion of explanation soundness and show that explanation sheets which conform to simple rules of formula coverage provide sound explanations. We also present a practical evaluation of explanation sheets based on samples drawn from widely used spreadsheet corpora and based on a small user study. In addition to supporting spreadsheet understanding and maintenance, our work on explanation sheets has also uncovered several general principles of explanation languages that can help guide the design of explanations for other programming and domain-specific languages. © 2018 Association for Computing Machinery.

Abstract

Abstract
Health facilities produce an increasing and vast amount of data that must be efficiently analyzed. New approaches for healthcare monitoring are being developed every day and the Internet of Things (IoT) came to fill the still existing void on real-time monitoring. A new generation of mechanisms and techniques are being used to facilitate the practice of medicine, promoting faster diagnosis and prevention of diseases. We proposed a system that relies on IoT for storing and monitoring medical sensors data with analytic capabilities. To this end, we chose two approaches for storing this data which were thoroughly evaluated. Apache HBase presents a higher rate of data ingestion, when collaborating with the Kaa IoT platform, than Apache Cassandra, exhibiting good performance storing unstructured data, as presented in a healthcare environment. The outcome of this system has shown the possibility of a large number of medical sensors being simultaneously connected to the same platform (6000 records sent by the second or 48 ECG sensors with a frequency of 125Hz). The results presented in this paper are promising and should be further investigated as a comprehensive system would benefit the patient's diagnosis but also the physicians. © 2018 IEEE.

Abstract
Information and Communications Technologies (ICT) have been successfully used in order to promote and pursue the goals of UN's 2030 Agenda for Sustainable Development. Meeting these goals, however, require significant efforts on public policy development, adequate planning and implementation, as well as qualified human resources working at every level of government, public administration and institutions. This paper presents a first quantitative analysis originated from Electronic Government-related training sessions that took place on all five Portuguese Speaking African Countries, and in Timor-Leste along 2017. The results focus on (i) the availability of higher education institutions offering courses related to EGOV on each of those countries; (ii) the qualification of the professionals attending those sessions; and (iii) how availability of local higher education courses translates into qualifications of local professionals serving at public administration level. This paper also discusses some perceptions gathered from the field, both from participants and lecturer teams, framing additional challenges that EGOV-related courses must take into account in those particular settings. It concludes by pointing out some of the works already taking place, which provides a deeper understanding of the workforce competencies in EGOV for each of those countries. © 2018 Copyright is held by the owner/author(s). Publication rights licensed to ACM.