Proceedings of the 2013 Conference

Conference Keynote Papers

• A General Divide and Conquer Approach for Process Mining
  Wil M. P. van der Aalst, pages 1 – 10.
• Nonnegative Matrix Factorization and Its Application to Pattern Analysis and Text Mining
  Nonnegative Matrix Factorization; Correntropy; Principal Component Analyis; Face recognition Jacek M. Zurada, Tolga Ensari, Ehsan Hosseini Asl, Jan Chorowski, pages 11 – 16.

8th International Symposium Advances in Artificial Intelligence and Applications

• Underdetermined Blind Separation of an Unknown Number of Sources Based on Fourier Transform and Matrix Factorization
  Hybrid Intelligent Systems, Machine Learning, Real-world Applications of Intelligent Systems Ossama S. Alshabrawy, Mohamed E. Ghoneim, A. A. Salama, Aboul Ella Hassanien, pages 19 – 25.
• The Multiple Pheromone Ant Clustering Algorithm and its application to real world domains
  Applications in Bioinformatics, Data Mining, Evolutionary Computation, Knowledge Management, Machine Learning, Nature Inspired Methods, Real-world Applications of Intelligent Systems Jan Chircop, Christopher D. Buckingham, pages 27 – 34.
• Fuzziness in Partial Approximation Framework
  Approximate Reasoning Zoltán Ernő Csajbók, Tamás Mihálydeák, pages 35 – 41.
• Comparison of Selected Textural Features as Global Content-Based Descriptors of VHR Satellite Image – the EROS-A Study
  Wojciech Drzewiecki, Anna Wawrzaszek, Michał Krupiński, Sebastian Aleksandrowicz, Katarzyna Bernat, pages 43 – 49.
• On the computer certification of fuzzy numbers
  Fuzzy Modeling and Control, Knowledge Management Adam Grabowski, pages 51 – 54.
• Cardiac disorders detection approach based on local transfer function classifier
  Data Mining, Decision Support Systems, Neural Networks, Real-world Applications of Intelligent Systems Ahmed Hamdy, Nashwa El-Bendary, Ashraf Khodeir, Mohamed Mostafa M. Fouad, Aboul Ella Hassanien, Hesham Hefny, pages 55 – 61.
• A Human Inspired Collision Avoidance Strategy for Moving Agents
  Pejman Kamkarian, Henry Hexmoor, pages 63 – 67.
• Application of Ant-Colony Optimisation to Compute Diversified Entity Summarisation on Semantic Knowledge Graphs
  Witold Kosiński, Marcin Sydow, Tomasz Kuśmierczyk, Paweł Rembelski, pages 69 – 76.
• Semantic Tagging of Heterogeneous Data: Labeling Fire & Rescue Incidents with Threats
  Data Mining, Decision Support Systems, Knowledge Fusion and Integration, Knowledge Management, Machine Learning, Natural Language Processing, Real-world Applications of Intelligent Systems Adam Krasuski, Andrzej Janusz, pages 77 – 82.
• Combining One-Class Support Vector Machines for Microarray Classification
  Applications in Bioinformatics, Machine Learning Bartosz Krawczyk, pages 83 – 89.
• Flow-level Spam Modelling using separate data sources
  Data Mining, Decision Support Systems, Knowledge Fusion and Integration, Real-world Applications of Intelligent Systems Marcin Luckner, Robert Filasiak, pages 91 – 98.
• RBF ensemble based on reduction of DAG structure
  Machine Learning, Neural Networks Marcin Luckner, Karol Szyszko, pages 99 – 105.
• Recommender system for ground-level Ozone predictions in Kuwait
  Approximate Reasoning, Data Mining, Decision Support Systems, Granular Computing, Real-world Applications of Intelligent Systems Mahmood A. Mahmood, Eiman Tamah Al-Shammari, Nashwa El-Bendary, Aboul Ella Hassanien, Hesham A. Hefny, pages 107 – 110.
• Prediction of School Dropout Risk Group Using Neural Network Fuzzy ARTMAP
  Neural Networks Valquiria R. C. Martinho, Clodoaldo Nunes, Carlos Roberto Minussi, pages 111 – 114.
• Semantic Explorative Evaluation of Document Clustering Algorithms
  Applications in Bioinformatics, Data Mining, Hybrid Intelligent Systems, Knowledge Fusion and Integration, Knowledge Management, Natural Language Processing, Real-world Applications of Intelligent Systems Hung Son Nguyen, Sinh Hoa Nguyen, Wojciech Świeboda, pages 115 – 122.
• Vickrey-Clarke-Groves for privacy-preserving collaborative classification
  Data Mining Anastasia Panoui, Sangarapillai Lambotharan, Raphael C.-W. Phan, pages 123 – 128.
• dotRL: A platform for rapid Reinforcement Learning methods development and validation
  Bartosz Papis, Paweł Wawrzyński, pages 129 – 136.
• An Emotional Learning-inspired Ensemble Classifier (ELiEC)
  Mahboobeh Parsapoor, Urban Bilstrup, pages 137 – 141.
• Autonomous Input Management for Human Interaction-Oriented Systems Design
  Applications in Bioinformatics, Architectures of Intelligent Systems, Decision Support Systems, Knowledge Fusion and Integration, Machine Learning, Real-world Applications of Intelligent Systems, Robotics Michal Podpora, Aleksandra Kawala-Janik, Mary Kiernan, pages 143 – 144.
• Knowledge-based Named Entity Recognition in Polish
  Knowledge Fusion and Integration, Natural Language Processing Aleksander Pohl, pages 145 – 151.
• Tabu Search approach for Multi-Skill Resource-Constrained Project Scheduling Problem
  Real-world Applications of Intelligent Systems Marek E. Skowroński, Paweł B. Myszkowski, Marcin Adamski, Paweł Kwiatek, pages 153 – 158.
• Novel heuristic solutions for Multi-Skill Resource-Constrained Project Scheduling Problem
  Real-world Applications of Intelligent Systems Marek E. Skowroński, Paweł B. Myszkowski, Łukasz Podlodowski, pages 159 – 166.
• Object Tracking and Video Event Recognition with Fuzzy Semantic Petri Nets
  Piotr Szwed, Mateusz Komorkiewicz, pages 167 – 174.
• Collective Belief Revision in Linear Algebra
  Architectures of Intelligent Systems, Knowledge Fusion and Integration, Knowledge Management Satoshi Tojo, pages 175 – 178.
• Medical Decision Support System Architecture for Diagnosis of Down's Syndrome
  Architectures of Intelligent Systems, Decision Support Systems, Image Processing and Interpreting Hubert Wojtowicz, Jolanta Wojtowicz, Wojciech Kozioł, Wiesław Wajs, pages 179 – 182.
• An Investment Strategy for the Stock Exchange Using Neural Networks
  Antoni Wysocki, Maciej Ławryńczuk, pages 183 – 190.

3rd International Workshop on Artificial Intelligence in Medical Applications

• Automatic computer aided segmentation for liver and hepatic lesions using hybrid segmentations techniques
  Ahmed M. Anter, Ahmad Taher Azar, Aboul Ella Hassanien, Mohamed Abu ElSoud, Nashwa El Bendary, pages 193 – 198.
