Abstract
Complex data management on healthcare institutions makes very hard to identify illegitimate accesses which is a serious issue. We propose to develop a system to detect accesses with suspicious behavior for further investigation. We modeled use cases (UC) and sequence diagrams (SD) showing the data flow between users and systems. The algorithms represented by activity diagrams apply rules based on professionals' routines, use data from an audit trail (AT) and classify accesses as suspicious or normal. The algorithms were evaluated between 23rd and 31st July 2019. The results were analyzed using absolute and relative frequencies and dispersion measures. Access classification was in accordance to rules applied. "Check time of activity" UC had 64,78% of suspicious classifications, being 55% of activity period shorter and 9,78% longer than expected, "Check days of activity" presented 2,27% of suspicious access and "EHR read access" 79%, the highest percentage of suspicious accesses. The results show the first picture of HIS accesses. Deeper analysis to evaluate algorithms sensibility and specificity should be done. Lack of more detailed information about professionals' routines and systems. and low quality of systems logs are some limitations. Although we believe this is an important step in this field.

Abstract
This paper develops a novel approach to track power system state evolution based on the maximum correntropy criterion, due to its robustness against non-Gaussian errors. It includes the temporal aspects on the estimation process within a maximum-correntropy-based extended Kalman filter (MCEKF), which is able to deal with both nonlinear supervisory control and data acquisition (SCADA) and phasor measurement unit (PMU) measurement models. By representing the behavior of the state variables with a nonparametric model within the kernel density estimation, it is possible to include abrupt state transitions as part of the process noise with non-Gaussian characteristics. Also, a novel strategy to update the size of Parzen windows in the kernel estimation is proposed to suppress the effects of suspect samples. By properly adjusting the kernel bandwidth, the proposed MCEKF keeps its accuracy during sudden load changes and contingencies, or in the presence of bad data. Simulations with IEEE test systems and the Brazilian interconnected system are carried out. The results show that the method deals with non-Gaussian noises in both the process and measurement, and provides accurate estimates of the system state under normal and abnormal conditions.

Abstract
The Kyrgyz Republic, as well as other countries of Central Asia, is highly exposed to natural-environmental hazards, which continues undermining efforts to achieve sustainable development. National disaster risk assessment procedures in Central Asian countries are mainly based on the evaluation of hazards without a detailed analysis of vulnerability and resilience. Additionally, the available practices of hazard assessments are mostly based on a zone-by-zone approach, which would make it difficult to develop a comparative assessment of facilities located in the same hazard zone. This situation hampers the efforts of the local governments to effectively plan and implement disaster risk reduction (DRR) actions when they cannot differentiate the individual facilities according to the risk level in order to focus the existing capacity (which is usually very limited) on increasing the resilience and reducing the vulnerability of the facilities with the highest risk. For improvement of DRR practices, the quantitative comprehensive approach of risk analysis applied in this study is used for risk assessment of educational institutions in one of the most seismically active and most disaster-prone mountain regions of Central Asia - the Alay valley, a wide intermontane valley situated in between the two biggest mountain systems in Asia: Tian Shan and Pamir. The developed multidisciplinary study suggests that the quantitative multi-risk assessment approach - can play a crucial role in understanding risks and can significantly improve the quality of disaster risk reduction planning. 

Abstract
The science and technology (S&T) binomial is often considered in the literature as an innovation system per se. Different theoretical frameworks, such as the 'national innovation systems', 'regional innovation systems' and the 'triple helix', were put forward in order to conceptualising the role of a diversity of agents in innovation processes underpinning knowledge-driven economies. More recently, the conceptual framework of smart specialisation has reinforced the importance of innovation and its diffusion in the entrepreneurial sector. Universities are still deemed as having a potentially pivotal role to play, not only in knowledge production but also in innovation delivery. The goal of this research is to discuss the importance of universities as sources of knowledge for innovative activities in Portugal. A panel comprising three waves of the CIS was built to estimate a hurdle model, the discussion of the estimation results attempt to provide some policy recommendations on the role of universities in knowledge production and diffusion and its connection to innovative firms. © 2020 Inderscience Enterprises Ltd.

Abstract
This chapter is based on consumer behavior theories and analyses consumers' perspectives about camping as a tourism alternative. It explores motivations and several relevant factors that influence the attitudes and behaviors of tourists regarding camping activities. The methodology was qualitative and used focus groups as a data collection tool. A content and thematic analysis was adopted as data mining technique. Results provide empirical support to the influence of subjective norms, relevant others' preference for camping, and sustainable consumer profile on attitudes toward camping which influence camping intention. Moreover, camping intention, motivations, relevant others' preference for camping, perceived control, and past experience affect camping behavior. Overall, this chapter shows that consumer behavior theories and models provide very interesting cues on campers' decision process, offering alternative and complementing views to the extant literature, namely to the studies using the popular push-pull approach.

Abstract
This paper reports on the use of property-based testing for providing feedback to C programming exercises. Test cases are generated automatically from properties specified in a test script; this not only makes it possible to conduct many tests (thus potentially find more mistakes), but also allows simplifying failed tests cases automatically. We present some experimental validation gathered for an introductory C programming course during the fall semester of 2018 that show significant positive correlations between getting feedback during the semester and the student's results in the final exam. We also discuss some limitations regarding feedback for undefined behaviors in the C language. 2012 ACM Subject Classification Social and professional topics ! Student assessment; Software and its engineering ! Software testing and debugging; Software and its engineering ! Domain specific languages.