- document
-
Khakimova, Maria (author)While dependent types can allow programmers to verify properties of their programs, implementing a type checker for a dependent type theory is often difficult. This is due to the fact that, in the presence of dependent types, deciding the equality of types - conversion checking - becomes non-trivial. Due to an identified gap in literature...bachelor thesis 2023
- document
-
Chiu, Simba (author)It is possible to improve the performance of planners by modifying the PDDL domain of a problem. The goal of this research is to implement this to the domain of the Train Unit Shunting Problem (TUSP). The research question we attempt to answer is: To what extent can we improve planner performance by optimizing the PDDL domain of TUSP? The main...bachelor thesis 2023
- document
-
Maasland, Anouk (author)The aim of this thesis is to study the dosimetric feasibility of FLASH proton therapy for early-stage breast cancer patients. The biological effect of FLASH is seen under ultra-high dose-rates conditions and is beneficial in the damage to healthy tissue. The FLASH effect could enable the clinical feasibility of definitive radiotherapy for low...master thesis 2022
- document
-
Ganz, Signe (author)The formation of social space through architecture is becoming increasingly important in today's society. In order to design social space as effectively and sustainably as possible, however, it is first important to know the current society and its problems and grievances. Furthermore, social scientists, architects and spatial planners can learn...student report 2022
- document
-
Pîrcălăboiu, Laura (author)Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic...bachelor thesis 2021
- document
-
Juhošová, Sára (author)Manually testing definitional interpreters and their type checkers is a tedious and error-prone process which can largely benefit from automation. This study evaluates the effectiveness of property-based testing on errors in type checkers. Metrics used include the ability to catch different types of errors as well as the ability to provide a...bachelor thesis 2021
- document
-
Moraru, Alexandru (author)This paper presents an evaluation of different generation methods of input expressions to definitional interpreters. We compare three different ways of generating expressions of a specified algebraic data type. The approaches that we describe are QuickCheck, SmallCheck and a uniform generation technique, as laid out in their original papers....bachelor thesis 2021
- document
-
Alkemade, Veerle (author)This project aims to explore ways of being considerate—as architects—with regards to the sites (and the bodies related to these sites) in which we intervene through our practice. Architecture is often meant as a mediator between bodies and their surroundings, however, actually realising this aspiration is rather difficult. In the research it is...master thesis 2019
- document
-
Papadopoulos, Giannis (author)Large companies suffer from the increasing complexity that exist in their software systems. Evolving their software becomes even harder if we consider that a change in one system can affect several other parts of their software architecture. Especially banks that need to be always complied with regulations, have to constantly make changes in...master thesis 2018
- document
-
van den Berg, Rob (author)A definitional interpreter is an interpreter which uses the semantics of its own host language to define those of its object language. Traditionally, a seperate type safety proof is used for such an interpreter. Using a "typesafe-by-construction" approach, where the typesafety is proven by expressing the type system of the object language in the...bachelor thesis 2018
- document
-
Smit, Michiel (author)The mobilization of the trapped residual oil is an important part of Enhanced Oil Recovery. The desaturation of nonwetting fluids from porous media is often described using capillary numbers which are a ratio of viscous forces over the capillary forces between the wetting and the nonwetting fluids. Twodimensional microfluidic devices ...bachelor thesis 2017
- document
-
Papadam, M. (author)This thesis explored urban strategies for harnessing diverse types of cultural heritage of the ordinary urban environment in order to achieve sustainable urban development. During the past century, urban expansions took place without any special regard towards existing cultural heritage expressions. Despite the significant role of heritage in...master thesis 2017
- document
-
van der Mooren, T.L.A. (author)Digitalization helps companies to become more efficient, therefore new developments should be followed closely. One of these developments is the use of 3D models. An increasing amount of information can be processed by the 3D models. This research will look into one of these developments: Model Based Definition. With Model Based Definition (MBD)...master thesis 2017
- document
-
Smoor, A.C. (author)The impact of overburden pressure on shrinkage behavior of fine-grained soil is investigated by means of a shrinkage curve based on experimental data. It was found that to speak of shrinkage means that one must define the initial soil volume and occurring changes. Three definitions of soil volume were determined, based on settlement, horizontal ...master thesis 2015
- document
-
Sengur, S. (author)The needs of companies are evolving and becoming more and more demanding each year, which result in more complex stakeholder relations. The complexity of the projects increases as well. For instance, stakeholders do not always have the same sense of urgencies and their expectations from the same project might differ. Such variety in demand urges...master thesis 2015
- document
- Maree, S.C. (author) bachelor thesis 2012
- document
-
Vollebregt, T.J. (author)Syntax discoverability has been a crucial advantage of structure editors for new users of a language. Despite this advantage, structure editors have not been widely adopted. Nevertheless, the Cheetah system, developed at Capgemini, leverages a structure editor to aid domain experts modeling tax-benefit rules in a domain specific language. The...master thesis 2012
- document
-
Yi, G. (author)Stereo matching is an important computer vision technique, which extracts the depth information of the scene by matching a pair of stereo images. It has numerous applications, such as view-point interpolation, 3DTV, object detection, etc. In the past decades, many algorithms have been proposed to improve the matching quality or to increase the...master thesis 2011
- document
-
Zhang, L. (author)Stereo matching has been widely used in many fields, such as viewpoint interpolation, feature detection system and free-view TV. However, the long processing time of stereo matching algorithms has been the major bottleneck that limits their real-time applications. During the past decades, many implementation platforms and corresponding algorithm...master thesis 2010
- document
-
Brouwer, L.H. (author)Na een inleiding over elektronisch uitgeven wordt beschreven hoe een PAL televisiezender gebruikt kan worden als transportmedium voor elektronische documenten. Aan de hand van de resultaten van het HDTV onderzoek wordt bekeken welke transmissiemethode hiervoor het meest geschikt is. De gekozen methode, het transmissie sub-systeem van de Grand...master thesis 1996