Publicaties

As autonomous robotic systems integrate into various domains, ensuring their safe operation becomes increasingly crucial. A key challenge is guaranteeing safe decision making for cyber-physical systems, given the inherent complexity and uncertainty of real-world environments. Tools like Gwendolen, vGOAL, and Tumato enable the use of formal methods to provide guarantees for correct and safe decision making. This paper concerns Tumato, a formal ...

Consensus among academic scholars and practitioners has grown on the principle that established food safety management systems (to control and assure food safety in food businesses) need to be complemented by human components, to develop, nurture and shape a mature food safety culture. This study explores how food safety culture, focused on human organizational elements, can be matured by dedicated interventions. A database of potential ...

This chapter investigates the notarial credit markets in Antwerp and its environs during the early nineteenth century, with a focus on their structure, functioning, and flows. Prior to the twentieth century, notarial credit markets played a significant role in supplying substantial investment capital to both firms and households. However, knowledge regarding these markets, particularly outside of France, is limited. Leveraging a newly compiled ...

Along with a renewed interest in the empirical foundations of linguistics, the increasing accessibility of large-scale corpora has sparked a surge of corpus-linguistic work on the grammar of natural languages. Corpus-based methods enhance our knowledge and understanding of individual languages, and they are theoretically significant because they allow us to test complex hypotheses on empirical and reproducible data. Spread over six thematic ...

The Delay and Sum (DAS) method is a well-known damage imaging technique in sparse array guided wave imaging. However, the DAS method requires prior knowledge on the stable baseline state, which makes it ineffective under different operational or environmental conditions, e.g. temperature and moisture, and altered experimental settings, e.g. degraded bonding quality of sensors. This paper proposes a Nonlinear Delay and Sum (NL-DAS) method which ...

Computational thinking has become an integral component of curricula worldwide, necessitating teachers to develop this competence in their students. To effectively meet these curricular requirements, teachers themselves need a solid foundation of computational thinking content knowledge, which refers to the understanding and skills they possess in this area. However, despite widespread recognition of this need, few studies have rigorously ...

This paper reports on the magnetic characteristics of maraging steels additively produced through laser powder bed fusion with a focus on two specific grades, namely M789 and M300. Magnetic material properties, including magnetization curve, magnetic hysteresis, and loss, are systematically examined for both grades. The effect of a solution annealing plus aging heat treatment is explored to determine how these properties differ between the ...

Hydrogen fuel cells (FCs) integrated into unmanned aerial vehicles (UAVs) are considered a sustainable technology enabling long-endurance missions using electric propulsion. This paper reviews the current state of the art in the energy system design of fixed-wing UAVs using FCs. The power profiles of UAVs are highly dynamic, and power surges are possible, requiring hybridisation. We review the commercially available PEMFCs specifically designed ...

The European Union’s (EU’s) General Data Protection Regulation (GDPR) is considered ‘the gold standard’ for data protection laws worldwide. Yet, it is a truism to state that it neglects gender. The law itself adopts a gender-neutral approach which fails to recognise that personal data, as well as data subjects, and risks of processing can be gendered. Academic debates on data protection and gender are also limited. This chapter aims to address ...