ICAI logo
The 11th International Conference on Applied Informatics

to be held in Eger, Hungary

Program timetable


^


Wednesday, January 29, 2020:

08:00-13:00Registration in 1st Floor Hall
10:00-10:30Opening Ceremony, C-124
Tibor Juhász, István Fazekas, Gergely Kovásznai
10:30-11:15Plenary Session in C-124 (Chair: Gergely Kovásznai)
10:30-11:15Balázs Harangi
Application of neural nets and deep learning in clinical screening systems
11:15-11:45Coffee-break
11:15-12:15Poster Session
12:15-13:00Plenary Session in C-124 (Chair: István Fazekas)
12:15-13:00András Horváth
Adversarial samples in machine learning: revealing flaws of neural network training
13:00-14:00Lunch
14:00-15:40Sections
15:40-16:10Coffee-break
16:10-17:50Sections
18:00-22:00Welcome 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

Section "A" in C-124

Artificial Intelligence including Machine Learning
Chair:Balázs Harangi
14:00-14:20József Sütő
Music Stimuli Recognition from EEG Signals with Emotiv Epoc Headset
14:20-14:40Sá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:00Tibor Tajti
Fuzzification of neural network pattern outputs for classification problems
15:00-15:20László Szathmáry
Closed Association Rules
15:20-15:40
Artificial Intelligence including Machine Learning
Chair:András Horváth
16:10-16:30István Lakatos, András Hajdu and Balázs Harangi
Molecule classification using 2D Convolutional Neural Network and Ensembles Methods
16:30-16:50Sándor Csanád
Finding Dense Supermasks in Randomly Initialized Neural Networks
16:50-17:10Máté Szabó
Distributed machine learning on mobile platform with Deeplearning4J
17:10-17:30Gergő Bogacsovics
Designing self-driving agents for racing games
17:30-17:50Judit 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:20Andrea Huszti and Norbert Oláh
Identity-based Password Registration for Clouds
14:20-14:40Péter Hudoba and Péter Burcsi
Value collision multi party computing via multiple graph topologies
14:40-15:00Gábor Törley
The Level of Information Security Awareness of First Year University Students
15:00-15:20Tamá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:30György Papp, Miklós Hoffmann and Ildikó Papp
Improved QR code embedding for meshes with 3D printing
16:30-16:50Szabolcs Pável
An Ellipsoid Object Model of the Refraction Surface
16:50-17:10Ferenc Nagy and Norimasa Yoshida
Interactive modeling with Log-aesthetic spirals
17:10-17:30Csaba Bálint and Róbert Bán
Dragonfly: A High Level Low Overhead OpenGL Framework
17:30-17:50Dá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:20Istvá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:40Katalin Sebestyén
Students’ knowledge in file management after elementary school
14:40-15:00Gábor Csapó
Sprego as an introductory language to programming
15:00-15:20Tamá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:40Anikó 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:30Erik Zoltán Hidi and Géza Horváth
Oscillator Finder for Hexagonal Game of Life with 8 Neighbors
16:30-16:50Valerie Novitzká, William Steingartner and Ján Perháč
Simply typed lambda calculus extended with reference type in categorical model
16:50-17:10Attila Bagossy and György Vaszil
Simulating Reversible Computation with Reaction Systems
17:10-17:30Oleksandr 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:00Registration in 1st Floor Hall
09:30-11:00Plenary Sessions in C-124 (Chair: Sándor Baran)
09:30-10:15Wolfgang Schreiner
Mathematical Model Checking for Computer Science Education
10:15-11:00Gábor Kusper
Research Topics in Informatics for a College Teacher
11:00-11:30Coffee-break
11:00-12:00Poster Session
12:00-12:45Plenary Session in C-124 (Chair: Gábor Kusper)
12:00-12:45Sándor Baran
Statistical Methods in Weather Forecasting
13:00-14:00Lunch
14:00-15:40Sections
15:40-16:10Coffee-break
16:10-17:50Sections
18:00-22:00Dinner 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

Section "A" in C-124

