Preface Preface (hide)

Conference Keynote Papers

• Big Water Meets Big Data: Analytics of the AIS Ship Tracking Data
  598 Stan Matwin, pages 1 – 1. Show abstract
• How digital transformation shapes corporate IT: Ten theses about the IT organization of the future
  597 Frederik Ahlemann, pages 3 – 4. Show abstract
• Location always matters: how to improve performance of dynamic networks?
  596 Michael Segal, page 5 – 5. Show abstract

11th International Symposium Advances in Artificial Intelligence and Applications

• Quality of Histograms As Indicator Of Approximate Query Quality
  543 Agnieszka Chądzyńska-Krasowska, Marcin Kowalski, pages 9 – 15. Show abstract
• Verifying cuts as a tool for improving a classifier based on a decision tree
  266 Łukasz Dydo, Jan Bazan, Sylwia Buregwa-Czuma, Wojciech Rząsa, Andrzej Skowron, pages 17 – 20. Show abstract
• A* Heuristic Based on a Hierarchical Space Model Extracted from Game Replays
  104 Bartłomiej Józef Dzieńkowski, Urszula Markowska-Kaczmar, pages 21 – 30. Show abstract
• Employing Game Theory and Computational Intelligence to Find the Optimal Strategy of an Autonomous Underwater Vehicle against a Submarine
  53 Bartłomiej Józef Dzieńkowski, Christopher Strode, Urszula Markowska-Kaczmar, pages 31 – 40. Show abstract
• A new way for the exploration of a dataset based on a social choice inspired approach
  453 Michel Herbin, Amine Aït Younes, Frédéric Blanchard, pages 41 – 46. Show abstract
• Identifying Fishing Activities from AIS Data with Conditional Random Fields
  546 Baifan Hu, Xiang Jiang, Erico Souza, Ronald Pelot, Stan Matwin, pages 47 – 52. Show abstract
• Sparse Coding Methods for Music Induced Emotion Recognition
  309 Jan Jakubik, Halina Kwaśnicka, pages 53 – 60. Show abstract
• A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences
  351 Krystian Adam Jobczyk, Antoni Ligęza, pages 61 – 70. Show abstract
• Rough Sets Applied to Mood of Music Recognition
  548 Bożena Kostek, Magda Plewa, pages 71 – 78. Show abstract
• Clustering based on the Krill Herd Algorithm with Selected Validity Measures
  295 Piotr Andrzej Kowalski, Szymon Łukasik, Małgorzata Charytanowicz, Piotr Kulczycki, pages 79 – 87. Show abstract
• Forming Classifier Ensembles with Deterministic Feature Subspaces
  552 Michał Koziarski, Bartosz Krawczyk, Michał Woźniak, pages 89 – 95. Show abstract
• Modification of the Probabilistic Neural Network with the Use of Sensitivity Analysis Procedure
  280 Maciej Kusy, Piotr Andrzej Kowalski, pages 97 – 103. Show abstract
• Position tracking using inertial and magnetic sensing aided by permanent magnet
  513 Michał Meina, Krzysztof Rykaczewski, Andrzej Rutkowski, pages 105 – 111. Show abstract
• Classification Algorithms in Sleep Detection—A Comparative Study
  187 Aleksandra Pasieczna, Jerzy Korczak, pages 113 – 120. Show abstract
• Analysis of the Changes in Processes Using the Kosinski's Fuzzy Numbers
  140 Piotr Prokopowicz, pages 121 – 128. Show abstract
• Dispersed decision-making system with selected fusion methods from the measurement level - case study with medical data
  30 Małgorzata Przybyła-Kasperek, pages 129 – 136. Show abstract
• Hybrid Fuzzy-Genetic Algorithm Applied to Clustering Problem
  232 Krzysztof Pytel, pages 137 – 140. Show abstract
• Deep Evolving GMDH-SVM-Neural Network and its Learning for Data Mining Tasks
  183 Galina Setlak, Yevgeniy Bodyanskiy, Olena Vynokurova, Iryna Pliss, pages 141 – 145. Show abstract
• Analysis of time-frequency representations for musical onset detection with convolutional neural network.
  558 Bartłomiej Stasiak, Jędrzej Mońko, pages 147 – 152. Show abstract
• iQbees: Interactive Query-by-example Entity Search in Semantic Knowledge Graphs
  562 Marcin Sydow, Grzegorz Sobczak, Ralf Schenkel, Krzysztof Mioduszewski, pages 153 – 160. Show abstract
• Probabilistic 2D Cellular Automata Rules for Binary Classification
  409 Miroslaw Szaban, pages 161 – 164. Show abstract
• Generalized Majority Decision Reducts
  559 Sebastian Widz, Sebastian Stawicki, pages 165 – 174. Show abstract
• Clustering Documents on Case Vectors Represented by Predicate-argument Structures – Applied for Eliciting Technological Problems from Patents
  462 Hitomi Yanaka, Yukio Ohsawa, pages 175 – 180. Show abstract
• Evaluating model of traffic accident rate on urban data
  195 Jianshi Wang, Yukio Ohsawa, pages 181 – 186. Show abstract

Plenary Panel on the Legacy of Professor Zdzisław Pawlak

• Working with Zdzislaw Pawlak – Personal Reminiscences
  002 Zdzislaw Pawlak, Information Storage Victor Marek, pages 189 – 190. Show abstract
• Pawlak's Conflict Model: Directions of Development
  003 Alicja Wakulicz-Deja, Małgorzata Przybyła-Kasperek, pages 191 – 197. Show abstract
• Maximal Nucleus Clusters in Pawlak Paintings. Nerves as approximating tools in Visual Arts
  004 James Peters, Sheela Ramanna, pages 199 – 202. Show abstract

Data Mining Challenge: Predicting Dangerous Seismic Events in Active Coal Mines

• Predicting Dangerous Seismic Events: AAIA'16 Data Mining Challenge
  560 Andrzej Janusz, Dominik Ślęzak, Marek Sikora, Łukasz Wróbel, pages 205 – 211. Show abstract
