- document
-
Zoutendijk, M. (author)The aerospace industry annually provides transport for billions of passengers along trillions of kilometers. The industry is continuously aiming to provide these services in a more efficient and sustainable way. One possibility is to consider improving airside airport operations, both current types and those expected in the near future....doctoral thesis 2024
- document
-
Diab Montero, H.A. (author)In this dissertation, I explore ensemble data assimilation methods to enhance our capability to forecast earthquakes and slow slip events, focusing on the critical challenge posed by limited information on the current stress state of faults. <br/>At the outset, the research acknowledges the inherent limitations in our current understanding of...doctoral thesis 2024
- document
-
Bechan, Rushil (author)The abstract outlines a study focusing on improving the design approach for flexible dolphins, vital marine structures used for vessel berthing and mooring. Current design methodologies, particularly those outlined in the CROW C1005 handbook (2018), are questioned due to potential conservatism stemming from insufficiently calibrated partial...master thesis 2024
- document
-
Bekooy, Mark (author)Type annotations in Python are an integral part of static analysis. They can be used for code documentation, error detection and the development of cleaner architectures. By enhancing code quality, they contribute to the robustness, maintainability and comprehensibility of codebases. Tools like static type checkers use type annotations to detect...master thesis 2024
- document
-
Metselaar, Meno (author)<br/>master thesis 2024
- document
-
Reppas, Panagiotis (author)This thesis embarks on the quest to efficiently compute similarities between data streams in real-time, a task burgeoning in importance with the advent of big data and real-time analytics. At the heart of this endeavor is the expansion of the Condor framework to accommodate new probabilistic data structures, tailored to meet the distinctive...master thesis 2024
- document
-
Alwani, Neil (author)This study investigates the application of generative models for synthetic data generation in pathway optimization experiments within the field of metabolic engineering. Conditional Variational Autoencoders (CVAEs) use neural networks and latent variable distributions to generate new, plausible data samples. We adapt this model by conditioning...bachelor thesis 2024
- document
-
Molhoek, Jord (author)Many real-world problems fall in the category of sequential decision-making under uncertainty; Markov Decision Processes (MDPs) are a common method for modeling such problems. To solve an MDP, one could start from scratch or one could already have an idea of what good policies look like. Furthermore, there could be uncertainty in this idea. In...master thesis 2024
- document
-
Katona, Misha (author)Through several contractions, stiff competition, and increasing passenger expectations, airports must evolve continually. One of the main avenues for this has been improving the efficiency of the security check- points, which are airports’ primary bottlenecks. Operational optimisation methods, such as resource and task scheduling are relatively...master thesis 2024
- document
-
Zakynthinos, Petros (author)In the years to come, the Netherlands will face a substantial challenge as over 1,500 kilometers of aging quay walls and sheet pile walls approach the end of their technical lifespan. Infrastructure managers anticipate that the necessary replacements will necessitate investments amounting to billions of euros. Moreover, this task carries a...master thesis 2024
- document
-
Marsman, C. P. (author), Vossepoel, F.C. (author), Van Dinther, Y. (author), Govers, R. (author)Bayesian-based data assimilation methods integrate observational data into geophysical forward models to obtain the temporal evolution of an improved state vector, including its uncertainties. We explore the potential of a variant, a particle method, to estimate mechanical parameters of the overriding plate during the interseismic period....journal article 2024
- document
-
Marra, Giuseppe (author), Dumančić, S. (author), Manhaeve, Robin (author), De Raedt, Luc (author)This survey explores the integration of learning and reasoning in two different fields of artificial intelligence: neurosymbolic and statistical relational artificial intelligence. Neurosymbolic artificial intelligence (NeSy) studies the integration of symbolic reasoning and neural networks, while statistical relational artificial...review 2024
- document
-
Masfara, La ODE Marzujriban (author), Weemstra, C. (author)The Hamiltonian Monte Carlo algorithm is known to be highly efficient when sampling high-dimensional model spaces due to Hamilton's equations guiding the sampling process. For weakly non-linear problems, linearizing the forward problem enhances this efficiency. This study integrates this linearization with geological prior knowledge for...journal article 2024
- document
-
Seis, W.A.A. (author), ten Veldhuis, Marie-claire (author), Rouault, Pascale (author), Steffelbauer, D.B. (author), Medema, G.J. (author)Short-term fecal pollution events are a major challenge for managing microbial safety at recreational waters. Long turn-over times of current laboratory methods for analyzing fecal indicator bacteria (FIB) delay water quality assessments. Data-driven models have been shown to be valuable approaches to enable fast water quality assessments....journal article 2024
- document
-
Vardoyan, G.S. (author), van Milligen, Emily (author), Guha, Saikat (author), Wehner, S.D.C. (author), Towsley, Don (author)We consider the problem of multipath entanglement distribution to a pair of nodes in a quantum network consisting of devices with nondeterministic entanglement swapping capabilities. Multipath entanglement distribution enables a network to establish end-to-end entangled links across any number of available paths with preestablished link-level...journal article 2024
- document
-
Wang, X. (author), Li, Zirui (author), Alonso-Mora, J. (author), Wang, Meng (author)Risk assessment is a crucial component of collision warning and avoidance systems for intelligent vehicles. Reachability-based formal approaches have been developed to ensure driving safety to accurately detect potential vehicle collisions. However, they suffer from over-conservatism, potentially resulting in false–positive risk events in...journal article 2024
- document
-
Diab Montero, H.A. (author), Størksen Stordal, Andreas (author), van Leeuwen, Peter Jan (author), Vossepoel, F.C. (author)Probabilistic forecasts are regarded as the highest achievable goal when predicting earthquakes, but limited information on stress, strength, and governing parameters of the seismogenic sources affects their accuracy. Ensemble data-assimilation methods, such as the Ensemble Kalman Filter (EnKF), estimate these variables by combining physics...working paper 2024
- document
-
Bajaj, V. (author), Van de Plas, Raf (author), Wahls, S. (author)While probabilistic constellation shaping (PCS) enables rate and reach adaption with finer granularity [1] (Cho and Winzer, 2009), it imposes signal processing challenges at the receiver. Since the distribution of PCS-quadrature amplitude modulation (QAM) signals tends to be Gaussian, conventional blind polarization demultiplexing algorithms...journal article 2024
- document
-
Pouwels, Xavier G.L.V. (author), Kroeze, Karel (author), van der Linden, N. (author), Kip, Michelle M.A. (author), Koffijberg, Hendrik (author)Objectives: Health economic (HE) models are often considered as “black boxes” because they are not publicly available and lack transparency, which prevents independent scrutiny of HE models. Additionally, validation efforts and validation status of HE models are not systematically reported. Methods to validate HE models in absence of their...journal article 2024
- document
-
Beltman, Maarten (author)Punctuality is a key performance indicator for any airline. Hub-and-spoke airlines are particularly committed to on-time arrivals to guarantee passenger connections. Flights that are delayed at departure need to compensate for the lost time whilst airborne. Because fueling takes place well before scheduled departure, predicted departure delays...master thesis 2023