Data Science including Database Systems
Chair:Márton Ispány
14:00-14:20András London and Imre Gera
A novel psychiatric registry system and its utilization for clinical and pharmaceutical research
14:20-14:40Fanni Magdolna Hízó and Attila Kiss
Planning safety solutions, models and algorithms for special databases
14:40-15:00Bence Bogdándy, Ádám Kovács and Zsolt Tóth
Persistent Storage of Data Sets in Apache Hive
15:00-15:20Attila 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:30Anahita Sabagh Nejad
Hybrid Algorithms
16:30-16:50Dávid Nagy
Similarity Based Rough Sets on the Iris Data Set
16:50-17:10Tibor Csendes, Nándor Balogh, Richárd Tóth and István Megyeri
Adversary example free zones for neural networks
17:10-17:30Szilá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:50Gergely 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:40Mohamed Hedi Zaghouani and János Sztrik
Performance evaluation of finite-source cognitive radio networks with impatient customers
14:40-15:00Robert 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:20Szabolcs Szilágyi and Imre Bordán
The Effects of Different Congestion Control Algorithms over Multipath Fast Ethernet IPv4/IPv6 Environments
15:20-15:40Zoltá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:30Anett Fekete and Zoltán Porkoláb
A Comprehensive Review on Software Comprehension Models
16:30-16:50Richárd Szalay
Towards decoupling nullability semantics from indirect access in pointer use
16:50-17:10Viktor Májer and Norbert Pataki
Distributed Programming in the Serverless Realm
17:10-17:30Máté Cserép and Anett Fekete
Integration of incremental parsing of build systems into software comprehension tools
17:30-17:50Ré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:20Hristina Gulabovska and Zoltán Porkoláb
Prospect of static analysis methods for detecting security vulnerabilities in Python
14:20-14:40Krisztián Palanek and Gergely Kovásznai
Adding Cardinality Constraint Support to CryptoMiniSat for Analysing Neural Networks
14:40-15:00Gergely Buday
A history of LCF, ML and HOL
15:00-15:20Róbert Vajda
Elementary Computational Exploration of the Degree Sequence of the Malyshev Polynomials
15:20-15:40Dá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:30Melinda 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:50Loice Victorine Atieno, Richard Kwabena Akrofi Baafi and Martá Turcsányi-Szabó
Are Computational Thinking Skills Measurable? An Analysis
16:50-17:10Zoltán Szűts
Use of Big Data and AI in digital competence measurement
17:10-17:30Róbert Tóth, Miklós Hoffmann, Márk Kósa and Marianna Zichar
Motivating students’ study with ICT
17:30-17:50Attila Juhász
The context of Open Access and predatory journals in the scientific world

Friday, January 31, 2020:

08:00-10:00Registration in 1st Floor Hall
09:30-11:10Sections
11:10-11:40Coffee-break
11:40-13:20Sections
13:00-14:20Lunch
14:20-16:00Sections
16:00Closing 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:50László János Laki and Zijian Győző Yang
Automatic accent restoration with transformer model based neural machine translation for Hungarian
9:50-10:10Davaasuren Nyamjav
Student learning analytics with clustering algorithm in an open dataset
10:10-10:30Bianka Nagy and Dr. Habil. Attila Kiss
Analyzing forum members by their comments
10:30-10:50Márk Danisovszky, Zijian Győző Yang and Gábor Kusper
Classification of SAT Problem Instances by a Reusable MLP Neural Network
10:50-11:10Lá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:00Endre Fülöp and Norbert Pataki
Comprehensive Evaluation of Cross Translation Unit Symbolic Execution
12:00-12:20Gergely 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:40Zsolt 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:40Ashraf Aldabbas and Zoltán Gál
Detection of Cassini-Huygens Spacecraft Trajectory Modifications
14:40-15:00Sven Schlarb and Clemens Heistracher
Machine Learning Techniques for the Classification of Product Descriptions from Darknet Marketplaces
15:00-15:20Róbert Lakatos and András Hajdu
How to build complex neural network for text classification
15:20-15:40Zijian Győző Yang, Attila Novák and László János Laki
Automatic tag recommendation for news
15:40-16:00Mario 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:10Má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:30Martin Csongor László, Zoltán Istenes and Ádám Tarcsi
Extracting Physiological Signals from Smartphone Sensors
10:30-10:50András Wippelhauser and László Bokor
Extensions and usage of Veins/Plexe to evaluate QoS requirements of cooperative platooning
10:50-11:10Má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:00Henrietta Tomán, Nikolett Kovács, Krisztián Attila Kövér and Márta Nagy
Accessibility in game development
12:00-12:20Ede Troll
Geometric effect of the control points on Bézier based caustic surfaces
12:20-12:40Robert 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:00Pé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:40István Fazekas, Csaba Noszály and Noémi Uzonyi
Taylor's power law for a random network
14:40-15:00Attila 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:20Michael 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:40Sándor Pecsora and István Fazekas
Numerical results on noisy blown-up matrices
15:40-16:00Tamá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:50Géza Horváth and Dávid Petrik
Triangular Implementation of Game of Life
9:50-10:10Tibor Ásványi
An alternative approach to the efficiency of recursive merge sort
10:10-10:30Zoltán Ernő Csajbók
Some approaches to deriving rough real functions
10:30-10:50Pé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:00Meriem Kherbouche and Bálint Molnár
Verification of UML activity models using Alloy
12:00-12:20András Béleczki, Bálint Molnár and Zoltán Vincellér
IoT sensor network modeling with Hypergraphs
12:20-12:40Mohamed Amine Korteby and Zoltán Gál
Energy Sparing of the LEACH Communication Mechanism with Mobile Sink Node
12:40-13:00Zsigmond 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:40Dá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:40Jordi 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:00Zsanett Szabó
Problem solving and interrelation of concepts in teaching algorithmic thinking and programming
15:00-15:20László Gábor Menyhárt
Analyses of repetitions in competition assignments
15:20-15:40Reno Satya Adrian, Ikhsan Aprilito, Awang Hendrianto Pratomo and Kusper Gábor
Reviewing Articles on Modelling for Computer Science Students
15:40-16:00Gergely 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