• Early Warning System for Seismic Events in Coal Mines Using Machine Learning
  420 Jan Kanty Milczek, Robert Bogucki, Jan Lasek, Michał Tadeusiak, pages 213 – 220. Show abstract
• Predicting Dangerous Seismic Events in Coal Mines under Distribution Drift
  21 Marc Boullé, pages 221 – 224. Show abstract
• Massively Parallel Feature Extraction Framework Application in Predicting Dangerous Seismic Events
  90 Marek Grzegorowski, pages 225 – 229. Show abstract
• Fisher’s Linear Discriminant Analysis Based Prediction using Transient Features of Seismic Events in Coal Mines
  116 Başak Esin Köktürk Güzel, Bilge Karaçalı, pages 231 – 234. Show abstract
• Utilizing an ensemble of SVMs with GMM voting-based mechanism in predicting dangerous seismic events in active coal mines
  122 Łukasz Podlodowski, pages 235 – 238. Show abstract
• Predicting Dangerous Seismic Activity with Recurrent Neural Networks
  134 Karol Kurach, Krzysztof Pawłowski, pages 239 – 243. Show abstract
• Automatic Feature Engineering for Prediction of Dangerous Seismic Activities in Coal Mines
  152 Eftim Zdravevski, Petre Lameski, Andrea Kulakov, pages 245 – 248. Show abstract
• Application of RapidMiner and R Environments to Dangerous Seismic Events Prediction
  188 Marcin Michalak, Katarzyna Dusza, Dominik Korda, Krzysztof Kozłowski, Bartłomiej Szwej, Michał Kozielski, Marek Sikora, Łukasz Wróbel, pages 249 – 252. Show abstract

2nd International Workshop on Artificial Intelligence in Machine Vision and Graphics

• Face Occlusion Detection Using Skin Color Ratio and LBP Features for Intelligent Video Surveillance Systems
  508 Pengfei Ji, Yonghwa Kim, Yong Yang, Yoo-Sung Kim, pages 253 – 259. Show abstract
• Caption-guided patent image segmentation
  541 Urszula Markowska-Kaczmar, Jerzy Sas, Anastasia Moumtzidou, pages 261 – 270. Show abstract
• Using Spatial Pooler of Hierarchical Temporal Memory for object classification in noisy video streams
  133 Maciej Wielgosz, Marcin Pietroń, Kazimierz Wiatr, pages 271 – 274. Show abstract

6th International Workshop on Artificial Intelligence in Medical Applications

• Customized Web-based System for Elderly People Using Elements of Artificial Intelligence
  165 Frantisek Babic, Adrián Jančuš, Katarína Melišová, pages 277 – 280. Show abstract
• The new method of the selection of features for the k-NN classifier in the arteriovenous fistula state estimation
  244 Marcin Grochowina, Lucyna Leniowska, pages 281 – 285. Show abstract
• Automatic Keyword Extraction from Medical and Healthcare Curriculum
  156 Martin Komenda, Matěj Karolyi, Andrea Pokorná, Martin Víta, Vincent Kríž, pages 287 – 290. Show abstract
• HD: Efficient Hand Detection and Tracking
  445 Joanna Isabelle Olszewska, Cleveland Rouge, Sohil Shaikh, pages 291 – 297. Show abstract
• Random Forest Feature Selection for Data Coming from Evaluation Sheets of Subjects with ASDs
  274 Krzysztof Pancerz, Wiesław Paja, Jerzy Gomuła, pages 299 – 302. Show abstract
• A Conception of Pairwise Comparisons Model for Selection of Appropriate Body Surface Area Calculation Formula
  146 Grzegorz Redlarski, Waldemar W. Koczkodaj, Marek Krawczuk, Janusz Siebert, Katarzyna E. Mrozik, Aleksander Palkowski, Piotr M Tojza, pages 303 – 308. Show abstract
• Leukocyte subtypes classification by means of image processing
  80 Oleg Ryabchykov, Anuradha Ramoji, Thomas Bocklitz, Martin Foerster, Stefan Hagel, Claus Kroegel, Michael Bauer, Ute Neugebauer, Juergen Popp, pages 309 – 316. Show abstract
• Random Subspace Ensemble Artificial Neural Networks for First-episode Schizophrenia Classification
  333 Roman Vyškovský, Daniel Schwarz, Eva Janoušová, Tomáš Kašpárek, pages 317 – 321. Show abstract
• Supervised and Unsupervised Machine Learning for Improved Identification of Intrauterine Growth Restriction Types
  515 Agnieszka Wosiak, Agata Zamecznik, Katarzyna Niewiadomska-Jarosik, pages 323 – 329. Show abstract
• Reliability Estimation of Healthcare Systems using Fuzzy Decision Trees
  150 Elena Zaitseva, Vitaly Levashenko, Miroslav Kvassay, Thomas M. Deserno, pages 331 – 340. Show abstract

1st International Workshop on AI aspects of Reasoning, Information, and Memory

• From Discourse Representation Structure to Event Semantics: A Simple Conversion?
  440 Daniel Dakota, Sandra Kübler, pages 343 – 352. Show abstract
• A connectionist approach to abductive problems: employing a learning algorithm
  484 Andrzej Gajda, Adam Kupś, Mariusz Urbański, pages 353 – 362. Show abstract
• On algebraic hierarchies in mathematical repository of Mizar
  520 Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller, pages 363 – 371. Show abstract
• Tarski's geometry modelled in Mizar computerized proof assistant
  290 Adam Grabowski, pages 373 – 381. Show abstract
• Modeling Co-Verbal Gesture Perception in Type Theory with Records
  83 Andy Lücking, pages 383 – 392. Show abstract
• Modeling conflicts between legal rules
  272 Tomasz Zurek, pages 393 – 402. Show abstract

6th International Workshop on Advances in Semantic Information Retrieval

• Game with a Purpose for Mappings Verification
  172 Tomasz Boiński, pages 405 – 409. Show abstract
