Thema’s databases en theoretische informatica Masterproeven 2012-13.

Presentatie over: "Thema’s databases en theoretische informatica Masterproeven 2012-13."— Transcript van de presentatie:

1 Thema’s databases en theoretische informatica Masterproeven 2012-13

2 Onderzoeksgroep Promotoren: Marc Gyssens, Jan Van den Bussche, Bart Kuijpers, Frank Neven

3 Geografische Informatie Systemen  Modellen, query-talen, implementatie (Bart Kuijpers)  Spatio-temporal data mining (Bart Kuijpers)  Kortste paden op oppervlakken en in landschappen (Jan Van den Bussche)

4 Big data  NoSQL: een vergelijkende studie (Frank Neven, Jonny Daenen)  Keys in semi-structured data (Frank Neven)  Keyword search in structured data (Frank Neven, Jonny Daenen)  Keeping up with Google: searching in text databases (Marc Gyssens, Jonny Daenen, Jelle Hellings)

5 Natural computing  Een typesysteem voor de programmeertaal DNAQL (Jan Van den Bussche, Robert Brijder, Joris Gillis)  Rekenen met DNA: DNA strand displacement (Marc Gyssens, Robert Brijder)  Randomized computing en quantum computing (Jan Van den Bussche)  Probabilistische databases (Marc Gyssens, Tom Ameloot)

6 Audio-databases  Music recognition toegepast op vogelzang (Jan Van den Bussche, Tom Ameloot)

7 Theoretische informatica  Berekeningsmodellen over eerste-orde structuren (Bart Kuijpers)  Complexiteitstheorie (Bart Kuijpers)  Dynamische systemen (Bart Kuijpers)  SAT modulo theories (Jan Van den Bussche)  Graph expression matching (Jan Van den Bussche, Jonny Daenen)

8 Eigen onderwerp