Search Results

How to search?

316,231 results

To ensure the safety of a spacecraft, operators collect thousands of telemetry signals and monitor them for anomalies, which is both expensive and time-consuming. Space agencies have been researching Machine Learning (ML)-based Time Series Anomaly Detection (TSAD) methods to impr ...
On the Delfi family of satellites, antenna deployment currently takes place using a burn wire system. This requires the antenna to be of the same length as the satellite body. To decouple this length, a new mechanism is needed. Neutrally stable tape springs actuated by shape memo ...

Impact of Alternative Transport Tariffs on Battery Performance

An Optimization and Distribution Network Model

The Dutch energy system is evolving rapidly, transitioning from centralized fossil-based generation to decentralized renewable sources. At the same time, electrification is increasing across heating, mobility, and industry, placing significant strain on the electricity grid. This ...

Balancing Markets: Imbalance Pricing Designs

Analysis of Implicit Balancing by Flexible Assets within European Balancing Markets

The increasingly integrated renewable energy sources have a strong intermittency in electricity supply, resulting in increasing mismatches between electricity supply and demand. This has led to an increase in imbalances in the electricity grid, heightening the need for regulating ...
Solar sailing is a propellant-free propulsion method, leveraging the momentum of Sun-emitted photons to generate thrust. In Earth orbit, the small and constrained magnitude of the solar-sail thrust with respect to the planetary gravity
implies the need for many revolutions t ...
This thesis investigates the use of optimization techniques to determine the value of multimodal (Air+Rail) networks. By using Mixed Integer Linear Programming (MILP), the mathematical model derived especially for this use case determines the optimal way for airlines to route the ...
Nowadays, space-based systems for navigation, communication, Earth observation, meteorology and many other applications are indispensable for services critical for society. In order to preserve these vital applications among the increased risks in space, the Space Surveillance an ...
This graduation report proposes a new cabin interior for the Elysian E9X. The project is driven by the main questions of Elysian Aircraft: How can we provide a seamless experience for economy-class passengers on a short-haul electric flight? And, how can an electric aircraft inte ...
This thesis examines the thermal distribution and material behavior in in-space additive manufacturing (ISAM) using metal directed energy deposition (DED), addressing challenges of the orbital environment, including microgravity and vacuum. Experimental studies with a Scandium-mo ...

Data-Driven Optimization of Slow Sand Filters

Machine Learning for New Design Paradigms

This thesis presents a comprehensive investigation into the optimization of Slow Sand Filter (SSF) performance through data driven modeling, with a focus on bacterial (E. coli, Coliform) and viral (Enterovirus, Adenovirus, Bacteriophage MS2) removal efficiencies. Combining an ext ...
With increasing policies and societal pressure, the environmental impact of product design has become a widespread concern. Life Cycle Assessment (LCA) is a key method used to quantify the environmental impacts associated with the manufacture, transport, use and disposal of a pro ...
This thesis explores the measurement of low sediment concentrations in pipeline flows, a critical issue in deep-sea mining. The study aims to identify and validate a continuous measurement method capable of accurately detecting suspended sediment concentrations between 10-75 g/L. ...
Unmanned Aerial Vehicles (UAVs) play a crucial role in various applications, including disaster response, infrastructure inspection, and search-and-rescue missions. To maximise their effectiveness, UAVs must achieve a high level of autonomy, particularly when navigating cluttered ...

LeanSolver: Solving theorems through Large Language Models and Search

Improving Theorem Proving with Proof Assistants and Sequential Monte Carlo in Large Language Models

We consider a subset of simple proving exercises that are part of the Lean 4 tutorials. The exercises consist of a statement, and the task will consist of creating a proof term of the desired type through the use of tactics.
Large Language Models on their own are known to be ...

Does working from home lead to longer commutes?

Exploring the impact of working from home conditions on commuting time valuation

The goal of this thesis was to provide designers guidance in designing their yet-to-be designed products that contain injection moulded parts in a way that allows for interchangeable, functionally equivalent spare parts produced with additive manufacturing in the future. The proj ...
Objective Action tremors affect many Parkinson’s disease (PD) patients and can significantly impair daily functioning. These tremors often persist despite dopaminergic therapy, while stereotactic surgery, though effective, is invasive and not suitable for all. Alternative treatme ...

Investigating Cycling Stability in Acid-Base Flow Batteries

Mechanistic Understanding Through Crossover Analysis

As the demand for sustainable energy grows, large-scale energy storage solutions are becoming in- creasingly essential to balance power supply and demand, ensuring grid stability and security. Acid- base flow batteries (ABFBs) have emerged as a promising energy storage solution d ...

Modelling changing travel behaviour in response to road capacity reductions

The impact of reallocating road space in urban areas on car use

As cities increasingly prioritize sustainable and low-car urban environments, road capacity reductions have become a widely applied policy measure. While traditional transport models predict severe congestion resulting from such interventions, empirical studies suggest that traff ...
The retail perfume industry often lacks the multi-sensory engagement needed to frame the perception of a fragrance and thus facilitate the fragrance selection process. Scent is very ambiguous and needs cues from other senses to better place a scent (Pierzchajlo et al., 2024). Thi ...