Program timetable
^
Wednesday, January 29, 2020:
08:00-13:00 | Registration in 1st Floor Hall |
10:00-10:30 | Opening Ceremony, C-124 Tibor Juhász, István Fazekas, Gergely Kovásznai |
10:30-11:15 | Plenary Session in C-124 (Chair: Gergely Kovásznai) |
10:30-11:15 | Balázs Harangi Application of neural nets and deep learning in clinical screening systems |
11:15-11:45 | Coffee-break |
11:15-12:15 | Poster Session |
12:15-13:00 | Plenary Session in C-124 (Chair: István Fazekas) |
12:15-13:00 | András Horváth Adversarial samples in machine learning: revealing flaws of neural network training |
13:00-14:00 | Lunch |
14:00-15:40 | Sections |
15:40-16:10 | Coffee-break |
16:10-17:50 | Sections |
18:00-22:00 | Welcome party |
The venue for meals is the Leányka Bisztró, in Building "C*", next to Building "C".
Poster Session in 1st and 2nd Floor Halls
- Tamás Szabó and Balázs Bánhelyi
Data mining and analysis for data from vehicles based on the OBDII standard - Attila Szántó and Gusztáv Áron Sziki
Dynamic test measurements and simulation on a series wound DC motor - Tamás Girászi, Giusti Matteo, Dominik Rózsa, Tamás Takács, Ákos Mándi and Tamás Bérczes
Handwriting recognition in real time - Dávid Béres, Dávid Csimbók, Bence Pál, Kristóf Lovász, Attila Kuki and Tamás Bérczes
Creating an OpenStack based cloud infrastructure - Krisztián Horváth and Zoltán Ködmön
Traditional timing in the modern age - Zoltán Ködmön and Krisztián Horváth
A possible way to improve programming skills - Zsófia Keller and Norbert Szűcs
Development and measurement of ballplayers' motoric skills - Dániel Kiss, Gábor Kertész, Máté Jaskó, Sándor Szénási, Anna Lovrics and Zoltán Vámossy
Evaluation Colony Formation Dataset of Simulated Cell Cultures - Gyöngyi Bujdosó and Kata Boros
Immersive VR for developing competences on necessary fields of computer science of university students - László Pusztai, Balázs Kocsi, Lilla Törő, Michael Matonya and István Budai
Analysis of process Improvement activities in uncertain environment - Dávid Szabó and Bertalan Radó
Real-Time 3D Molecule Graphics on the Web - István Fazekas, Attila Barta, Bettina Porvázsnyik and Csaba Noszály
Theoretical and simulation results on a network evolution model driven by a branching process - Zoltán Illés and Viktória Bakonyi
REAL-TIME INTERACTIVITY IN AUDITORIUMS - Tibor Roskó and Attila Tamás Adamkó
Behind passwords: understanding how users memorize passwords and protect their privacy
Section "A" in C-124
Artificial Intelligence including Machine Learning | |
---|---|
Chair: | Balázs Harangi |
14:00-14:20 | József Sütő Music Stimuli Recognition from EEG Signals with Emotiv Epoc Headset |
14:20-14:40 | Sándor Király and Dániel Csutorás Smart TeamBoard: a Knowledge Sharing Progressive Web Application Supported by Efficient Convolutional Neural Networks |
14:40-15:00 | Tibor Tajti Fuzzification of neural network pattern outputs for classification problems |
15:00-15:20 | László Szathmáry Closed Association Rules |
15:20-15:40 | |
Artificial Intelligence including Machine Learning | |
Chair: | András Horváth |
16:10-16:30 | István Lakatos, András Hajdu and Balázs Harangi Molecule classification using 2D Convolutional Neural Network and Ensembles Methods |
16:30-16:50 | Sándor Csanád Finding Dense Supermasks in Randomly Initialized Neural Networks |
16:50-17:10 | Máté Szabó Distributed machine learning on mobile platform with Deeplearning4J |
17:10-17:30 | Gergő Bogacsovics Designing self-driving agents for racing games |
17:30-17:50 | Judit Tamás and Zsolt Tóth Classification Refinement with Category Hierarchy |
Section "B" in C-121
Security and Cryptography | |
---|---|
Chair: | Géza Horváth |
14:00-14:20 | Andrea Huszti and Norbert Oláh Identity-based Password Registration for Clouds |
14:20-14:40 | Péter Hudoba and Péter Burcsi Value collision multi party computing via multiple graph topologies |
14:40-15:00 | Gábor Törley The Level of Information Security Awareness of First Year University Students |
15:00-15:20 | Tamás Herendi and Viktória Padányi Metaanalysis of pseudorandom number generators |
15:20-15:40 | Ádám Vécsi and Attila Pethő Formal Grammar Identity-based Cryptography |
Computer Aided Geometric Modeling and Computer Graphics | |
Chair: | Róbert Tornai |
16:10-16:30 | György Papp, Miklós Hoffmann and Ildikó Papp Improved QR code embedding for meshes with 3D printing |
16:30-16:50 | Szabolcs Pável An Ellipsoid Object Model of the Refraction Surface |
16:50-17:10 | Ferenc Nagy and Norimasa Yoshida Interactive modeling with Log-aesthetic spirals |
17:10-17:30 | Csaba Bálint and Róbert Bán Dragonfly: A High Level Low Overhead OpenGL Framework |
17:30-17:50 | Dávid Kupás, Péter Török, András Hajdu and Balázs Harangi Visualization for Fibroid Surgery applying Augmented Reality and Ultrasound Image Segmentation |
Section "C" in C-106
Education and other fields of Applied Informatics | |
---|---|
Chair: | Zoltán Illés |
14:00-14:20 | István Károly Boda and Erzsébet Tóth Classical heritage and text-based second language learning in three-dimensional virtual library environment |
14:20-14:40 | Katalin Sebestyén Students’ knowledge in file management after elementary school |
14:40-15:00 | Gábor Csapó Sprego as an introductory language to programming |
15:00-15:20 | Tamás Balla and Sándor Király Enhancing learning efficiency after analysing the users' results in a gamified learning portal for computer programming education |
15:20-15:40 | Anikó Vágner Teaching NoSQL database systems in the Computer Science BSc programme at the Faculty of Informatics, University of Debrecen |
Theoretical Computer Science | |
Chair: | Tibor Csendes |
16:10-16:30 | Erik Zoltán Hidi and Géza Horváth Oscillator Finder for Hexagonal Game of Life with 8 Neighbors |
16:30-16:50 | Valerie Novitzká, William Steingartner and Ján Perháč Simply typed lambda calculus extended with reference type in categorical model |
16:50-17:10 | Attila Bagossy and György Vaszil Simulating Reversible Computation with Reaction Systems |
17:10-17:30 | Oleksandr Mitsa, József Holovács, Roman Holomb and Oleksandr Levchuk Investigation of the influence of errors the parameters of the layers of optical filters on the stability of their spectral characteristics |
17:30-17:50 | Ádám Tóth and János Sztrik Simulation of finite-source retrial queuing systems with collisions, non-reliable server and impatient customers in the orbit |
Thursday, January 30, 2020:
08:00-13:00 | Registration in 1st Floor Hall |
09:30-11:00 | Plenary Sessions in C-124 (Chair: Sándor Baran) |
09:30-10:15 | Wolfgang Schreiner Mathematical Model Checking for Computer Science Education |
10:15-11:00 | Gábor Kusper Research Topics in Informatics for a College Teacher |
11:00-11:30 | Coffee-break |
11:00-12:00 | Poster Session |
12:00-12:45 | Plenary Session in C-124 (Chair: Gábor Kusper) |
12:00-12:45 | Sándor Baran Statistical Methods in Weather Forecasting |
13:00-14:00 | Lunch |
14:00-15:40 | Sections |
15:40-16:10 | Coffee-break |
16:10-17:50 | Sections |
18:00-22:00 | Dinner and wine-sampling |
The venue for meals is the Leányka Bisztró, in Building "C*", next to Building "C".
Poster Session in 1st and 2nd Floor Halls
- Bernadett Aradi and Gábor Petneházi
Volatility forecasting with 1-dimensional CNNs - Gyöngyi Bujdosó and Kata Boros
Immersive VR for developing competences on necessary fields of computer science of university students - Márk Török and Norbert Pataki
DevOps Dashboard with Heatmap - Emília Heinc, Balázs Bánhelyi and Edit Mikó
Microsimulations methods for the optimal length of waiting periods of cows - Tamás Girászi, Giusti Matteo, Dominik Rózsa, Tamás Takács, Ákos Mándi and Tamás Bérczes
Numbers recognition in real time - Máté Vágner, Tamás Girászi, Tamás Bérczes and Attila Tiba
Validation of stroke-risk prognosticator algorithms using CNN and Microsoft Azure - Henrietta Tomán, Nikolett Kovács, Krisztián Attila Kövér and Márta Nagy
How to develop computer games - Erzsébet Dani and Anna Mária Bólya
The Visuality of Dance Art as a Digital/Virtual Narrative - Gereltsetseg Altangerel and Máté Tejfel
Some results on extending P4 language with asynchronous compression functionality - Daniel Szczypior
Machine Learning for Predicting and Analysing Water Quality - Vivien Farkasinszkyné Verdes and Emese Jakab
"Bib-bot" as E-Bibliotherapy chatbot - Attila Gyén and Norbert Pataki
Format-independent Graph Vizualization with Language Server Protocol - Xiaotian Su, Evan Sitt, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsók
Implementation of Digital Synthesis in Functional Programming - Gábor Kusper, Csaba Biró and Tamás Balla
Representing Directed Graphs as 3-SAT Problems using the Simplified Balatonboglár Model - Tamás Balla, Csaba Biró and Gábor Kusper
The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs - Bence Babati, Endre Fülöp and Norbert Pataki
Static Analysis of Multithreaded C++ Code
Section "A" in C-124
Data Science including Database Systems | |
---|---|
Chair: | Márton Ispány |
14:00-14:20 | András London and Imre Gera A novel psychiatric registry system and its utilization for clinical and pharmaceutical research |
14:20-14:40 | Fanni Magdolna Hízó and Attila Kiss Planning safety solutions, models and algorithms for special databases |
14:40-15:00 | Bence Bogdándy, Ádám Kovács and Zsolt Tóth Persistent Storage of Data Sets in Apache Hive |
15:00-15:20 | Attila Boros, Péter Lehotay-Kéry and Attila Kiss A comparative evaluation of Big Data frameworks for log processing |
15:20-15:40 | |
Artificial Intelligence including Machine Learning | |
Chair: | Gábor Kusper |
16:10-16:30 | Anahita Sabagh Nejad Hybrid Algorithms |
16:30-16:50 | Dávid Nagy Similarity Based Rough Sets on the Iris Data Set |
16:50-17:10 | Tibor Csendes, Nándor Balogh, Richárd Tóth and István Megyeri Adversary example free zones for neural networks |
17:10-17:30 | Szilárd Ádám, Géza Horváth, László Mihály Nagy and Alexandra Ilona Szabó Machine Learning with Cellular Automata via Evolution with Genetic Algorithms |
17:30-17:50 | Gergely Kovásznai, Gajdár Krisztián and Nina Narodytska Portfolio Solver for Verifying Binarized Neural Networks |
Section "B" in C-121
Computer Networks and Cloud Services | |
---|---|
Chair: | Zoltán Gál |
14:00-14:20 | Ádám Vas, Oluoch Josphat Owino and László Tóth Improving the simultaneous application of the DSN-PC and NOAA GFS datasets |
14:20-14:40 | Mohamed Hedi Zaghouani and János Sztrik Performance evaluation of finite-source cognitive radio networks with impatient customers |
14:40-15:00 | Robert Tornai, Dalma Imre, Péter Fürjes-Benke and Zoltán Gál Developing a high speed connectionless file transfer system with WASM based client |
15:00-15:20 | Szabolcs Szilágyi and Imre Bordán The Effects of Different Congestion Control Algorithms over Multipath Fast Ethernet IPv4/IPv6 Environments |
15:20-15:40 | Zoltán Gál and Péter Polgár IEEE 802.11n/ac/ax Hot Zone Traffic Evaluation with Neural Compute Stick Based RNN Methods |
Software Design and Object Oriented Programming | |
Chair: | Roland Király |
16:10-16:30 | Anett Fekete and Zoltán Porkoláb A Comprehensive Review on Software Comprehension Models |
16:30-16:50 | Richárd Szalay Towards decoupling nullability semantics from indirect access in pointer use |
16:50-17:10 | Viktor Májer and Norbert Pataki Distributed Programming in the Serverless Realm |
17:10-17:30 | Máté Cserép and Anett Fekete Integration of incremental parsing of build systems into software comprehension tools |
17:30-17:50 | Réka Kovács and Zoltán Porkoláb Loop optimizations in C and C++ compilers |
Section "C" in C-106
Testing and Verification including Formal Methods | |
---|---|
Chair: | Gergely Kovásznai |
14:00-14:20 | Hristina Gulabovska and Zoltán Porkoláb Prospect of static analysis methods for detecting security vulnerabilities in Python |
14:20-14:40 | Krisztián Palanek and Gergely Kovásznai Adding Cardinality Constraint Support to CryptoMiniSat for Analysing Neural Networks |
14:40-15:00 | Gergely Buday A history of LCF, ML and HOL |
15:00-15:20 | Róbert Vajda Elementary Computational Exploration of the Degree Sequence of the Malyshev Polynomials |
15:20-15:40 | Dávid Huri and Tamás Mankovits Stochastic Search Algorithm for Design Optimization of Automotive Rubber Parts |
Education and other fields of Applied Informatics | |
Chair: | Erzsébet Tóth |
16:10-16:30 | Melinda Pap, László Zsolt Nagy and Dániel Fekete Improving e-learning material quality with the aid of Deep Learning and workflow management |
16:30-16:50 | Loice Victorine Atieno, Richard Kwabena Akrofi Baafi and Martá Turcsányi-Szabó Are Computational Thinking Skills Measurable? An Analysis |
16:50-17:10 | Zoltán Szűts Use of Big Data and AI in digital competence measurement |
17:10-17:30 | Róbert Tóth, Miklós Hoffmann, Márk Kósa and Marianna Zichar Motivating students’ study with ICT |
17:30-17:50 | Attila Juhász The context of Open Access and predatory journals in the scientific world |
Friday, January 31, 2020:
08:00-10:00 | Registration in 1st Floor Hall |
09:30-11:10 | Sections |
11:10-11:40 | Coffee-break |
11:40-13:20 | Sections |
13:00-14:20 | Lunch |
14:20-16:00 | Sections |
16:00 | Closing in C-124 |
The venue for meals is the Leányka Bisztró, in Building "C*", next to Building "C".
Section "A" in C-124
Artificial Intelligence including Machine Learning | |
---|---|
Chair: | László Szathmáry |
9:30-9:50 | László János Laki and Zijian Győző Yang Automatic accent restoration with transformer model based neural machine translation for Hungarian |
9:50-10:10 | Davaasuren Nyamjav Student learning analytics with clustering algorithm in an open dataset |
10:10-10:30 | Bianka Nagy and Dr. Habil. Attila Kiss Analyzing forum members by their comments |
10:30-10:50 | Márk Danisovszky, Zijian Győző Yang and Gábor Kusper Classification of SAT Problem Instances by a Reusable MLP Neural Network |
10:50-11:10 | László Kovács and László Csépányi-Fürjes Feature Reduction in Transition-based Dependency Graph Construction |
Software Design and Object Oriented Programming | |
Chair: | Zoltán Porkoláb |
11:40-12:00 | Endre Fülöp and Norbert Pataki Comprehensive Evaluation of Cross Translation Unit Symbolic Execution |
12:00-12:20 | Gergely Kocsis, Miklós Becsei and Máté Csongor Széll Implementing a new interface for directed graph analysis by existing and new algorithms |
12:20-12:40 | Zsolt Borsi Correctness of programming patterns on enumerators |
12:40-13:00 | Ádám Révész and Norbert Pataki Stack Traces in Function As a Service Framework |
13:00-13:20 | |
Artificial Intelligence including Machine Learning | |
Chair: | Zsolt Tóth |
14:20-14:40 | Ashraf Aldabbas and Zoltán Gál Detection of Cassini-Huygens Spacecraft Trajectory Modifications |
14:40-15:00 | Sven Schlarb and Clemens Heistracher Machine Learning Techniques for the Classification of Product Descriptions from Darknet Marketplaces |
15:00-15:20 | Róbert Lakatos and András Hajdu How to build complex neural network for text classification |
15:20-15:40 | Zijian Győző Yang, Attila Novák and László János Laki Automatic tag recommendation for news |
15:40-16:00 | Mario Bersenszki, Viktor Szilárd Simko and Balázs Harangi Detection of signs of damage that suggest cell proliferation on PET scans |
Section "B" in C-121
Smart Solutions including Embedded systems | |
---|---|
Chair: | Zsolt Tóth |
9:30-9:50 | Ádám Kaló, Zoltán Kincses, László Schäffer and Szilveszter Pletl Indoor localization simulation framework for optimal sensor placement to increase the position estimation accuracy |
9:50-10:10 | Máté Herbert, András Váradi and László Bokor Modelling and Simulation of Collective Perception Service for V2X Supported Autonomous Driving |
10:10-10:30 | Martin Csongor László, Zoltán Istenes and Ádám Tarcsi Extracting Physiological Signals from Smartphone Sensors |
10:30-10:50 | András Wippelhauser and László Bokor Extensions and usage of Veins/Plexe to evaluate QoS requirements of cooperative platooning |
10:50-11:10 | Márton Ispány, Renátó Besenczi, Norbert Bátfai, Péter Jeszenszky, Fanny Monori and Máté Szabó Application of finite Markov chains in the analysis and simulation of traffic flow |
Computer Graphics and Image Processing | |
Chair: | Ildikó Papp |
11:40-12:00 | Henrietta Tomán, Nikolett Kovács, Krisztián Attila Kövér and Márta Nagy Accessibility in game development |
12:00-12:20 | Ede Troll Geometric effect of the control points on Bézier based caustic surfaces |
12:20-12:40 | Robert Tornai, Péter Fürjes-Benke, László File and Dávid Miklós Nyitrai WebAssembly and Vulkan API in Image Processing Development |
12:40-13:00 | Péter Szutor FFT based airborne LIDAR classification with Open3D and numpy/scipy |
13:00-13:20 | |
Applications of Informatics | |
Chair: | Anikó Vágner |
14:20-14:40 | István Fazekas, Csaba Noszály and Noémi Uzonyi Taylor's power law for a random network |
14:40-15:00 | Attila Kuki, Tamás Bérczes, Ádám Tóth and János Sztrik Numerical Analysis of Finite Source Markov Retrial System with Non-Reliable Server, Collision, and Impatient Customers |
15:00-15:20 | Michael Matonya, István Budai, Balázs Kocsi and László Pusztai Production Planning, Scheduling and Risk Analysis in Manufacturing Operations by Robotic Process Automation |
15:20-15:40 | Sándor Pecsora and István Fazekas Numerical results on noisy blown-up matrices |
15:40-16:00 | Tamás Kádek and Dávid Nagy Simulating Trajectories by Route-Planning Algorithms |
Section "C" in C-106
Theoretical Computer Science and Formal Methods | |
---|---|
Chair: | Attila Kuki |
9:30-9:50 | Géza Horváth and Dávid Petrik Triangular Implementation of Game of Life |
9:50-10:10 | Tibor Ásványi An alternative approach to the efficiency of recursive merge sort |
10:10-10:30 | Zoltán Ernő Csajbók Some approaches to deriving rough real functions |
10:30-10:50 | Péter Takács New multiset operations |
10:50-11:10 | Ágnes Vida and Boglárka G.-Tóth Network sensitivity analysis through traffic modelling |
Testing and Verification including Formal Methods | |
Chair: | László Kovács |
11:40-12:00 | Meriem Kherbouche and Bálint Molnár Verification of UML activity models using Alloy |
12:00-12:20 | András Béleczki, Bálint Molnár and Zoltán Vincellér IoT sensor network modeling with Hypergraphs |
12:20-12:40 | Mohamed Amine Korteby and Zoltán Gál Energy Sparing of the LEACH Communication Mechanism with Mobile Sink Node |
12:40-13:00 | Zsigmond Máriás and Bálint Molnár A Study On Formal Consistency Evaluation Of Backend And Frontend Business Logic In A Modern Client-server Application |
13:20-13:40 | Dániel Lukács, Gergely Pongrácz and Máté Tejfel Are graph databases fast enough for static P4 code analysis? |
Education and other fields of Applied Informatics | |
Chair: | Sándor Király |
14:20-14:40 | Jordi Vilaplana, Francesc Solsona, Montse Ballbè, Ariadna Feliu, Núria Torres, Cristina Pinet, Sílvia Mondon, Pablo Barrio, Gemma Nieva, Antònia Raich, Jordi Vicens, Rosa Hernández-Ribas, Sílvia Costa, Magalí Andreu, Laura Alaustre, Eva Vilalta, Judit Bonet, Roser Blanch, Marta Enríquez, Susana Subirà, Eugeni Bruguera, Josep Maria Suelves, Joseph Guydish, Esteve Fernández and Cristina Martínez 061 QUIT MENTAL: An experience integrating health institutions through a cloud-based software |
14:40-15:00 | Zsanett Szabó Problem solving and interrelation of concepts in teaching algorithmic thinking and programming |
15:00-15:20 | László Gábor Menyhárt Analyses of repetitions in competition assignments |
15:20-15:40 | Reno Satya Adrian, Ikhsan Aprilito, Awang Hendrianto Pratomo and Kusper Gábor Reviewing Articles on Modelling for Computer Science Students |
15:40-16:00 | Gergely Kovásznai, Gábor Kusper and Csaba Biró A Practical Way of Teaching Logic to Computer Science BSc Students by Using State-of-the-Art Tools Including SMT Solvers |