• An Improved Ant Colony System for Retinal Blood Vessel Segmentation
  Biomedical Applications Ahmed Hamza Asad, Ahmad Taher Azar, Mohamed Mostafa M. Fouad, Aboul Ella Hassanien, pages 199 – 205.
• Comparison of methods for hand gesture recognition based on Dynamic Time Warping algorithm
  Artificial Intelligence Techniques in Health Sciences, Biomedical Applications Katarzyna Barczewska, Aleksandra Drozd, pages 207 – 210.
• Designing multiple user perspectives and functionality for clinical decision support systems
  Applications of AI in Health Care and Surgery Systems, Artificial Intelligence Techniques in Health Sciences, Diagnoses and Therapy Support Systems, Knowledge Management of Medical Data, Medical Data- and Knowledge Bases, Medical Expert Systems, Ontology and Medical Information Christopher D. Buckingham, Abu Ahmed, Ann Adams, pages 211 – 218.
• Towards Determining Syntactic Complexity of Visual Stimuli Used in Art Therapy
  Diagnoses and Therapy Support Systems Bolesław Jaskuła, Jarosław Szkoła, Krzysztof Pancerz, pages 219 – 223.
• Simulating of Schistosomatidae (Trematoda: Digenea) Behavior by Physarum Spatial Logic
  Andrew Schumann, Ludmila Akimova, pages 225 – 230.
• A Fuzzy Logic Approach to The Evaluation of Health Risks Associated with Obesity
  Artificial Intelligence Techniques in Health Sciences, Data Mining and Knowledge Discovery in Medicine, Diagnoses and Therapy Support Systems Tadeusz Nawarycz, Krzysztof Pytel, Maciej Gazicki-Lipman, Wojciech Drygas, Lidia Ostrowska-Nawarycz, pages 231 – 234.
• Failure Analysis and Estimation of the Healthcare System
  Clinical Information Systems, Health Care Information Systems Elena Zaitseva, Jozef Kostolny, Miroslav Kvassay, Vitaly Levashenko, Krzysztof Pancerz, pages 235 – 240.

3rd International Workshop on Advances in Semantic Information Retrieval

• Information Retrieval Using an Ontological Web-Trading Model
  José-Andrés Asensio, Nicolás Padilla, Luis Iribarne, pages 243 – 249.
• Rhetorical Browzing in Journalistic Texts: Preliminary Investigations
  Domain-specific semantic applications., Natural language semantic processing., Searching and ranking. Patrice Enjalbert, Alexandre Labadié, Stéphane Ferrari, pages 251 – 256.
• Similarities in Spaces of Features and Concepts: Towards Semantic Evaluations
  Domain-specific semantic applications., Evaluation methodologies for semantic search and retrieval., Ontology for semantic information retrieval. Wladyslaw Homenda, Agnieszka Jastrzebska, pages 257 – 260.
• Antisocial Behavior Corpus for Harmful Language Detection
  Domain-specific semantic applications., Ontology for semantic information retrieval. Myriam Munezero, Maxim Mozgovoy, Tuomo Kakkonen, Vitaly Klyuev, Erkki Sutinen, pages 261 – 265.
• An Approach for Developing a Mobile Accessed Music Search Integration Platform
  Marina Purgina, Andrey Kuznetsov, Evgeny Pyshkin, pages 267 – 273.
• Evaluation of beef production and consumption ontology and presentation of its actual and potential applications
  Rafał Trójczak, Robert Trypuz, Przemysław Grądzki, Jerzy Wierzbicki, Alicja Woźniak, pages 275 – 278.
• Query Construction for Related Document Search Based on User Annotations
  Query interfaces., Searching and ranking. Jakub Ševcech, Mária Bieliková, pages 279 – 286.
• Ontology of architectural decisions supporting ATAM based assessment of SOA architectures
  Piotr Szwed, Paweł Skrzynski, Grzegorz Rogus, Jan Werewka, pages 287 – 290.

6th Workshop on Computational Optimization

• A quasi self-stabilizing algorithm for detecting fundamental cycles in a graph with DFS spanning tree given
  Halina Bielak, Michał Pańczyk, pages 293 – 297.
• Anticipation in the Dial-a-Ride Problem: an introduction to the robustness
  combinatorial optimization, computational optimization methods Samuel Deleplanque, Jean-Pierre Derutin, Alain Quilliot, pages 299 – 305.
• Multiple shooting SQP-line search algorithm for optimal control of pressure-constrained batch reactor
  computational optimization methods, large scale optimization Paweł Drąg, Krystyn Styczeń, pages 307 – 313.
• Bicriteria Fuzzy Optimization Location-Allocation Approach
  Santiago García-Carbajal, Belarmino Adenso-Díaz, Sebastián Lozano, pages 315 – 319.
• Branch and Price for Preemptive Resource Constrained Project Scheduling Problem Based on Interval Orders in Precedence Graphs
  Aziz Moukrim, Alain Quilliot, Hélène Toussaint, pages 321 – 328.
• A Beam Search Based Algorithm for the Capacitated Vehicle Routing Problem with Time Windows
  combinatorial optimization, computational optimization methods Hakim Akeb, Adel Bouchakhchoukha, Mhand Hifi, pages 329 – 336.
• Real life cable constraints in designing Passive Optical Network architecture
  large scale optimization, unconstrained and constrained optimization Stanislas Francfort, Cédric Hervet, Matthieu Chardy, Frédéric Moulis, pages 337 – 339.
• Energy-based Pruning Devices for the BP Algorithm applied to Distance Geometry
  Douglas Gonçalves, Antonio Mucherino, Carlile Lavor, pages 341 – 346.
• A Maximum Matching Based Heuristic Algorithm for Partial Latin Square Extension Problem
  combinatorial optimization, computational optimization methods, large scale optimization Kazuya Haraguchi, Masaki Ishigaki, Akira Maruoka, pages 347 – 354.
• Fair optimization with advanced aggregation operators in a multicriteria facility layout problem
  combinatorial optimization, multiobjective optimization, random search algorithms Jarosław Hurkała, Adam Hurkała, pages 355 – 362.
• Time dependent global optimization via Bayesian inference and Sequential Monte Carlo sampling
  computational optimization methods, global optimization, random search algorithms Piotr Kopka, Anna Wawrzynczak, Mieczyslaw Borysiewicz, pages 363 – 370.
• Influence of the Population Size on the Genetic Algorithm Performance in Case of Cultivation Process Modelling
  combinatorial optimization, computational optimization methods, global optimization, nature inspired optimization methods, random search algorithms Olympia Roeva, Stefka Fidanova, Marcin Paprzycki pages 371 – 376.
• Quadratic TSP: A lower bounding procedure and a column generation approach
  Borzou Rostami, Federico Malucelli, Pietro Belotti, Stefano Gualandi, pages 377 – 384.
• A hybrid method for modeling and solving constrained search problems
  combinatorial optimization, hybrid optimization algorithms, unconstrained and constrained optimization Paweł Sitek, Jarosław Wikarek, pages 385 – 392.
