TDK Konferencia
ELTE Informatikai Kar
2006. december 7.
-
Farkas Bence (9. félév): Lassú áramlások számítása végeselem módszerrel
Témavezető: Prof. Stoyan Gisbert (ELTE),
II. díj
-
Hoch Csaba (7. félév), Tóth László Attila (11. félév):
Keretrendszer bizonyítottan helyes mobil kód támogatására
Témavezetők: Istenes Zoltán, Kozsik Tamás (ELTE),
I. díj
-
Juhász Zoltán (9. félév): Véges automata implementálása aktív könyvtárral
Témavezető: Sipos Ádám
(ELTE),
II. díj
-
Szűgyi Zalán (13. félév): SIP üzenetek tömörítése
Témavezető: Porkoláb Zoltán (ELTE),
II. díj
-
Vajda Péter (10. félév): Comparing on the flyselection adjusment
mechanisms in Evolution Computing
Témavezető: Eiben Ágoston (Vrije Universiteit Amsterdam),
III. díj
-
Alagi Gábor (7. félév): Paramoduláció a rezolúciós kalkulusban
Témavezető: Pásztorné Varga Katalin (ELTE),
III. díj
-
Csajbók Tímea (11. félév), Kasza János (11. félév):
Prímszitálás speciális alakú számokra
Témavezető: Dr. Járai Antal (ELTE),
I. díj
-
Papp Gyula (9. félév):
Egy természetes nyelvi fordítóprogramhoz kötődő kontrollált nyelvi alkalmazás bemutatása
Témavezetők: Prószéky G., Nyéky J. (ELTE),
III. díj
-
Lócsi Levente (7. félév):
Komplex függvények színes ábrázolása
Témavezető: Schipp Ferenc (ELTE),
III. díj
-
Víg Anikó (9. félév), Nagy Tamás (9. félév):
An Erlang refactoring step
Témavezetők: Horváth Zoltán (ELTE),
S.J. Thompson (University of Kent at Canterbury, UK),
I. díj