- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Delicaris, Joanna (author), Haesaert, Sofie (author), van Huijgevoort, Birgit (author), Lavaei, Abolfazl (author), Remke, Anne (author), Schon, Oliver (author)Abstract<br/>This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic...conference paper 2023
- document
- Thewissen, A. (author), Hrachowitz, M. (author), Blom, A. (author) conference paper 2022
- document
- Ahrendt, S.M. (author), Blom, A. (author), van Denderen, R. Pepijn (author), Schielen, R.M.J. (author), Horner-Devine, Alexander (author) conference paper 2022
- document
- Dercksen, J.A. (author), Stancanelli, L.M. (author), Blom, A. (author) conference paper 2022
- document
- Chowdhury, M. Kifayath (author), Blom, A. (author), Ylla Arbos, C. (author), Verbeek, Merel C. (author), Schropp, M.H.I. (author), Schielen, R.M.J. (author) conference paper 2022
- document
- Czapiga, Matthew (author), Blom, A. (author), Viparelli, Enrica (author) conference paper 2022
- document
- Ylla Arbos, C. (author), Blom, A. (author), Schielen, R.M.J. (author) conference paper 2022
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Delicaris, Joanna (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), van Huijgevoort, Birgit (author), Lavaei, Abolfazl (author), Ma, H. (author), Niehage, Mathis (author), Remke, Anne (author)This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models,...conference paper 2022
- document
-
Klapwijk, R.M. (author), Stables, Kay (author), Blom, Nicolaas (author), Canty, Donal (author), Dagan, Osnat (author), Hartell, Eva (author), Khunyakari, Ritesh (author)This paper reports on a pilot project focused on the use of the formative assessment resource Make Design Learning Visible (MDLV) in different national settings. The MDLV resource centers on a design model involving seven interactive design skills and a formative assessment model involving five strategies. A team of researchers from seven...conference paper 2022
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Bouissou, Marc (author), Cauchi, Nathalie (author), Chraibi, Hassane (author), Delicaris, Joanna (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), Ma, H. (author)This report presents the results of a friendly competition for formal verification and<br/>policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2021
- document
-
Blom, H.A.P. (author), Jiang, C. (author)The unique capabilities of an Unmanned Aircraft System (UAS) creates opportunities for commercial services. The key question is what is an acceptable level of risk posed to third parties on the ground that have no direct benefit from commercial UAS flights. In literature the common view is that an acceptable level of Third Party Risk (TPR) posed...conference paper 2021
- document
-
Sun, Yubo (author), Chen, B. (author), Zhang, Shizhe (author), Blom, Kees (author), Lukovic, M. (author), Ye, G. (author)In recent years, the rapid industrialization and urbanization led to the explosive growth of municipal solid waste incineration (MSWI) bottom ashes (BA) production. However, most of them are directly landfilled, which not only brings environmental burden but also results in loss of potential resources. Present researches have proved that MSWI BA...conference paper 2021
- document
-
Agent-based Modelling and Simulation of Airline Operations Control Decision-Making under UncertaintyBouarfa, Soufiane (author), Blom, H.A.P. (author), Sharpanskykh, Alexei (author), Belhadji, K. (author)Motivated by the need to understand and further optimize AOC decision making processes under uncertainty, this paper implements and evaluates the effects of operational uncertainties using Agent-Based Modelling and Simulation. The specific application concerns a challenging scenario composed of two consecutive disruptions. To evaluate the...conference paper 2021
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Delicaris, Joanna (author), Hartmanns, Arnd (author), Khaled, Mahmoud (author), Lavaei, Abolfazl (author), Pilch, Carina (author), Remke, Anne (author)This report presents the results of a friendly competition for formal verification and<br/>policy synthesis of stochastic models. It also introduces new benchmarks within this<br/>category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop...conference paper 2020
- document
-
Ylla Arbos, C. (author), Blom, A. (author), Acevedo Goldaracena, F. (author), van Vuren, S (author), Schielen, R.M.J. (author)The Rhine reach comprising the Niederrhein and the Upper Rhine Delta is characterized by a long history of engineering interventions. The area is densely populated and the Rhine, the main inland waterway in Europe, justifying the need for such measures. Interventions have had a strong impact on morphodynamic channel characteristics. We use bed...conference paper 2020
- document
-
Rattanagraikanakorn, B. (author), Blom, H.A.P. (author), Sharpanskykh, Alexei (author), de Wagter, C. (author), Jiang, C. (author), Schuurman, M.J. (author), Gransden, Derek I. (author), Happee, R. (author)Evaluating safety risk posed to third parties on the ground due to UAS impact requires a model of probability of fatality (PoF) for human. For quadrotor UAS, the existing impact models predict remarkably different PoFs. The most pessimistic is the impact model adopted by Range Commanders Council (RCC) while the Blunt Criterion model is far...conference paper 2020
- document
-
Jiang, C. (author), Blom, H.A.P. (author), Sharpanskykh, Alexei (author)Use of Unmanned Aircraft Systems (UAS) is growing rapidly around the world. Very different types of UAS are used for applications such as aerial photography, inspection, emergency and Urban Air Mobility (UAM), operating in low altitude and urban environment, as well as in high altitude airspace integrated with the conventional air transportation...conference paper 2020
- document
-
Hunink, Yvo Thomas Anton (author), Kamp, L.M. (author), Blom, E.M. (author)Energy system projects in countries like India are often failing. Not only because of technical or economical barriers, but mainly institutional and social issues are at the base of these failures. A co-creation, or participatory, process to align all demands and requirements of the different stakeholders is required. This paper takes...conference paper 2020
- document
-
Chen, B. (author), Sun, Yubo (author), Jacquemin, Loic (author), Zhang, Shizhe (author), Blom, Kees (author), Lukovic, M. (author), Ye, G. (author)At present, most municipal solid waste incineration (MSWI) bottom ash, as being disposed of as waste, is directly landfilled, raising concern about the environmental issue and potential loss of resources. Given that the natural raw materials used for cement production are being depleted, the recycling of MSWI bottom ash for the application as...conference paper 2019
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Degiorgio, Kurt (author), Franzle, Martin (author), Hahn, Ernst Moritz (author), Haesaert, Sofie (author), Ma, H. (author), Oishi, Meeko (author)This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2019