• An Ontology-based Contextual Pre-filtering Technique for Recommender Systems
  428 Aleksandra Karpus, Iacopo Vagliano, Krzysztof Goczyła, Maurizio Morisio, pages 411 – 420. Show abstract
• Predicting Star Ratings based on Annotated Reviews of Mobile Apps
  141 Dagmar Monett, Hermann Stolte, pages 421 – 428. Show abstract
• Information Management for Travelers: Towards Better Route and Leisure Suggestion
  224 Evgeny Pyshkin, Boris Skripal, Alexander Chisler, Alexander Baratynskiy, pages 429 – 438. Show abstract
• Semantic Knowledge Extraction from Research Documents
  221 Rishabh Upadhyay, Akihiro Fujii, pages 439 – 445. Show abstract

6th International Workshop on Dealing with Spatial and Temporal Uncertainty and Imprecision

• Uncertainty of Spatial Disaggregation Procedures: Conditional Autoregressive Versus Geostatistical Models
  539 Joanna Horabik-Pyzel, Zbigniew Nahorski, pages 449 – 457. Show abstract
• Estimation of Temporal Uncertainty Structure of Greenhouse Gas Inventories for Selected EU Countries
  318 Jolanta Jarnicka, Zbigniew Nahorski, pages 459 – 465. Show abstract
• Underwater Acoustic Communications in Time-Varying Dispersive Channels
  412 Iwona Kochańska, Jan Schmidt, Mariusz Rudnicki, pages 467 – 474. Show abstract

1st International Workshop on Language Technologies and Applications

• First Automatic Fongbe Continuous Speech Recognition System: Development of Acoustic Models and Language Models
  153 Fréjus Laleye, Laurent Besacier, Eugène C. Ezin, Cina Motamed, pages 477 – 482. Show abstract
• Comparative Study of Multi-stage Classification Scheme for Recognition of Lithuanian Speech Emotions
  316 Tatjana Liogiene, Gintautas Tamulevičius, pages 483 – 486. Show abstract
• Neuro-heuristic voice recognition
  128 Dawid Połap, pages 487 – 490. Show abstract
• Web Services Ontology Population through Text Classification
  332 José A. Reyes-Ortiz, Maricela Bravo, Hugo Pablo, pages 491 – 495. Show abstract
• A Real-Time Audio Compression Technique Based on Fast Wavelet Filtering and Encoding
  296 Nella Romano, Antony Scivoletto, Dawid Połap, pages 497 – 502. Show abstract
• Supercombinator Set Construction from a Context-Free Representation of Text
  334 Michal Sičák, Ján Kollár, pages 503 – 512. Show abstract
• Word2vec Based System for Recognizing Partial Textual Entailment
  419 Martin Víta, Vincent Kríž, pages 513 – 516. Show abstract
• Exploration for Polish-* bi-lingual translation equivalents from comparable and quasi-comparable corpora.
  304 Krzysztof Wołk, Krzysztof Marasek, Agnieszka Wołk, pages 517 – 525. Show abstract
• Towards increasing F-measure of approximate string matching in O(1) complexity
  311 Adrian Boguszewski, Julian Szymański, Karol Draszawka, pages 527 – 532. Show abstract
• Grammatical Case Based IS-A Relation Extraction with Boosting for Polish
  391 Paweł Łoziński, Dariusz Czerski, Mieczysław Kłopotek, pages 533 – 540. Show abstract

9th International Workshop on Computational Optimization

• Computational Optimizations in wildland fires for Bulgarian test cases
  459 Nina Dobrinkova, pages 543 – 546. Show abstract
• InterCriteria Analysis of ACO Start Startegies
  137 Stefka Fidanova, Olympia Roeva, Pawel Gepner, Marcin Paprzycki, pages 547 – 550. Show abstract
• Partitioning the Data Domain of Combinatorial Problems for Sequential Optimization
  19 Christian Hinrichs, Joerg Bremer, Sönke Martens, Michael Sonnenschein, pages 551 – 559. Show abstract
• Heuristics for Job Scheduling Reoptimization
  201 Elad Iwanir, Tami Tamir, pages 561 – 570. Show abstract
• Evaluation of selected fuzzy particle swarm optimization algorithms
  206 Tomasz Krzeszowski, Krzysztof Wiktorowicz, pages 571 – 575. Show abstract
• Minimizing the Number of Late Multi-Task Jobs on Identical Machines in Parallel
  441 Lingxiang Li, Haibing Li, Hairong Zhao, pages 577 – 584. Show abstract
• A new polynomial class of cluster deletion problem
  273 Sabrine Malek, Wady Naanaa, pages 585 – 590. Show abstract
• A New Approach to the Discretization of Multidimensional Scaling
  213 Antonio Mucherino, Warley Gramacho, Jung-Hsin Lin, Carlile Lavor, pages 591 – 599. Show abstract
• A Concept of Automatic Tuning of Longwall Scraper Conveyor Model
  258 Piotr Przystałka, Andrzej Katunin, pages 601 – 604. Show abstract
• Facility Location Models for Vehicle Sharing Systems
  10 Alain Quiliot, Antoine Sarbinowski, pages 605 – 608. Show abstract
• Formulation and Practical Solution for the Optimization of Memory Accesses in Embedded Vision Systems
  124 Khadija Hadj Salem, Yann Kieffer, Stéphane Mancini, pages 609 – 617. Show abstract
• Heuristic Optimization for the Resource Constrained Project Scheduling Problem: a Systematic Mapping
  389 Aurelia Ciupe, Serban Meza, Bogdan Orza, pages 619 – 626. Show abstract
• Minimizing Total Completion Time in Flowshop with Availability Constraint on the First Machine
  447 Hairong Zhao, Yumei Huo, pages 627 – 635. Show abstract

Computer Science & Systems

1st International Workshop on Advances in Image Processing and Colorization

• An Image Steganography Algorithm using Haar Discrete Wavelet Transform with Advanced Encryption System
  521 Essam H. Houssein, Mona A. S. Ali, Aboul Ella Hassanien, pages 641 – 644. Show abstract
