List of abstracts
^
Plenary abstracts
- Balázs Harangi
Application of neural nets and deep learning in clinical screening systems - András Horváth
Adversarial samples in machine learning: revealing flaws of neural network training - Wolfgang Schreiner
Mathematical Model Checking for Computer Science Education - Gábor Kusper
Research Topics in Informatics for a College Teacher - Sándor Baran
Statistical Methods in Weather Forecasting
Abstracts
- József Sütő
Music Stimuli Recognition from EEG Signals with Emotiv Epoc Headset - Sándor Király and Dániel Csutorás
Smart TeamBoard: a Knowledge Sharing Progressive Web Application Supported by Efficient Convolutional Neural Networks - Tibor Tajti
Fuzzification of neural network pattern outputs for classification problems - László Szathmáry
Closed Association Rules - István Lakatos, András Hajdu and Balázs Harangi
Molecule classification using 2D Convolutional Neural Network and Ensembles Methods - Sándor Csanád
Finding Dense Supermasks in Randomly Initialized Neural Networks - Máté Szabó
Distributed machine learning on mobile platform with Deeplearning4J - Gergő Bogacsovics
Designing self-driving agents for racing games - Judit Tamás and Zsolt Tóth
Classification Refinement with Category Hierarchy - Andrea Huszti and Norbert Oláh
Identity-based Password Registration for Clouds - Péter Hudoba and Péter Burcsi
Value collision multi party computing via multiple graph topologies - Gábor Törley
The Level of Information Security Awareness of First Year University Students - Tamás Herendi and Viktória Padányi
Metaanalysis of pseudorandom number generators - Ádám Vécsi and Attila Pethő
Formal Grammar Identity-based Cryptography - György Papp, Miklós Hoffmann and Ildikó Papp
Improved QR code embedding for meshes with 3D printing - Szabolcs Pável
An Ellipsoid Object Model of the Refraction Surface - Ferenc Nagy and Norimasa Yoshida
Interactive modeling with Log-aesthetic spirals - Csaba Bálint and Róbert Bán
Dragonfly: A High Level Low Overhead OpenGL Framework - 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 - István Károly Boda and Erzsébet Tóth
Classical heritage and text-based second language learning in three-dimensional virtual library environment - Katalin Sebestyén
Students’ knowledge in file management after elementary school - Gábor Csapó
Sprego as an introductory language to programming - 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 - Anikó Vágner
Teaching NoSQL database systems in the Computer Science BSc programme at the Faculty of Informatics, University of Debrecen - Erik Zoltán Hidi and Géza Horváth
Oscillator Finder for Hexagonal Game of Life with 8 Neighbors - Valerie Novitzká, William Steingartner and Ján Perháč
Simply typed lambda calculus extended with reference type in categorical model - Attila Bagossy and György Vaszil
Simulating Reversible Computation with Reaction Systems - 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 - Á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 - 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 - Illés Zoltán and Bakonyi Viktória
REAL-TIME INTERACTIVITY IN AUDITORIUMS - Erzsébet Dani
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 - András London and Imre Gera
A novel psychiatric registry system and its utilization for clinical and pharmaceutical research - Fanni Magdolna Hízó and Attila Kiss
Planning safety solutions, models and algorithms for special databases - Bence Bogdándy, Ádám Kovács and Zsolt Tóth
Persistent Storage of Data Sets in Apache Hive - Dániel Lukács, Gergely Pongrácz and Máté Tejfel
Dániel Lukács, Gergely Pongrácz and Máté Tejfel - Attila Boros, Péter Lehotay-Kéry and Attila Kiss
A comparative evaluation of Big Data frameworks for log processing - Anahita Sabagh Nejad
Hybrid Algorithms - Dávid Nagy
Similarity Based Rough Sets on the Iris Data Set - Tibor Csendes, Nándor Balogh, Richárd Tóth and István Megyeri
Adversary example free zones for neural networks - 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 - Gergely Kovásznai, Gajdár Krisztián and Nina Narodytska
Portfolio Solver for Verifying Binarized Neural Networks - Ádám Vas, Oluoch Josphat Owino and László Tóth
Improving the simultaneous application of the DSN-PC and NOAA GFS datasets - Mohamed Hedi Zaghouani and János Sztrik
Performance evaluation of finite-source cognitive radio networks with impatient customers - 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 - Szabolcs Szilágyi and Imre Bordán
The Effects of Different Congestion Control Algorithms over Multipath Fast Ethernet IPv4/IPv6 Environments - 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 - Anett Fekete and Zoltán Porkoláb
A Comprehensive Review on Software Comprehension Models - Richárd Szalay
Towards decoupling nullability semantics from indirect access in pointer use - Viktor Májer and Norbert Pataki
Distributed Programming in the Serverless Realm - Máté Cserép and Anett Fekete
Integration of incremental parsing of build systems into software comprehension tools - Réka Kovács and Zoltán Porkoláb
Loop optimizations in C and C++ compilers - Hristina Gulabovska and Zoltán Porkoláb
Prospect of static analysis methods for detecting security vulnerabilities in Python - Krisztián Palanek and Gergely Kovásznai
Adding Cardinality Constraint Support to CryptoMiniSat for Analysing Neural Networks - Gergely Buday
A history of LCF, ML and HOL - Róbert Vajda
Elementary Computational Exploration of the Degree Sequence of the Malyshev Polynomials - 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 - Melinda Pap, László Zsolt Nagy and Dániel Fekete
Improving e-learning material quality with the aid of Deep Learning and workflow management - Loice Victorine Atieno, Richard Kwabena Akrofi Baafi and Martá Turcsányi-Szabó
Are Computational Thinking Skills Measurable? An Analysis - Zoltán Szűts
Use of Big Data and AI in digital competence measurement - Róbert Tóth, Miklós Hoffmann, Márk Kósa and Marianna Zichar
Motivating students’ study with ICT - Attila Juhász
The context of Open Access and predatory journals in the scientific world - László János Laki and Zijian Győző Yang
Automatic accent restoration with transformer model based neural machine translation for Hungarian - Davaasuren Nyamjav
Student learning analytics with clustering algorithm in an open dataset - Bianka Nagy and Dr. Habil. Attila Kiss
Analyzing forum members by their comments - Márk Danisovszky, Zijian Győző Yang and Gábor Kusper
Classification of SAT Problem Instances by a Reusable MLP Neural Network - László Kovács and László Csépányi-Fürjes
Feature Reduction in Transition-based Dependency Graph Construction - Endre Fülöp and Norbert Pataki
Comprehensive Evaluation of Cross Translation Unit Symbolic Execution - Gergely Kocsis, Miklós Becsei and Máté Csongor Széll
Implementing a new interface for directed graph analysis by existing and new algorithms - Zsolt Borsi
Correctness of programming patterns on enumerators - Ádám Révész and Norbert Pataki
Stack Traces in Function As a Service Framework - László Aszalós and Dávid NagyJordi 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 - Ashraf Aldabbas and Zoltán Gál
Detection of Cassini-Huygens Spacecraft Trajectory Modifications - Sven Schlarb and Clemens Heistracher
Machine Learning Techniques for the Classification of Product Descriptions from Darknet Marketplaces - Róbert Lakatos and András Hajdu
How to build complex neural network for text classification - Zijian Győző Yang, Attila Novák and László János Laki
Automatic tag recommendation for news - Mario Bersenszki, Viktor Szilárd Simko and Balázs Harangi
Detection of signs of damage that suggest cell proliferation on PET scans - Á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 - Máté Herbert, András Váradi and László Bokor
Modelling and Simulation of Collective Perception Service for V2X Supported Autonomous Driving - Martin Csongor László, Zoltán Istenes and Ádám Tarcsi
Extracting Physiological Signals from Smartphone Sensors - András Wippelhauser and László Bokor
Extensions and usage of Veins/Plexe to evaluate QoS requirements of cooperative platooning - 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 - Henrietta Tomán, Nikolett Kovács, Krisztián Attila Kövér and Márta Nagy
Accessibility in game development - Ede Troll
Geometric effect of the control points on Bézier based caustic surfaces - Robert Tornai, Péter Fürjes-Benke, László File and Dávid Miklós Nyitrai
WebAssembly and Vulkan API in Image Processing Development - Péter Szutor
FFT based airborne LIDAR classification with Open3D and numpy/scipy - István Fazekas, Csaba Noszály and Noémi Uzonyi
Taylor's power law for a random network - 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 - Dávid Huri and Tamás Mankovits
Stochastic Search Algorithm for Design Optimization of Automotive Rubber Parts - Sándor Pecsora and István Fazekas
Numerical results on noisy blown-up matrices - Tamás Kádek and Dávid Nagy
Simulating Trajectories by Route-Planning Algorithms - Géza Horváth and Dávid Petrik
Triangular Implementation of Game of Life - Tibor Ásványi
An alternative approach to the efficiency of recursive merge sort - Zoltán Ernő Csajbók
Some approaches to deriving rough real functions - Péter Takács
New multiset operations - Ágnes Vida and Boglárka G.-Tóth
Network sensitivity analysis through traffic modelling - Meriem Kherbouche and Bálint Molnár
Verification of UML activity models using Alloy - András Béleczki, Bálint Molnár and Zoltán Vincellér
IoT sensor network modeling with Hypergraphs - Mohamed Amine Korteby and Zoltán Gál
Energy Sparing of the LEACH Communication Mechanism with Mobile Sink Node - 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 - Zsanett Szabó
Problem solving and interrelation of concepts in teaching algorithmic thinking and programming - László Gábor Menyhárt
Analyses of repetitions in competition assignments - Reno Satya Adrian, Ikhsan Aprilito, Awang Hendrianto Pratomo and Kusper Gábor
Reviewing Articles on Modelling for Computer Science Students - 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