LIACS Studentenseminarium 20 May 2014

advertisement
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.
Download