• Optimizing the parameters of Sugeno based adaptive neuro fuzzy using artificial bee colony: A Case study on predicting the wind speed
  516 Fatma Helmy Ismail, Mohamed Abdel Aziz, Aboul Ella Hassanien, pages 645 – 651. Show abstract

9th Computer Aspects of Numerical Algorithms

• Parallelizing nested loops on the Intel Xeon Phi on the example of the dense WZ factorization
  436 Jarosław Bylina, Beata Bylina, pages 655 – 664. Show abstract
• Data Structures for Markov Chain Transition Matrices on Intel Xeon Phi
  345 Beata Bylina, Joanna Potiopa, pages 665 – 668. Show abstract
• Block Subspace Projection PCG Method for Solution of Natural Vibration Problem in Structural Analysis
  88 Sergiy Fialko, Filip Żegleń, pages 669 – 672. Show abstract
• Error analysis for the first-order Gaussian recursive filter operator
  455 Ardelio Galletti, Giulio Giunta, pages 673 – 678. Show abstract
• Acceleration of image reconstruction in 3D Electrical Capacitance Tomography in heterogeneous, multi-GPU system using sparse matrix computations and Finite Element Method
  344 Paweł Kapusta, Michał Majchrowicz, Dominik Sankowski, Lidia Jackowska-Strumiłło, pages 679 – 683. Show abstract
• Influence of Locality on the Scalability of Method-and System-Parallel Explicit Peer Methods
  464 Matthias Korch, Thomas Rauber, Matthias Stachowski, Tim Werner, pages 685 – 694. Show abstract
• Block Iterators for Sparse Matrices
  35 Daniel Langr, Ivan Šimeček, Tomáš Dytrych, pages 695 – 704. Show abstract
• An Iteration Space Visualizer for Polyhedral Loop Transformations in Numerical Programming
  48 Marek Palkowski, Wlodzimierz Bielecki, pages 705 – 708. Show abstract
• Efficient parallel evaluation of block properties of sparse matrices
  366 Ivan Šimeček, Daniel Langr, pages 709 – 716. Show abstract

1st Workshop on Constraint Programming and Operation Research Applications

• Combinatorial Portfolio Selection with the ELECTRE III method: Case study of the Stock Exchange of Thailand (SET)
  228 Veera Boonjing, Laor Boongasame, pages 719 – 724. Show abstract
• Towards solving heterogeneous fleet vehicle routing problem with time windows and additional constraints: real use case study
  317 Krzysztof Bruniecki, Andrzej Chybicki, Marek Moszyński, Mateusz Bonecki, pages 725 – 728. Show abstract
• Risk-based estimation of manufacturing order costs with artificial intelligence
  323 Grzegorz Kłosowski, Arkadiusz Gola, pages 729 – 732. Show abstract
• A declarative decision support framework for scheduling groups of orders
  38 Jarosław Wikarek, Krzysztof Bzdyra, pages 733 – 740. Show abstract

3rd International Workshop on Cyber-Physical Systems

• Situational Awareness Network for the Electric Power System: the Architecture and Testing Metrics
  50 Damiano Bolzoni, Rafał Leszczyna, Michał R. Wróbel, pages 743 – 749. Show abstract
• Comparison of Network Architectures for a Telemetry System in the Solar Car Project
  481 Cody R. Barnes, Ethan G. Toney, Jerzy Jaromczyk, pages 751 – 755. Show abstract
• Method for Approaching the Cyber-Physical Systems
  24 Tiberiu S. Letia, Attila O. Kilyen, pages 757 – 766. Show abstract
• Cyber Security Impact on Power Grid Including Nuclear Plant
  164 Yannis Soupionis, Roberta Piccinelli, Thierry Benoist, pages 767 – 773. Show abstract

9th International Symposium on Multimedia Applications and Processing

• An application of the supervoxel-based Fuzzy C-Means with a GPU support to segmentation of volumetric brain images.
  36 Anna Fabijańska, Jarosław Gocławski, pages 777 – 785. Show abstract
• A compact deep convolutional neural network architecture for video based age and gender estimation
  472 Bartłomiej Hebda, Tomasz Kryjak, pages 787 – 790. Show abstract
• Quality Metric for Shadow Rendering
  494 Krzysztof Kluczek, pages 791 – 796. Show abstract
• Using formant frequencies to word detection in recorded speech
  518 Łukasz Laszko, pages 797 – 801. Show abstract
• An Improvement of Just Noticeable Color Difference Estimation
  6 Kuo-Cheng Liu, pages 803 – 806. Show abstract
• Content Based Image Retrieval using Query by Approximate Shape
  233 Stanisław Deniziak, Tomasz Michno, pages 807 – 816. Show abstract
• Studying the influence of object size on the range of distance measurement in the new Depth From Defocus method
  136 Krzysztof Murawski, Artur Arciuch, Tadeusz Pustelny, pages 817 – 822. Show abstract
• Secret key agreement based on a communication through wireless MIMO-based fading channels
  85 Guillermo Morales-Luna, Victor Yakovlev, Valery Korzhik, Pavel Mylnikov, pages 823 – 830. Show abstract
• Evaluation of an Optimized K-Means Algorithm Based on Real Data
  231 Cosmin Marian Poteraş, Mihai Mocanu, pages 831 – 835. Show abstract
• Automatic Mapping of MySQL Databases to NoSQL MongoDB
  45 Liana Stanescu, Marius Brezovan, Dumitru Dan Burdescu, pages 837 – 840. Show abstract
• Real-Time Implementation of a DC Servomotor Actuator with unknown uncertainty using a Sliding Mode Observer
  95 Nicolae Tudoroiu, Roxana-Elena Tudoroiu, Wilhelm Kecs, Maria Dobritoiu, Nicolae Ilias, Stelian-Valentin Casavela, pages 841 – 848. Show abstract
• Toward adaptive heuristic video frames capturing and correction in real-time
  143 Marcin Woźniak, Dawid Połap, Giacomo Capizzi, Grazia Lo Sciuto, pages 849 – 852. Show abstract

8th Workshop on Scalable Computing

