Abstract
130In the majority of European countries, the evaluation of schools is at the heart of the educational system as a means to guarantee the quality of education. Every year, in most countries around the world, students perform national exams. Their results are analyzed by several stakeholders, including governmental agencies, the media, and researchers on educational issues. At present, advances in information and communication technology (ICT) and data analysis techniques allow schools to make use of massive amounts of data in their daily management. This chapter focuses in particular on the use of students’? data to benchmark schools. It illustrates the potential contribution of the information gathered and analyzed through data analytics to promote the continuous improvement of schools’? educational processes. © 2018 by Taylor & Francis Group, LLC.

Abstract

Abstract
Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety of the system. New integrated development environments (IDEs) based on formal methods technologies have been developed by the research community to support the design and analysis of high-confidence human-machine interfaces. To date, little work has focused on the comparison of these particular types of formal IDEs. This paper compares and evaluates two state-of-the-art toolkits: CIRCUS, a model-based development and analysis tool based on Petri net extensions, and PVSio-web, a prototyping toolkit based on the PVS theorem proving system.

Abstract
This paper addresses a critical analysis of the impact of the wind ramp events with unforeseen magnitude in power systems at the very short term, modeling the response of the operational reserve against this type of phenomenon. A multi-objective approach is adopted, and the properties of the Pareto-optimal fronts are analyzed in cost versus risk, represented by a worst scenario of load curtailment. To complete this critical analysis, a study about the usage of the reserve in the event of wind power ramps is performed. A case study is used to compare the numerical results of the models based on stochastic programming and models that take a risk analysis view in the system with high level of wind power. Wind power uncertainty is represented by scenarios qualified by probabilities. The results show that the reliability reserve may not be adequate to accommodate unforeseen wind ramps and therefore the system may be at risk.

Abstract
The direct relationship between national cultural practice and entrepreneurship activities is analyzed in this chapter, based on the analysis of 44 countries. Datasets from 2012 and 2013 Global Entrepreneurship Monitor (GEM) report are used to characterize three types of entrepreneurship: Early-stage entrepreneurial activity (TEA); necessity-driven entrepreneurship (NDE) and opportunity-driven (ODE) entrepreneurship. Data sets on national cultural values are used to analyze five dimensions of Hofstede's work on cultural values (power distance, individualism/collectivism, masculinity/femininity, long/short term orientation, and uncertainty avoidance). For that, the authors use the Values Survey Module 2013, which has been adapted from Hofstede 's previous work from 2010 and 2008. The main conclusion is that the three types of entrepreneurship analyzed in this chapter are differently explained by the cultural and expanded models. If the country of origin and the type of economy are useful to explain TEA, they are of no added value to explain necessity-driven or opportunity-driven entrepreneurship.

Abstract
For a company it is important to improve resource and eco-efficiency in order to save money, the environment and to improve the company's image. We present a new approach combining Multi-layer Stream Mapping (MSM) and a Business Process Based Monitoring and Control Framework to monitor relevant process variables and use the values as an input for MSM to reduce waste and costs. This combination supports the decision making process and allows to identify major inefficiencies and provides means for more sustainability.