LIACS Studentenseminarium 20 May 2014 Time 9:30-16:30 Studentenseminarium Informatica – Room B03 – Todor Stefanov 9:30 Introduction 9:4510:10 10:1010:35 10:3511:00 11:1511:40 11:4012:05 13:0013:25 13:2513:50 13:5014:15 14:3014:55 14:5515:20 15:3516:00 16:0016:25 Jeroen Rook Bernard van den Boom Quicksort: A historical perspective CO Jan van Staalduinen J. Tetteroo The DEAP: A double ended heap to implement double ended priority queues AL Kin Kok Chow Tom van Dijkhuizen Pause 15 Min Min Max heaps and generalized priority queues AL The verifying compiler PC Extracting and Modeling Product Line Functional Requirements RE A hierarchical CPU Scheduler for multimedia OS OS Elisa Partodikomo Simone van Veen David de Muinck Keizer Joost Martens Lunchbreak Michiel van den Berge Terry Zabel Arthur van Roijen Ruben Buitelaar Christian Veenman Pause 15 Min Trademark history of linux Solving Nine Mens Morris OS KI Sarah Haddou The queens separation problem KI Anneloes Louwe Pause 15 Min Restricted Turing Test KI Chivany v/der Werff Linda de Boer Conversation, deception and Intelligence: Turings question answer game KI Mark van den Bergh Ricardo Person The grand challenge of computer go KI Studentenseminarium I&E - Room 312 9:30 9:45-10:10 10:1010:35 10:3511:00 11:1511:40 11:4012:05 13:0013:25 13:2513:50 13:5014:15 14:3014:55 14:5515:20 15:3516:00 16:0016:25 Introduction Marten Ackermans Gregory Maduro Maarten Ligthart Vanessa Carreiro Thomas Prickel Lars Hopman Pause 15 Min Programming Backgammon using self-teaching neural nets KI Checkers is solved/Kidney paired donation KI A hybrid neurogenetic algorithm for stock forecasting KI General Game Playing KI Sem Scholtes Mitchel Colli Jesse Tjebbes Lunchbreak Rachelle Blok Laurens Jonsma Laurens Groeneveld Clemens Gonesh Jelle Talstra Kevin Oost Pause 15 Min Inflation forecasting using a neural network The anatomy of a large scale hypertextual search engine DB What we have learned from market design AL Stable Marriage with Trees and Bounded Length Preference Lists CO Service Mining REQ Introduction to memory management in GFK+ OS Hanjo Boekhout Koen Putman Tim Visser Ivo Musse Pause 15 Min KI Muhammed Özer Chris Onderwater I/O Schedulers CST Thomas Helling R.de Heer Fair O(1) cpu schedulers CST Tentative time table.