• Postbus 513, MF

    5600MB Eindhoven

    Nederland

Scripties/Masterproeven

Integer programming for kidney exchange

Auteur: Heijmans, J. H., 31 aug 2018

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Optimizing wafer allocation for back-end semiconductor production

Auteur: Deenen, P. C., 21 dec 2018

Begeleider: Adan, I. J. (Afstudeerdocent 1), Akçay, A. E. (Afstudeerdocent 2), Hurkens, C. A. (Afstudeerdocent 2), Adan, J. (Externe coach) & Stokkermans, J. P. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Waste collection Amsterdam

Auteur: Theeuwes, M., 30 aug 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1), Hurkens, C. (Afstudeerdocent 2) & Swaenen, L. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Hypermaps and their use in the formalized four-colour theorem proof

Auteur: Heemstra, J. H., 4 jul 2018

Begeleider: Geuvers, J. (Afstudeerdocent 1) & Pendavingh, R. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

The four color theorem

Auteur: Janssen, G., 5 dec 2018

Begeleider: Keijsper, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

A characterization of the special linear and unitary Lie algebra via its extremal geometry

Auteur: Oostendorp, M., 31 aug 2018

Begeleider: Cuypers, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Strategy for Stella Vie at the 2017 World Solar Challenge

Auteur: Roordink, D., 6 jul 2018

Begeleider: Hurkens, C. (Afstudeerdocent 1) & ten Thije Boonkkamp, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Generalized polygons, near polygons and line systems

Auteur: Rusch, A., 25 jun 2018

Begeleider: Cuypers, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

A group-theoretical analysis of solvability, solutions and solution strategies of permutation puzzles

Auteur: Rijpert, D. T., 15 aug 2019

Begeleider: Cuypers, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

The cap-SET problem

Auteur: van Veenendaal, M., 30 okt 2017

Begeleider: Blokhuis, A. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Een module voor Wiskunde D over projecties

Auteur: Vossen, P. J., 31 aug 2018

Begeleider: Sterk, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Muziektheoretische ritmeanalyse: een wiskundig model

Auteur: van Santvoort, M., jul 2018

Begeleider: Sterk, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Optelketens

Auteur: Onstenk, A., 13 aug 2018

Begeleider: de Weger, B. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Euclidean TSP in narrow rectangles

Auteur: Alkema, H. Y., 25 nov 2019

Begeleider: de Berg, M. T. (Afstudeerdocent 1), Nederlof, J. (Afstudeerdocent 2), Papapetrou, O. (Afstudeerdocent 2) & van der Hofstad, R. W. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Privacy-preserving DNA sequence alignment

Auteur: Asadova, S., 25 sep 2017

Begeleider: Schoenmakers, L. (Afstudeerdocent 1) & Veeningen, M. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Graph editing by partial complements

Auteur: Scholte, T., 31 aug 2018

Begeleider: Nederlof, J. (Afstudeerdocent 1) & Fomin, F. V. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Continued fractions and an approximation of p-adic numbers

Auteur: Verhaegh, W. A., 31 aug 2018

Begeleider: de Weger, B. (Afstudeerdocent 1) & Blokhuis, A. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

A non-interactive key exchange based on ring-learning with errors

Auteur: de Kock, B., 25 jun 2018

Begeleider: Lange, T. (Afstudeerdocent 1), Skoric, B. (Afstudeerdocent 2), Attema, T. (Externe persoon) (Externe coach) & van Heesch, M. (Externe coach)

Scriptie/Masterproef: Master

Bestand

An adaption of the crossbred algorithm for solving multivariate quadratic systems over F2 on GPUs

Auteur: Ning, K., 27 nov 2017

Begeleider: Lange, T. (Afstudeerdocent 1), Bernstein, D. (Externe coach) & Niederhagen, R. (Externe coach)

Scriptie/Masterproef: Master

Bestand

Linear programming for sustainable, seasonal diets

Auteur: Timmermans, E., 20 jun 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Seating the parliament

Auteur: Tuin, D. A., 20 jun 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Impact of user preferences when scheduling a conference

Auteur: Nelemans, M., 28 jun 2018

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Algorithms for parallel machine scheduling with a sequence dependent cost function: application in a printed circuit board assembly production environment

Auteur: Reusken, E., 28 okt 2019

Begeleider: Buchin, K. A. (Afstudeerdocent 1), Spieksma, F. C. (Afstudeerdocent 2), Kowalczyk, D. (Afstudeerdocent 2), van de Ven, M. (Externe persoon) (Externe coach) & de Wit, L. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Securing BLISS-b against side-channel attacks: lattice-based cryptography in a post-quantum setting

Auteur: Smeets, C., 27 mrt 2017

