| | | | |
| Preface | i |
| | |
| Contents | ii |
| | |
| Program | iv |
| | |
| Plenary talks | 1 |
| | |
| Dániel Marx | The Optimality Program in Parameterized Algorithms | 1 |
| | |
| László Pyber | How to avoid the Classification Theorem of Finite Simple Groups in Asymptotic Group Theory | 2 |
| | |
| Dániel Varró | Models and Queries for Smart and Safe Cyber-physical Systems | 3 |
| | |
| Abstracts | 4 |
| | |
| Bence Babati, Norbert Pataki and Zoltán Porkoláb | Analysis of Include Dependencies in C++ Source Code | 4 |
| | |
| Zsolt Bagóczki and Balázs Bánhelyi | A parallelized interval arithmetics based reliable computing method on GPU | 5 |
| | |
| Dénes Bán | The Connection of Antipatterns and Maintainability in Firefox | 6 |
| | |
| Áron Baráth and Zoltán Porkoláb | Checking binary compatibility for modern programming language | 8 |
| | |
| János Baumgartner, Zoltán Süle and János Abonyi | Cox regression based process optimization | 9 |
| | |
| Biswajeeban Mishra | Improving OpenStack Services with Source Code Optimizations | 10 |
| | |
| Bence Bogdándy and Zsolt Tóth | Comparison of WiFi RSSI Filtering Methods | 11 |
| | |
| Tibor Brunner, Norbert Pataki and Zoltán Porkoláb | Finding semantical differences between C++ standard versions | 13 |
| | |
| Ádám Budai and Kristóf Csorba | RJMCMC Optimization of marble thin section image segmentations | 14 |
| | |
| Márton Búr and Dániel Varró | Towards hierarchical and distributed run-time monitors from high-level query languages | 16 |
| | |
| Cristian Babau, Marius Marcu, Mircea Tihu, Daniel Telbis and Vladimir Cretu | Real Time Road Traffic Characterization Using Mobile Crowdsourcing | 17 |
| | |
| Gábor Fábián | Physical simulation based technique for determining continuous maps between meshes | 19 |
| | |
| Tamás Fekete and Gergely Mezei | Architectural challenges in creating a high-performant model-transformation engine | 20 |
| | |
| Katalin Friedl and László Kabódi | Storing the quantum Fourier operator in the QuIDD data structure | 22 |
| | |
| Péter Gál and Csaba Bátori | Bringing a Non-object Oriented Language Closer to the Object Oriented World: A Case Study for A+.NET | 23 |
| | |
| Ábel Garai and István Péntek | Common Open Telemedicine Hub and Interface Standard Recommendation | 24 |
| | |
| László Gazdi, Dorottya Bodolai, Bertalan Forstner and Luca Szegletes | Supervising Adaptive Educational Games | 26 |
| | |
| Péter Gyimesi | An Automatic Way to Calculate Software Process Metrics of GitHub Projects With the Aid of Graph Databases | 27 |
| | |
| Lajos Győrffy, András London and Géza Makay | The structure of pairing strategies for k-in-a-row type games | 29 |
| | |
| László Hajdu, Miklós Krész and László Tóth | Maximization Problems for the Independent Cascade Model | 30 |
| | |
| Ferenc Horváth | Eliminating code coverage differences from large-scale programs | 31 |
| | |
| Laura Horváth, Krisztián Dániel Pomázi, Luca Szegletes and Bertalan Forstner | Multiple Intelligence Learning | 32 |
| | |
| István Kádár | The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors | 34 |
| | |
| György Kalmár and László G. Nyúl | Image processing based automatic pupillometry on infrared videos | 36 |
| | |
| Melinda Katona and László G. Nyúl | Quantitative Assessment of Retinal Layer Distortions and Subretinal Fluid in SD-OCT Images | 37 |
| | |
| Krisztián Koós, Begüm Peksel and Lóránd Kelemen | Height Measurement of Cells Using DIC Microscopy | 38 |
| | |
| Levente Lipták, László Kundra and Kristóf Csorba | Robust multiple hypothesis based enumeration in complex traffic scenarios | 39 |
| | |
| Gábor Márton and Zoltán Porkoláb | Unit Testing and Friends in C++ | 40 |
| | |
| Abigél Mester and Balázs Bánhelyi | Revision of local search methods in the GLOBAL optimization algorithm | 41 |
| | |
| Csaba Molnár and József Molnár | Multi-layer phase field model for selective object extraction | 42 |
| | |
| Balázs Nagy | Skyline extraction by artificial neural networks for orientation in mountainous environment | 43 |
| | |
| Teréz Nemes, Ákos Dávid and Zoltán Süle | Proposing a decision-support system to maximize the robustness of computer network topologies | 44 |
| | |
| Dávid Papp and Gábor Szűcs | Active Learning using Distribution Analysis for Image Classification | 45 |
| | |
| Zsolt Parragi and Zoltán Porkoláb | Typegrind: Type Preserving Heap Profiler for C++ | 47 |
| | |
| Patrik János Braun and Péter Ekler | Improving QoS in web-based distributed streaming services with applied network coding | 48 |
| | |
| Aleksandar Pejic | Detecting Similarities in Process Data generated with Computer-based Assessment Systems | 50 |
| | |
| Tamás Pflanzner and Attila Kertész | Taxonomy and Survey of IoT Cloud Use Cases | 52 |
| | |
| Rebaz Ahmed Hama Karim, István Vassányi and István Kósa | Long-acting insulin management for blood glucose prediction model | 53 |
| | |
| Attila Selmeci and Tamás Orosz | Trends and paradigm change in ERP datacenter management | 55 |
| | |
| Oszkár Semeráth and Dániel Varró | Validation of Well-formedness constraints on Uncertain Model | 57 |
| | |
| Ferenc Attila Somogyi | On the Efficiency of Text-based Comparison and Merging of Software Models | 58 |
| | |
| Gábor Szőke | Finding Matching Source Code Elements in an AST Using Position Information | 59 |
| | |
| Judit Tamás and Zsolt Tóth | Classification based Symbolic Indoor Positioning over the Miskolc IIS Dataset | 60 |
| | |
| Máté Tömösközi | Regression Model Building and Efficiency Prediction of Header Compression Implementations for VoIP | 62 |
| | |
| Zsolt Vassy, István Vassányi and István Kósa | Stable angina clinical pathway correlation clustering | 63 |
| | |
| Dániel Zombori and Balázs Bánhelyi | Parallel implementation of a modular, population based global optimizer package | 65 |
| | |
| List of Authors | 66 |
| | |