Showing 1–22 of 22 results for author: Boos, D

A Conceptual Framework for AI-based Decision Systems in Critical Infrastructures

Authors: Milad Leyli-abadi, Ricardo J. Bessa, Jan Viebahn, Daniel Boos, Clark Borst, Alberto Castagna, Ricardo Chavarriaga, Mohamed Hassouna, Bruno Lemetayer, Giulia Leto, Antoine Marot, Maroua Meddeb, Manuel Meyer, Viola Schiaffonati, Manuel Schneider, Toni Waefler

Abstract: The interaction between humans and AI in safety-critical systems presents a unique set of challenges that remain partially addressed by existing frameworks. These challenges stem from the complex interplay of requirements for transparency, trust, and explainability, coupled with the necessity for robust and safe decision-making. A framework that holistically integrates human and AI capabilities wh… ▽ More The interaction between humans and AI in safety-critical systems presents a unique set of challenges that remain partially addressed by existing frameworks. These challenges stem from the complex interplay of requirements for transparency, trust, and explainability, coupled with the necessity for robust and safe decision-making. A framework that holistically integrates human and AI capabilities while addressing these concerns is notably required, bridging the critical gaps in designing, deploying, and maintaining safe and effective systems. This paper proposes a holistic conceptual framework for critical infrastructures by adopting an interdisciplinary approach. It integrates traditionally distinct fields such as mathematics, decision theory, computer science, philosophy, psychology, and cognitive engineering and draws on specialized engineering domains, particularly energy, mobility, and aeronautics. The flexibility in its adoption is also demonstrated through its instantiation on an already existing framework. △ Less

Submitted 21 April, 2025; originally announced April 2025.

Verified Parameterized Choreographies Technical Report

Authors: Robert Rubbens, Petra van den Bos, Marieke Huisman

Abstract: This technical report contains the full set of definitions and projection rules of the paper ``Verified Parameterized Choreographies'' by Rubbens et al. It also supplements the artefact. This technical report contains the full set of definitions and projection rules of the paper ``Verified Parameterized Choreographies'' by Rubbens et al. It also supplements the artefact. △ Less

Submitted 15 April, 2025; v1 submitted 21 February, 2025; originally announced February 2025.

Comments: Changes 2025-04-15: - Updated DOI to artefact

Learning in a Multifield Coherent Ising Machine

Authors: Daan de Bos, Marc Serra-Garcia

Abstract: Physical information processors can learn from examples if they are modified according to an abstract parameter update equation, termed a learning rule. We introduce a physical model for self-learning that encodes the learning rule in the Hamiltonian of the system. The model consists of a network of multi-modal resonators. One of the modes is driven parametrically into a bi-stable regime, forming… ▽ More Physical information processors can learn from examples if they are modified according to an abstract parameter update equation, termed a learning rule. We introduce a physical model for self-learning that encodes the learning rule in the Hamiltonian of the system. The model consists of a network of multi-modal resonators. One of the modes is driven parametrically into a bi-stable regime, forming a coherent Ising machine (CIM) -- that provides the long-term memory that stores learned responses (weights). The CIM is augmented with an additional spinor field that acts as short-term (activation) memory. We numerically demonstrate that, in the presence of suitable nonlinear interactions between the long-term memory Ising machine and the short-term memory auxiliary field, the system autonomously learns from examples. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: 8 pages, 4 figures

MyDigiTwin: A Privacy-Preserving Framework for Personalized Cardiovascular Risk Prediction and Scenario Exploration

Authors: Héctor Cadavid, Hyunho Mo, Bauke Arends, Katarzyna Dziopa, Esther E. Bron, Daniel Bos, Sonja Georgievska, Pim van der Harst

