A BME VIK hallgatói a Nemzeti Tehetség Program támogatásával vehettek részt a 2015. évi OTDK Műszaki és Informatikai szekciójában.
A támogatás összege: 1.465.000 Ft volt. Projekt megnevezése: NTP-OTDKR-14-0010a
OTDK 2015 Műszaki Szekció Óbudai Egyetem
Műszaki szekció: 14 dolgozatból 10 ért el helyezést.
http://www.inf.u-szeged.hu/otdk2015/nyitolap
Informatikai szekció: 31 dolgozatból 24 ért el helyezést.
A NTP-TDK-14-0020 pályázat 1 millió Ft-tal támogatta a publikációs tevékenységet:
A pályázatban megfogalmazott szakmai program:
Hallgatók és fiatal oktatók kutatási és publikációs tevékenységének támogatása
Az indikátor célértéke: 5-10 nemzetközi publikációs eredmény. A rendelkezésre álló (a pályázathoz képest lényegesen csökkentett) támogatási keretből a minimális célt (5 nemzetközi publikáció) sikerült elérni. Köszönettel vettük a támogatást.
A támogatott hallgatók és publikációik:
Molnár Vince, doktorandusz,
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems , London, 2015. április 11.-18.
Cikk címe: Saturation-based incremental LTL model checking with inductive proofs
Szerzők: Molnár V., Darvas D., Vörös A., Bartha T.
Varga Norbert, doktorandusz,
4th International Conference on Models and Technologies for Intelligent
Transportation Systems (MT-ITS 2015), 2015. június 3.-5., Budapest
Szerzők: Norbert Varga, , L. Bokor, Hans-Joachim Fischer
Patartics Bálint, MSc hallgató,
20th International Conference on Process Control, Strbske Pleso, Magas Tátra, Szlovákia, 2015. június 9-12.
Cikk címe: Application of laser slot sensors for the state estimation of overhead cranes
Szerzők: Patartics B., Kiss B.
|
Pelle István, |
doktorandusz jelölt, |
ACM Sigcomm Symposium on SDN Research (SOSR), June 17-18, 2015, Santa Clara, CA (Co-located with Open Networking Summit 2015)
Cikk címe: One Tool to Rule Them All: A Modular Troubleshooting Framework for SDN (and other) Networks
Szerzők: István Pelle, T. Lévai, F. Németh, and A. Gulyás
Hajdu Ákos, MSc hallgató,
36th International Conference on Application and Theory of Petri Nets and Concurrency, Brüsszel, 2015. június 24.-26.
Cikk címe: New search strategies for the Petri net CEGAR approach
Szerzők: Hajdu Ákos, Vörös A., dr. Bartha T.
Az alábbi oldalakon összefoglaló olvasható a sikeres pályázatokról és a támogató szervezetekről.
https://www.vik.bme.hu/document/509/original/00002529.docx
http://www.vik.bme.hu/static/files/NTP_TDK_14_0020_pack.zip
