| | | | |
| Preface | i |
| | |
| Contents | ii |
| | |
| Program | iv |
| | |
| Plenary talks | 1 |
| | |
| András Benczúr | Research on Networks in the AI National Lab Hungary | 1 |
| | |
| Gergely Röst | The COVID-19 Modelling and Epidemiology Task Force in Hungary | 2 |
| | |
| Herbert Edelsbrunner | A window to the persistence of linear lists or maps | 3 |
| | |
| Papers | 4 |
| | |
| Aadil Gani Ganie and Dr Samad Dadvandipour | Media Trail: Rise of Contradictive Reaction in India during COVID-19 | 4 |
| | |
| Ádám Vécsi and Attila Pethő | Scalix mix network | 8 |
| | |
| Ágoston Sipos | Corner-based implicit patches | 12 |
| | |
| Amirreza Bagheri and Péter Hegedűs | Towards a Block-Level ML-Based Python Vulnerability Detection Tool | 17 |
| | |
| András Földvári and András Pataricza | Qualitative Reasoning in Dependability Analysis | 21 |
| | |
| András Márkus | Towards Modelling IoT Workflows | 25 |
| | |
| Anett Fekete and Zoltán Porkoláb | Using Version Control Information to Visualize Developers’ Knowledge | 30 |
| | |
| Attila Ficsor | Semantic Robustness Testing for Vision-Based Machine Learning Components of Autonomous Cyber-Physical Systems | 35 |
| | |
| Pintér Balázs and Attila Ficsor | Toolchain for the Construction of Realistic Simulated Urban Environments | 40 |
| | |
| Csaba Bálint, Gábor Valasek and Lajos Gergó | Operations on Signed Distance Function Estimates | 45 |
| | |
| Dániel Lukács and Máté Tejfel | Overlaying control flow graphs on P4 syntax trees with Gremlin | 50 |
| | |
| Dániel Szekeres and István Majzik | Towards Abstraction-based Probabilistic Program Analysis | 55 |
| | |
| Dániel Zombori, Tamás Szabó, János Horváth, Attila Szász, Tibor Csendes and Balázs Bánhelyi | Towards an effective and fast adversarial free neural network training with verified methods | 59 |
| | |
| Dominik Hirling and Peter Horvath | Cell Representation and Segmentation with Shape Priors | 62 |
| | |
| Emília Heinc and Balázs Bánhelyi | Comparing structural constraints for accelerated branch and bound solver of process network synthesis problems | 67 |
| | |
| Eszter Julianna Csókás and Tamás Vinkó | On the exact solutions of time-aware influence maximization | 72 |
| | |
| Gergely Kovásznai and Mohammed Nsaif | Integer Programming Based Optimization of Power Consumption for Data Center Networks | 76 |
| | |
| Gergő Bendegúz Békési, Péter Ekler, Ágnes Urbin and Szilárd Szőke | Measurement Automation of MOSFETs and Other Electronical Components Using Artificial Intelligence, Neural Networks and Computer Vision | 81 |
| | |
| Ghanim Hussein Ali Ahmed and László Kovács | Ontology Supported Domain Knowledge Module For E-Tutoring System | 86 |
| | |
| Grácián Kokrehel and Vilmos Bilicki | The data path: in depth analysis | 94 |
| | |
| Gyöngyvér Vass | Optimizing the influence maximization problem with covering models including costs and required seed-distance | 98 |
| | |
| Imre Gera, András London and András Pluhár | Edge-based detection of nested communities | 102 |
| | |
| Itilekha Podder, Murad Huseynli, Michael Chima Ogbuachi, Tamas Fischl and Udo Bub | Towards Knowledge Discovery for Predictive Maintenance in MEMS Inertial Sensors using Artificial Intelligence and Design Science Research | 107 |
| | |
| Kristóf Umann, Gábor Horváth and Zoltán Porkoláb | Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses | 112 |
| | |
| László Körmöczi and László G. Nyúl | Detecting Corrugated Wire Mesh in Images | 116 |
| | |
| Mátyás Kiglics, Gábor Valasek, Csaba Bálint and Róbert Bán | Quadratic Displacement Maps for Heightmap Rendering | 121 |
| | |
| Mihály Gencsi | Metaheuristic algorithms for related parallel machines scheduling problem with availability and periodical unavailability constraints | 125 |
| | |
| Modafar Al-Shouha | Two algorithms for not-in-class classification task on image datasets | 130 |
| | |
| Naranjo Jose, Stoffova Veronika and Zhu ChangSheng | Advances in Knowledge Tracing: A brief overview in deep learning techniques | 135 |
| | |
| Péter Bereczky and Dániel Horpácsi | A Formalisation of Concurrent Core Erlang | 141 |
| | |
| Péter Kardos and Richárd Farkas | RDF2VEC in the Knowledge Graph matching task | 145 |
| | |
| Peter Lenkefi and Gergely Mezei | Comparing LR table construction methods in the GLR algorithm | 150 |
| | |
| Péter Soha | On the usability of program slicing tools in Java | 154 |
| | |
| Réka Kovács and Zoltán Porkoláb | Finding string view related memory errors in C++ | 159 |
| | |
| Richárd Kiss | User Based Collaborative Filtering for Product Recommendation Using Implicit Observations | 164 |
| | |
| Richárd Szalay and Zoltán Porkoláb | Semi-Automatic Modularisation of C ++ Software Projects | 169 |
| | |
| Róbert Bán and Gábor Valasek | Higher dimensional Hermite interpolation of gradient data | 174 |
| | |
| Sajad Rezaei, Elham Rezaei and Mohammad Amin Rezaei | A New Semantic Segmentation Technique Using Deep Learning Networks Combination | 179 |
| | |
| Tekla Tóth and Levente Hajder | Registration of 3D trajectories | 182 |
| | |
| Yue Sun, Sándor Brockhauser and Péter Hegedűs | Self-Supervised Relational Reasoning framework for Spectra Classification | 186 |
| | |
| Walelign Tewabe Sewunetie and László Kovács | Rule-Based Automatic Question Generation Using Dependency Parsing | 191 |
| | |
| Zoltán Richárd Jánki and Vilmos Bilicki | Domain Specific Semantic Data Model Integration | 196 |
| | |
| Zoltán Szabó, Emőke Adrienn Hompoth and Vilmos Bilicki | Evaluation of a Custom Patient Flow Modeling Framework for Hospital Simulation | 201 |
| | |
| Zsófia Erdei and István Bozó | Identifying concurrent behaviours in Erlang legacy systems | 206 |
| | |
| List of Authors | 211 |
| | |
