Zárókonferencia 2022. május 26-27.
Alkalmazásiterület-specifikus nagy megbízhatóságú informatikai megoldások
|
PROGRAM
|
|||
|
2022. május 26.
|
|||
|
9.00 |
9.05 |
Borhy László akadémikus egyetemi tanár, az ELTE rektora |
Köszöntő |
|
9.05 |
9.20 |
Szabó István, elnökhelyettes, NKFI Hivatal |
Köszöntő |
|
Kutatócsoportok eredményeinek összefoglalása 2019-2022 |
|||
|
9.20 |
9.35 |
Horváth Zoltán, szakmai vezető |
Az ipar és digitalizáció tématerületi kiválósági projekt eredményei |
|
9.35 |
9.45 |
Laki Sándor, Szoftveripar és telekommunikációs hálózatok |
Main results of the software industry and telecommunication networks research group |
|
9.45 |
9.55 |
Hajder Levente, Autonóm rendszerek |
|
|
9.55 |
10.05 |
Kovács Béla, Agrárinformatika |
|
|
10.05 |
10.15 |
Lőrincz András, Mesterséges intelligencia |
|
|
10.15 |
10.25 |
Jordán Tibor, Matematika és optimalizáció |
Matematika és optimalizáció: hatékony algoritmusok, optimalizált megoldások |
|
10.25 |
10.35 |
Molnár Bálint, Digitális szolgáltatások |
|
|
Kutatási eredmények |
|||
|
10.35 |
10.45 |
Kaposi Ambrus |
|
|
10.45 |
10.55 |
Thorsten Altenkirch |
Higher Observational Type Theory |
|
10.55 |
11.05 |
Kovács András |
|
|
11.05 |
11.15 |
Bozó István, Tóth Melinda |
|
|
11.15 |
11.30 |
Kávészünet |
|
|
11.30 |
11.40 |
Simon Thompson |
Language-independent refactorings through language-specific rewrites |
|
11.40 |
11.50 |
Horpácsi Dániel |
High assurance refactoring via machine-checked formalization |
|
11.50 |
12.00 |
Tejfel Máté |
|
|
12.00 |
12.10 |
Laki Sándor |
|
|
12.10 |
12.20 |
Vörös Péter |
|
|
12.20 |
12.30 |
Gombos Gergő |
|
|
12.30 |
12.40 |
Szalai-Gindl János |
|
|
12.40 |
12.50 |
Zimborás Zoltán |
|
|
12.50 |
13.00 |
Kovács Attila |
|
|
13.00 |
13.10 |
Orosz Tamás |
Sustainable Development of Enterprise Operations Applying Novel ERP System Methods and Tools |
|
13.10 |
13.20 |
Ligeti Péter |
|
|
13.20 |
13.30 |
Molnár Bálint |
|
|
13.30 |
13.40 |
Naszódi Márton |
Logaritmikusan konkáv eloszlások és a Löwner-probléma |
|
13.40 |
13.50 |
Horváth Tamás |
|
|
13.50 |
14.00 |
Alexy Márta |
Precision livestock farming - practical feasibility and applicability of digital data collection |
|
14.00 |
14.10 |
Tsegaye Misikir Tashu |
Synonym-Based Essay Generation and Augmentation for Robust Automatic Essay Scoring |
|
2022. május 27.
|
|||
|
9.00 |
9.10 |
Gulyás László |
Structural Analysis of Sparse Neural Networks -- Baseline Studies |
|
9.10 |
9.20 |
Kristian Fenech |
First Impressions in small group collaboration |
|
9.20 |
9.30 |
Somfai Ellák |
|
|
9.30 |
9.40 |
Kiss Attila |
|
|
9.40 |
9.50 |
Bérczi Kristóf |
Inverz optimalizálási problémák |
|
9.50 |
10.00 |
Bérczi-Kovács Erika |
Népszerű párosítások P-beli esetei |
|
10.00 |
10.10 |
Fekete Imre |
Globális Richardson-extrapolált többlépéses módszerek |
|
10.10 |
10.20 |
Jordán Tibor |
Globális merevség - tételek, algoritmusok, alkalmazások |
|
10.20 |
10.30 |
Király Tamás |
Stabil párosítások és folyamok |
|
10.30 |
10.40 |
Lukács András |
Tanulási problémák az orvosi képfeldolgozásban |
|
10.40 |
10.50 |
Somlai Gábor |
Diszkrét Fourier transzformáció |
|
10.50 |
11.00 |
Tarcsay Zsigmond |
|
|
11.00 |
11.10 |
Kávészünet |
|
|
11.10 |
11.20 |
Valkó Éva |
Homogén kémiai kinetikai rendszerek azonosítása klaszterezéssel |
|
11.20 |
11.30 |
Zábrádi Gergely |
Mátrix Kloosterman-összegek prímhatvány modulusra |
|
11.30 |
11.40 |
Elek István |
|
|
11.40 |
11.50 |
Cserép Máté |
LiDAR alapú feltérképezés, objektumdetektálás és hibaanalízis |
|
11.50 |
12.00 |
Albert Gáspár |
Geoinformatika és gépi tanulás az alkalmazott földtudományokban |
|
12.00 |
12.10 |
Kovács Béla |
UAS on the air |
|
12.10 |
12.20 |
Lóczi Lajos |
|
|
12.20 |
12.30 |
Kovács Bandó |
|
|
12.30 |
12.40 |
Hajder Levente |
|
|
12.40 |
12.50 |
Varga László Zsolt |
|