• Biased Random Key Genetic Algorithm with Hybrid Decoding for Multi-objective Optimization
  Panwadee Tangpattanakul, Nicolas Jozefowiez, Pierre Lopez, pages 393 – 400.
• Efficient and Scalable Computation of the Energy and Makespan Pareto Front for Heterogeneous Computing Systems
  Kyle M. Tarplee, Ryan Friese, Anthony A. Maciejewski, Howard Jay Siegel, pages 401 – 408.
• Efficient Models for Special Types of Non-Linear Maximum Flow Problems
  combinatorial optimization Marina Tvorogova, pages 409 – 416.
• A Hybrid Algorithm based on Differential Evolution, Particle Swarm Optimization and Harmony Search Algorithms
  hybrid optimization algorithms, nature inspired optimization methods Ezgi Deniz Ulker, Ali Haydar, pages 417 – 420.

Computer Aspects of Numerical Algorithms

• Mixed precision iterative refinement techniques for the WZ factorization
  Analysis of rounding errors of numerical algorithms, Contemporary computer architectures, Numerical algorithms testing and benchmarking, Paradigms of programming numerical algorithms Beata Bylina, Jarosław Bylina, pages 425 – 431.
• Surface Reconstruction from Scattered Point via RBF Interpolation on GPU
  Salvatore Cuomo, Ardelio Galletti, Giulio Giunta, Alfredo Starace, pages 433 – 440.
• Towards an Efficient Multi-Stage Riemann Solver for Nuclear Physics Simulations
  Applications of numerical algorithms in science and technology, Numerical algorithms on GPUs, Numerical algorithms testing and benchmarking, Parallel numerical algorithms Sebastian Cygert, Joanna Porter-Sobieraj, Daniel Kikoła, Jan Sikorski, Marcin Słodkowski, pages 441 – 446.
• Application of AVX (Advanced Vector Extensions) for Improved Performance of the PARFES - Finite Element Parallel Direct Solver
  Applications of numerical algorithms in science and technology Sergiy Fialko, pages 447 – 454.
• Library for Matrix Multiplication-based Data Manipulation on a “Mesh-of-Tori” Architecture
  Contemporary computer architectures, Libraries for numerical computations, Novel data formats for dense and sparse matrices, Paradigms of programming numerical algorithms, Parallel numerical algorithms Maria Ganzha, Marcin Paprzycki, Stanislav Sedukhin, pages 455 – 462.
• Automatic Connections in IEC 61131-3 Function Block Diagrams
  Applications of numerical algorithms in science and technology Marcin Jamro, Dariusz Rzonca, pages 463 – 469.
• N-body simulation based on the Particle Mesh method using Multigrid schemes
  Applications of numerical algorithms in science and technology, Parallel numerical algorithms P.E. Kyziropoulos, C.K. Filelis-Papadopoulos, G.A. Gravvanis, pages 471 – 478.
• Storing Sparse Matrices to Files in the Adaptive-Blocking Hierarchical Storage Format
  Novel data formats for dense and sparse matrices, Parallel numerical algorithms Daniel Langr, Ivan Šimeček, Pavel Tvrdík, pages 479 – 486.
• Schur Complement Domain Decomposition in conjunction with Algebraic Multigrid methods based on Generic Approximate Inverses
  Applications of numerical algorithms in science and technology, Numerical algorithms testing and benchmarking P.I. Matskanidis, G.A. Gravvanis, pages 487 – 493.
• 3D Non-Local Means denoising via multi-GPU
  Applications of numerical algorithms in science and technology, Languages, tools and environments for programming numerical algorithms, Numerical algorithms on GPUs, Parallel numerical algorithms Giuseppe Palma, Francesco Piccialli, Pasquale De Michele, Salvatore Cuomo, Marco Comerci, Pasquale Borrelli, Bruno Alfano, pages 495 – 498.
• Examples of Ramanujan and expander graphs for practical applications
  Applications of numerical algorithms in science and technology Monika Polak, Vasyl Ustimenko, pages 499 – 505.
• Performance Impact of Reconfigurable L1 Cache on GPU Devices
  Contemporary computer architectures, Numerical algorithms on GPUs, Numerical algorithms testing and benchmarking Sasko Ristov, Marjan Gusev, Leonid Djinevski, Sime Arsenovski, pages 507 – 510.
• Analyzing of Some Performance Measures for Parallel Matrix Multiplication
  Halil Snopce, Azir Aliu, pages 511 – 514.
• Template Library for Multi-GPU Pseudorandom Number Generation
  Libraries for numerical computations, Numerical algorithms on GPUs, Parallel numerical algorithms Dominik Szałkowski, Przemysław Stpiczyński, pages 515 – 519.

International Symposium on Multimedia Applications and Processing

• Design of Digital Watermarking System Robust to the Number of Removal Attacks
  Sergey Anfinogenov, pages 523 – 527.
• A Robust Cattle Identification Scheme Using Muzzle Print Images
  Security in Multimedia Applications: Authentication and Watermarking Ali Ismail Awad, Hossam M. Zawbaa, Hamdi A. Mahmoud, Eman Hany Hassan Abdel Nabi, Rabie Hassan Fayed, Aboul Ella Hassanien, pages 529 – 534.
• Logo identification algorithm for TV Internet
  Marta Chodyka, Volodymyr Mosorov, pages 535 – 540.
• Semantic Multi-layered Design of Interactive 3D Presentations
  Animation, Virtual Reality, 3D and Stereo Imaging, Human Computer Interaction and Interfaces in Multimedia Applications, Machine Learning, Data Mining, Information Retrieval in Multimedia Applications, Multimedia in Internet and Web Based Systems Jakub Flotyński, Krzysztof Walczak, pages 541 – 548.
• Microformat and Microdata schemas for interactive 3D web content
  Jakub Flotyński, Krzysztof Walczak, pages 549 – 556.
• Exploring inexperienced user performance of a mobile tablet application through usability testing.
  Human Computer Interaction and Interfaces in Multimedia Applications Chrysoula Gatsou, Anastasios Politis, Dimitrios Zevgolis, pages 557 – 564.
• Universal approach for sequential audio pattern search
  Audio, Image and Video Processing, Human Computer Interaction and Interfaces in Multimedia Applications, Machine Learning, Data Mining, Information Retrieval in Multimedia Applications, Multimedia File Systems and Databases: Indexing, Recognition and Retrieval Róbert Gubka, Michal Kuba, Roman Jarina, pages 565 – 569.
• Dependence of Kinect sensors number and position on gestures recognition with Gesture Description Language semantic classifier
  Animation, Virtual Reality, 3D and Stereo Imaging, Audio, Image and Video Processing, Entertainment and games, Human Computer Interaction and Interfaces in Multimedia Applications, Machine Learning, Data Mining, Information Retrieval in Multimedia Applications Tomasz Hachaj, Marek R. Ogiela, Marcin Piekarczyk, pages 571 – 575.
• Automatic Identification of Broadcast News Story Boundaries using the Unification Method for Popular Nouns
  Zainab Ali Khalaf, Tan Tien Ping, pages 577 – 584.
