• Postbus 513, MF

    5600MB Eindhoven

    Nederland

Scripties/Masterproeven

Weighted bipartite b-matching for Amsterdam high schools in practice

Auteur: Grooten, B., 17 okt 2017

Begeleider: Keijsper, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

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

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

Using algebra for proving and discovering geometric theorems

Auteur: Fahner, T., 5 jul 2019

Begeleider: Sterk, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Upper and lower bounds for rooted forest packings

Auteur: Blom, D., 30 aug 2019

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

Scriptie/Masterproef: Master

Bestand

Triangle partition on graphs of bounded cutwidth: upper- and lower bounds on algorithmic and communication complexity

Auteur: van Heck, I., 31 aug 2018

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

Scriptie/Masterproef: Master

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

The Keccak sponge function family

Auteur: Szanto, J. B., 31 aug 2018

Begeleider: de Weger, B. (Afstudeerdocent 1) & Blokhuis, A. (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

The Chinese postman problem in undirected and directed graphs

Auteur: Verberk, L. P., 11 jul 2019

Begeleider: Keijsper, J. (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

Target set selection

Auteur: Teusink, J., 19 jun 2019

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

Scriptie/Masterproef: Bachelor

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

Short term production planning: scheduling on an hourly basis

Auteur: Deckers, L., 17 dec 2018

Begeleider: Hurkens, C. (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

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

Seating the parliament

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

Begeleider: Spieksma, F. (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

Rational binomial coefficients: behaviour and collisions

Auteur: van 't Westeinde, N. E., jun 2018

Begeleider: Sterk, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Proactive lateral transshipments and stock allocation via transient behavior of loss systems

Auteur: Pielage, K., 30 nov 2018

Begeleider: Boxma, O. (Afstudeerdocent 1), van Houtum, G. (Afstudeerdocent 2), Spieksma, F. (Afstudeerdocent 2), Kuipers, M. (Externe persoon) (Externe coach) & van Sommeren, R. (Externe coach)

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

Post-quantum signatures from identification schemes

Auteur: Leichtle, D., 29 okt 2018

Begeleider: Hülsing, A. (Afstudeerdocent 1) & Schoenmakers, B. (Afstudeerdocent 2)

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

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

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

Optimizing convolutional neural networks in multi-party computation

Auteur: Campmans, H., 28 mei 2018

Begeleider: Schoenmakers, L. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

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

Optelketens

Auteur: Onstenk, A., 13 aug 2018

Begeleider: de Weger, B. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

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

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

Muziektheoretische ritmeanalyse: een wiskundig model

Auteur: van Santvoort, M., jul 2018

Begeleider: Sterk, 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

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

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

Linear programming for sustainable, seasonal diets

Auteur: Timmermans, E., 20 jun 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Lie algebra and geometries

Auteur: Heng, Y., 30 aug 2019

Begeleider: Cuypers, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

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

Knots and codes

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

Begeleider: Pellikaan, R. (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

Intermittent traveling salesman problem

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

Begeleider: Spieksma, F. (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

Integer linear programming applied to school scheduling

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

Begeleider: Keijsper, J. (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

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

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

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

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

Generalized polygons, near polygons and line systems

Auteur: Rusch, A., 25 jun 2018

Begeleider: Cuypers, F. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Fast matrix multiplication

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

Begeleider: Pendavingh, R. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand