- document
-
Tilro, Jesse (author)Reusable tools for engineering software languages can bridge the gap between formal specification and implementation, lowering the bar for engineers to design and implement programming languages. Among such tools belong NaBL2 and its successor Statix, which are meta-languages for declaratively specifying the static semantics of programming...master thesis 2023
- document
-
Chen, Ying (author)The emissions of the transport sector inside the EU-27 have risen by 33 % between 1990 and 2019. A modal shift from unsustainable transport towards more environmentally friendly transport modes can be taken as one solution to mitigate the overall emission of the transport sector. In this paper, multiple open-source models and databases are...master thesis 2023
- document
-
de Graaf, Daan (author)Graph databases are systems to efficiently store and query large graphs. As graph databases grow in popularity, they are used to answer increasingly diverse and complex queries. However, graph databases typically have a very limited query language that cannot express arbitrary algorithms. As a result, many users treat the database as a storage...master thesis 2023
- document
- van Gemert, Simon (author) master thesis 2023
- document
-
Spruit, Esther (author)Holmium-166 is a promising radionuclide for therapeutic and imaging applications due to its advantageous decay characteristics. However, these applications require or would benefit from a higher specific activity of <sup>166</sup>Ho than that obtained via a <sup>165</sup>Ho(n,γ)<sup>166</sup>Ho reaction by irradiating a pure <sup>165</sup>Ho...master thesis 2023
- document
-
Kloppenburg, Jeroen (author)The behaviour of software is intrinsically linked to the hardware it runs on. As hardware innovations continuously change the landscape of computing, software has to adapt to these changes. Running legacy software on new hardware requires either the old hardware to be emulated, or a very time-consuming and error-prone process of reverse...master thesis 2023
- document
-
de Jong, Jaap (author)How convenient would it be to have an AI that relieves us programmers from the burden of coding? Program synthesis is a technique that achieves exactly that: it automatically generates simple programs that meet a given set of examples or adhere to a provided specification. This is often done by enumerating all programs in the search space and...master thesis 2023
- document
-
Hopman, Luuk (author)Asphalt concrete is one of the most widely used materials in modern road construction. Predicting its functional properties is crucial in the design of new asphalt concrete mixtures. However, current prediction models are limited in accuracy and applicability due to the complex nature of asphalt concrete properties. This thesis researches the...master thesis 2023
- document
-
Moolenaar, Jet (author)Introduction: Tibial fracture healing complications occur frequently with reported non-union rates up to 23%. Preoperative patient-specific finite element (FE) modelling of fracture fixation may help to minimize these complications. However, developing such models requires labour-intensive work including (manual) segmentation of bones from...master thesis 2023
- document
-
Renkli, Nagme (author)Open Wedge High Tibial Osteotomy (OWHTO) is an extensively used, effective treatment option for medical conditions such as medial knee osteoarthritis and varus malalignment. The current developments in the 3D printing industry facilitated using 3D printed patient-specific guides (PSSGs), making OWHTO a desirable treatment option. Although the...master thesis 2023
- document
-
Pentenga, Puck (author)A congenital heart defect (CHD) is an anomaly in the structure of the heart that is present at birth. In the last 15 years, a CHD is present in 9 per 1,000 live births, making it the most prevalent birth defect (Linde et al., 2011). <br/>CHD’s prevalence coupled with its inherent complexity culminates into situations that are both complicated...master thesis 2023
- document
-
de Krieger, Max (author)The front-end of a compiler reads the source program and performs analyses such as type checking. The goal of the front-end is to check for the presence of syntactic and semantic errors before the program is passed to the back-end of the compiler for tasks such as optimization and code generation.<br/><br/>WebDSL is a domain-specific language...master thesis 2022
- document
-
van Walraven, Bram (author)Digital printing systems allow for the production of a large variety of different products. Making production plans for all these different products is challenging. One of the challenging aspects of making these production plans is choosing the right sequence of machines, to produce the desired intent. This is challenging due to three aspects:...master thesis 2022
- document
-
Molendijk, Thijs (author)The dynamic semantics of a programming language formally describe the runtime behavior of any given program. In this thesis, we present Dynamix, a meta-language for dynamic semantics. By writing a specification for a language in Dynamix, a compiler for the language can be derived automatically.<br/><br/>Dynamix specifications compile source...master thesis 2022
- document
-
Wilms, Ivo (author)Build systems speed up builds by reusing build step outputs from previous builds when possible.<br/>This requires precise definitions of the dependencies for build steps.<br/>PIE is a build system with precise dependencies, but its task definitions in Java are verbose.<br/>The PIE DSL allows pipeline developers to write concise definitions of...master thesis 2022
- document
-
Khan, Arghem (author)Artificial Intelligence (AI) and Machine learning (ML) applications are being widely used to solve different problems in different sectors. These applications have enabled the human-effort and involvement to be very low. The AI/ML systems<br/>make their own predictions and do not require a great deal of human help. However, over the last few...bachelor thesis 2022
- document
-
Marbot, Tanguy (author)The spread of AI techniques has lead to its presence in critical situations, with increasing performance that can compromise on its understanding. Users with no prior AI knowledge rely on these techniques such as doctors or recruiters with a need for transparency and comprehensibility of the mechanisms. The advent of Explainable Artificial...bachelor thesis 2022
- document
-
de Winter, Naomi (author)Slipped capital femoral epiphysis (SCFE) is a condition in adolescents affecting the proximal femur. Increased mechanical forces result in fracture of the growth plate. Factors increasing the mechanical forces include for example obesity and endocrine disorders. As a result of the fracture a shift of the bone shaft towards the femur head occurs,...master thesis 2022
- document
-
Sachdeva, Naman (author)The world is moving towards sustainability and there is immense pressure on Aerospace Industry to reduce its emissions to contribute to a carbon-neutral world. However, maturing gas turbine technology is a big bottleneck towards this goal and hence, this project focuses on the technical and economic feasibility of a new type of propulsion system...master thesis 2022
- document
-
Oolbekkink, Gerben (author)Web APIs are being used for increasingly larger and complex use cases. Right now it can be hard to make sure that what is documented about an API is correct everywhere and to know if a change will have impact on the users of a web API. When details are missing in an API specification users of that API need to make assumptions about how the API...master thesis 2022