Ultrafilters en Ultramachten

In deze scriptie gaan we twee wiskundige objecten onderzoeken, het ultrafilter en de ultramacht. Zodra je in de wiskunde een nieuw object hebt bedacht zijn de eerste twee vragen die je stelt altijd 1) bestaat het? en 2) Als het bestaat, is het dan uniek, of zijn er meerdere? Nou is dat voor een ultrafilter relatief makkelijk te beantwoorden. In...

Improving the Performance of Waste Handling Cranes by Optimisation-based Decision Rules

Waste-to-energy is the process of generating energy from municipal waste. The most conventional energy recovery method is incineration, which takes place at a waste-to-energy plant. The incoming waste is collected in a bunker, where an overhead crane stacks and mixes the material before feeding it to the furnaces. The more homogeneous the waste...

A Critique of Topos Logic in Measurement-Based Quantum Computation

Topos theory and quantum mechanics are both known for having a logic that is different from ordinary logic. With this in mind, much work has been done on unifying these two fields. Loveridge, Dridi and Raussendorf apply this unification to measurement-based quantum computation [14], revealing links between computation, contextuality and the...