• Modeling energy consumption of parallel applications
  308 Paweł Czarnul, Jarosław Kuchta, Paweł Rościszewski, Jerzy Proficz, pages 855 – 864. Show abstract
• Efficient parallel execution of genetic algorithms on Epiphany manycore processor
  255 Łukasz Faber, Krzysztof Boryczko, pages 865 – 872. Show abstract
• An Overview of Cloud Interoperability
  463 Magdalena Kostoska, Marjan Gusev, Sasko Ristov, pages 873 – 876. Show abstract
• The Column-oriented Data Store Performance Considerations
  486 Artur Nowosielski, Piotr Andrzej Kowalski, Piotr Kulczycki, pages 877 – 881. Show abstract
• Big Data Techniques, Systems, Applications, and Platforms: Case Studies from Academia
  91 Atanas Radenski, Todor Gurov, Kalinka Kaloyanova, Nikolay Kirov, Maria Nisheva, Peter Stanchev, Eugenia Stoimenova, pages 883 – 888. Show abstract
• Superlinear Speedup in HPC Systems: why and when?
  498 Sasko Ristov, Radu Prodan, Marjan Gusev, Karolj Skala, pages 889 – 898. Show abstract

Education, Curricula & Research Methods

1st International E-education Symposium—Education of the Future

• A blended learning model for practical sessions
  432 Nuno Barreiro, Carlos Matos, pages 903 – 912. Show abstract
• Pitfalls of E-education: from multimedia to digital dementia?
  356 R. Robert Gajewski, pages 913 – 920. Show abstract
• Semiotic Training for Brain-Computer Interfaces
  75 Mariya Timofeeva, pages 921 – 925. Show abstract
• The synthesis of a unified pedagogy for the design and evaluation of e-learning software for high-school computing
  159 Peter Yiatrou, Irene Polycarpou, Janet Read, Maria Zeniou, pages 927 – 931. Show abstract

3rd Doctoral Symposium on Recent Advances in Information Technology

• Improving precision and accuracy of DTI experiments with the simplified BSD calibration – computer simulations
  403 Karol Borkowski, Artur Krzyżak, pages 935 – 938. Show abstract
• The matrix-based description approach for the multistage differential-algebraic processes
  493 Paweł Drąg, Krystyn Styczeń, pages 939 – 942. Show abstract
• Approximation of the actual spatial distribution of the b-matrix in diffusion tensor imaging with bivariate polynomials
  457 Krzysztof Kłodowski, Piotr Łukasik, Artur Krzyżak, pages 943 – 946. Show abstract
• Multilayer perceptron for gait type classification based on inertial sensors data
  265 Damian Szczepański, pages 947 – 950. Show abstract
• Mathematical model of the VAG gas valve identification algorithms
  225 Adam Trojnar, Piotr Ostalczyk, pages 951 – 954. Show abstract
• Determination of the quality of results obtained by various numerical methods for BSD.
  458 Piotr Łukasik, Artur Krzyżak, Krzysztof Janc, pages 955 – 958. Show abstract

4th International Conference on Innovative Network Systems and Applications

• Crowdsourcing based terminal positioning using multidimensional data clustering and interpolation
  337 Noureddine Boujnah, Piotr Korbel, pages 961 – 967. Show abstract
• Highly customizable framework for performance evaluation of LOOM-based SDN controllers
  398 Szymon Mentel, Marek Konieczny, Sławomir Zieliński, pages 969 – 977. Show abstract

3rd Workshop on Emerging Aspects in Information Security

• Developing malware evaluation infrastructure
  490 Krzysztof Cabaj, Piotr Gawkowski, Konrad Grochowski, Amadeusz Kosik, pages 981 – 989. Show abstract
• Pseudo-random Sequence Generation from Elliptic Curves over a Finite Field of Characteristic 2
  94 Omar Reyad, Zbigniew Kotulski, pages 991 – 998. Show abstract
• An initial insight into Information Security Risk Assessment practices
  158 Gaute Wangen, pages 999 – 1008. Show abstract

5th International Symposium on Frontiers in Network Applications, Network Systems and Web Services

• IoT gateway – implementation proposal based on Arduino board
  283 Artur Grygoruk, Jarosław Legierski, pages 1011 – 1014. Show abstract
• Time-Dependent Queue-Size Distribution in a Finite-Buffer Model with Server Setup Times
  194 Wojciech M. Kempa, Dariusz Kurzyk, pages 1015 – 1019. Show abstract
• A new authentication management model oriented on user’s experience
  219 Mariusz Sepczuk, Zbigniew Kotulski, pages 1021 – 1030. Show abstract
• On Constructing Persistent Identifiers with Persistent Resolution Targets
  87 Oliver Wannenwetsch, Tim Alexander Majchrzak, pages 1031 – 1040. Show abstract

5th International Conference on Wireless Sensor Networks

• Calculating the Speed of Vehicles Using Wireless Sensor Networks
  511 Omar Alfandi, Arne Bochem, Alberto Rivera Díaz, Mehdi Akbari Gurabi, Md.Istiak Mehedi, Dieter Hogrefe, pages 1043 – 1047. Show abstract
• Modelling and evaluation of a multi-tag LED-ID platform
  89 Grzegorz Blinowski, Adrianna Kmieciak, pages 1049 – 1056. Show abstract
• Accurate Event Detection and Velocity Estimation in Wireless Environments
  202 Falk Brockmann, Sascha Jungen, Chia Yen Shih, Marcus Handte, Pedro José Marrón, pages 1057 – 1066. Show abstract
• RF-Tania protocol and system architecture for location based sensor measurements
  154 Sotirios Kontogiannis, Soultana Ellinidou, George Kokkonis, pages 1067 – 1074. Show abstract
• Comparison of MANET self-organization methods for boundary detection/tracking of heavy gas cloud
  240 Mateusz Krzysztoń, pages 1075 – 1084. Show abstract
• Mobile sensor elements based on robotic platform YROBOT
  286 Juraj Miček, Ondrej Karpiš, Veronika Olešnaníková, pages 1085 – 1088. Show abstract
