2022.01.12.
Tématerületi Kiválósági Program, Alkalmazásiterület-specifikus Nagy Megbízhatóságú Informatikai Megoldások, online workshop, 2022. január 13-14.

 

Program 2022. január 13.
9:00 9:20 Kaposi Ambrus Szigorú algebrai struktúrák
9:20 9:40 Laki Sándor Hálózatok, mint programozható platformok
9:40 10:00 Tejfel Máté P4 programok elemzése és transzformációja
10:00 10:20 Vörös Péter P4 használata az újgenerációs hálózatokban
10:20 10:40 Gombos Gergő Szolgáltatás minőség javítása számítógépes hálózatokban
10:40 11:00 Tóth Melinda, Bozó István Erlang programok statikus elemzése és az elemzések eredményének a felhasználási lehetőségei
11:00 11:20 Horpácsi Dániel Nagy megbízhatóságú refaktorálás Erlangban
11:20 11:40 Jordán Tibor Matematika és optimalizáció: hatékony algoritmusok, optimalizált megoldások
11:40 12:00 Valkó Éva A metán-levegő gyulladás homogén kémiai kinetikai rendszereinek azonosítása
12:00 12:20 Bérczi-Kovács Erika Regionális hibákkal szemben ellenálló utak keresése kommunikációs hálózatokban
12:20 12:40 Fekete Imre Európai opciók árazása adaptív diszkretizáló módszerekkel
12:40 13:00 Havasi Ágnes Az ismételt Richardson-extrapoláció adaptív alkalmazása légkörkémiai modellben
13:00 13:20 Jordán Tibor Gráfok hatványainak térbeli realizációiról
13:20 13:40 Bérczi Kristóf Dinamikus árazási sémák
13:40 14:00 Zábrádi Gergely Moduláris formák Hida családjainak nemkommutatív Iwasawa-elmélete
14:00 14:20 Lukács András Tanulási problémák orvosi képfeldolgozásban
14:20 14:40 Naszódi Márton Algoritmus a fedési sugár meghatározására
14:40 15:00 Király Tamás Matroid metszet algoritmusok gyenge orákulumokkal
15:00 15:20 Szünet  
15:20 15:40 Szőnyi Tamás Véges geometriák (és kódelmélet)
15:40 16:00 Tarcsay Zsigmond Operátor- és mátrixegyenletek: megoldhatóság és egyértelműség
16:00 16:20 Somlai Gábor Halmazok kicsi Fourier tartóval
Program 2022. január 14.
9:00 9:20 Molnár Bálint Digitális szolgáltatások
9:20 9:40 Molnár Bálint Nagy megbízhatóságú információs rendszer szolgáltatások kialakításának formális és félig formális követelményei
9:40 10:00 Kovács Attila Tesztelés és Proth számok
10:00 10:20 Ligeti Péter Titokmegosztások és elosztott protokollok
10:20 10:40 Orosz Tamás Koncepciók és elvek gyakorlati megvalósítása hibrid ERP rendszerkörnyezetben: SAP esettanulmányok
10:40 11:00 Lőrincz András Ember-gép együttműködés felé
11:00 11:20 Somfai Ellák A Skincare kifutó projektjei
11:20 11:40 Kristian Fenech Components for Human-Machine Interaction
11:40 12:00 Horváth Tamás Time-series in hyper-parameter initialization of machine learning techniques 
12:00 12:20 Hajder Levente Autonóm rendszerek
12:20 12:40 Varga László Zsolt Megbízható multi-ágens rendszerek
12:40 13:00 Hajder Levente Járműre rögzített érzékelők kalibrációja
13:00 14:00 Szünet  
14:00 14:20 Kovács Bandó 3D adatgyűjtés járműre rögzített érzékelőkkel
14:20 14:40 Szalai Gindl János Pontfelhők kezelése és tárolása
14:40 15:00 Lóczi Lajos Optimalizációs és extrapolációs feladatok
15:00 15:20 Alexy Márta Az Agrárinformatika alprojekt kutatásai és azok eddigi eredményei
15:20 15:40 Elek István Drón felvételeket feldolgozó programcsomag fejlesztése
15:40 16:00 Cserép Máté Vasúti infrastruktúra szegmentálása és hibaanalízise LiDAR pontfelhők alapján
16:00 16:20 Kovács Béla UAV/UAS mérések és eredmények
16:20 16:40 Albert Gáspár Földtudományi távérzékelés, térképészet, tervezés 
16:40 17:00 Alexy Márta A precíziós mezőgazdaságról