Abstract: Cardiovascular disease (CVD) remains a leading cause of death, and primary prevention through personalized interventions is crucial. This paper introduces MyDigiTwin, a framework that integrates health digital twins with personal health environments to empower patients in exploring personalized health scenarios while ensuring data privacy. MyDigiTwin uses federated learning to train predictive mod… ▽ More Cardiovascular disease (CVD) remains a leading cause of death, and primary prevention through personalized interventions is crucial. This paper introduces MyDigiTwin, a framework that integrates health digital twins with personal health environments to empower patients in exploring personalized health scenarios while ensuring data privacy. MyDigiTwin uses federated learning to train predictive models across distributed datasets without transferring raw data, and a novel data harmonization framework addresses semantic and format inconsistencies in health data. A proof-of-concept demonstrates the feasibility of harmonizing and using cohort data to train privacy-preserving CVD prediction models. This framework offers a scalable solution for proactive, personalized cardiovascular care and sets the stage for future applications in real-world healthcare settings. △ Less

Submitted 21 January, 2025; originally announced January 2025.

With a little help from your friends: semi-cooperative games via Joker moves

Authors: Petra van den Bos, Marielle Stoelinga

Abstract: This paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from Player 2 by playing a Joker move. We formalize these games as cost games and develop strategies that minimize the use of Jokers - viewed as costs - to secure a win with the least possible help. Our investigation studies the theoretical underp… ▽ More This paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from Player 2 by playing a Joker move. We formalize these games as cost games and develop strategies that minimize the use of Jokers - viewed as costs - to secure a win with the least possible help. Our investigation studies the theoretical underpinnings of these games and their associated Joker strategies. In particular, when comparing our cost-minimal strategies with admissible strategies, we find out that they differ. Moreover, while randomization can be beneficial in conventional concurrent games, it does not aid in winning Joker games, although it can help reduce the number of needed Jokers. We also enhance our framework by introducing a secondary objective, namely by minimizing the number of moves executed by a Joker strategy. Finally, we demonstrate the practical advantages of our approach by applying it to test generation in model-based testing. △ Less

Submitted 15 March, 2025; v1 submitted 26 April, 2023; originally announced April 2023.

Journal ref: Logical Methods in Computer Science, Volume 21, Issue 1 (March 18, 2025) lmcs:12944

Computer-aided diagnosis and prediction in brain disorders

Authors: Vikram Venkatraghavan, Sebastian R. van der Voort, Daniel Bos, Marion Smits, Frederik Barkhof, Wiro J. Niessen, Stefan Klein, Esther E. Bron

Abstract: Computer-aided methods have shown added value for diagnosing and predicting brain disorders and can thus support decision making in clinical care and treatment planning. This chapter will provide insight into the type of methods, their working, their input data - such as cognitive tests, imaging and genetic data - and the types of output they provide. We will focus on specific use cases for diagno… ▽ More Computer-aided methods have shown added value for diagnosing and predicting brain disorders and can thus support decision making in clinical care and treatment planning. This chapter will provide insight into the type of methods, their working, their input data - such as cognitive tests, imaging and genetic data - and the types of output they provide. We will focus on specific use cases for diagnosis, i.e. estimating the current 'condition' of the patient, such as early detection and diagnosis of dementia, differential diagnosis of brain tumours, and decision making in stroke. Regarding prediction, i.e. estimation of the future 'condition' of the patient, we will zoom in on use cases such as predicting the disease course in multiple sclerosis and predicting patient outcomes after treatment in brain cancer. Furthermore, based on these use cases, we will assess the current state-of-the-art methodology and highlight current efforts on benchmarking of these methods and the importance of open science therein. Finally, we assess the current clinical impact of computer-aided methods and discuss the required next steps to increase clinical impact. △ Less

Submitted 31 October, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

A Quantitative Comparison of Epistemic Uncertainty Maps Applied to Multi-Class Segmentation

Authors: Robin Camarasa, Daniel Bos, Jeroen Hendrikse, Paul Nederkoorn, M. Eline Kooi, Aad van der Lugt, Marleen de Bruijne

