Discrete Mathematics W&I

  • Postbus 513, MF

    5600MB Eindhoven

    Nederland

Scripties/Masterproeven

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

Achieving differential privacy in secure multiparty computation

Auteur: Thissen, K., 15 mei 2019

Begeleider: Schoenmakers, B. (Afstudeerdocent 1), Koster, R. (. (Externe persoon) (Externe coach) & van Liesdonk, P. (Externe coach)

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

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

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

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

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

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

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

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

Bank transaction minimization

Auteur: Salomé, D., 31 aug 2017

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

Scriptie/masterproef: Bachelor

Bestand

Brabocoin: an educational cryptocurrency based on Bitcoin

Auteur: van den Berg, D. P., Dekker, D., van den Eerenbeemt, S. & Wessel, S., 18 apr 2019

Begeleider: de Weger, B. (Afstudeerdocent 1) & Skoric, B. (Afstudeerdocent 2)

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

Coding theory: a Gröbner basis approach

Auteur: Kuijsters, D., 20 feb 2017

Begeleider: Pellikaan, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

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

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

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

Counting connected subgraphs

Auteur: Verhaegh, R. F., 8 jul 2019

Begeleider: Nederlof, J. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Cryptanalysis of Simon et al.: cryptanalysis of lightweight symmetric ciphers

Auteur: Lambooij, E., 31 aug 2017

Begeleider: Lange, T. (Afstudeerdocent 1), Dunkelman, O. (Externe persoon) (Externe coach) & Pielage, R. (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

Disproving Borsuk's conjecture

Auteur: Manders, A., 28 jun 2019

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

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

Fast matrix multiplication

Auteur: Takke, E. C., 3 jul 2019

Begeleider: Pendavingh, R. (Afstudeerdocent 1)

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

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

Homology of moving points

Auteur: Sweep, R., 28 okt 2019

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

Scriptie/masterproef: Master

Bestand

Horizontal attack on protected RSA using unsupervised learning

Auteur: Maan, J., 27 nov 2017

Begeleider: Schoenmakers, L. (Afstudeerdocent 1) & Tiran, S. (Externe persoon) (Externe coach)

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

Impact of user preferences when scheduling a conference

Auteur: Nelemans, M., 28 jun 2018

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

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

Integer programming for kidney exchange

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

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Intermittent traveling salesman problem

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

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

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

Knots and codes

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

Begeleider: Pellikaan, R. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Lattice-based signatures: Rényi divergence analysis

Auteur: Pijnenburg, J., 31 aug 2017

Begeleider: Lange, T. (Afstudeerdocent 1) & Galbraith, S. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Lie algebra and geometries

Auteur: Heng, Y., 30 aug 2019

Begeleider: Cuypers, H. (Afstudeerdocent 1)

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

Long-term scheduling and skill development in ASML DUV/YS FFU department

Auteur: Klaren, L., 31 aug 2018

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

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

Mixed integer programming methods applied to practical scheduling problems: exam scheduling optimization

Auteur: van Doornmalen, M., 24 sep 2018

Begeleider: Hurkens, C. (Afstudeerdocent 1) & van den Broek, J. (Externe coach)

Scriptie/masterproef: Master

Bestand

Muziektheoretische ritmeanalyse: een wiskundig model

Auteur: van Santvoort, M., jul 2018

Begeleider: Sterk, H. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

On k-sided rectangular duals

Auteur: Beekhuis, S., 27 mrt 2017

Begeleider: Speckmann, B. (Afstudeerdocent 1), Verbeek, K. (Afstudeerdocent 2), Nederlof, J. (Afstudeerdocent 2) & Pendavingh, R. (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

Optelketens

Auteur: Onstenk, A., 13 aug 2018

Begeleider: de Weger, B. (Afstudeerdocent 1)

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

Optimizing convolutional neural networks in multi-party computation

Auteur: Campmans, H., 28 mei 2018

Begeleider: Schoenmakers, L. (Afstudeerdocent 1)

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

Planarity testing: implementation and analysis of the Auslander-Parter algorithm

Auteur: Zeijlemaker, S., 10 jul 2018

Begeleider: Keijsper, J. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand