After its creation in the 70s, symbolic execution has become a popular technique for verifying software with high confidence. This is an important technique to help prevent bugs in software. Bugs however, can have an ...

Cilia are large macromolecular organelles at the surface of most eukaryotic cells. These evolutionary conserved structures generate coordinated beating motions that are critical for processes throughout the body such as ...

By using a microhistorical approach — defined by István M. Szijártó as “micro-analysis, agency, and the intention to answer a ‘great historical question’” — this thesis moves beyond the debates surrounding the systems of ...

Automatic Differentiation (AD) is a technique for efficiently calculating derivatives of functions represented as programs. Efficient CHAD, presented by Smeding (2024), is an implementation of an AD algorithm for a ...

The Path explosion problem is a bane that haunts all symbolic execution engines. Too many programming constructs contribute to it, from the humble if statement to the noble fork statement. There are multiple methods to try ...

This research project explores methods for enriching domain-specific knowledge resources through entity linking in the context of botanical and historical data. Focusing on the Time Capsule knowledge base, the study uses ...

The Nederlandse Spoorwegen (NS) is the largest passenger railway operator in the Netherlands and operates a fleet of more than 700 train units. One of the problems they encounter in their planning process is the Rolling ...

As quantum computing evolves toward practical hybrid applications, middleware systems must support efficient coordination between quantum and classical resources. However, existing middleware platforms are often benchmarked ...

Open cell convection is a type of cellular convection with cloud-free interiors and cloud walls, occurring more frequently in winter than other seasons. The cloud-free interior has a large e!ect on the radiative balance, ...