• Fingerprinting System for Still Images Based on the Use of a Holographic Transform Domain
  Security in Multimedia Applications: Authentication and Watermarking Valery Korzhik, Guilermo Morales-Luna, Alexander Kochkarev, Ivan Shevchuk, pages 585 – 590.
• Real-time Implementation of the ViBe Foreground Object Segmentation Algorithm
  Audio, Image and Video Processing Tomasz Kryjak, Marek Gorgoń, pages 591 – 596.
• Image Semantic Annotation using Fuzzy Decision Trees
  Machine Learning, Data Mining, Information Retrieval in Multimedia Applications Andreea Popescu, Bogdan Popescu, Marius Brezovan, Eugen Ganea, pages 597 – 601.
• Architectural Redesign of a Distributed Execution Environment
  Distributed Multimedia Systems Cosmin M. Poteras, Mihai Mocanu, Marian Cristian Mihaescu, pages 603 – 610.
• Color Classifiers for 2D Color Barcodes
  Marco Querini, Giuseppe F. Italiano, pages 611 – 618.
• A Novel Portable Surface Plasmon Resonance Based Imaging Instrument for On-Site Multi-Analyte Detection
  Sara Rampazzi, Francesco Leporati, Giovanni Danese, Lucia Fornasari, Franco Marabelli, Nelson Nazzicari, Andrea Valsesia, pages 619 – 626.
• A Score-Based Packet Retransmission Approach for Push-Pull P2P Streaming Systems
  Distributed Multimedia Systems Muge Sayit, Erdem Karayer, Kemal Deniz Teket, Yagiz Kaymak, Cihat Cetinkaya, Sercan Demirci, Geylani Kardas, pages 627 – 633.

Doctoral Symposium on Recent Advances in Information Technology

• Inexact Newton method as a tool for solving Differential-Algebraic Systems
  Automatic Control and Robotics, Numerical Analysis, Scientific Computing Paweł Drąg, Krystyn Styczeń, pages 639 – 642.
• On some quality criteria of bipolar linguistic summaries
  Computational Intelligence, Data Mining and Data Visualization, Database Management Systems Mateusz Dziedzic, Janusz Kacprzyk, Sławomir Zadrożny, pages 643 – 646.
• A computational support for the group consensus reaching process in the fuzzy environment
  Cognitive Science, Computational Intelligence, Expert Systems, Natural Language Processing . Janusz Kacprzyk, Dominika Gołuńska, Andrzej Gorgoń, pages 647 – 650.
• Linguistic knowledge about temporal data in Bayesian linear regression model to support forecasting of time series
  Computational Intelligence, Data Mining and Data Visualization, Expert Systems, Natural Language Processing ., Pattern Recognition Katarzyna Kaczmarek, Olgierd Hryniewicz, pages 651 – 654.
• Improving the accessibility of touchscreen-based mobile devices: Integrating Android-based devices and Braille notetakers
  Daniel Kocieliński, Jolanta Brzostek-Pawłowska, pages 655 – 658.
• A Hybrid Approach of System Security for Small and Medium Enterprises: combining different Cryptography techniques
  Vladescu Marius, Mateescu Georgiana, pages 659 – 662.
• Impact of Signalling Load on Response Times for Signalling over IMS Core
  Computer Networks Lubos Nagy, Jiri Hosek, Pavel Vajsar, Vit Novotny, pages 663 – 666.
• Creating a Serial Driver Chip for Commanding Robotic Arms
  Automatic Control and Robotics, Information Theory, Software Engineering Roland Szabó, Aurel Gontean, pages 667 – 670.
• Fuzzy-Based Multi-Stroke Character Recognizer
  Computational Intelligence, Image Processing and Computer Animation, Pattern Recognition Alex Tormási, László T. Kóczy, pages 671 – 674.
• Image Recognition System for the VANET
  Computer Networks, Image Processing and Computer Animation Štefan Toth, Ján Janech, Emil Kršák, pages 675 – 678.
• Simulation of energy consumption in a microgrid for demand side management by scheduling
  Computational Intelligence, Scientific Computing, Software Engineering Weronika Radziszewska, Zbigniew Nahorski, pages 679 – 682.
• Evolutionary Nonlinear Data Transformation for Visualization and Classification Tasks
  Data Mining and Data Visualization, Machine Learning ., Pattern Recognition Kamil Ząbkiewicz, pages 683 – 685.

Information Systems Education & Curricula Workshop

• Towards improved student placement and preparation methods on Information Technologies post-secondary education
  Ghadah A. Aldabbagh, Jaime Ramirez Castillo, Habib M. Fardoun, pages 689 – 693.
• Reduction of the SEEQ Questionnaire
  Montserrat Corbalan, Inmaculada Plaza, Eva Hervas, Emiliano Aldabas-Jordi Zaragoza, Francisco Arcega, pages 695 – 701.
• Tutor Platform for Vocational Students Education
  Assessment of students, Curriculum organization and curriculum, Innovative teaching methods, Training for career and skills development Habib M. Fardoun, Antonio Paules Cipres, Abdullah Saad AL-Malaise AL-Ghamdi, pages 703 – 707.
• New Subject to improve the Educational System: Through the Communication between Educational Institution-Company
  Assessment of students, Curriculum organization and curriculum, Innovative teaching methods, Social and environmental commitment, Training for career and skills development Habib M. Fardoun, Abdulfattah S. Mashat, Lorenzo C. Gonzaléz, pages 709 – 712.
• Improving Learning Methods through Adding Student’s Judgment within Teacher’s curricula
  Adaptation to the European Higher Education, Assessment of students, Curriculum organization and curriculum, Innovative teaching methods, Quality and evaluation of teaching, Student participation in research Habib M. Fardoun, Daniyal M. Alghazzawi, Lorenzo C. Gonzaléz, pages 713 – 716.
• IS (ICT) and CS in Civil Engineering Curricula: Case Study
  Assessment of students, Convergence between IS & CS in higher Education, Curriculum organization and curriculum, Innovative teaching methods, Merge from IS to CS and vice versa in higher Education, Quality and evaluation of teaching R. Robert Gajewski, Lech Własak, Marcin Jaczewski, pages 717 – 720.
• Testing the perception of time, state and causality to predict programming aptitude
  Assessment of students José Paulo Leal, pages 721 – 726.
• Drawer: an Innovative Teaching Method for Blended Learning
  Assessment of students, Innovative teaching methods Félix Albertos Marco, Víctor M.R. Penichet, José Antonio Gallud Lázaro, pages 727 – 734.
• Computer Science E-Courses for Students with Different Learning Styles
  Olga Mironova, Tiia Rüütmann, Irina Amitan, Jüri Vilipõld, Merike Saar, pages 735 – 738.
• HEQAM: A Developed Higher Education Quality Assessment Model
  Amin Y. Noaman, Abdul Hamid M Ragab, Ayman G. Fayoumi, Ahmed M. Khedra, Ayman. I. Madbouly, pages 739 – 746.
• Computer Modelling of Cognitive Processes
  Innovative teaching methods, Quality and evaluation of teaching Nina Rizun, pages 747 – 750.