• Unicast Routing on VANETs
  262 Boubakeur Moussaoui, Hacené Fouchal, Marwane Ayaida, Salah Merniz, pages 1089 – 1092. Show abstract
• Case-study of Localization via WSN Using Distributed Compressed Sensing
  567 Veronika Olešnaníková, Michal Kochláň, Róbert Žalman, pages 1093 – 1096. Show abstract
• Uniform Inbuilt Wireless Sensor Node for Working Conditions Monitoring
  386 Denis Spiryakin, Alexander Baranov, pages 1097 – 1102. Show abstract
• Using wireless acceleration sensor for system identification
  592 Peter Šarafín, Juraj Miček, Jana Milanová, pages 1103 – 1106. Show abstract
• The multi-topology converter for the solar panel
  576 Samuel Žák, Peter Šarafín, Peter Ševčík, pages 1107 – 1110. Show abstract

Information Technology for Management, Business & Society

7th International Workshop on Advances in Business ICT

• Overview of Time Issues with Temporal Logics for Business Process Models
  328 Krzysztof Kluza, Krystian Jobczyk, Piotr Wiśniewski, Antoni Ligęza, pages 1115 – 1123. Show abstract
• Applying simulations: On the importance of the simulation performance.
  33 Bernd Pfitzinger, Tommy Baumann, Dragan Maćoš, Thomas Jestädt, pages 1125 – 1128. Show abstract
• Effects transformation company computer system to cloud computing services – change company management
  338 Milena Tvrdiková, pages 1129 – 1132. Show abstract
• Knowledge Gained from Twitter Data
  149 Wiesław Wolny, pages 1133 – 1136. Show abstract

14th Conference on Advanced Information Technologies for Management

• Analysis of users of computer games
  313 Witold Chmielarz, Oskar Szumski, pages 1139 – 1146. Show abstract
• An Intelligent Context-aware System for Logistics Asset Supervision Service
  310 Fan Feng, Yusong Pang, Gabriel Lodewijks, pages 1147 – 1152. Show abstract
• Towards Paired Transactions Modeling
  145 Frantisek Hunka, Jiří Matula, pages 1153 – 1158. Show abstract
• Comprehensive Methods of Evaluation and Project Efficiency Account
  118 Anna Kaczorowska, Jolanta Słoniec, Sabina Motyka, pages 1159 – 1168. Show abstract
• Fundamental analysis in the multi-agent trading system
  238 Jerzy Korczak, Marcin Hernes, Maciej Bac, pages 1169 – 1174. Show abstract
• Process Mining Methodology in Industrial Environment: Document Flow Analysis
  456 Paweł Markowski, Michał Przybyłek, pages 1175 – 1178. Show abstract
• Project Communication Management Patterns
  235 Karolina Muszyńska, pages 1179 – 1188. Show abstract
• Integrating Semantic Web Services into Financial Decision Support Process
  99 Ilona Pawełoszek, pages 1189 – 1198. Show abstract
• Business Process Optimization with Big Data Analytics Under Consideration of Privacy
  542 Silva Robak, Bogdan Franczyk, Marcin Robak, pages 1199 – 1204. Show abstract
• User specific privacy policies for collaborative BPaaS on the example of logistics
  400 Björn Schwarzbach, Michael Glöckner, Arkadius Schier, Marcin Robak, Bogdan Franczyk, pages 1205 – 1213. Show abstract
• A declarative decision support framework for supply chain problems
  39 Paweł Sitek, pages 1215 – 1222. Show abstract
• Solving the k -Centre Problem as a method for supporting the Park and Ride facilities location decision
  300 Bartosz Prokop, Jan Owsiński, Krzysztof Sęp, Piotr Sapiecha, pages 1223 – 1228. Show abstract
• Gamification in Enterprise Information Systems: What, Why and How
  460 Jakub Swacha, pages 1229 – 1233. Show abstract
• MCDA-based Decision Support System for Sustainable Management – RES Case Study
  489 Jarosław Wątróbski, Paweł Ziemba, Waldemar Wolski, pages 1235 – 1239. Show abstract

11th Conference on Information Systems Management

• Critical success factors for ERP implementation in SMEs
  37 Prodromos Chatzoglou, Dimitrios Chatzoudes, Leonidas Fragidis, Symeon Symeonidis, pages 1243 – 1252. Show abstract
• Antecedents and outcomes of ERP implementation success
  1 Prodromos Chatzoglou, Dimitrios Chatzoudes, Georgia Apostolopoulou, pages 1253 – 1262. Show abstract
• Attempt to Extend Knowledge of Decision Support Systems for Small and Medium-Sized Enterprises
  181 Helena Dudycz, Jerzy Korczak, Bartłomiej Nita, Piotr Oleksyk, Adrian Kaźmierczak, pages 1263 – 1271. Show abstract
• Information and Communication Technologies for Supporting Prosumers Knowledge Sharing – Evidence from Poland and United Kingdom
  285 Ewa Ziemba, Monika Eisenbardt, Roisin Mullins, pages 1273 – 1282. Show abstract
• Knowledge integration in multi-agent decision support system for financial e-services
  216 Marcin Hernes, Jadwiga Sobieska-Karpińska, pages 1283 – 1287. Show abstract
• The Role of Polish Crowdfunding Platforms in Film Productions – an Exploratory Study
  236 Paweł Kossecki, Urszula Świerczyńska-Kaczor, pages 1289 – 1296. Show abstract
• SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0
  478 Christian Leyh, Thomas Schäffer, Katja Bley, Sven Forstenhäusler, pages 1297 – 1302. Show abstract
• Maturity of IT systems supporting communication processes in HCM in a modern organization
  330 Andrzej Sołtysik, pages 1303 – 1307. Show abstract
• An Information Security Framework for Ubiquitous Services in eGovernment Structures: A Peruvian Local Government Experience
  72 Manuel Tupia, Mariuxi Bruzza, Flavio Rodriguez, pages 1309 – 1316. Show abstract
