Abstract
The story of societal progress has long been acknowledged to involve two brothers - management research and management practice (Beyer, 1982). Although, reared by the same knowledge core (Poole and Van de Ven, 1989; Wallin and von Krogh, 2010), the brothers in a display of their contrasting lives behave independently, often disparately. Their distinct behaviour has prompted scholars to report that ’most of what management researchers do utterly fails to resonate with management practice’ (Bansal et al., 2012, p. 73). Those observing the relationship unfold have been concerned of this disconnect for decades (Banks et al., 2016; Hambrick, 1994; Shapiro, Kirkman and Courtney, 2007). Gordon and Howell (1959) posited that universities and business schools need to be ’better informed and more scholarly faculties that are capable of carrying on more significant research, and with greater appreciation of the contributions to be made to the development of business competence’ (p.425). (...)

Abstract

Abstract
Background Changes in the retinal vessel caliber are associated with a variety of major diseases, namely diabetes, hypertension and atherosclerosis. The clinical assessment of these changes in fundus images is tiresome and prone to errors and thus automatic methods are desirable for objective and precise caliber measurement. However, the variability of blood vessel appearance, image quality and resolution make the development of these tools a non-trivial task. Metholodogy A method for the estimation of vessel caliber in eye fundus images via vessel cross-sectional intensity profile model fitting is herein proposed. First, the vessel centerlines are determined and individual segments are extracted and smoothed by spline approximation. Then, the corresponding cross-sectional intensity profiles are determined, post-processed and ultimately fitted by newly proposed parametric models. These models are based on Difference-of-Gaussians (DoG) curves modified through a multiplying line with varying inclination. With this, the proposed models can describe profile asymmetry, allowing a good adjustment to the most difficult profiles, namely those showing central light reflex. Finally, the parameters of the best-fit model are used to determine the vessel width using ensembles of bagged regression trees with random feature selection. Results and conclusions The performance of our approach is evaluated on the REVIEW public dataset by comparing the vessel cross-sectional profile fitting of the proposed modified DoG models with 7 and 8 parameters against a Hermite model with 6 parameters. Results on different goodness of fitness metrics indicate that our models are constantly better at fitting the vessel profiles. Furthermore, our width measurement algorithm achieves a precision close to the observers, outperforming state-of-the art methods, and retrieving the highest precision when evaluated using cross-validation. This high performance supports the robustness of the algorithm and validates its use in retinal vessel width measurement and possible integration in a system for retinal vasculature assessment.

Abstract
This paper presents a new framework for optimizing the operation of Industrial MicroGrids (IMG). The proposed framework consists of three levels. At the first level, a Profit Based Security Constrained Unit Commitment (PB-SCUC) is solved in order to minimize the total expected cost of IMG via maximizing the IMG revenue by transacting in the day-ahead power market and optimizing the scheduling of the units. In this paper, the tendency of IMG for participating in the day-ahead power market is modelled as a quadric function. At the second level, a Security Constrained Unit Commitment is solved at the upper grid for minimizing the upper grid operation and guaranteeing its security. At this level, the accepted IMG bids in the day-ahead power market would be determined. Finally, at the third level, the IMG operator must settle its units on the basis of its accepted bids. Therefore, a rescheduling problem is solved in the third level. Notably, Renewable Energy Sources (RESs), Combined Heat and Power (CHP) units, thermal and electrical storage systems are considered in the IMG. As the RESs and day-ahead market price have stochastic behaviours, their uncertainty is taken into account by implementing stochastic programming. Further, different cases for grid-connected and island modes of IMG are discussed, and the advantages of utilizing RES and storage systems are given. The simulation results are provided based on the IEEE 18-bus test system for IMG and IEEE 30-bus test system for the upper grid.

Abstract
This paper presents the Electrum Analyzer, a free-software tool to validate and perform model checking of Electrum specifications. Electrum is an extension of Alloy that enriches its relational logic with LTL operators, thus simplifying the specification of dynamic systems. The Analyzer supports both automatic bounded model checking, with an encoding into SAT, and unbounded model checking, with an encoding into SMV. Instance, or counter-example, traces are presented back to the user in a unified visualizer. Features to speed up model checking are offered, including a decomposed parallel solving strategy and the extraction of symbolic bounds. Source code: https://github.com/haslab/ElectrumVideo: https://youtu.be/FbjlpvjgMDA. © 2018 Copyright held by the owner/author(s).

Abstract
Background: Stress is a complex process with an impact on health and performance. The use of wearable sensor-based monitoring systems offers interesting opportunities for advanced health care solutions for stress analysis. Considering the stressful nature of firefighting and its importance for the community’s safety, this study was conducted for firefighters. Objectives: A biomonitoring platform was designed, integrating different biomedical systems to enable the acquisition of real time Electrocardiogram (ECG), computation of linear Heart Rate Variability (HRV) features and collection of perceived stress levels. This platform was tested using an experimental protocol, designed to understand the effect of stress on firefighter’s cognitive performance, and whether this effect is related to the autonomic response to stress. Method: The Trier Social Stress Test (TSST) was used as a testing platform along with a 2-Choice Reaction Time Task. Linear HRV features from the participants were acquired using an wearable ECG. Self-reports were used to assess perceived stress levels. Results: The TSST produced significant changes in some HRV parameters (AVNN, SDNN and LF/HF) and subjective measures of stress, which recovered after the stress task. Although these short-term changes in HRV showed a tendency to normalize, an impairment on cognitive performance was found after performing the stress event. Conclusion: Current findings suggested that stress compromised cognitive performance and caused a measurable change in autonomic balance. Our wearable biomonitoring platform proved to be a useful tool for stress assessment and quantification. Future studies will implement this biomonitoring platform for the analysis of stress in ecological settings. © 2018 Rodrigues et al.