• Hands-On Exercises to Support Computer Architecture Students Using EDUCache Simulator
  Curriculum organization and curriculum, Innovative teaching methods Sasko Ristov, Blagoj Atanasovski, Marjan Gusev, Nenad Anchev, pages 751 – 758.
• Concept of competence management system for Polish National Qualification Framework in the Computer Science area
  Przemysław Różewski, Bartłomiej Małachowski, Piotr Dańczura, pages 759 – 765.

2nd International Symposium on Frontiers in Network Applications, Network Systems and Web Services

• Genetic Algorithms with Different Feature Selection Techniques for Anomaly Detectors Generation
  Anomaly and intrusion detection Amira Sayed A. Aziz, Ahmad Taher Azar, Mostafa A. Salama, Aboul Ella Hassanien, Sanaa El Ola Hanfy, pages 769 – 774.
• How to Develop a Biometric System with Claimed Assurance
  other theoretical and practical aspects of authentication systems and methods, security of authentication systems Andrzej Bialas, pages 775 – 780.
• Real-Time Carpooling and Ride-Sharing: Position Paper on Design Concepts, Distribution and Cloud Computing Strategies
  Context-aware Web services, Mobile applications, Network and mobile GIS platforms and applications, Semantic Web services, Software agents for Web services composition Dejan Dimitrijević, Vladimir Dimitrieski, Nemanja Nedić, pages 781 – 786.
• Emerging technologies for interactive TV
  Mobile applications, Service delivery platforms - architecture and applications, Standards for Web services, Technical and social aspects of Open API and open data, Telecommunication operators API exposition in Telco 2.0 model Marek Dąbrowski, pages 787 – 793.
• Communication in Distributed Database System in the VANET Environment
  Network-based computing systems, Wireless communications Ján Janech, Štefan Toth, pages 795 – 799.
• Content Delivery Network Monitoring with Limited Resources
  Control of networks, High-speed network traffic processing, Network aspects of Cloud Computing, Service delivery platforms - architecture and applications Krzysztof Kaczmarski, Marcin Pilarski, Bogdan Banasiak, Christophe Kabut, pages 801 – 805.
• The control on-line over TCP/IP exemplified by communication with automotive network
  Control of networks, Wireless communications Grzejszczyk Elżbieta, pages 807 – 810.
• How to use the TPM in the method of secure data exchange using Flash RAM media
  Network security, Security issues in Cloud Computing, The applications of intelligent techniques in network systems Janusz Furtak, Tomasz Pałys, Jan Chudzikiewicz, pages 811 – 818.
• LocFusion API – Programming Interface for Accurate Multi-Source Mobile Terminal Positioning
  Context-aware Web services, Mobile applications, Network-based computing systems, Telecommunication operators API exposition in Telco 2.0 model Piotr Korbel, Piotr Wawrzyniak, Sebastian Grabowski, Dorota Krasińska, pages 819 – 823.
• Mobile Applications Aiding the Visually Impaired in Travelling with Public Transport
  Context-aware Web services, Mobile applications, Network-based computing systems Piotr Korbel, Piotr Skulimowski, Piotr Wasilewski, Piotr Wawrzyniak, pages 825 – 828.
• Towards networks of the future: SDN paradigm introduction to PON networking for business applications
  Paweł Parol, Michał Pawłowski, pages 829 – 836.
• Are Graphical Authentication Mechanisms As Strong As Passwords?
  Karen Renaud, Peter Mayer, Melanie Volkamer, Joe Maguire, pages 837 – 844.
• Tests of Smartphone Localization Accuracy Using W3C API and Cell-Id
  Context-aware Web services, Mobile applications, Network and mobile GIS platforms and applications, Service delivery platforms - architecture and applications, Standards for Web services, Technical and social aspects of Open API and open data, Telecommunication operators API exposition in Telco 2.0 model, Wireless communications Grzegorz Sabak, pages 845 – 849.
• Integration of context information from different sources: Unified Communication, Telco 2.0 and M2M
  Architecture, scalability and security of Open API solutions, Service delivery platforms - architecture and applications, Technical and social aspects of Open API and open data, Telecommunication operators API exposition in Telco 2.0 model Grzegorz Siewruk, Jarosław Legierski, Sebastian Grabowski, Marek Średniawa, pages 851 – 858.
• Mobile Payment System – Telco 2.0 application dedicated for payments
  Service delivery platforms - architecture and applications, Telecommunication operators API exposition in Telco 2.0 model Piotr Trusiewicz, Maciej Witan, Marcin Kuzia, pages 859 – 864.
• Parking Reservation – application dedicated for car users based on telecommunications APIs
  Service delivery platforms - architecture and applications, Telecommunication operators API exposition in Telco 2.0 model Piotr Trusiewicz, Jarosław Legierski, pages 865 – 869.
• Student Information Delivery Platform Using Telecommunications Open Middleware APIs
  Applications of SWS to E-business and E-government, Mobile applications, Telecommunication operators API exposition in Telco 2.0 model Piotr Wawrzyniak, Piotr Korbel, Anna Borowska-Terka, pages 871 – 874.

2nd International Conference on Wireless Sensor Networks

• Cloud Computing System Based on Wireless Sensor Network
  Applications of WSN, Data Allocation and Information Processing in Sensor Networks, Software, Applications and Programming of Sensor Network Wen-Yaw Chung, Pei-Shan Yu, Chao-Jen Huang, pages 877 – 880.
• Approaches of Wireless Sensor Network Dependability Assessment
  Antonio Coronato, Alessandro Testa, pages 881 – 888.
• Analysis of the influence of radio beacon placement on the accuracy of indoor positioning system
  Applications of WSN, Performance, Simulation and Modeling of Sensor Network Krzysztof Piwowarczyk, Piotr Korbel, Tomasz Kacprzak, pages 889 – 894.
• Development of Special Smartphone-Based Body Area Network: Energy Requirements
  Applications of WSN, Management, Energy and Control of Sensor Network Jana Púchyová, Michal Kochláň, Michal Hodoň, pages 895 – 900.
• SENTIOF: An FPGA Based High-Performance and Low-Power Wireless Embedded Platform
  Khurram Shahzad, Peng Cheng, Bengt Oelmann, pages 901 – 906.
• Wireless Indoor Positioning System for the Visually Impaired
  Applications of WSN Piotr Wawrzyniak, Piotr Korbel, pages 907 – 910.

4th International Workshop on Advances in Business ICT

• A Hierarchical Approach for Configuring Business Processes
  Business Intelligence, Business Analytics, Information Systems in Enterprise Management, Information Technologies in Enterprise Management, Information Systems Mateusz Baran, Krzysztof Kluza, Grzegorz J. Nalepa, Antoni Ligęza, pages 915 – 921.
• Simulation driven design of the German toll system – profiling simulation performance
  Advanced Technologies of Data Processing, Information Technologies in Enterprise Management, Information Systems Tommy Baumann, Bernd Pfitzinger, Thomas Jestädt, pages 923 – 926.