• PEQUAL - E-commerce websites quality evaluation methodology
  469 Jarosław Wątróbski, Paweł Ziemba, Jarosław Jankowski, Waldemar Wolski, pages 1317 – 1327. Show abstract
• Aspects of Mobility in e-Marketing from the Perspective of a Customer
  112 Marek Zborowski, Witold Chmielarz, pages 1329 – 1333. Show abstract
• The Role of ICT Solutions In the Intelligent Enterprise Business Activity
  534 Monika Łobaziewicz, pages 1335 – 1340. Show abstract

22nd Conference on Knowledge Acquisition and Management

• Knowledge Acquisition at the Time of Big Data
  001 Francis Rousseaux, Stéphane Cormier, pages 1343 – 1348. Show abstract
• Churn Detection and Prediction in Automotive Supply Industry
  245 Hasan Can Karapınar, Ayca Altay, Gülgün Kayakutlu, pages 1349 – 1354. Show abstract
• Spreadsheet-Based Business Process Modeling
  376 Krzysztof Kluza, Piotr Wiśniewski, pages 1355 – 1358. Show abstract
• Towards Rule-based Pattern Perspective for BPMN 2.0 Business Process Models
  324 Krzysztof Kluza, Grzegorz J. Nalepa, pages 1359 – 1364. Show abstract
• Concept of the urban knowledge. A case of Poland.
  234 Katarzyna Marciniak, pages 1365 – 1368. Show abstract
• Knowledge Management and Risk Management
  555 Eunika Mercier-Laurent, pages 1369 – 1373. Show abstract
• QtBiVis: a software toolbox for visual analysis of biclustering experiment
  129 Artur Pańszczyk, Patryk Orzechowski, pages 1375 – 1378. Show abstract
• Hard lessons learned: delivering usability in IT projects
  20 Krzysztof Redlarski, Paweł Weichbroth, pages 1379 – 1382. Show abstract
• Speculative Query Execution in Relational Databases with Graph Modelling.
  123 Anna Sasak-Okoń, pages 1383 – 1387. Show abstract
• Searching for information and making purchase decisions in b2b online stores. The case of the technical articles wholesale
  314 Łukasz Wiechetek, Mieczysław Pawłowski, pages 1389 – 1396. Show abstract
• Evaluating Business Success Through Social Media Strategies Using AHP
  269 Mervegül Toğlukdemir, Elif Tuygan, Hasan Efe Yeşil, Gülgün Kayakutlu, pages 1397 – 1401. Show abstract

2nd International Workshop on Ubiquitous Home Healthcare

• Smart Glasses: A semantic fisheye view on tiled user interfaces
  495 Ilyasse Belkacem, Isabelle Pecci, Benoît Martin, pages 1405 – 1408. Show abstract
• Cardiovascular data analysis using electronic wearable eyeglasses – preliminary study
  512 Adam Bujnowski, Jacek Ruminski, Mariusz Kaczmarek, Krzysztof Czuszynski, Piotr Przystup, pages 1409 – 1412. Show abstract
• Accuracy analysis of the RSSI BLE SensorTag signal for indoor localization purposes
  501 Mariusz Kaczmarek, Jacek Ruminski, Adam Bujnowski, pages 1413 – 1416. Show abstract
• Enhanced Eye-Tracking Data: a Dual Sensor System for Smart Glasses Applications
  538 Pawel Krzyzanowski, Tomasz Kocejko, Jacek Ruminski, Adam Bujnowski, pages 1417 – 1422. Show abstract
• Medical Simulation Center as a Model for Testing M-Health Concepts in Prehospital Emergency Medicine
  540 Bibiana Metelmann, Camilla Metelmann, pages 1423 – 1426. Show abstract
• Estimation of blood pressure parameters using ex-Gaussian model
  525 Artur Poliński, Tomasz Kocejko, pages 1427 – 1430. Show abstract
• Estimation of respiration rate using an accelerometer and thermal camera in eGlasses
  329 Jacek Ruminski, Adam Bujnowski, Krzysztof Czuszynski, Tomasz Kocejko, pages 1431 – 1434. Show abstract
• SARF: Smart Activity Recognition Framework in Ambient Assisted Living
  132 Samaneh Zolfaghari, Mohammad Reza Keyvanpour, pages 1435 – 1443. Show abstract

Joint Agent-oriented Workshops in Synergy

10th International Workshop on Multi-Agent Systems and Simulations

• Agent-oriented Modeling and Simulation of IoT Networks
  359 Giancarlo Fortino, Wilma Russo, Claudio Savaglio, pages 1449 – 1452. Show abstract
• Modelling Group Constructions for Social Analysis
  547 Rubén Fuentes-Fernández, Daniela Xavier, pages 1453 – 1460. Show abstract
• Token-based Autonomous Task Allocation in Flocking Systems
  424 András Kőkuti, Vilmos Simon, Bernát Wiandt, pages 1461 – 1466. Show abstract
• Simulating the Fractional Reserve Banking using Agent-based Modelling with NetLogo
  373 Dagmar Monett, Jesus Emeterio Navarro-Barrientos, pages 1467 – 1470. Show abstract
• Self-Organizing Redistribution of Bicycles in a Bike-Sharing System based on Decentralized Control
  126 Thomas Preisler, Tim Dethlefs, Wolfgang Renz, pages 1471 – 1480. Show abstract
• Run-time Injection of Norms in Simulated Smart Environments
  549 Patrizia Ribino, Carmelo Lodato, Antonella Cavaleri, Massimo Cossentino, pages 1481 – 1490. Show abstract
• Simulation Goals and Metrics Identification
  506 Valeria Seidita, Patrizia Ribino, Massimo Cossentino, Carmelo Lodato, pages 1491 – 1494. Show abstract
• Simulating Large-scale Aggregate MASs with Alchemist and Scala
  407 Mirko Viroli, Roberto Casadei, Danilo Pianini, pages 1495 – 1504. Show abstract

4th International Workshop on Smart Energy Networks & Multi-Agent Systems

• The EOM: An Adaptive Energy Option, State and Assessment Model for Open Hybrid Energy Systems
  392 Christian Derksen, Rainer Unland, pages 1507 – 1515. Show abstract
