- document
-
Stanciu, Ciprian (author)Existing implementations of category theory for proof assistants aim to be as generic as possible in order to be reusable and extensible, often at the expense of readability and clarity. We present a (partial) formalisation of category theory in the proof assistant Lean limited in purpose to explaining currying, intended to be faithful to the...bachelor thesis 2023
- document
-
Ten Napel, A. (author), Narwade, A. (author), Van Helden, T.P. (author)This document reports the development of a proof of concept for the MijnID Android mobile application. Identity theft and identity fraud are serious problems, leaving thousands of Dutch citizens with debts and damages each year. MijnID aims to improve detection by providing users with insight on what is happening to their personal details as...bachelor thesis 2015
- document
-
Todorov, Rado (author)Category theory is a branch of abstract mathematics that aims to give a high-level overview of relations between objects. Proof assistants are tools that aid in verifying the correctness of mathematical proofs. To reason about category theory using such assistants, fundamental notions have to be defined. Computer-checked libraries contain all...bachelor thesis 2023
- document
-
Farkas, Csanád (author)Category Theory is a widely used field of Mathematics.<br/>Some concepts from it are often used in functional programming.<br/>This paper will focus on the Monad and a few implementations of it from Haskell.<br/>We will also present the computer-checked library we have written to help us in this task.bachelor thesis 2023
- document
-
Maassen van den Brink, Mitchell (author)In this thesis, research was done in the area of interacting particle systems. Especially, the symmetric exclusion process with local perturbations was investigated. These perturbations, were in the form of sinks and sources, which add or take away particles at certain rates. Moreover, simulations were done for the asymmetric exclusion process....bachelor thesis 2023
- document
-
van de Laar, Luuk (author)This paper focuses on implementing and verifying the proofs presented in ``Finite Sets in Homotopy Type Theory" within the UniMath library. The UniMath library currently lacks support for higher inductive types, which are crucial for reasoning about finite sets in Homotopy Type Theory. This paper addresses that issue and introduces higher...bachelor thesis 2023
- document
-
Orav, Markus (author)Category theory is a branch of mathematics that is used to abstract and generalize other mathematical concepts. Its core idea is to take the emphasis off the details of the elements of these concepts and put it on the relationships between them instead. The elements can then be characterized in terms of their relationships using various...bachelor thesis 2023
- document
-
Santana Trejo, Raul (author)Type Theory enables mathematicians to perform proofs in a formal language that<br/>computers can understand. This enables computer-assisted proofs and the computerization of all mathematical knowledge. Homotopy Type Theory (HoTT) views types as topological spaces, unlocking new ways to understand and expand Type Theory. One of the most...bachelor thesis 2022
- document
-
Bruyn, Tim (author)This report is a discussion of the 1984 report 'An automatic proof procedure for several geometries' by Th. Bruyn and H.L. Claasen, inspired by a personal desire to understand the work of Th. Bruyn. See: http://resolver.tudelft.nl/uuid:b768c6ce-f625-4236-9b0b-32a47fab143e <br/>Bruyn and Claasen prove that certain true propositions of the theory...bachelor thesis 2017
- document
-
Brandao de Araujo, Pedro Henrique (author)This research project aims to develop a computer-checked library of category theory within the Lean proof assistant, with a specific emphasis on concepts and examples relevant to functional programming. Category theory offers a robust mathematical framework that allows for the abstraction and comprehension of concepts across diverse fields,...bachelor thesis 2023
- document
-
Keupink, jasper (author)Elderly in the Netherlands today are not all assured of a suitable home for the rest of their lives. Because sooner or later the safe place that you call home isn’t that safe anymore and does not meet the requirements that come with living on an old age. The main causes of this are mobility issues, diseases or the passing away of people close to...master thesis 2019
- document
-
Kramer, Coen (author)The Province of South Holland is conducting a heritage project to explore the historical significance of barge canals and their future role in a changing climate. This thesis aims to address the water challenges posed by increased floods and droughts caused by climate change through the implementation of a water buffersystem. The buffer should...master thesis 2023
- document
-
Kougea, CHARIKLEIA (author)Context: The majority of buildings are designed as static objects, in order to serve a specific goal, a specific function. Although, this does not match to the contemporary and constantly changing way of living and working. Moreover, it does not match with the evolving technology, economy and culture. Thus, buildings that cannot respond to the...master thesis 2019
- document
-
Vrisekoop, Sophie (author)This project explores a social housing project from 1979 that is located in the Bijlmer area of Amsterdam and is based upon three main topics; Preservation, Community and Future Proof. <br/>By researching the potential heritage value of the building blocks, conducting specific literature research and by interviewing different stakeholders a...master thesis 2021
- document
-
Samardžić, Mariana (author)The Machine Learning (ML) technology has taken the world by storm since it equipped the machines with previously unimaginable decision-making capabilities. However, building powerful ML models is not an easy task, but the demand for their utilization in different industries and areas of expertise is high. This was recognized by entities that...master thesis 2023
- document
-
Memar Zahedani, Armin (author)Double Auctions are mechanisms to trade commodities such as electricity or parts of the wireless spectrum at optimal prices. Bidders and sellers simultaneously submit quantity-price pairs to an auctioneer, denoting the quantity they want to buy or sell at specific prices. The auctioneer aggregates the offers into demand and supply curves to...master thesis 2022
- document
-
Zaaijer, B. (author)Over the last few years, technological innovations led to the development of new haptic interfaces. SenseGlove, a Dutch technology start-up, developed an exoskeleton-based haptic interface capable of motion tracking and providing haptic feedback. The academic industry has been identified as a potential target group for this product. However,...master thesis 2020
- document
-
Van den Berg, R.P. (author)Keeping maps up to date is quite costly because road geometry changes over time and mapping by professional surveyors is an expensive operation. With the presence of GPS sensors on mobile phones and in most cars today it becomes possible to measure the location of roads with many measurements from sensors of lower accuracy. In this thesis we...master thesis 2015
- document
-
van Boggelen, Jelle (author)In the research part, the importance of movement and interaction is described. Movement has influence on peoples’ physical health, social health and mental health. This building is designed for the Minervahaven in Amsterdam, especially for empty nesters, which form a very relevant target group nowadays. In the building movement is stimulated by...master thesis 2020
- document
-
De Graaff, R.V. (author)This graduation thesis treats the design process of the development of a biogas stove for East African households. In East Africa more than 80% of the people cook on fossil fuels. Exposure to the exhaust fumes of this way of cooking is the fourth worst health risk in East Africa which is similar to the amount of deaths caused by malaria. SimGas...master thesis 2014