• Moving Trend Based Filters Design in Frequency Domain
  Advanced Technologies of Data Processing, Business-oriented Time Series Data Mining, Analysis, and Processing Jan T. Duda, Tomasz Pełech-Pilichowski, pages 927 – 930.
• Incorporating Text Analysis into Evolution of Social Groups in Blogosphere
  Business Applications of Social Networks, Business Data Mining and Knowledge Discovery, Business Intelligence, Business Analytics Bogdan Gliwa, Anna Zygmunt, Stanisław Podgórski, pages 931 – 938.
• Towards Rule-oriented Business Process Model Generation
  Business Rules, Information Systems in Enterprise Management, Information Technologies in Enterprise Management, Information Systems Krzysztof Kluza, Grzegorz J. Nalepa, pages 939 – 946.
• The Set of Time Structures for Economic Phenomena Description
  Maria Mach-Król, pages 947 – 949.
• Assessment of Business Intelligence Maturity in the Selected Organizations
  Information Systems in Enterprise Management Celina Olszak, pages 951 – 958.
• Towards a Better Understanding of Context-Aware Applications
  Business Applications of Social Networks, Business Intelligence, Business Analytics, Business Rules, Information Systems in Enterprise Management, Information Technologies in Enterprise Management, Information Systems, Service Oriented Architectures (SOA) Emilian Pascalau, Grzegorz J. Nalepa, Krzysztof Kluza, pages 959 – 962.
• Rapid Application Prototyping for Functional Languages
  Martin Podloucký, pages 963 – 969.
• Assessment of the EPQ probability parameter for scientific articles publishing
  Information Technologies in Enterprise Management, Information Systems Rafał Rumin, Piotr Potiopa, pages 971 – 976.
• Fuzzy Multi-attribute Evaluation of Investments
  Information Forensics and Security, Information Management, Risk Assessment and Bogdan Rębiasz, Bartłomiej Gaweł, Iwona Skalna, pages 977 – 980.
• Increase in the Competitiveness of SMEs using Business Intelligence in the Czech-Polish border areas
  Information Technologies in Enterprise Management, Information Systems Milena Tvrdíková, pages 981 – 984.
• Implementation of the Big Data concept in organizations – possibilities, impediments and challenges
  Janusz Wielki, pages 985 – 989.

Agent Day

• Learning sensors usage patterns in mobile context-aware systems
  data-intensive computing, various application of multi-agent systems Szymon Bobek, Krzysztof Porzycki, Grzegorz J. Nalepa, pages 993 – 998.
• System Design and Implementation Decisions for ParaMoise Organizational Model
  scalability, extendability, resilience in complex systems, stochastic and structural modeling of complex systems Mateusz Guzek, Grégoire Danoy, Pascal Bouvry, pages 999 – 1005.
• Using the Evaluation Nets Modeling Tool Concept as an Enhancement of the Petri Net Tool
  multi-agent computation and simulation, multi-agent management, scheduling, load-balancing, various application of multi-agent systems Michał Niedźwiecki, Krzysztof Rzecki, Krzysztof Cetnarowicz, pages 1007 – 1012.
• Analyzing Meme Propagation in Multimemetic Algorithms: Initial Investigations
  nature-inspired, evolutionary and memetic computing Rafael Nogueras, Carlos Cotta, pages 1013 – 1019.
• Fair and truthful multiagent resource allocation for conference moderation
  Adam Połomski, pages 1021 – 1027.
• Verifying data integration agents with deduction-based models
  multi-agent computation and simulation, multi-agent management, scheduling, load-balancing, various application of multi-agent systems Radosław Klimek, Łukasz Faber, Marek Kisiel-Dorohinicki, pages 1029 – 1035.
• Agent Based System for Assistance at Industrial Process Control with Experience Modeling
  multi-agent computation and simulation, various application of multi-agent systems Gabriel Rojek, pages 1037 – 1040.
• Agent-based Architecture and Situation-based Scenario for Consistency Management
  multi-agent computation and simulation, various application of multi-agent systems Pham Phuong Thao, Mourad Rabah, Pascal Estraillier, pages 1041 – 1046.
• Agent-based Resource Management in Tsunami Modeling
  data-intensive computing, multi-agent management, scheduling, load-balancing, various application of multi-agent systems Alexander Vazhenin, Yutaka Watanobe, Kensaku Hayashi, Michał Drozdowicz, Maria Ganzha, Marcin Paprzycki, Katarzyna Wasielewska, Paweł Gepner, pages 1047 – 1052.

11th Conference on Advanced Information Technologies for Management

• Advancements in Cloud Computing for Logistics
  Business Process Management and Management Systems (BPM and BPMS), Decision Support Systems and data mining, Knowledge-based and intelligent systems in management, Management Information Systems (MIS) Uwe Arnold, Jan Oberländer, Björn Schwarzbach pages 1055 – 1062.
• Integrated Model of a Social Navigation System with Self-adaptive Feedback Control Mechanism
  Business Process Management and Management Systems (BPM and BPMS), Decision Support Systems and data mining, Knowledge-based and intelligent systems in management, Management Information Systems (MIS) Vangel V. Ajanovski, pages 1063 – 1070.
• Concept of Platform for Hybrid Composition, Grounding and Execution of Web Services
  Cloud computing, SOA, Web services Lev Belava, pages 1071 – 1077.
• Analysis of the importance of business process management depending on the organization structure and culture
  Business Process Management and Management Systems (BPM and BPMS), Concepts and methods of business informatics, IT projects & IT projects management, Strategies and methodologies of IT implementation Witold Chmielarz, Marek Zborowski, Aneta Biernikowicz, pages 1079 – 1086.
• Process-based evaluation and comparison of OTS software alternatives
  Maria Jesus Faundes, Hernan Astudillo, Bernhard Hitpass, pages 1087 – 1094.
• Multi-attribute Auctions and Negotiations with Verifiable and Not-verifiable Offers
  Concepts and methods of business informatics, Management Information Systems (MIS) Gregory (Grzegorz) E. Kersten, Tomasz Wachowicz, Margaret Kersten, pages 1095 – 1102.
• Verification of ArchiMate process specifications based on deductive temporal reasoning
  Business Process Management and Management Systems (BPM and BPMS), IT projects & IT projects management, Management Information Systems (MIS), Strategies and methodologies of IT implementation Radosław Klimek, Piotr Szwed, pages 1103 – 1110.
• Design of Financial Knowledge in Dashboard for SME Managers
  Business Intelligence methods and tools, Business-oriented ontologies, topic maps, Knowledge-based and intelligent systems in management Jerzy Korczak, Helena Dudycz, Miroslaw Dyczkowski, pages 1111 – 1118.
• Risk avoiding strategy in multi-agent trading system
  Agent-based systems, Cloud computing, SOA, Web services, Concepts and methods of business informatics, Decision Support Systems and data mining Jerzy Korczak, Marcin Hernes, Maciej Bac, pages 1119 – 1126.
• Optimising Web-Based Information Retrieval Methods for Horizon Scanning Using Relevance Feedback
  Marco A. Palomino, Tim Taylor, Geoff McBride, Hugh Mortimer, Richard Owen, Michael Depledge, pages 1127 – 1134.