Abstract: Uncertainty assessment has gained rapid interest in medical image analysis. A popular technique to compute epistemic uncertainty is the Monte-Carlo (MC) dropout technique. From a network with MC dropout and a single input, multiple outputs can be sampled. Various methods can be used to obtain epistemic uncertainty maps from those multiple outputs. In the case of multi-class segmentation, the numbe… ▽ More Uncertainty assessment has gained rapid interest in medical image analysis. A popular technique to compute epistemic uncertainty is the Monte-Carlo (MC) dropout technique. From a network with MC dropout and a single input, multiple outputs can be sampled. Various methods can be used to obtain epistemic uncertainty maps from those multiple outputs. In the case of multi-class segmentation, the number of methods is even larger as epistemic uncertainty can be computed voxelwise per class or voxelwise per image. This paper highlights a systematic approach to define and quantitatively compare those methods in two different contexts: class-specific epistemic uncertainty maps (one value per image, voxel and class) and combined epistemic uncertainty maps (one value per image and voxel). We applied this quantitative analysis to a multi-class segmentation of the carotid artery lumen and vessel wall, on a multi-center, multi-scanner, multi-sequence dataset of (MR) images. We validated our analysis over 144 sets of hyperparameters of a model. Our main analysis considers the relationship between the order of the voxels sorted according to their epistemic uncertainty values and the misclassification of the prediction. Under this consideration, the comparison of combined uncertainty maps reveals that the multi-class entropy and the multi-class mutual information statistically out-perform the other combined uncertainty maps under study. In a class-specific scenario, the one-versus-all entropy statistically out-performs the class-wise entropy, the class-wise variance and the one versus all mutual information. The class-wise entropy statistically out-performs the other class-specific uncertainty maps in terms of calibration. We made a python package available to reproduce our analysis on different data and tasks. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: 39 pages, 22 figures, to be published in Journal of Machine Learning for Biomedical Imaging for the Special Issue: Uncertainty for Safe Utilization of Machine Learning in Medical Imaging (UNSURE) 2020

ACM Class: I.4.6

Automated Segmentation and Volume Measurement of Intracranial Carotid Artery Calcification on Non-Contrast CT

Authors: Gerda Bortsova, Daniel Bos, Florian Dubost, Meike W. Vernooij, M. Kamran Ikram, Gijs van Tulder, Marleen de Bruijne

Abstract: Purpose: To evaluate a fully-automated deep-learning-based method for assessment of intracranial carotid artery calcification (ICAC). Methods: Two observers manually delineated ICAC in non-contrast CT scans of 2,319 participants (mean age 69 (SD 7) years; 1154 women) of the Rotterdam Study, prospectively collected between 2003 and 2006. These data were used to retrospectively develop and validate… ▽ More Purpose: To evaluate a fully-automated deep-learning-based method for assessment of intracranial carotid artery calcification (ICAC). Methods: Two observers manually delineated ICAC in non-contrast CT scans of 2,319 participants (mean age 69 (SD 7) years; 1154 women) of the Rotterdam Study, prospectively collected between 2003 and 2006. These data were used to retrospectively develop and validate a deep-learning-based method for automated ICAC delineation and volume measurement. To evaluate the method, we compared manual and automatic assessment (computed using ten-fold cross-validation) with respect to 1) the agreement with an independent observer's assessment (available in a random subset of 47 scans); 2) the accuracy in delineating ICAC as judged via blinded visual comparison by an expert; 3) the association with first stroke incidence from the scan date until 2012. All method performance metrics were computed using 10-fold cross-validation. Results: The automated delineation of ICAC reached sensitivity of 83.8% and positive predictive value (PPV) of 88%. The intraclass correlation between automatic and manual ICAC volume measures was 0.98 (95% CI: 0.97, 0.98; computed in the entire dataset). Measured between the assessments of independent observers, sensitivity was 73.9%, PPV was 89.5%, and intraclass correlation was 0.91 (95% CI: 0.84, 0.95; computed in the 47-scan subset). In the blinded visual comparisons, automatic delineations were more accurate than manual ones (p-value = 0.01). The association of ICAC volume with incident stroke was similarly strong for both automated (hazard ratio, 1.38 (95% CI: 1.12, 1.75) and manually measured volumes (hazard ratio, 1.48 (95% CI: 1.20, 1.87)). Conclusions: The developed model was capable of automated segmentation and volume quantification of ICAC with accuracy comparable to human experts. △ Less

Submitted 20 July, 2021; originally announced July 2021.

