| Student |
Thesis |
Content |
| Barthel,. M. (Mischa) | Petri Nets: Model Checking, Unfoldings and the Observable Configuration Graph | |
| Bilanovic, V. (Vedran) | Temporal Difference Driving Exam | |
| Breukelaar, R. (Ron) | Evolving Transition rules for Multi Dimensional Cellular Automata | |
| Brijder, R. (Robert) | Characterizing Reducibility of Gene Patterns in Ciliates | |
| Cocx, T. (Tim) | Automated Generation and Analysis of Logical Puzzles: The Flats Puzzle | |
| Cui, K. (Kejia) | Prediction of Aqueous Solubility through a Neural Network | |
| Haazebroek, P. (Pascal) | Web Event Based Usability Analysis | |
| Hoogeboom, M. (Michiel) | Architecture and Implementation Compliance: Reaching Compliance by means of Automation | |
| Huang, K. | Exploiting Parallelism to Solve the Problem of Pattern Matching | |
| Laros, J.F.J. (Jeroen) | Unique Factors in the Human Genome | |
| Liem, G. (Gideon) | Increasing Quality in Software Production, using the Test-Feedback Chain | |
| Moerland, T. (Tijmen) | Color Constancy from Local Invariant Regions | |
| Nabuurs, R. (Remco) | Energy-bound Genetic Programming | |
| Netten, C.P.M. (Niels) | Towards Believable Virtual Characters using a Computational Model of Emotion | |
| Nguyen, H.T. | High-Speed Packet Filtering on IX P1200 Network Processors | |
| Oerlemans, A. (Ard) | Detecting and Identifying Moving Objects in Real-Time | |
| Pandit, P. | Feasibility of Rhapsody for Nexperia Home | |
| Pinkers, R.P.J. (Rogier) | Analysis of Compiler Optimizations using Orthogonal Arrays | |
| Portokalidis, G. | Zero Hour Worm Detection and Containment using Honeypots | |
| Shir, O.M. (Ofer) | Niching in Evolution Strategies | |
| Simoons, P.J. (Pieter) | Code Organization and Run-time Reorganization using Active Linking | |
| Verbeek, M.L. (Marie Louise) | Goudvissen | |