• Software Implementation of Common Criteria Related Design Patterns
  Dariusz Rogowski, pages 1135 – 1140.
• IT Security Threats in Cloud Computing Sourcing Model
  Cloud computing, SOA, Web services, IT governance, efficiency and effectiveness, IT projects & IT projects management, Strategies and methodologies of IT implementation Artur Rot, Małgorzata Sobińska, pages 1141 – 1144.
• Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets
  Enterprise information systems (ERP, CRM, SCM, etc.), Knowledge-based and intelligent systems in management, Strategies and methodologies of IT implementation Bidyut Sarkar, Agostino Cortesi, Nabendu Chaki, pages 1145 – 1152.
• The postulates of consensus determining in financial decision support systems
  Jadwiga Sobieska-Karpińska, Marcin Hernes, pages 1153 – 1156.
• The DDMKCC Decision Support Architecture in the Light of Case Studies
  Business Intelligence methods and tools, Decision Support Systems and data mining, Knowledge-based and intelligent systems in management, Management Information Systems (MIS) Stanisław Stanek, Jolanta Wartini Twardowska, Zbigniew Twardowski, pages 1157 – 1164.
• The Structure of Agility from Different Perspectives
  Business-oriented ontologies, topic maps, Concepts and methods of business informatics, IT governance, efficiency and effectiveness Roy Wendler, pages 1165 – 1172.
• Measuring the information society in Poland – dilemmas and a quantified image
  IT governance, efficiency and effectiveness, Strategies and methodologies of IT implementation Ewa Ziemba, Rafał Żelazny, pages 1173 – 1180.
• The outcomes of the research in areas of application and impact of software agents societies to organizations so far. Examples of implementation in Polish companies.
  Mariusz Żytniewski, Radosław Kowal, Andrzej Sołtysik, pages 1181 – 1187.

2nd Workshop on Information Technologies for Logistics

• Product Swapping and Transfer Sales Between Suppliers in a Balanced Network
  Logistics process modeling, including influence of warehouse automatic, Optimization of logistics processes Ikbal Ece Dizbay, Omer Ozturkoglu, pages 1191 – 1194.
• Rule-based Approach For Supplier Evaluation
  Andrzej Macioł, Stanisław Jędrusik, Bogdan Rębiasz, pages 1195 – 1202.
• Applying Big Data and Linked Data Concepts in Supply Chains Management
  Innovations in information systems supporting logistics and its management Silva Robak, Bogdan Franczyk, Marcin Robak, pages 1203 – 1209.
• A hybrid approach to supply chain modeling and optimization
  Artificial intelligence systems and decision support systems in logistics, Optimization of logistics processes Paweł Sitek, Jarosław Wikarek, pages 1211 – 1218.

19th Conference on Knowledge Acquisition and Management

• Inconsistency Handling in Collaborative Knowledge Management
  Knowledge engineering and software engineering, Knowledge representation models Weronika T. Adrian, Antoni Ligęza, Grzegorz J. Nalepa, pages 1221 – 1226.
• Internet as the Source for Acquiring the Medical Information
  Methods and tools for knowledge acquisition Magdalena Czerwinska, pages 1227 – 1234.
• Corporate Amnesia in the Micro Business Environment
  Stephen J. Hall, Clifford De Raffaele, pages 1235 – 1239.
• Knowledge conflicts in Business Intelligence systems
  Business Intelligence environment for supporting knowledge management, Knowledge representation models Marcin Hernes, Kamal Matouk, pages 1241 – 1246.
• One approach to the classification of business knowledge diagrams: practical view
  Methods and tools for knowledge acquisition Dmitry Kudryavtsev, Tatiana Gavrilova, Irina Leshcheva, pages 1247 – 1253.
• Knowledge Management as Foundation of Smart University
  Distance learning and knowledge sharing, Knowledge management and e-government, Managerial knowledge evolution Katarzyna Marciniak, Mieczysław Owoc, pages 1255 – 1260.
• Scalable Web Monitoring System
  Methods and tools for knowledge acquisition Andrzej Opaliński, Wojciech Turek, Krzysztof Cetnarowicz, pages 1261 – 1267.
• Business Intelligence as a service in a cloud environment
  Business Intelligence environment for supporting knowledge management Maciej Pondel, pages 1269 – 1271.
• Knowledge Acquisition for New Product Development with the Use of an ERP Database
  Business Intelligence environment for supporting knowledge management, Data mining and knowledge discovery from databases and data warehouses, Knowledge engineering and software engineering, Management of enterprise knowledge versus personal knowledge, Methods and tools for knowledge acquisition Marcin Relich, pages 1273 – 1278.
• Preliminaries for Dynamic Competence Management System building
  Przemysław Różewski, Bartłomiej Małachowski, Jarosław Jankowski, Marcin Prys, Piotr Dańczura, pages 1279 – 1285.
• Outsourcing of knowledge in change and renewal processes
  Małgorzata Sobińska, Jakub Mierzyński, pages 1287 – 1291.
• Student Response to Educational Games – An Empirical Study
  Methods and tools for knowledge acquisition Urszula Świerczyńska-Kaczor, Jacek Wachowicz, pages 1293 – 1299.

Techniques and Applications for Mobile Commerce

• Social Network Framework for Deaf and Blind People based on Cloud Computing
  Mahmoud El-Gayyar, Hany F. ElYamany, Tarek Gaber, Aboul Ella Hassanien, pages 1301 – 1307.
• Tracking the node path in wireless ad-hoc network
  Integration of mobile solutions in urban infrastructure, Languages and methods for mobile based information systems, Measurement, control, and evaluation of urban infrastructure by mobile solutions Artur Sierszeń, Łukasz Sturgulewski, Agnieszka Kotowicz, pages 1309 – 1313.
• User Positioning System for Mobile Devices
  Concepts and methods for evaluating problems and the usefulness of mobile techno, Integration of mobile solutions in urban infrastructure, Languages and methods for mobile based information systems, Measurement, control, and evaluation of urban infrastructure by mobile solutions Artur Sierszeń, Łukasz Sturgulewski, Karol Ciążyński, pages 1315 – 1318.
• Development of a Mobile Application for People with Panic Disorder as augmentation for an Internet-based Intervention
  Enabling technologies for ubiquitous systems Stefan Kleine Stegemann, Lara Ebenfeld, Dirk Lehr, Matthias Berking, Burkhardt Funk, pages 1319 – 1325.
• Vertoid: Exploring the Persuasive Potential of Location-aware Mobile Cues
  Analysis and Design of mobile web-service based applications, Integration of mobile solutions in urban infrastructure, Pedagogical and social issues in mobile learning Paweł Woźniak, Andrzej Romanowski, pages 1327 – 1330.

4th International Workshop Automating Test Case Design, Selection and Evaluation

• Requirements on automatically generated random test cases
  Thomas Arts, Alex Gerdes, Magnus Kronqvist, pages 1335 – 1342.
• A method for selecting environments for software compatibility testing
  Łukasz Pobereżnik, pages 1343 – 1348.