Begeleider: Hülsing, A. (Afstudeerdocent 1) & Lange, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Parallelise the NTT, you must: optimisations for the post-quantum key-exchange scheme NewHope-Simple for 64-BIT processors and a quick excursion to the LWR problem

Auteur: Weenink, T., 31 aug 2017

Begeleider: de Weger, B. (Afstudeerdocent 1), Schwabe, P. (Externe coach) & de la Piedra, A. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

An analysis and application of one-time pad in a group

Auteur: Zijlstra, A., 30 jan 2017

Begeleider: Schoenmakers, L. (Afstudeerdocent 1) & van de Graaf, J. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Knots and codes

Auteur: Nijsten, A. I., 17 jul 2019

Begeleider: Pellikaan, R. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Timing attacks and the NTRU public-key cryptosystem

Auteur: Gunter, S., 1 aug 2019

Begeleider: Lange, T. (Afstudeerdocent 1) & Groot Bruinderink, L. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Optimization of allocation criteria in multi-warehouse orders for Bol.com

Auteur: van Hees, L., 31 aug 2018

Begeleider: Hurkens, C. (Afstudeerdocent 1), Nederlof, J. (Afstudeerdocent 2) & Adan, I. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Job allocation in large-scale networks with locality constraints

Auteur: Cardinaels, E., 24 sep 2018

Begeleider: Borst, S. (Afstudeerdocent 1), van Leeuwaarden, J. (Afstudeerdocent 2) & Spieksma, F. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Integer linear programming applied to school scheduling

Auteur: van Niekerk, R. W., 9 nov 2018

Begeleider: Keijsper, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Assignment of referees to matches

Auteur: Peereboom, T. P., 13 aug 2019

Begeleider: Keijsper, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Automated typesetting: the mathematics of beautiful texts

Auteur: Roordink, J., 15 aug 2019

Begeleider: Hurkens, C. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Disproving Borsuk's conjecture

Auteur: Manders, A., 28 jun 2019

Begeleider: Blokhuis, A. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Analysis of an algorithm for finding perfect matching in k-regular bipartite graphs

Auteur: Blom, D. A., 31 aug 2017

Begeleider: Pendavingh, R. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Roots of chromatic polynomials of graphs

Auteur: van Eekelen, P., 31 aug 2017

Begeleider: Blokhuis, A. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Building a quantum secure MAC from a sponge construction

Auteur: Custers, F. J., 26 jun 2019

Begeleider: Hülsing, A. T. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Cosetleader weight enumerator of the product code Cm ⊗ Cn

Auteur: Geraerts, L. J., 8 mei 2019

Begeleider: Pellikaan, R. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Constructing the Deuring correspondence with applications to supersingular isogeny-based cryptography

Auteur: Ray, D., 31 aug 2018

Begeleider: Lange, T. (Afstudeerdocent 1), Martindale, C. (Afstudeerdocent 2) & Panny, L. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

On the maximum cut problem: a new 0.5-approximation algorithm

Auteur: de Quincey, M. G., 4 jul 2019

Begeleider: Nederlof, J. (Afstudeerdocent 1) & Keijsper, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Analysis of the WireGuard protocol

Auteur: Wu, S., 24 jun 2019

Begeleider: Lange, T. (Afstudeerdocent 1), Appelbaum, J. (Afstudeerdocent 2) & Donenfeld, J. A. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Bank transaction minimization

Auteur: Salomé, D., 31 aug 2017

Begeleider: Nederlof, J. (Afstudeerdocent 1) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Optimizing convolutional neural networks in multi-party computation

Auteur: Campmans, H., 28 mei 2018

Begeleider: Schoenmakers, L. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Short-term planning model for ASML field factory DUV/YS upgrades

Auteur: Siervo, R., 30 okt 2017

Begeleider: Hurkens, C. (Afstudeerdocent 1), Brandimarte, P. (Externe persoon) (Externe coach), de Proost, M. (Externe persoon) (Externe coach) & Schepens, S. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Curve clustering: hardness and algorithms

Auteur: Struijs, M., 26 nov 2018

Begeleider: Nederlof, J. (Afstudeerdocent 1), Buchin, K. (Afstudeerdocent 2) & Driemel, A. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Mathematica algorithms for detection of symmetry in bounded 2D and 3D shapes

Auteur: van Wordragen, G., 14 nov 2019

Begeleider: Eggermont, R. H. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Target set selection

Auteur: Teusink, J., 19 jun 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1) & Swennenhuis, C. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Using models and machine-learning to improve control of low-cost hardware

Auteur: van den Berkmortel, S., 30 aug 2019

Begeleider: van der Linden, B. (Afstudeerdocent 1), Hochstenbach, M. (Afstudeerdocent 2) & Hurkens, C. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Intermittent traveling salesman problem

Auteur: Tullemans, R. H., 20 jun 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand