- 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
-
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
-
Miljak, Luka (author)Context-free grammars (CFGs) provide a well-known formalism for the specification of programming languages. They describe the structure of a program in terms of parse trees. One major issue of CFGs is ambiguity, where one sentence can sometimes have multiple different parse trees. Some formalisms like SDF3 or YACC allow annotating a grammar with...master thesis 2021
- document
-
de Waard, Jens (author)Abstract interpretation is a way of approximating the semantics of a computer program, in which we derive properties of those programs without actually performing the necessary computations for running the program, through the use of an abstract interpreter. To be able to trust the result of the abstract interpretation, we would to able to prove...master thesis 2021
- document
-
Verseput, Sander (author)It is the year 2019 and the Dutch economy is flourishing. However, the retail sector is still in a ‘re- inventing phase’. The popularity of e-commerce is increasing and Dutch shopping districts are continuously changing. This affects the profitability of both retailers and retail investors. Considering that the Dutch population is aging, people...master thesis 2019