- document
-
Feenstra, Jos (author)In the field of Geographical Information Science (GIS), geodata transformation and analysis tools often take the shape of software libraries written in system level programming languages. <br/>However, the societal impact of these tools is often limited, as most end users only access these libraries via indirect means: Through bindings in other...master thesis 2022
- document
-
Jongerius, Ricardo (author)Online dating has become the most popular method of finding potential romantic partners. At the core of these platforms, there is a reciprocal recommender system which recommends users to other users on the platform. Breeze is an example of such a dating app, serving its users potential romantic partners every day in the hopes of sending them on...master thesis 2022
- document
-
Stallenberg, Dimitri (author)Traditional software testing is a labor-intensive and expensive manual process. To mitigate the high cost of manual test case generation, researchers have developed various techniques for automated test case generation over the last few decades. These techniques make use of static type information to determine which data types should be used in...master thesis 2022
- document
-
GOPALAKRISHNAN, KIRAN (author)In addition to the physiological alterations that occur relatively predictably during pregnancy, psychological transformations also occur at the same time. The baby is developing, but so are a mother's fears and imaginations about her unborn child. Such imaginations about the unborn child and parenting methods are sure to evoke a range of...master thesis 2022
- document
-
Xing, Yuxin (author)Nowadays, mental illnesses are universal around the globe. However, compared with developed countries, the health budget assigned to mental health is much lower in low-income or developing countries (Mnookin et al., 2016). Even in China, a country with a large population, the epidemiological data on mental health (anxiety and depression) are too...master thesis 2022
- document
-
Yuan, Rui (author)Mental disorders are now becoming prevalent illnesses. More than 1 billion people globally were affected by mental and addictive disorders in 2016, which caused 7% of all global burden of disease (Rehm & Shield, 2019). Among those mental disorders, anxiety disorders and depression rank at the top. GAD is the most common...master thesis 2022
- document
-
CHEN, RUIHUA (author)Numansgors is a village seeking to improve sustainability by housing renovation. In this process, the effective participation of homeowners faces multiple challenges. The Pattern Language Theory (PLT), a design methodology first proposed by Alexander Christopher in 1970s, shows its potential in tackling these challenges. However, as PLT has been...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
-
Singh, Aayush (author)Several input types have been developed in different technological landscapes like crowdsourcing and conversational agents. However, sign language remains one of the input types that has not been looked upon. Although numerous amount of people around the world use sign language as their primary language, there have not been many efforts to...master thesis 2022
- document
-
Katzy, Jonathan (author)We explored the effect of augmenting a standard language model’s architecture (BERT) with a structural component based on the Abstract Syntax Trees (ASTs) of the source code. We created a universal abstract syntax tree structure that can be applied to multiple languages to enable the model to work in a multilingual setting. We adapted the...master thesis 2022
- document
-
Al-Kaswan, Ali (author)Reverse engineering binaries is required to understand and analyse programs for which the source code is unavailable. Decompilers can transform the largely unreadable binaries into a more readable source code-like representation. However, many aspects of source code, such as variable names and comments, are lost during the compilation and...master thesis 2022
- document
-
Hooper, Rory (author)Despite their best intentions, policy interventions often fail to adequately address the challenges they were designed to tackle. Disparities in scope, taxonomy and performance perspectives employed by different policy studies, make it difficult to obtain a system perspective of the policy effects of a certain domain. Additionally, a...master thesis 2022
- document
-
de Haas, Olav (author)Formal verification of imperative programs can be carried out on paper by annotating programs to obtain an outline of a proof in the style of Hoare. This process has been mechanized by the introduction of Separation Logic and computer assisted verification tools. However, the tools fail to achieve the readability and convenience of manual paper...master thesis 2022
- document
-
Reukers, Matthijs (author)Tydi is an open specification for streaming dataflow designs in digital circuits, allowing designers to express how composite and variable-length data structures are transferred over streams using clear, data-centric types. This provides a higher-level method for defining interfaces between components as opposed to existing bit- and byte-based...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
-
Wang, Zhen (author)This thesis mainly studies the causality in natural language processing. Understanding causality is key to the success of NLP applications, especially in high-stakes domains. Causality comes in various perspectives such as enable and prevent that, despite their importance, have been largely ignored in the literature. In view of the lack of a...master thesis 2022
- document
-
Bijman, Matthijs (author)Dataflow analysis is a powerful tool used for program optimization, static analysis, and editor services for many programming languages. Spoofax, a language workbench, contains a domain-specific language called FlowSpec for the definition of control-flow and dataflow semantics that language developers can use to implement dataflow analyses for...master thesis 2022
- document
-
van Woensel, Martijn (author)Commonsense knowledge based question answer- ing is a recent topic that has seen a surge in inter- est. Yet most models obtain general data, this pa- per looks at obtaining query-specific similar con- cepts using first and second-order proximity to- gether with BERT-based retrieval. Using these query-specific concepts new commonsense knowl- edge...bachelor thesis 2022
- document
-
Mesters, Brendan (author)Effect Handler Oriented Programming is a promising new programming paradigm, delivering separation of of concerns with regards to side effects in an otherwise functional environment.<br/>This paper discusses the applicability of this new paradigm to static code analysis programs. <br/>Different code analyzers often have many similar, if not...bachelor thesis 2022
- document
-
Todorov, Ivan (author)Effect handler oriented programming (EHOP) is a recently proposed programming paradigm, which aims to provide a separation of concerns by isolating the handling of side-effects from the main application logic. Nowadays, as the core concepts behind EHOP are being added to more and more programming languages, it is evident that EHOP is slowly but...bachelor thesis 2022