Comments: Accepted for publication in Radiology: Artificial Intelligence (https://pubs.rsna.org/journal/ai), which is published by the Radiological Society of North America (RSNA)

Close contact risk assessment for SARS-CoV-2 infection

Authors: Gino Cortellessa, Luca Stabile, Fausto Arpino, David E. Faleiros, Wouter van den Bos, Lidia Morawska, Giorgio Buonanno

Abstract: Although close contact represents an important contagion route, the mechanism of exposure to exhaled droplets remains insufficiently characterized. In this study, an integrated risk assessment is presented for SARS-CoV-2 close contact exposure between a speaking infectious subject and a susceptible subject. It is based on a three-dimensional transient numerical model for the description of exhaled… ▽ More Although close contact represents an important contagion route, the mechanism of exposure to exhaled droplets remains insufficiently characterized. In this study, an integrated risk assessment is presented for SARS-CoV-2 close contact exposure between a speaking infectious subject and a susceptible subject. It is based on a three-dimensional transient numerical model for the description of exhaled droplet spread once emitted by a speaking person, coupled with a recently proposed SARS-CoV-2 emission approach. Particle image velocimetry measurements were conducted to validate the numerical model. The contribution of large droplets to infection risk is dominant for distances < 0.6 m, whereas for longer distances, the exposure risk depends only on airborne droplets. In particular, for short exposures (10 s) a minimum safety distance of 0.75 m should be maintained to lower the risk below 0.1%; for exposures of 1 and 15 min this distance increases to about 1.0 and 1.5 m, respectively. Based on the interpersonal distances across countries reported as a function of interacting individuals, cultural differences, and environmental and sociopsychological factors, the approach presented here revealed that, in addition to intimate and personal distances, particular attention must be paid to exposures longer than 1 min within social distances (of about 1 m). △ Less

Submitted 22 April, 2021; originally announced April 2021.

State Identification for Labeled Transition Systems with Inputs and Outputs

Authors: Petra van den Bos, Frits Vaandrager

Abstract: For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by… ▽ More For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by the previous input and state. Labeled Transition Systems with inputs and outputs (LTSs), as studied in ioco testing theory, provide a richer framework for testing component oriented systems, but lack the algorithms for test generation from FSM theory. In this article, we propose an algorithm for the fundamental problem of state identification during testing of LTSs. Our algorithm is a direct generalization of the well-known algorithm for computing adaptive distinguishing sequences for FSMs proposed by Lee & Yannakakis. Our algorithm has to deal with so-called compatible states, states that cannot be distinguished in case of an adversarial system-under-test. Analogous to the result of Lee & Yannakakis, we prove that if an (adaptive) test exists that distinguishes all pairs of incompatible states of an LTS, our algorithm will find one. In practice, such adaptive tests typically do not exist. However, in experiments with an implementation of our algorithm on an industrial benchmark, we find that tests produced by our algorithm still distinguish more than 99% of the incompatible state pairs. △ Less

Submitted 22 October, 2019; v1 submitted 25 July, 2019; originally announced July 2019.

Adaptive sampling-based quadrature rules for efficient Bayesian prediction

Authors: L. M. M. van den Bos, B. Sanderse, W. A. A. M. Bierbooms

Abstract: A novel method is proposed to infer Bayesian predictions of computationally expensive models. The method is based on the construction of quadrature rules, which are well-suited for approximating the weighted integrals occurring in Bayesian prediction. The novel idea is to construct a sequence of nested quadrature rules with positive weights that converge to a quadrature rule that is weighted with… ▽ More A novel method is proposed to infer Bayesian predictions of computationally expensive models. The method is based on the construction of quadrature rules, which are well-suited for approximating the weighted integrals occurring in Bayesian prediction. The novel idea is to construct a sequence of nested quadrature rules with positive weights that converge to a quadrature rule that is weighted with respect to the posterior. The quadrature rules are constructed using a proposal distribution that is determined by means of nearest neighbor interpolation of all available evaluations of the posterior. It is demonstrated both theoretically and numerically that this approach yields accurate estimates of the integrals involved in Bayesian prediction. The applicability of the approach for a fluid dynamics test case is demonstrated by inferring accurate predictions of the transonic flow over the RAE2822 airfoil with a small number of model evaluations. Here, the closure coefficients of the Spalart-Allmaras turbulence model are considered to be uncertain and are calibrated using wind tunnel measurements. △ Less

Submitted 24 May, 2020; v1 submitted 19 July, 2019; originally announced July 2019.

Journal ref: Journal of Computational Physics 417, 15 September 2020, 109537

Non-intrusive uncertainty quantification using reduced cubature rules

Authors: L. M. M. van den Bos, B. Koren, R. P. Dwight

Abstract: For the purpose of uncertainty quantification with collocation, a method is proposed for generating families of one-dimensional nested quadrature rules with positive weights and symmetric nodes. This is achieved through a reduction procedure: we start with a high-degree quadrature rule with positive weights and remove nodes while preserving symmetry and positivity. This is shown to be always possi… ▽ More For the purpose of uncertainty quantification with collocation, a method is proposed for generating families of one-dimensional nested quadrature rules with positive weights and symmetric nodes. This is achieved through a reduction procedure: we start with a high-degree quadrature rule with positive weights and remove nodes while preserving symmetry and positivity. This is shown to be always possible, by a lemma depending primarily on Carathéodory's theorem. The resulting one-dimensional rules can be used within a Smolyak procedure to produce sparse multi-dimensional rules, but weight positivity is lost then. As a remedy, the reduction procedure is directly applied to multi-dimensional tensor-product cubature rules. This allows to produce a family of sparse cubature rules with positive weights, competitive with Smolyak rules. Finally the positivity constraint is relaxed to allow more flexibility in the removal of nodes. This gives a second family of sparse cubature rules, in which iteratively as many nodes as possible are removed. The new quadrature and cubature rules are applied to test problems from mathematics and fluid dynamics. Their performance is compared with that of the tensor-product and standard Clenshaw-Curtis Smolyak cubature rule. △ Less

Submitted 15 May, 2019; originally announced May 2019.

Journal ref: Journal of Computational Physics 332, 1 March 2017, Pages 418-445

Fatigue design load calculations of the offshore NREL 5MW benchmark turbine using quadrature rule techniques

Authors: L. M. M. van den Bos, W. A. A. M. Bierbooms, A. Alexandre, B. Sanderse, G. J. W. van Bussel

Abstract: A novel approach is proposed to reduce, compared to the conventional binning approach, the large number of aeroelastic code evaluations that are necessary to obtain equivalent loads acting on wind turbines. These loads describe the effect of long-term environmental variability on the fatigue loads of a horizontal-axis wind turbine. In particular Design Load Case 1.2, as standardized by IEC, is con… ▽ More A novel approach is proposed to reduce, compared to the conventional binning approach, the large number of aeroelastic code evaluations that are necessary to obtain equivalent loads acting on wind turbines. These loads describe the effect of long-term environmental variability on the fatigue loads of a horizontal-axis wind turbine. In particular Design Load Case 1.2, as standardized by IEC, is considered. The approach is based on numerical integration techniques and, more specifically, quadrature rules. The quadrature rule used in this work is a recently proposed "implicit" quadrature rule, which has the main advantage that it can be constructed directly using measurements of the environment. It is demonstrated that the proposed approach yields accurate estimations of the equivalent loads using a significantly reduced number of aeroelastic model evaluations (compared to binning). Moreover the error introduced by the seeds (introduced by averaging over random wind fields and sea states) is incorporated in the quadrature framework, yielding an even further reduction in the number of aeroelastic code evaluations. The reduction in computational time is demonstrated by assessing the fatigue loads on the NREL 5MW reference offshore wind turbine in conjunction with measurement data obtained at the North Sea, both for a simplified and a full load case. △ Less

Submitted 11 April, 2019; originally announced April 2019.

Journal ref: Wind Energy 23(5), May 2020, pages 1181-1195

A geometric approach for the addition of nodes to an interpolatory quadrature rule with positive weights

Authors: L. M. M. van den Bos, B. Sanderse

Abstract: A novel mathematical framework is derived for the addition of nodes to univariate and interpolatory quadrature rules. The framework is based on the geometrical interpretation of the Vandermonde matrix describing the relation between the nodes and the weights and can be used to determine all nodes that can be added to an interpolatory quadrature rule with positive weights such that the positive wei… ▽ More A novel mathematical framework is derived for the addition of nodes to univariate and interpolatory quadrature rules. The framework is based on the geometrical interpretation of the Vandermonde matrix describing the relation between the nodes and the weights and can be used to determine all nodes that can be added to an interpolatory quadrature rule with positive weights such that the positive weights are preserved. In the case of addition of a single node, the derived inequalities that describe the regions where nodes can be added are explicit. Besides addition of nodes these inequalities also yield an algorithmic description of the replacement and removal of nodes. It is shown that it is not always possible to add a single node while preserving positive weights. On the other hand, addition of multiple nodes and preservation of positive weights is always possible, although the minimum number of nodes that need to be added can be as large as the number of nodes of the quadrature rule. In case of addition of multiple nodes the inequalities describing the regions where nodes can be added become implicit. It is shown that the well-known Patterson extension of quadrature rules is a special case that forms the boundary of these regions and various examples of the applicability of the framework are discussed. By exploiting the framework, two new sets of quadrature rules are proposed. Their performance is compared with the well-known Gaussian and Clenshaw-Curtis quadrature rules, demonstrating the advantages of our proposed nested quadrature rules with positive weights and fine granularity. △ Less

Submitted 23 January, 2021; v1 submitted 20 February, 2019; originally announced February 2019.

MSC Class: 65D32; 65D30; 65D05

Journal ref: Journal of Computational and Applied Mathematics 391, 1 August 2021, 113430

The atomic lensing model: new opportunities for atom-by-atom metrology of heterogeneous nanomaterials

Authors: K. H. W. van den Bos, L. Janssens, A. De Backer, P. D. Nellist, S. Van Aert

Abstract: The atomic lensing model has been proposed as a promising method facilitating atom-counting in heterogeneous nanocrystals [KHW van den Bos et. al, Phys. Rev. Lett. 116 (2016) 246101] Here, image simulations will validate the model, which describes dynamical diffraction as a superposition of individual atoms focussing the incident electrons. It will be demonstrated that the model is reliable in the… ▽ More The atomic lensing model has been proposed as a promising method facilitating atom-counting in heterogeneous nanocrystals [KHW van den Bos et. al, Phys. Rev. Lett. 116 (2016) 246101] Here, image simulations will validate the model, which describes dynamical diffraction as a superposition of individual atoms focussing the incident electrons. It will be demonstrated that the model is reliable in the annular dark field regime for crystals having columns containing dozens of atoms. By using the principles of statistical detection theory, it will be shown that this model gives new opportunities for detecting compositional differences. △ Less

Submitted 15 February, 2019; originally announced February 2019.

Berry phase engineering at oxide interfaces

Authors: D. J. Groenendijk, C. Autieri, T. C. van Thiel, W. Brzezicki, N. Gauquelin, P. Barone, K. H. W. van den Bos, S. van Aert, J. Verbeeck, A. Filippetti, S. Picozzi, M. Cuoco, A. D. Caviglia

Abstract: Geometric phases in condensed matter play a central role in topological transport phenomena such as the quantum, spin and anomalous Hall effect (AHE). In contrast to the quantum Hall effect - which is characterized by a topological invariant and robust against perturbations - the AHE depends on the Berry curvature of occupied bands at the Fermi level and is therefore highly sensitive to subtle cha… ▽ More Geometric phases in condensed matter play a central role in topological transport phenomena such as the quantum, spin and anomalous Hall effect (AHE). In contrast to the quantum Hall effect - which is characterized by a topological invariant and robust against perturbations - the AHE depends on the Berry curvature of occupied bands at the Fermi level and is therefore highly sensitive to subtle changes in the band structure. A unique platform for its manipulation is provided by transition metal oxide heterostructures, where engineering of emergent electrodynamics becomes possible at atomically sharp interfaces. We demonstrate that the Berry curvature and its corresponding vector potential can be manipulated by interface engineering of the correlated itinerant ferromagnet SrRuO$_3$ (SRO). Measurements of the AHE reveal the presence of two interface-tunable spin-polarized conduction channels. Using theoretical calculations, we show that the tunability of the AHE at SRO interfaces arises from the competition between two topologically non-trivial bands. Our results demonstrate how reconstructions at oxide interfaces can be used to control emergent electrodynamics on a nanometer-scale, opening new routes towards spintronics and topological electronics. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 8 pages, 4 figures, (+ Supplementary Information)

Journal ref: Phys. Rev. Research 2, 023404 (2020)

Generating nested quadrature rules with positive weights based on arbitrary sample sets

Authors: L. M. M. van den Bos, B. Sanderse, W. A. A. M. Bierbooms, G. J. W. van Bussel

Abstract: For the purpose of uncertainty propagation a new quadrature rule technique is proposed that has positive weights, has high degree, and is constructed using only samples that describe the probability distribution of the uncertain parameters. Moreover, nodes can be added to the quadrature rule, resulting into a sequence of nested rules. The rule is constructed by iterating over the samples of the di… ▽ More For the purpose of uncertainty propagation a new quadrature rule technique is proposed that has positive weights, has high degree, and is constructed using only samples that describe the probability distribution of the uncertain parameters. Moreover, nodes can be added to the quadrature rule, resulting into a sequence of nested rules. The rule is constructed by iterating over the samples of the distribution and exploiting the null space of the Vandermonde-system that describes the nodes and weights, in order to select which samples will be used as nodes in the quadrature rule. The main novelty of the quadrature rule is that it can be constructed using any number of dimensions, using any basis, in any space, and using any distribution. It is demonstrated both theoretically and numerically that the rule always has positive weights and therefore has high convergence rates for sufficiently smooth functions. The convergence properties are demonstrated by approximating the integral of the Genz test functions. The applicability of the quadrature rule to complex uncertainty propagation cases is demonstrated by determining the statistics of the flow over an airfoil governed by the Euler equations, including the case of dependent uncertain input parameters. The new quadrature rule significantly outperforms classical sparse grid methods. △ Less

Submitted 17 July, 2019; v1 submitted 26 September, 2018; originally announced September 2018.

MSC Class: 65D32; 65D30; 65C99

Journal ref: SIAM/ASA J. Uncertainty Quantification 8(1), 21 January 2020, pages 139-169

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

Authors: Petra van den Bos, Marielle Stoelinga

Abstract: We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating refinement. We show that different test assumptions from the literature can be easily incorporated, by slightly varying the moves in the games an… ▽ More We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating refinement. We show that different test assumptions from the literature can be easily incorporated, by slightly varying the moves in the games and their outcomes. In this way, our framework allows a wide plethora of game-theoretic techniques to be deployed for model based testing. △ Less

Submitted 9 September, 2018; originally announced September 2018.

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal ref: EPTCS 277, 2018, pp. 118-132

Bayesian model calibration with interpolating polynomials based on adaptively weighted Leja nodes

Authors: L. M. M. van den Bos, B. Sanderse, W. A. A. M. Bierbooms, G. J. W. van Bussel

Abstract: An efficient algorithm is proposed for Bayesian model calibration, which is commonly used to estimate the model parameters of non-linear, computationally expensive models using measurement data. The approach is based on Bayesian statistics: using a prior distribution and a likelihood, the posterior distribution is obtained through application of Bayes' law. Our novel algorithm to accurately determ… ▽ More An efficient algorithm is proposed for Bayesian model calibration, which is commonly used to estimate the model parameters of non-linear, computationally expensive models using measurement data. The approach is based on Bayesian statistics: using a prior distribution and a likelihood, the posterior distribution is obtained through application of Bayes' law. Our novel algorithm to accurately determine this posterior requires significantly fewer discrete model evaluations than traditional Monte Carlo methods. The key idea is to replace the expensive model by an interpolating surrogate model and to construct the interpolating nodal set maximizing the accuracy of the posterior. To determine such a nodal set an extension to weighted Leja nodes is introduced, based on a new weighting function. We prove that the convergence of the posterior has the same rate as the convergence of the model. If the convergence of the posterior is measured in the Kullback-Leibler divergence, the rate doubles. The algorithm and its theoretical properties are verified in three different test cases: analytical cases that confirm the correctness of the theoretical findings, Burgers' equation to show its applicability in implicit problems, and finally the calibration of the closure parameters of a turbulence model to show the effectiveness for computationally expensive problems. △ Less

Submitted 17 July, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Journal ref: Communication in Computational Physics 27(1):33-69, 2020

Segmentation of Intracranial Arterial Calcification with Deeply Supervised Residual Dropout Networks

Authors: Gerda Bortsova, Gijs van Tulder, Florian Dubost, Tingying Peng, Nassir Navab, Aad van der Lugt, Daniel Bos, Marleen de Bruijne

Abstract: Intracranial carotid artery calcification (ICAC) is a major risk factor for stroke, and might contribute to dementia and cognitive decline. Reliance on time-consuming manual annotation of ICAC hampers much demanded further research into the relationship between ICAC and neurological diseases. Automation of ICAC segmentation is therefore highly desirable, but difficult due to the proximity of the l… ▽ More Intracranial carotid artery calcification (ICAC) is a major risk factor for stroke, and might contribute to dementia and cognitive decline. Reliance on time-consuming manual annotation of ICAC hampers much demanded further research into the relationship between ICAC and neurological diseases. Automation of ICAC segmentation is therefore highly desirable, but difficult due to the proximity of the lesions to bony structures with a similar attenuation coefficient. In this paper, we propose a method for automatic segmentation of ICAC; the first to our knowledge. Our method is based on a 3D fully convolutional neural network that we extend with two regularization techniques. Firstly, we use deep supervision (hidden layers supervision) to encourage discriminative features in the hidden layers. Secondly, we augment the network with skip connections, as in the recently developed ResNet, and dropout layers, inserted in a way that skip connections circumvent them. We investigate the effect of skip connections and dropout. In addition, we propose a simple problem-specific modification of the network objective function that restricts the focus to the most important image regions and simplifies the optimization. We train and validate our model using 882 CT scans and test on 1,000. Our regularization techniques and objective improve the average Dice score by 7.1%, yielding an average Dice of 76.2% and 97.7% correlation between predicted ICAC volumes and manual annotations. △ Less

Submitted 4 June, 2017; originally announced June 2017.

Comments: Accepted for MICCAI 2017

A model for pressurized hydrogen induced thin film blisters

Authors: R. A. J. M. van den Bos, V. Reshetniak, C. J. Lee, J. Benschop, F. Bijkerk

Abstract: We introduce a model for hydrogen induced blister formation in nanometer thick thin films. The model assumes that molecular hydrogen gets trapped under a circular blister cap causing it to deflect elastically outward until a stable blister is formed. In the first part, the energy balance required for a stable blister is calculated. From this model, the adhesion energy of the blister cap, the inter… ▽ More We introduce a model for hydrogen induced blister formation in nanometer thick thin films. The model assumes that molecular hydrogen gets trapped under a circular blister cap causing it to deflect elastically outward until a stable blister is formed. In the first part, the energy balance required for a stable blister is calculated. From this model, the adhesion energy of the blister cap, the internal pressure and the critical H-dose for blister formation can be calculated. In the second part, the flux balance required for a blister to grow to a stable size is calculated. The model is applied to blisters formed in a Mo/Si multilayer after being exposed to hydrogen ions. From the model the adhesion energy of the Mo/Si blister cap was calculated to be around 1.05 J/m2 with internal pressures in the range of 175-280 MPa. Based on the model a minimum ion dose for the onset of blister formation was calculated to be d = 4.2*10^18 ions/cm2. From the flux balance equations the diffusion constant for the Mo/Si blister cap was estimated to be D_H2 = (10+-1) *10^18 cm2/s. △ Less

Submitted 5 September, 2016; originally announced September 2016.

Comments: 7 pages, 6 figures, 2 tables

Journal ref: J. Appl. Phys. 120, 235304 (2016)

Rascal: From Algebraic Specification to Meta-Programming

Authors: Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju

Abstract: Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification an… ▽ More Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification and integrating these into a new programming language: Rascal. This language is easy to learn by non-experts but is also scalable to very large meta-programming applications. We explain the algebraic roots of Rascal and its main application areas: software analysis, software transformation, and design and implementation of domain-specific languages. Some example applications in the domain of Model-Driven Engineering (MDE) are described to illustrate this. △ Less

Submitted 30 June, 2011; originally announced July 2011.

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

ACM Class: D.3.2

Journal ref: EPTCS 56, 2011, pp. 15-32