• Local Soft Constraints in Distributed Energy Scheduling
  76 Astrid Nieße, Michael Sonnenschein, Christian Hinrichs, Joerg Bremer, pages 1517 – 1525. Show abstract

Software Systems Development & Applications

1st Symposium on Balancing Traditional and Modern Software Process Approaches

• Using ESSENCE ALPHAs in a CMMI level 5 software development organization
  430 Miguel Ehécatl Morales-Trujillo, Hanna Oktaba, María Julia Orozco, pages 1531 – 1538. Show abstract
• Adopting collaborative games into Open Kanban
  509 Adam Przybyłek, Marcin Olszewski, pages 1539 – 1543. Show abstract
• Towards the participant observation of emotions in software developers teams
  212 Michał R. Wróbel, pages 1545 – 1548. Show abstract
• AgileSafe – a method of introducing agile practices into safety-critical software development processes
  360 Katarzyna Łukasiewicz, Janusz Górski, pages 1549 – 1552. Show abstract

4th Workshop on Model Driven Approaches in System Development

• Interoperability of MAS DSMLs via horizontal model transformations
  196 Emine Bircan, Moharram Challenger, Geylani Kardaş, pages 1555 – 1564. Show abstract
• Development of Human-friendly Notation for XML-based Languages
  530 Sergej Chodarev, pages 1565 – 1571. Show abstract
• Preliminary Report on Empirical Study of Repeated Fragments in Internal Documentation
  524 Milan Nosáľ, Jaroslav Porubän, pages 1573 – 1576. Show abstract
• A Model-to-Model Transformation of a Generic Relational Database Schema into a Form Type Data Model
  408 Sonja Ristić, Slavica Kordić, Milan Čeliković, Vladimir Dimitrieski, Ivan Luković, pages 1577 – 1580. Show abstract
• Towards OntoUML for Software Engineering: Transformation of Rigid Sortal Types into Relational Databases
  250 Zdeněk Rybola, Robert Pergl, pages 1581 – 1591. Show abstract
• Applying Mutation Testing for Assessing Test Suites Quality at Model Level
  82 Joanna Strug, pages 1593 – 1596. Show abstract
• GRAD: A New Graph Drawing and Analysis Library
  299 Renata Vaderna, Igor Dejanović, Gordana Milosavljević, pages 1597 – 1602. Show abstract

4th Conference on Multimedia, Interaction, Design and Innovation

• Automatically Generated Landmark-enhanced Navigation Instructions for Blind Pedestrians
  135 Jan Balata, Zdenek Mikovec, Petr Bures, Eva Mulickova, pages 1605 – 1612. Show abstract
• Design of Crowdsourcing System for Analysis of Gravitational Flow using X-ray Visualization
  288 Ibrahim Jelliti, Andrzej Romanowski, Krzysztof Grudzień, pages 1613 – 1619. Show abstract
• Towards detecting programmers’ stress on the basis of keystroke dynamics
  263 Agata Kołakowska, pages 1621 – 1626. Show abstract
• APEOW: A Personal Persuasive Avatar for Encouraging Breaks in Office Work
  491 Przemysław Kucharski, Piotr Łuczak, Izabela Perenc, Tomasz Jaworski, Andrzej Romanowski, Mohammad Obaid, Paweł W. Woźniak, pages 1627 – 1630. Show abstract
• Limitations of Emotion Recognition in Software User Experience Evaluation Context
  535 Agnieszka Landowska, Jakub Miler, pages 1631 – 1640. Show abstract
• Virtual Sightseeing in Immersive 3D Visualization Lab
  227 Jacek Lebiedź, Mariusz Szwoch, pages 1641 – 1645. Show abstract
• Anticipated, Momentary, Episodic, Remembered: the many facets of User eXperience
  302 Patrizia Marti, Iolanda Iacono, pages 1647 – 1655. Show abstract
• Designing effective educational games - a case study of a project management game
  434 Jakub Miler, Agnieszka Landowska, pages 1657 – 1661. Show abstract
• Peepdeck: a dashboard for the distributed design studio
  504 Jesús Muñoz-Alcántara, Petr Kosnar, Mathias Funk, Panos Markopoulos, pages 1663 – 1670. Show abstract
• Simulation of Universal Design by a Functional Design Method and by Gamification of Building Information Modeling
  306 Jukka-Pekka Selin, Markku Rossi, pages 1671 – 1674. Show abstract
• Evaluation of Affective Intervention Process in Development of Affect-aware Educational Video Games
  529 Mariusz Szwoch, pages 1675 – 1679. Show abstract
• Eye-tracking Web Usability Research
  127 Paweł Weichbroth, Krzysztof Redlarski, Igor Garnik, pages 1681 – 1684. Show abstract
• Mouth features extraction for emotion classification
  390 Adam Wojciechowski, Robert Staniucha, pages 1685 – 1692. Show abstract
• Applications for investigating therapy progress of autistic children
  507 Agata Kołakowska, Agnieszka Landowska, Michał R. Wróbel, Dominika Zaremba, Dominika Czajak, Anna Anzulewicz, pages 1693 – 1697. Show abstract

The 36th IEEE Software Engineering Workshop

• Alvis models of safety critical systems state-base verification with nuXmv
  264 Jerzy Biernacki, pages 1701 – 1708. Show abstract
• Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs
  289 Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, pages 1709 – 1713. Show abstract
• A Development Process Based on Variability Modeling for Building Adaptive Software Architectures
  170 Ngoc-Tho Huynh, Maria-Teresa Segarra, Antoine Beugnard, pages 1715 – 1718. Show abstract
• Efficient Data-Race Detection with Dynamic Symbolic Execution
  117 Andreas Ibing, pages 1719 – 1726. Show abstract
• Managing Big Clones to Ease Evolution: Linux Kernel Example
  173 Kuldeep Kumar, Stan Jarzabek, Daniel Dan, pages 1727 – 1736. Show abstract
• ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
  404 Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz, pages 1737 – 1746. Show abstract