• An Evaluation of Data Race Detectors Using Bug Repositories
  Evaluation of testing techniques and tools on real systems, not only toy problem, techniques and tools for automating test case design Jochen Schimmel, Korbinian Molitorisz, Walter F. Tichy, pages 1349 – 1352.
• Test City metaphor as support for visual testcase analysis within integration test domain
  Evaluation of testing techniques and tools on real systems, not only toy problem Artur Sosnówka, pages 1353 – 1358.

International Workshop on Cyber-Physical Systems

• Modelling Java Concurrency: An Approach and a Uppaal Library
  Applications of CPS, CPS Education, Validation and Verification Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo, pages 1361 – 1368.
• Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata
  Applications of CPS, Control Systems Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa, pages 1369 – 1376.
• Towards deductive-based support for software development processes
  Validation and Verification Radosław Klimek, pages 1377 – 1380.
• Studying Interrelationships of Safety and Security for Software Assurance in Cyber-Physical Systems: Approach Based on Bayesian Belief Networks
  Applications of CPS, Control Systems Andrew J. Kornecki, Nary Subramanian, Janusz Zalewski, pages 1381 – 1387.
• Object-oriented Approach to Timed Colored Petri Net Simulation
  Interoperability, Scalability/Complexity, Validation and Verification Michał Kowalski, Wociech Rząsa, pages 1389 – 1392.
• Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera
  Validation and Verification Xian Li, Kerstin Bauer, Klaus Schneider, pages 1393 – 1400.
• Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario
  Applications of CPS, CPS Education, Interoperability Birgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, Maria Victoria Cengarle, Sebastian Voss, pages 1401 – 1406.
• Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach
  Applications of CPS Daniel Reyes-Duran, Elliot Robinson, Andrew J. Kornecki, Janusz Zalewski, pages 1407 – 1413.
• Towards the Applicability of Alf to Model Cyber-Physical Systems
  Interoperability Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira, pages 1415 – 1422.
• Improving security in SCADA systems through firewall policy analysis
  Cyber-security Ondrej Rysavy, Jaroslav Rab, Miroslav Sveda, pages 1423 – 1428.
• Development of a Cyber-Physical System for Mobile Robot Control using Erlang
  Applications of CPS, Control Systems Szymon Szomiński, Konrad Gądek, Michał Konarski, Bogna Błaszczyk, Piotr Anielski, Wojciech Turek, pages 1429 – 1436.

Performance of Business Database Applications

• On Redundant Data for Faster Recursive Querying Via ORM Systems
  Automated database tuning, Extending the capabilities of object relational mappings Aleksandra Boniewicz, Piotr Wiśniewski, Krzystof Stencel, pages 1439 – 1446.
• Java Interface for Relaxed Object Storage
  Column-oriented DBMS, Indexing techniques Michal Danihelka, Michal Kopecký, Petr Švec, Michal Žemlička, pages 1447 – 1454.
• Approximate Assistance for Correlated Subqueries
  Column-oriented DBMS, Usage of fuzzy sets and rough sets in databases Marcin Kowalski, Dominik Ślęzak, Piotr Synak, pages 1455 – 1462.
• Performance Antipatterns of One to Many Association in Hibernate
  Extending the capabilities of object relational mappings Patrycja Węgrzynowicz, pages 1463 – 1469.

4th Workshop on Advances in Programming Languages

• Magnify - a new tool for software visualization
  Program analysis, optimization and verification, Programming tools and environments Cezary Bartoszuk, Grzegorz Timoszuk, Robert Dąbrowski, Krzysztof Stencel, pages 1473 – 1476.
• Conjunction, Sequence, and Interval Relations in Event Stream Processing
  Samujjwal Bhandari, Susan D. Urban, pages 1477 – 1482.
• Visual Programming of MPI Applications: Debugging and Performance Analysis
  Stanislav Böhm, Marek Běhálek, Ondřej Meca, Martin Šurkovský, pages 1483 – 1490.
• pLERO: Language for Grammar Refactoring Patterns
  Automata theory and applications, Compiling techniques, Grammarware and grammar based systems, Language theory and applications Ján Kollár, Ivan Halupka, Sergej Chodarev, Emília Pietriková, pages 1491 – 1498.
• Incremental JIT Compiler for Implicitly Parallel Functional Language
  Compiling techniques, Language concepts, design and implementation, Virtual machines and just-in-time compilation Petr Krajča, pages 1499 – 1506.
• Reconstruction of Instruction Idioms in a Retargetable Decompiler
  Compiling techniques, Practical experiences with programming languages, Program analysis, optimization and verification, Program generation and transformation Jakub Křoustek, Fridolín Pokorný, pages 1507 – 1514.
• Declarative Specification of References in DSLs
  Domain-specific languages, Language concepts, design and implementation, Metamodeling and modeling languages, Specification languages Dominik Lakatoš, Jaroslav Porubän, Michaela Bačíková, pages 1515 – 1522.
• SimpleConcepts: Support for Constraints on Generic Types in C++
  Language concepts, design and implementation Reed Milewicz, Marjan Mernik, Peter Pirkelbauer, pages 1523 – 1528.
• Concern-oriented Source Code Projections
  Programming paradigms (aspect-oriented, functional, logic, object-oriented, etc., Programming tools and environments Matej Nosáľ, Jaroslav Porubän, Milan Nosáľ, pages 1529 – 1532.
• Teaching Programming through Problem Solving: The Role of the Programming Language
  Language concepts, design and implementation, Practical experiences with programming languages Nikolaos S. Papaspyrou, Stathis Zachos, pages 1533 – 1536.
• Compilation to Quantum Circuits for a Language with Quantum Data and Control
  Compiling techniques, Language concepts, design and implementation, Programming paradigms (aspect-oriented, functional, logic, object-oriented, etc. Yannis Rouselakis, Nikolaos S. Papaspyrou, Yiannis Tsiouris, Eneia N. Todoran, pages 1537 – 1544.
• Grammar-Driven Development of JSON Processing Applications
  Domain-specific languages, Grammarware and grammar based systems, Markup languages (XML), Programming tools and environments Antonio Sarasa-Cabezuelo, José-Luis Sierra, pages 1545 – 1552.
• Alvis Language with Time Dependence
  Formal semantics and syntax, Metamodeling and modeling languages, Model-driven engineering languages and systems, Visual programming languages Marcin Szpyrka, Piotr Matyasik, Michał Wypych, pages 1553 – 1558.
• Relaxing Queries to Detect Variants of Design Patterns
  Program analysis, optimization and verification, Programming tools and environments Patrycja Węgrzynowicz, Krzysztof Stencel, pages 1559 – 1566.
• FAL: A Forensics Aware Language for Secure Logging
  Domain-specific languages, Formal semantics and syntax, Grammarware and grammar based systems, Language concepts, design and implementation, Languages and tools for trustworthy computing, Program generation and transformation Shams Zawoad, Marjan Mernik, Ragib Hasan, pages 1567 – 1574.
• Dynamic loop reversal - the new code transformation technique
  Compiling techniques, Program analysis, optimization and verification, Program generation and transformation Ivan Šimeček, Pavel Tvrdík, pages 1575 – 1582.