ICAI 2014
Timetable of lectures - draft
Please check the information on this page. If any problem arises, do tell us. We are continuously updating this list...
| Main stream | ||
|---|---|---|
| 15:00- | Registration in the Hotel Eger & Park | |
| Pre-Conference Event: SCIENCE SIESTA - Main Building, Ceremonial Hall | ||
| 17:00-18:00 | Science Siesta: James DAVENPORT | What does Mathematical Notation actually mean, and how can computers process it? |
| Main stream | Ceremonial Hall (A-201) | |
|---|---|---|
| Events + Plenary Section | ||
| 10:00-10:15 | Opening Ceremony | |
| 10:15-11:00 | Plenary talk: James DAVENPORT Chair: Franz WINKLER | Formulating problems in real algebra/geometry |
| 11:00-11:15 | Coffee-break | |
| 11:15-12:00 | Plenary talk: Márk JELASITY Chair: György TERDIK | Towards an open data ecosystem without clouds |
| 12:00-12:40 | Plenary talk: Gunter WEISS Chair: Attila KOVÁCS | Solving Algebraic Equations with Fibonacci Sequences |
| 12:40-13:40 | Lunch | |
| 14:40-16:20 | Sections | |
| 16:20-16:40 | Coffee-break | |
| 16:40-18:00 | Sections | |
| 19:00- | Welcome party in Ceremonial Hall of the College | |
| Section 'A' | Ceremonial Hall (A-201) | |
| Artificial Intelligence - Chair: Tudor JEBELEAN | ||
| 14:40-15:00 | Rafael SENDRA - Stephan WINKLER | Optimization of Coefficients of Lists of Polynomials by Evolutionary Algorithms |
| 15:00-15:20 | Marcell FEKETE - Zoltán VINCELLÉR - Zoltán ÁCS | A new aspect of congestion detection over a large amount of real-time information |
| 15:20-15:40 | Zoltán Ernő CSAJBÓK - Tamás MIHÁLYDEÁK | General set approximation and its logical applications |
| 15:40-16:00 | Tamás KÁDEK - Tamás MIHÁLYDEÁK | Some Unexpected Properties of Partial Propositional Logic Based on Partial Approximation Space |
| 16:00-16:20 | László KOVÁCS | Role of negative properties in knowledge modelling |
| 16:20-16:40 | Coffee-break | |
| 16:40-17:00 | ||
| 17:00-17:20 | ||
| 17:20-17:40 | ||
| 17:40-18:00 | ||
| Section 'B' | Chapel (A-209) | |
| Computer Statistics - Chair: János ABONYI | ||
| 14:40-15:00 | György TERDIK | The use and analysis of player performance index |
| 15:00-15:20 | Andrea Erzsébet KISS - Tibor BALLA - Piroska BÍRÓ - György TERDIK | Analysis and visualization for soccer game |
| 15:20-15:40 | Sándor BARAN | Statistical calibration of ensemble forecasts |
| 15:40-16:00 | Dóra NEMODA - Sándor BARAN - András HORÁNYI | Probabilistic temperature forecasting in Hungary |
| 16:00-16:20 | Ágnes BARAN - György TERDIK | Estimation of the spectrum of a spherical random field based on covariances |
| 16:20-16:40 | Coffee-break | |
| Computer Algebra - Chair: James DAVENPORT | ||
| 16:40-17:00 | Tibor JUHÁSZ | Lie derived length of group algebras of characteristic 2 |
| 17:00-17:20 | Róbert VAJDA | On Low Degree Optimal Lagrange Interpolation via Symbolic Computation |
| 17:20-17:40 | Gergely KOVÁSZNAI | Restricted Quantification in Bit-Vector Problems |
| 17:40-18:00 | Sándor CZIRBUSZ | Solving Special Functional Equations with CAS |
| Section 'C' | A-308 | |
| Software Design and Object Oriented Programming - Chair: István JUHÁSZ | ||
| 14:40-15:00 | Csaba SZABÓ - Veronika SZABÓOVÁ | Are agile methods the software chaos? |
| 15:00-15:20 | Áron BARÁTH - Zoltán PORKOLÁB | Domain-Specific Languages with Custom Operators |
| 15:20-15:40 | Viktor MÁJER - Norbert PATAKI | Concurrent Object Construction in Modern Object-oriented Programming Languages |
| 15:40-16:00 | Gábor Alex ISPÁNOVICS - Zoltán PORKOLÁB | Binary Compatibility of C++ Programs |
| 16:00-16:20 | Tamás CSÉRI - Gábor HORVÁTH - Zalán SZŰGYI | Examining test coverage of C++ template metaprograms |
| 16:20-16:40 | Coffee-break | |
| Software Design and Object Oriented Programming - Chair: Zoltán PORKOLÁB | ||
| 16:40-17:00 | Csaba SZABÓ - Maroš KOTUL'A - Richard PETRUŠ | A closer look at software refactoring using symbolic execution |
| 17:00-17:20 | Gábor MÁRTON - Zoltán PORKOLÁB | C++ Compile Time Reflection |
| 17:20-17:40 | Máté CSERÉP - Dániel KRUPP | Component visualization methods for large legacy software in C/C++ |
| 17:40-18:00 | Attila KOVÁCS - Kristóf SZABADOS | Advanced TTCN-3 Test Suite Validation with TITAN |
| Section 'D' | A-313 (through A-314) | |
| Data Security and Cryptography - Chair: Péter LIGETI | ||
| 14:40-15:00 | Andrea HUSZTI - Zita KOVÁCS | A Hybrid Mix based on Bilinear Maps |
| 15:00-15:20 | János FOLLÁTH | On Linear Recursion and Pseudorandom Measure |
| 15:20-15:40 | Pál DÖMÖSI - Géza HORVÁTH | Key optimization for automata network based cryptosystems |
| 15:40-16:00 | László MÉRAI - Arne WINTERHOF | On linear complexity profile of Edwards curve congruential generators |
| 16:00-16:20 | Bence BAKONDI - Péter BURCSI - Péter GYÖRGYI - Dávid HERSKOVICS - Péter LIETI - Dániel A. NAGY - Viktória VILLÁNYI | Secure P2P cloud storage with a reputation point scheme and sharing |
| 16:20-16:40 | Coffee-break | |
| Data Security and Cryptography - Chair: Péter BURCSI | ||
| 16:40-17:00 | Andrea HUSZTI | Anonymous Multi-Vendor Micropayment Scheme based on Bilinear Maps |
| 17:00-17:20 | Péter KASZA - Péter LIGETI | Secure Data Sharing Over Peer-To-Peer And Friend-To-Friend Networks |
| 17:20-17:40 | Ruben SMEETS - Kris AERTS - Nele MENTENS - Dave SINGELÉE - An BRAEKEN - Laurent SEGERS - Abdellah TOUHAFI - Kris STEENHAUT - Niccolo DE CARO | Cryptographic key management architecture for dynamic 6LowPan networks |
| 17:40-18:00 | ||
| Section 'E' | A-327 | |
| Future Internet and Computer Graphics - Chair: Tibor CSENDES | ||
| 14:40-15:00 | Márton SZIKSZAI - Zoltán GÁL - Ágnes NAGY - György TERDIK | Stochastic modeling of wireless networks a case study |
| 15:00-15:20 | Ildikó PAPP - Roland KUNKLI - Miklós HOFFMANN | Optimization of Skinning of Circles |
| 15:20-15:40 | Marianna ZICHAR | Optimized design of customized KML files |
| 15:40-16:00 | Dániel BALLA - Marianna ZICHAR | Geovisualization of Domestic Nature Conservation Areas using KML |
| 16:00-16:20 | Gyöngyi BUJDOSÓ | From bookshelves via virtual shelves to ruza breto, our private online library - an outline of an intelligent personal repository system |
| 16:20-16:40 | Coffee-break | |
| Operational Research - Chair: Benedek NAGY | ||
| 16:40-17:00 | János KORMOS - Tamás BALOGH | A computational model of outguessing |
| 17:00-17:20 | Tibor CSENDES - István BÁRSONY - István SZALAY | Optimization in Surgical Operation Design |
| 17:20-17:40 | János BALOGH - József BÉKÉSI | Driver scheduling for vehicle schedules using a set covering approach: a case study |
| 17:40-18:00 | Viktor ÁRGILÁN - János BALOGH - Attila TÓTH | On the Basic Vehicle Scheduling Problem |
| Main stream | Ceremonial Hall (A-201) | |
|---|---|---|
| Events + Plenary Section | ||
| 08:00-09:00 | Breakfast | |
| 09:00-09:45 | Plenary talk: Alois FERSCHA Chair: András BENCZÚR | Why the Symbiosis of Society and Technology is a Complex Matter |
| 09:45-10:30 | Plenary talk: Vaclav MATYAS Chair: Attila PETHŐ | On design of privacy mechanisms for wireless sensor networks with intrusion detection |
| 10:30-10:50 | Coffee-break | |
| Short presentation of the posters - Chair: Miklós HOFFMANN | ||
| Poster | (10:50) Attila VÁMOSI | Applying of SVM in an engineering optimization problem |
| Poster | (10:55) Roland KIRÁLY | Results of metric based transformations |
| Poster | (11:00) Roland KIRÁLY | Source Code Analysation and Optimalization |
| Poster | (11:05) Csaba NOSZÁLY | On a special class of random graphs |
| Poster | (11:10) Csilla PRANTNER | Conception of the educational portal |
| Poster | (11:15) Dávid JUHÁSZ - Barnabás KRÁLIK - Attila GÓBI - László DOMOSZLAI | Workflow-based Cyber-Physical Programming: A Case Study |
| Poster | (11:20) István FAZEKAS - Sándor PECSORA | A generalization of the Barabási-Albert random tree |
| Poster | (11:25) János ABONYI | Data- & process mining algorithms for the support of early warning systems |
| Poster | (11:30) Kris AERTS - Nele MENTENS | Using FP & Data Mining to Generate Constrained Hardware for Dedicated Algorithms |
| Poster | (11:35) Mária MOLNÁRNÉ NAGY | Usability of Mathematical Softwares in Prostate Screening |
| Poster | (11:40) Nikoletta EKKER | New Way to Use Information Technologies to Monitor Spatial Abilities |
| Poster | (11:45) Péter FÉSÜS | Mathematical approach of PSA level test during prostate cancer analysis |
| Poster | (11:50) Réka RACSKO | Opportunities for improving digital competences: expectations and findings on a national and international ground |
| Poster | (11:55) Roland SIPOS | Study of NoSQL Technologies for the CMS Conditions Data |
| Poster | (12:00) Zoltán MEGYESI | GPU accelerated random graph generation using preferencial attachment model |
| Poster | (12:05) Tamás GREGUS, András PERJÉSI, Attila SZÍVÓS, Tibor TAJTI, Péter MAGYAR, Gábor GEDA | MAPPING: Exploration and Identification of Surrounding Objects near Eszterházy Károly College |
| 12:10-12:40 | Presentation of the posters in front of Ceremonial Hall (A-201) | |
| 12:40-13:40 | Lunch | |
| 14:40-15:00 | Presentation of the posters and Best Poster Award - Chair: Emőd KOVÁCS | |
| 15:00-16:20 | Sections | |
| 16:20-16:40 | Coffee-break | |
| 16:40-18:00 | Sections | |
| 18:30- | Departure time to the optional wine-sampling from Líceum (main building of the college) | |
| 19:00- | Dinner in Eger Hotel or wine-sampling and dinner in Bolyki Winery | |
| Section 'A' | Ceremonial Hall (A-201) | |
| Artificial Intelligence - Chair: László ASZALÓS | ||
| 15:00-15:20 | Tudor JEBELEAN | Proof Techniques for the Synthesis of Sorting Algorithms |
| 15:20-15:40 | László LEFKOVITS - Szidónia LEFKOVITS | Gaussian Refinements on Gabor Filter based Patch Descriptor |
| 15:40-16:00 | László SZATHMÁRY | Finding minimal rare itemsets with an extended version of the Apriori algorithm |
| 16:00-16:20 | Gábor KUSPER - Csaba BIRÓ | WnDGen: A Tool to Generate Difficult SAT Problems |
| 16:20-16:40 | Coffee-break | |
| Artificial Intelligence - Chair: Tamás MIHÁLYDEÁK | ||
| 16:40-17:00 | László SZATMÁRI | Creating heuristics with machine learning |
| 17:00-17:20 | Balázs LÉVAI | Automatic Failure Detection and Monitoring of Ventilation and Cooling Systems |
| 17:20-17:40 | László ASZALÓS - Mária BAKÓ - Tamás MIHÁLYDEÁK | Email labeling by rough clustering |
| 17:40-18:00 | Tamás KÁDEK - János PÁNOVICS | Extended Breadth-First Search Algorithm in Practice |
| Section 'B' | Chapel (A-209) | |
| Education and other fields of Applied Informatics - Chair: Győző HORVÁTH | ||
| 15:00-15:20 | Attila PIROS | A Different Approach to UDC in a Mechanized Retrieval System |
| 15:20-15:40 | András LONDON - Tamás NÉMETH - András PLUHÁR - Tibor CSENDES | A Local PageRank Algorithm for Evaluating the Importance of Scientific Articles |
| 15:40-16:00 | Viktória LAKÓ | Analysis of Algorithms and Data Modelling Tasks of the Final Exam in Hungary |
| 16:00-16:20 | Anna SOÓS - Judit ROBU | Application of Fixed Point Theorem in Probabilistic Metric space to Quicksort Algorithm |
| 16:20-16:40 | Coffee-break | |
| Education and other fields of Applied Informatics - Chair: Győző HORVÁTH | ||
| 16:40-17:00 | Krisztián DEÁK - Imre KOCSIS - Attila VÁMOSI | Application of machine vision in manufacturing of bearings using ANN and SVM |
| 17:00-17:20 | Gábor PÓTÁRI, Zoltán VINCELLÉR, Zoltán ÁCS | A method for real-time adaptation of weather conditions within a traffic simulation |
| 17:20-17:40 | Zoltán ISTENES | Choosing the right computing platform for robotics |
| 17:40-18:00 | Dávid ANGYAL - Anikó VÁGNER - István JUHÁSZ - Péter TÓTH | Oscillometric blood pressure measurement algorithm for microcontroller |
| Section 'C' | A-308 | |
| Software Design and Object Oriented Programming - Chair: Zoltán PORKOLÁB | ||
| 15:00-15:20 | Gábor HORVÁTH - Norbert PATAKI | Clang Matchers for Verified Usage of the C++ Standard Template Libary |
| 15:20-15:40 | Veronika SZABÓOVÁ - Csaba SZABÓ | Quo vadis, self-* software? |
| 15:40-16:00 | Gergely NAGY - Zoltán PORKOLÁB | The effects of using exception handling on software complexity |
| 16:00-16:20 | Melinda SIMON | Checking property based component-compatibility |
| 16:20-16:40 | Coffee-break | |
| Software Design and Object Oriented Programming - Chair: Tibor ÁSVÁNYI | ||
| 16:40-17:00 | Gábor ANTAL - Ádám Zoltán VÉGH - Vilmos BILICKI | Developing JPA-based applications using HL7 and SNOMED CT standards with code generation |
| 17:00-17:20 | Ádám Zoltán VÉGH - Gábor ANTAL - Vilmos BILICKI | A methodology for measuring software development productivity using Eclipse IDE |
| 17:20-17:40 | Balázs KREITH | Building scalable distributed network systems using a modified pipeline design pattern |
| 17:40-18:00 | László Gábor MENYHÁRT - Zoltán ILLÉS - Viktória HEIZLERNÉ BAKONYI | Birth of Mobile Academy |
| Section 'D' | A-313 (through A-314) | |
| Future Internet - Chair: Vaclav MATYAS | ||
| 15:00-15:20 | Tamás BÉRCZES - Wolfgang SCHREINER - János SZTRIK - Gábor KUSPER | Using PRISM to model spectrum renting in mobile cellular networks |
| 15:20-15:40 | Csaba BIRÓ - Gábor KUSPER - Tibor RADVÁNYI - Sándor KIRÁLY - Péter SZIGETVÁRY - Péter TAKÁCS | SAT Representation of Randomly Deployed Wireless Sensor Networks |
| 15:40-16:00 | Péter MAGYAR - Gábor GEDA - Tibor TAJTI - András PERJÉSI - Tamás GREGUS | Business Oriented Creature Identification |
| 16:00-16:20 | Attila ADAMKÓ - Tamás KÁDEK - Lajos KOLLÁR - Márk KÓSA - Tamás SZINCSÁK - Anikó VÁGNER | From university calendars to smart university administration |
| 16:20-16:40 | Coffee-break | |
| Future Internet - Chair: Alois FERSCHA | ||
| 16:40-17:00 | Attila KUKI - Béla ALMÁSI - Tamás BÉRCZES | Modeling a QoS classified communication environment with packet reordering feature |
| 17:00-17:20 | Péter OROSZ - Tamás SKOPKÓ - Pál VARGA | A Three-Component Video Quality Assessment Method for Real-Time HD Video Transmission |
| 17:20-17:40 | Virág VARGA - Zoltán PORKOLÁB | Improving Code Quality in PLC Programming |
| 17:40-18:00 | Péter OROSZ - Zoltán NAGY | Estimation of Media QoE without Reference |
| Section 'E' | A-327 | |
| Functional Programming - Chair: Gergely KOVÁSZNAI | ||
| 15:00-15:20 | Viktória ZSÓK | A Functional Prototype for CPS Systems |
| 15:20-15:40 | Gábor OLÁH - Melinda TÓTH - Tamás KOZSIK | Conditional types in core Erlang |
| 15:40-16:00 | Máté KARÁCSONY | Modeling C preprocessor metaprograms using purely functional languages |
| 16:00-16:20 | ||
| 16:20-16:40 | Coffee-break | |
| Education and other fields of Applied Informatics - Chair: Gunter WEISS | ||
| 16:40-17:00 | Kanita KARADUZOVIC-HADZIABDIC - Rasit KOKER | Diagnosis of Heart Disease Using a Committee Machine Neural Network |
| 17:00-17:20 | Béla ALMÁSI - György TERDIK | Comparing the Communication Mechanisms of Health State Monitoring BGM Devices |
| 17:20-17:40 | Mária MOLNÁRNÉ NAGY | Discussion of Input-Output Data in the Computer Implementation of the PSA-level Test during the Analysis of Prostate Cancer |
| 17:40-18:00 | Péter FÉSÜS | Mathematical approach of PSA level test during prostate cancer analysis |
| Main stream | ||
|---|---|---|
| Events | ||
| 08:00-09:00 | Breakfast | |
| 09:00-10:40 | Sections | |
| 10:40-11:00 | Coffee-break | |
| 11:00-12:40 | Sections | |
| 12:40-13:40 | Lunch | |
| 14:40-17:00 | Sections | |
| 17:00-17:20 | Coffee-break | |
| 17:30-18:00 | Closing ceremony | |
| 19:00 | Dinner | |
| Section 'A' | A-206 | |
| Computer Statistics - Chair: Tibor TÓMÁCS | ||
| 09:00-09:20 | András KIRÁLY - Péter KONCZ - János ABONYI | Monte Carlo Simulation based Interactive Balance Scorecard of Business Processes |
| 09:20-09:40 | István FAZEKAS - Bettina PORVÁZSNYIK | Scale-free property for degrees and weights in a preferential attachment random graph model |
| 09:40-10:00 | István PÓSER | Challenges in Test System Verification |
| 10:00-10:20 | Árpád NYILAS - Zoltán VINCELLÉR - Zoltán ÁCS | Estimation of OD matrices with naive Bayes method |
| 10:20-10:40 | Coffee-break | |
| Distributed and Parallel Computing - Chair: Zoltán GÁL | ||
| 10:40-11:00 | Attila BALATON - Zoltán VINCELLÉR - Gábor VIGH | Detecting malfunctioning wireless sensors with group testing algorithms |
| 11:00-11:20 | Tamás TÓTHFALUSI - Péter OROSZ | Line-rate Packet Processing in Hardware: the Evolution Towards 400 Gbit/s |
| 11:20-11:40 | Péter BATTYÁNYI - György VASZIL | Membrane Systems and Their Relation to the Chemical Programming Paradigm |
| 11:40-12:00 | József BÉKÉSI - Gábor GALAMBOS - András KELEMEN - Miklós KRÉSZ | Parallelization of video compression with OpenMP and ffmpeg |
| 12:00-12:20 | Benedek NAGY - Péter BATTYÁNYI - Norbert BÁTFAI - Tamás HERENDI - Zoltán GÁL - György KOVÁCS | New Textbooks on Parallel Architectures, Algorithms and Programming |
| 12:40-13:40 | Lunch | |
| Distributed and Parallel Computing - Chair: Benedek NAGY | ||
| 14:40-15:00 | Péter RÓNASZÉKI - Gábor KUSPER | Parallel Graph Searching Algorithm on the GPU using OpenCL |
| 15:00-15:20 | Barnabás KRÁLIK | Model checking cyber-physical workflows |
| 15:20-15:40 | Zoltán GÁL - Tibor TAJTI - György TERDIK | Surprise Event Detection of the Supercomputer Execution Queues |
| 15:40-16:00 | Gergely DÉVAI | Lightweight Simulation of Programmable Memory Hierarchies |
| 16:00-16:20 | Attila KUKI | Modeling computer networks by the help of OPNet tools |
| 16:20-16:40 | ||
| 16:40-17:00 | ||
| Section 'B' | Chapel (A-209) | |
| Computer Aided Geometric Modeling and Computer Graphics - Chair: Márta SZILVÁSI-NAGY | ||
| 09:00-09:20 | Emil MOLNÁR - István PROK - Jenő SZIRMAI | Computer visualization of higher dimensional and non-Euclidean geometries |
| 09:20-09:40 | István BODA - Erzsébet TÓTH - Miklós BÉNYEI - István CSONT | A three-dimensional virtual library model of the ancient Library of Alexandria |
| 09:40-10:00 | Ákos TÓTH - Richard Zsolt BUDA - Gábor BOLDIZSÁR - Roland KUNKLI | Kinect based 3D human face reconstruction for MPEG-4 based animation |
| 10:00-10:20 | László VÖRÖS | Helical Structure of Space-filling Mosaics Based on 3D Models of the 5D and 6D Cubes |
| 10:20-10:40 | Coffee-break | |
| Computer Aided Geometric Modeling and Computer Graphics - Chair: Tudor JEBELEAN | ||
| 10:40-11:00 | Róbert VAJDA | Exploration of Hermite Interpolation Polynomials with Mathematica |
| 11:00-11:20 | Szilvia BÉLA - Márta SZILVÁSI-NAGY | Approximation of B-Spline Curves and Surfaces Using Matrix Representation |
| 11:20-11:40 | Géza CSIMA | On the isoptic hypersurfaces in the n-dimensional Euclidean space |
| 11:40-12:00 | Tamás MATUSZKA - Attila KISS | Applicability Investigation of Augmented Reality-based Softwares |
| 12:00-12:20 | ||
| 12:40-13:40 | Lunch | |
| Computer Graphics and other fields of Applied Informatics - Chair: Emil MOLNÁR | ||
| 14:40-15:00 | Máté CSERÉP - Tibor BRUNNER | Rule based graph visualization for software systems |
| 15:00-15:20 | Mohammadreza AZODINIA - Vahid FARROKHI - András HAJDU | Constant time median filtering of extra large images using Hadoop |
| 15:20-15:40 | Roland SIPOS | The GAIA methodology - A case study based on the NEXT-TELL project |
| 15:40-16:00 | András BÓTA - László KOVÁCS - Miklós KRÉSZ - András PLUHÁR | The community structure of word association graphs |
| 16:00-16:20 | Péter JESZENSZKY | Video-based course material for teaching Data Mining |
| 16:20-16:40 | ||
| 16:40-17:00 | ||
| Section 'C' | A-308 | |
| Education and other fields of Applied Informatics - Chair: Gunter WEISS | ||
| 09:00-09:20 | Kris AERTS | Upgrading the ICT curriculum of a multi- disciplinary degree evolving from practical orientation to university integration |
| 09:20-09:40 | Péter SZLÁVI - Viktória HEIZLERNÉ BAKONYI | Evaluation of programming languages from the viewpoint of education |
| 09:40-10:00 | Péter SZLÁVI - Viktória HEIZLERNÉ BAKONYI | Evaluation of development environments from the viewpoint of education |
| 10:00-10:20 | László Gábor MENYHÁRT - Gáborné PAP | PFW as generator |
| 10:20-10:40 | Coffee-break | |
| Education and other fields of Applied Informatics - Chair: László Gábor MENYHÁRT | ||
| 10:40-11:00 | Péter TAKÁCS - Tamás MIHÁLYDEÁK - Zoltán CSAJBÓK | Boundaries of membranes in P systems relying on multiset approximation spaces in language R |
| 11:00-11:20 | Attila ADAMKÓ - Tamás KÁDEK - Lajos KOLLÁR - Márk KÓSA - Tamás SZINCSÁK - Anikó VÁGNER | Crowdsourcing-based evaluation of seminar exercises and test case development |
| 11:20-11:40 | Viktória HEIZLERNÉ BAKONYI - László ZSAKÓ | Strategy of guessing exercises – Variations of drawing trees |
| 11:40-12:00 | Győző HORVÁTH - László Gábor MENYHÁRT | Teaching introductory programming with JavaScript in higher education |
| 12:00-12:20 | Viktor FEHÉR - Győző HORVÁTH | The challenges of teaching informatics for visually impaired people in secondary education |
| 12:40-13:40 | Lunch | |
| Education and other fields of Applied Informatics - Chair: Gergely KOVÁSZNAI | ||
| 14:40-15:00 | Tibor ÁSVÁNYI | On Transformations of Ordered Lists |
| 15:00-15:20 | Tamás HERENDI - Petr MALAKHALTSEV | VANETs overview, advanced traffic light control |
| 15:20-15:40 | Szabolcs SZILÁGYI | Multiway Switching Controller Design using FPGA |
| 15:40-16:00 | Tamás HERENDI - Roland MAJOR | Random number generation on FPGA-s |
| 16:00-16:20 | Tamás KÁDEK - Márk KÓSA - János PÁNOVICS | Some Statistical Aspects of Programming Contests Managed by ProgCont |
| 16:20-16:40 | Csaba KOMLÓ | SDSA Lecture Streaming and Recording in Higher Education |
| 16:40-17:00 | ||
| Section 'D' | A-313 (through A-314) | |
| Future Internet - Chair: György VASZIL | ||
| 09:00-09:20 | József SÜTŐ - Stefan ONIGA - Attila BUCHMAN | Real time activity and behaviour monitoring |
| 09:20-09:40 | Tamás SZINCSÁK - Anikó VÁGNER | Public transit schedule and route planner application for mobile devices |
| 09:40-10:00 | Imre VARGA - Gergely KOCSIS | Novel model of social networks with tunable clustering coefficient |
| 10:00-10:20 | Péter ENGLERT - Márton BALASSI - Balázs KÓSA - Attila KISS | Efficiency Issues of Computing Graph Properties of Social Networks |
| 10:20-10:40 | Coffee-break | |
| Future Internet - Chair: Emőd KOVÁCS | ||
| 10:40-11:00 | Tamás BALLA - Zoltán GÁL | Overview of the Internet of Things Short Range Communication Technologies |
| 11:00-11:20 | József BÁNLAKI | UHF RFID Tag with User Interface |
| 11:20-11:40 | Tamás SZAKÁCS - Zoltán RUZSA - Zsolt PARISEK - Roland KIRÁLY | Framework for mathematics-based localization |
| 11:40-12:00 | Tibor TAJTI - Gábor GEDA - András PERJÉSI - Péter MAGYAR - Tamás BALLA - Attila SZÍVÓS - Tamás GREGUS | Indoor localization using NFC and mobile sensor data corrected using neural net |
| 12:00-12:20 | Gyöngyi KOCSISNÉ SZILÁGYI - Attila KOCSIS | A Special Localization Algorithm in Wireless Sensor Networks for Telemetry Application |
| 12:40-13:40 | Lunch | |
| Future Internet - Chair: Emőd KOVÁCS | ||
| 14:40-15:00 | Adrián CSISZÁRIK - András LUKÁCS | Enhancement of Privacy-Preserving $k$-means |
| 15:00-15:20 | Gergely KOCSIS - Imre VARGA | The effect of dynamic active-inactive agents on spreading phenomena |
| 15:20-15:40 | Péter OROSZ - Tamás SKOPKÓ - Zoltán NAGY | Transport Protocol Trade-offs for Reconfigurable Architectures |
| 15:40-16:00 | Tamás VARGA - Róbert SCHULCZ | Relay attacks on HF RFID and NFC communications and defense against them |
| 16:00-16:20 | Tibor RADVÁNYI - Csaba BIRÓ - Sándor KIRÁLY - Péter SZIGETVÁRY - Péter TAKÁCS | Attack against RFID transponders |
| 16:20-16:40 | László GONDA | Utilization of constrained spectral clustering for clustering of graph nodes containing record data |
| 16:40-17:00 | Sándor KIRÁLY - Tibor RADVÁNYI - Csaba BIRÓ - Péter SZIGETVÁRY - Péter TAKÁCS | Programming an RFID reader for getting data from different semi-passive sensor tags |
| Section 'E' | A-327 | |
| Data Base Systems - Chair: András BENCZÚR | ||
| 09:00-09:20 | Imre SZÜCS - Attila KISS | Quantitative analysis of Bitcoin exchange rate and transactional network properties |
| 09:20-09:40 | Gábor RÁCZ - Zoltán PUSZTAI - Balázs Kósa - Attila KISS | An Improved Community-based Greedy Algorithm for Solving the Influence Maximization Problem in Social Networks |
| 09:40-10:00 | Bálint MOLNÁR - András BENCZÚR | An Information System Modelling Framework |
| 10:00-10:20 | Rita FLEINER - Attila GYÖRÖK | Exposing metadata in BitTorrent as Linked Open Data |
| 10:20-10:40 | Coffee-break | |
| Data Base Systems - Chair: Rita FLEINER | ||
| 10:40-11:00 | András BENCZÚR - Gyula István SZABÓ | Extended Relations Defined by Regular Expressions |
| 11:00-11:20 | István PÉNTEK | New ways of managing large datasets |
| 11:20-11:40 | Balázs PINCZEL - Balázs KÓSA - Attila KISS | Simulating a fragment of SPARQL with structural recursions |
| 11:40-12:00 | Attila GÓBI - Artyom ANTYIPIN - Tamás KOZSIK | Tree Traversal with Conditional Move |
| 12:00-12:20 | Gergő GOMBOS - Zoltán VINCELLÉR - Attila KISS | Virtual Observatory for twitter messages |
| 12:40-13:40 | Lunch | |
| Reconfigurable Computing - Chair: Gábor KUSPER | ||
| 14:40-15:00 | János VÉGH - Zsolt BAGOLY - Péter MOLNÁR | Towards (even more) hybrid processors using reconfigurable technology |
| 15:00-15:20 | Lászlo KAZUP - Zsolt BAGOLY - Ádám KICSÁK - János VÉGH | How to let cooperate the Neumann-world with reconfigurable world |
| 15:20-15:40 | Máté VARGA - Zsolt BAGOLY - János VÉGH | Implementing SoCs with reconfigurable technology |
| 15:40-16:00 | Zsolt BAGOLY - Máté VARGA - János VÉGH | Implementing reconfigurable operating system components in Nios II with custom instructions |
| 16:00-16:20 | Ádám KICSÁK - János VÉGH - Zsolt BAGOLY | Improving efficiency of operating systems through reconfigurable technology |
| 16:20-16:40 | Péter MOLNÁR - János VÉGH | Measuring operating systems performance parameters in reconfigurable systems using MicroC/OS-II |
| 16:40-17:00 | Seyed Majid MOUSAVI - Gábor FAZEKAS | Increasing QoS in SaaS for low internet speed connections in cloud |