MaCS 2016
Mathematics and Computer Science

Table of Contents

1. Anomaly searching in text sequences 1-9
   Abdulwahed Almarimi, Gabriela Andrejková
2. Detecting negative cycles with Tarjan's breadth-first scanning algorithm 10-16
   Tibor Ásványi
3. Modeling framework for designing and analyzing document-centric information systems based on HypergraphDB 17-22
   András Béleczki, Bálint Molnár
4. Analysing and visualising callback modules of Erlang generic server behaviours 23-41
   István Bozó, Mátyás Béla Kuti, Melinda Tóth
5. Analysing the hierarchical structure of Erlang applications 42-55
   István Bozó, Bence János Szabó, Melinda Tóth
6. Dynamic game difficulty balancing in active ageing systems 56-61
   Alina Delia Călin
7. Novel architecture for executable UML tooling 62-73
   Gergely Dévai, Tibor Gregorics, Boldizsár Németh, Balázs Gregorics, Dávid János Németh, Gábor Ferenc Kovács, Zoltán Gera, András Dobreff, Máté Karácsony
8. Collaboration spotting visual analytics tool optimized for very large graphs 74-84
   Richard Forster
9. Corrections to the program verification rules 85-95
   Tibor Gregorics, Zsolt Borsi
10. Transparent functors for the C++ Standard Template Library 96-101
    Gábor Horváth, Norbert Pataki
11. Public key cryptography based on the clique and learning parity with noise problems for post-quantum cryptography 102-112
    Péter Hudoba
12. Supporting dynamic, bi-directional presentation management in real-time 113-118
    Zoltán Illés PhD, Viktória H. Bakonyi, Zoltán Illés Jr.
13. Configurable data structure layout for memory hierarchies 119-135
    Máté Karácsony, Máté Tejfel
14. Code School: Learn to code by practicing 136-143
    Sándor Király, Tamás Balla, Gábor Kusper
15. KErl: Executable semantics for Erlang 144-160
    Judit Kőszegi
16. Knowledge and mindset in software development -- how developers, testers, technical writers and managers differ -- a survey 161-184
    Attila Kovács, Kristóf Szabados
17. What is the state-of-the-art in DQBF solving? 185-196
    Gergely Kovásznai
18. Transforming Erlang finite state machines 197-218
    Dániel Lukács, Melinda Tóth, István Bozó
19. markfactory: Translation-based automatic exam evaluation for mass education 219-226
    Boldizsár Németh, Máté Tejfel
20. Customized error clustering of industrial surface inspection images 227-240
    Melinda Pap
21. Some useful aspects about coalgebras and coalgebraic logic in computer science 241-249
    Ján Perháč, Daniel Mihályi, William Steingartner, Valerie Novitzká
22. Benefits of implementing a query language in purely functional style 250-266
    Artúr Poór, István Bozó, Tamás Kozsik, Gábor Páli, Melinda Tóth
23. Some aspects about coalgebras as foundation for expressing the semantics of imperative languages 267-278
    William Steingartner, Valerie Novitzká, Mohamed Ali M. Eldojali, Davorka Radaković