- 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
-
KARADIMITRIOU, IOANNA (author)The shortage of housing stock and the deindustrialization of cities have rendered many areas prone to severe transformations. Many sites across the<br/>country have been characterized as transformation areas. In an effort to battle the housing crisis, urban redevelopment processes have been initiated or are under examination for a plethora of...master thesis 2022
- document
-
Demetriadou, Leto (author)One of the main results of Cyprus’s contemporary conflict is the Cypriot refugee identity creation. The thesis focuses on the Cypriot refugee settlements created from 1976 to 1991, unraveling the formation of the Greek Cypriot refugee community through space. The thesis project questions how community-led spatial planning allows the Cypriot...master thesis 2022
- document
-
van der Gugten, Loek (author)Refactorings are program transformations that preserve the observable behavior of the program. The refactoring function inlining replaces a function call with the contents of the referenced function definition. To preserve the behavior, properties such as reference relations must be retained and language constructs like 'return' statements must...master thesis 2022
- document
-
NAMWANJE, PRISCILLA (author)Uganda’s capital Kampala, is grappling with the effects of rapid urbanisation fueled by the population explosion that has transpired over the recent years. Due to the continued futility of urban planning efforts, the city’s growth has proceeded with minimal planning intervention, resulting in multiple urban development challenges.<br/>Kampala’s...master thesis 2022
- document
-
Yao, Xinqi (author)<br/>The main object of this study is the migrant laneway, which refers to the old community in the city center that attracts migrant workers because of its low rent and good location. This kind of community in urgent need of renewal contains three aspects: spatial, social and the process of renewal. This study regards these three aspects as the...master thesis 2022