Table of Contents

• A General Divide and Conquer Approach for Process MiningWil M. P. van der Aalst. 1-10
• Nonnegative Matrix Factorization and Its Application to Pattern Analysis and Text MiningJacek M. Zurada, Tolga Ensari, Ehsan Hosseini, Jan Chorowski. 11-16
• Underdetermined Blind Separation of an Unknown Number of Sources Based on Fourier Transform and Matrix FactorizationOssama S. Alshabrawy, Mohamed E. Ghoneim, A. A. Salama, Aboul Ella Hassanien. 19-25
• The Multiple Pheromone Ant Clustering Algorithm and its application to real world domainsJan Chircop, Christopher D. Buckingham. 27-34
• Fuzziness in Partial Approximation FrameworkZoltán Erno Csajbók, Tamás Mihálydeák. 35-41
• Comparison of Selected Textural Features as Global Content-Based Descriptors of VHR Satellite Image - the EROS-A StudyWojciech Drzewiecki, Anna Wawrzaszek, Michal Krupinski, Sebastian Aleksandrowicz, Katarzyna Bernat. 43-49
• On the computer certification of fuzzy numbersAdam Grabowski. 51-54
• Cardiac disorders detection approach based on local transfer function classifierAhmed Hamdy, Nashwa El-Bendary, Ashraf Khodeir, Mohamed Mostafa M. Fouad, Aboul Ella Hassanien, Hesham A. Hefny. 55-61
• A Human Inspired Collision Avoidance Strategy for Moving AgentsPejman Kamkarian, Henry Hexmoor. 63-67
• Application of Ant-Colony Optimisation to Compute Diversified Entity Summarisation on Semantic Knowledge GraphsWitold Kosinski, Marcin Sydow, Tomasz Kusmierczyk, Pawel Rembelski. 69-76
• Semantic Tagging of Heterogeneous Data: Labeling Fire & Rescue Incidents with ThreatsAdam Krasuski, Andrzej Janusz. 77-82
• Combining One-Class Support Vector Machines for Microarray ClassificationBartosz Krawczyk. 83-89
• Flow-level Spam Modelling using separate data sourcesMarcin Luckner, Robert Filasiak. 91-98
• RBF ensemble based on reduction of DAG structureMarcin Luckner, Karol Szyszko. 99-105
• Recommender system for ground-level Ozone predictions in KuwaitMahmood A. Mahmood, Eiman Tamah Al-Shammari, Nashwa El-Bendary, Aboul Ella Hassanien, Hesham A. Hefny. 107-110
• Prediction of School Dropout Risk Group Using Neural Network Fuzzy ARTMAPValquiria R. C. Martinho, Clodoaldo Nunes, Carlos R. Minussi. 111-114
• Semantic Explorative Evaluation of Document Clustering AlgorithmsHung Son Nguyen, Sinh Hoa Nguyen, Wojciech Swieboda. 115-122
• Vickrey-Clarke-Groves for privacy-preserving collaborative classificationAnastasia Panoui, Sangarapillai Lambotharan, Raphael C.-W. Phan. 123-128
• dotRL: A platform for rapid Reinforcement Learning methods development and validationBartosz Papis, Pawel Wawrzynski. 129-136
• An Emotional Learning-inspired Ensemble Classifier (ELiEC)Mahboobeh Parsapoor, Urban Bilstrup. 137-141
• Autonomous Input Management for Human Interaction-Oriented Systems DesignMichal Podpora, Aleksandra Kawala-Janik, Mary Kiernan. 143-144
• Knowledge-based Named Entity Recognition in PolishAleksander Pohl. 145-151
• Tabu Search approach for Multi-Skill Resource-Constrained Project Scheduling ProblemMarek Skowronski, Pawel B. Myszkowski, Marcin Adamski, Pawel Kwiatek. 153-158
• Novel heuristic solutions for Multi-Skill Resource-Constrained Project Scheduling ProblemMarek Skowronski, Pawel B. Myszkowski, Lukasz Podlodowski. 159-166
• Object Tracking and Video Event Recognition with Fuzzy Semantic Petri NetsPiotr Szwed, Mateusz Komorkiewicz. 167-174
• Collective Belief Revision in Linear AlgebraSatoshi Tojo. 175-178
• Medical Decision Support System Architecture for Diagnosis of Down's SyndromeHubert Wojtowicz, Jolanta Wojtowicz, Wojciech Koziol, Wieslaw Wajs. 179-182
• An Investment Strategy for the Stock Exchange Using Neural NetworksAntoni Wysocki, Maciej Lawrynczuk. 183-190
• Automatic computer aided segmentation for liver and hepatic lesions using hybrid segmentations techniquesAhmed M. Anter, Ahmad Taher Azar, Aboul Ella Hassanien, Mohamed Abu ElSoud, Nashwa El-Bendary. 193-198
• An Improved Ant Colony System for Retinal Blood Vessel SegmentationAhmed. H. Asad, Ahmad Taher Azar, Mohamed Mostafa M. Fouad, Aboul Ella Hassanien. 199-205
• Comparison of methods for hand gesture recognition based on Dynamic Time Warping algorithmKatarzyna Barczewska, Aleksandra Drozd. 207-210
• Designing multiple user perspectives and functionality for clinical decision support systemsChristopher D. Buckingham, Abu Ahmed, Ann Adams. 211-218
• Towards Determining Syntactic Complexity of Visual Stimuli Used in Art TherapyBoleslaw Jaskula, Jaroslaw Szkola, Krzysztof Pancerz. 219-223
• Simulating of Schistosomatidae (Trematoda: Digenea) Behavior by Physarum Spatial LogicAndrew Schumann, Ludmila Akimova. 225-230
• A Fuzzy Logic Approach to The Evaluation of Health Risks Associated with ObesityTadeusz Nawarycz, Krzysztof Pytel, Maciej Gazicki-Lipman, Wojciech Drygas, Lidia Ostrowska-Nawarycz. 231-234
• Failure Analysis and Estimation of the Healthcare SystemElena N. Zaitseva, Jozef Kostolny, Miroslav Kvassay, Vitaly G. Levashenko, Krzysztof Pancerz. 235-240
• Information Retrieval Using an Ontological Web-Trading ModelJosé Andrés Asensio, Nicolás Padilla, Luis Iribarne. 243-249
• Rhetorical Browzing in Journalistic Texts: Preliminary InvestigationsPatrice Enjalbert, Alexandre Labadié, Stéphane Ferrari. 251-256
• Similarities in Spaces of Features and Concepts: Towards Semantic EvaluationsWladyslaw Homenda, Agnieszka Jastrzebska. 257-260
• Antisocial Behavior Corpus for Harmful Language DetectionMyriam Munezero, Maxim Mozgovoy, Tuomo Kakkonen, Vitaly Klyuev, Erkki Sutinen. 261-265
• An Approach for Developing a Mobile Accessed Music Search Integration PlatformMarina Purgina, Andrey Kuznetsov, Evgeny Pyshkin. 267-273
• Evaluation of beef production and consumption ontology and presentation of its actual and potential applicationsRafal Trójczak, Robert Trypuz, Przemyslaw Gradzki, Jerzy Wierzbicki, Alicja Wozniak. 275-278
• Query Construction for Related Document Search Based on User AnnotationsJakub Sevcech, Mária Bieliková. 279-286
• Ontology of architectural decisions supporting ATAM based assessment of SOA architecturesPiotr Szwed, Pawel Skrzynski, Grzegorz Rogus, Jan Werewka. 287-290
• A quasi self-stabilizing algorithm for detecting fundamental cycles in a graph with DFS spanning tree givenHalina Bielak, Michal Panczyk. 293-297
• Anticipation in the Dial-a-Ride Problem: an introduction to the robustnessSamuel Deleplanque, Jean-Pierre Dérutin, Alain Quilliot. 299-305
• Multiple shooting SQP-line search algorithm for optimal control of pressure-constrained batch reactorPawel Drag, Krystyn Styczen. 307-313
• Bicriteria Fuzzy Optimization Location-Allocation ApproachSantiago García Carbajal, Belarmino Adenso-Díaz, Sebastián Lozano. 315-319
• Branch and Price for Preemptive Resource Constrained Project Scheduling Problem Based on Interval Orders in Precedence GraphsAziz Moukrim, Alain Quilliot, Hélène Toussaint. 321-328
• A Beam Search Based Algorithm for the Capacitated Vehicle Routing Problem with Time WindowsHakim Akeb, Adel Bouchakhchoukha, Mhand Hifi. 329-336
• Real life cable constraints in designing Passive Optical Network architectureStanislas Francfort, Cédric Hervet, Matthieu Chardy, Frédéric Moulis. 337-339
• Energy-based Pruning Devices for the BP Algorithm applied to Distance GeometryDouglas S. Gonçalves, Antonio Mucherino, Carlile Lavor. 341-346
• A Maximum Matching Based Heuristic Algorithm for Partial Latin Square Extension ProblemKazuya Haraguchi, Masaki Ishigaki, Akira Maruoka. 347-354
• Fair optimization with advanced aggregation operators in a multicriteria facility layout problemJaroslaw Hurkala, Adam Hurkala. 355-362
• Time dependent global optimization via Bayesian inference and Sequential Monte Carlo samplingPiotr Kopka, Anna Wawrzynczak, Mieczyslaw Borysiewicz. 363-370
• Influence of the Population Size on the Genetic Algorithm Performance in Case of Cultivation Process ModellingOlympia Roeva, Stefka Fidanova, Marcin Paprzycki. 371-376
• Quadratic TSP: A lower bounding procedure and a column generation approachBorzou Rostami, Federico Malucelli, Pietro Belotti, Stefano Gualandi. 377-384
• A hybrid method for modeling and solving constrained search problemsPawel Sitek, Jaroslaw Wikarek. 385-392
• Biased Random Key Genetic Algorithm with Hybrid Decoding for Multi-objective OptimizationPanwadee Tangpattanakul, Nicolas Jozefowiez, Pierre Lopez. 393-400
• Efficient and Scalable Computation of the Energy and Makespan Pareto Front for Heterogeneous Computing SystemsKyle M. Tarplee, Ryan Friese, Anthony A. Maciejewski, Howard Jay Siegel. 401-408
• Efficient Models for Special Types of Non-Linear Maximum Flow ProblemsMarina Tvorogova. 409-416
• A Hybrid Algorithm based on Differential Evolution, Particle Swarm Optimization and Harmony Search AlgorithmsEzgi Deniz Ulker, Ali Haydar. 417-420
• Mixed precision iterative refinement techniques for the WZ factorizationBeata Bylina, Jaroslaw Bylina. 425-431
• Surface Reconstruction from Scattered Point via RBF Interpolation on GPUSalvatore Cuomo, Ardelio Galletti, Giulio Giunta, Alfredo Starace. 433-440
• Towards an Efficient Multi-Stage Riemann Solver for Nuclear Physics SimulationsSebastian Cygert, Joanna Porter-Sobieraj, Daniel Kikola, Jan Sikorski, Marcin Slodkowski. 441-446
• Application of AVX (Advanced Vector Extensions) for Improved Performance of the PARFES - Finite Element Parallel Direct SolverSergiy Fialko. 447-454
• Library for Matrix Multiplication-based Data Manipulation on a "Mesh-of-Tori" ArchitectureMaria Ganzha, Marcin Paprzycki, Stanislav Sedukhin. 455-462
• Automatic Connections in IEC 61131-3 Function Block DiagramsMarcin Jamro, Dariusz Rzonca. 463-469
• N-body simulation based on the Particle Mesh method using Multigrid schemesP. E. Kyziropoulos, C. K. Filelis-Papadopoulos, George A. Gravvanis. 471-478
• Storing Sparse Matrices to Files in the Adaptive-Blocking Hierarchical Storage FormatDaniel Langr, Ivan Simecek, Pavel Tvrdík. 479-486
• Schur Complement Domain Decomposition in conjunction with Algebraic Multigrid methods based on Generic Approximate InversesP. I. Matskanidis, George A. Gravvanis. 487-493
• 3D Non-Local Means denoising via multi-GPUGiuseppe Palma, Francesco Piccialli, Pasquale De Michele, Salvatore Cuomo, Marco Comerci, Pasquale Borrelli, Bruno Alfano. 495-498
• Examples of Ramanujan and expander graphs for practical applicationsMonika Polak, Vasyl Ustimenko. 499-505
• Performance Impact of Reconfigurable L1 Cache on GPU DevicesSasko Ristov, Marjan Gusev, Leonid Djinevski, Sime Arsenovski. 507-510
• Analyzing of Some Performance Measures for Parallel Matrix MultiplicationHalil Snopce, Azir Aliu. 511-514
• Template Library for Multi-GPU Pseudorandom Number GenerationDominik Szalkowski, Przemyslaw Stpiczynski. 515-519
• Design of Digital Watermarking System Robust to the Number of Removal AttacksSergey Anfinogenov. 523-527
• A Robust Cattle Identification Scheme Using Muzzle Print ImagesAli Ismail Awad, Hossam M. Zawbaa, Hamdi A. Mahmoud, Eman Hany Hassan Abdel Nabi, Rabie Hassan Fayed, Aboul Ella Hassanien. 529-534
• Logo identification algorithm for TV InternetMarta Chodyka, Volodymyr Mosorov. 535-540
• Semantic Multi-layered Design of Interactive 3D PresentationsJakub Flotynski, Krzysztof Walczak. 541-548
• Microformat and Microdata schemas for interactive 3D web contentJakub Flotynski, Krzysztof Walczak. 549-556
• Exploring inexperienced user performance of a mobile tablet application through usability testingChrysoula Gatsou, Anastasios Politis, Dimitrios Zevgolis. 557-564
• Universal approach for sequential audio pattern searchRóbert Gubka, Michal Kuba, Roman Jarina. 565-569
• Dependence of Kinect sensors number and position on gestures recognition with Gesture Description Language semantic classifierTomasz Hachaj, Marek R. Ogiela, Marcin Piekarczyk. 571-575
• Automatic Identification of Broadcast News Story Boundaries using the Unification Method for Popular NounsZainab Ali Khalaf, Tan Tien Ping. 577-584
• Fingerprinting System for Still Images Based on the Use of a Holographic Transform DomainValery I. Korzhik, Guillermo Morales-Luna, Alexander Kochkarev, Ivan Shevchuk. 585-590
• Real-time Implementation of the ViBe Foreground Object Segmentation AlgorithmTomasz Kryjak, Marek Gorgon. 591-596
• Image Semantic Annotation using Fuzzy Decision TreesAndreea Popescu, Bogdan Popescu, Marius Brezovan, Eugen Ganea. 597-601
• Architectural Redesign of a Distributed Execution EnvironmentCosmin Marian Poteras, Mihai Mocanu, Marian Cristian Mihaescu. 603-610
• Color Classifiers for 2D Color BarcodesMarco Querini, Giuseppe F. Italiano. 611-618
• A Novel Portable Surface Plasmon Resonance Based Imaging Instrument for On-Site Multi-Analyte DetectionSara Rampazzi, Francesco Leporati, Giovanni Danese, Lucia Fornasari, Franco Marabelli, Nelson Nazzicari, Andrea Valsesia. 619-626
• A Score-Based Packet Retransmission Approach for Push-Pull P2P Streaming SystemsMuge Fesci-Sayit, Erdem Karayer, Kemal Deniz Teket, Yagiz Kaymak, Cihat Cetinkaya, Sercan Demirci, Geylani Kardas. 627-633
• Inexact Newton method as a tool for solving Differential-Algebraic SystemsPawel Drag, Krystyn Styczen. 639-642
• On some quality criteria of bipolar linguistic summariesMateusz Dziedzic, Janusz Kacprzyk, Slawomir Zadrozny. 643-646
• A computational support for the group consensus reaching process in the fuzzy environmentJanusz Kacprzyk, Dominika Golunska, Andrzej Gorgon. 647-650
• Linguistic knowledge about temporal data in Bayesian linear regression model to support forecasting of time seriesKatarzyna Kaczmarek, Olgierd Hryniewicz. 651-654
• Improving the accessibility of touchscreen-based mobile devices: Integrating Android-based devices and Braille notetakersDaniel Kocielinski, Jolanta Brzostek-Pawlowska. 655-658
• A Hybrid Approach of System Security for Small and Medium Enterprises: combining different Cryptography techniquesVladescu Marius, Mateescu Georgiana. 659-662
• Impact of Signalling Load on Response Times for Signalling over IMS CoreLubos Nagy, Jiri Hosek, Pavel Vajsar, Vit Novotny. 663-666
• Creating a Serial Driver Chip for Commanding Robotic ArmsRoland Szabó, Aurel Gontean. 667-670
• Fuzzy-Based Multi-Stroke Character RecognizerAlex Tormási, László T. Kóczy. 671-674
• Image Recognition System for the VANETStefan Toth, Ján Janech, Emil Krsák. 675-678
• Simulation of energy consumption in a microgrid for demand side management by schedulingWeronika Radziszewska, Zbigniew Nahorski. 679-682
• Evolutionary Nonlinear Data Transformation for Visualization and Classification TasksKamil Zabkiewicz. 683-685
• Towards improved student placement and preparation methods on Information Technologies post-secondary educationGhadah Aldabbagh, Jaime Ramirez Castillo, Habib M. Fardoun. 689-693
• Reduction of the SEEQ QuestionnaireMontserrat Corbalan Fuertes, Inmaculada Plaza, Eva Hervas, Emiliano Aldabas-Jordi Zaragoza, Francisco Arcega. 695-701
• Tutor Platform for Vocational Students EducationHabib M. Fardoun, Antonio Paules Ciprés, Abdullah Al-Malaise Al-Ghamdi. 703-707
• New Subject to improve the Educational System: Through the Communication between Educational Institution-CompanyHabib M. Fardoun, Abdulfattah S. Mashat, Lorenzo C. Gonzalez. 709-712
• Improving Learning Methods through Adding Student's Judgment within Teacher's curriculaHabib M. Fardoun, Daniyal M. Alghazzawi, Lorenzo C. Gonzalez. 713-716
• IS (ICT) and CS in Civil Engineering Curricula: Case StudyR. Robert Gajewski, Lech Wlasak, Marcin Jaczewski. 717-720
• Testing the perception of time, state and causality to predict programming aptitudeJosé Paulo Leal. 721-726
• Drawer: an Innovative Teaching Method for Blended LearningFélix Albertos Marco, Víctor M. Ruiz Penichet, José A. Gallud Lázaro. 727-734
• Computer Science E-Courses for Students with Different Learning StylesOlga Mironova, Tiia Rüütmann, Irina Amitan, Jüri Vilipõld, Merike Saar. 735-738
• HEQAM: A Developed Higher Education Quality Assessment ModelAmin Y. Noaman, Abdul Hamid M. Ragab, Ayman G. Fayoumi, Ahmed M. Khedra, Ayman. I. Madbouly. 739-746
• Computer Modelling of Cognitive ProcessesNina Rizun. 747-750
• Hands-On Exercises to Support Computer Architecture Students Using EDUCache SimulatorSasko Ristov, Blagoj Atanasovski, Marjan Gusev, Nenad Anchev. 751-758
• Concept of competence management system for Polish National Qualification Framework in the Computer Science areaPrzemyslaw Rózewski, Bartlomiej Malachowski, Piotr Danczura. 759-765
• Genetic Algorithms with Different Feature Selection Techniques for Anomaly Detectors GenerationAmira Sayed A. Aziz, Ahmad Taher Azar, Mostafa A. Salama, Aboul Ella Hassanien, Sanaa El Ola Hanfy. 769-774
• How to Develop a Biometric System with Claimed AssuranceAndrzej Bialas. 775-780
• Real-Time Carpooling and Ride-Sharing: Position Paper on Design Concepts, Distribution and Cloud Computing StrategiesDejan Dimitrijevic, Vladimir Dimitrieski, Nemanja Nedic. 781-786
• Emerging technologies for interactive TVMarek Dabrowski. 787-793
• Communication in Distributed Database System in the VANET EnvironmentJán Janech, Stefan Toth. 795-799
• Content Delivery Network Monitoring with Limited ResourcesKrzysztof Kaczmarski, Marcin Pilarski, Bogdan Banasiak, Christophe Kabut. 801-805
• The control on-line over TCP/IP exemplified by communication with automotive networkGrzejszczyk Elzbieta. 807-810
• How to use the TPM in the method of secure data exchange using Flash RAM mediaJanusz Furtak, Tomasz Palys, Jan Chudzikiewicz. 811-818
• LocFusion API - Programming Interface for Accurate Multi-Source Mobile Terminal PositioningPiotr Korbel, Piotr Wawrzyniak, Sebastian Grabowski, Dorota Krasinska. 819-823
• Mobile Applications Aiding the Visually Impaired in Travelling with Public TransportPiotr Korbel, Piotr Skulimowski, Piotr Wasilewski, Piotr Wawrzyniak. 825-828
• Towards networks of the future: SDN paradigm introduction to PON networking for business applicationsPawel Parol, Michal Pawlowski. 829-836
• Are Graphical Authentication Mechanisms As Strong As Passwords?Karen Renaud, Peter Mayer, Melanie Volkamer, Joe Maguire. 837-844
• Tests of Smartphone Localization Accuracy Using W3C API and Cell-IdGrzegorz Sabak. 845-849
• Integration of context information from different sources: Unified Communication, Telco 2.0 and M2MGrzegorz Siewruk, Jaroslaw Legierski, Sebastian Grabowski, Marek Sredniawa. 851-858
• Mobile Payment System - Telco 2.0 application dedicated for paymentsPiotr Trusiewicz, Maciej Witan, Marcin Kuzia. 859-864
• Parking Reservation - application dedicated for car users based on telecommunications APIsPiotr Trusiewicz, Jaroslaw Legierski. 865-869
• Student Information Delivery Platform Using Telecommunications Open Middleware APIsPiotr Wawrzyniak, Piotr Korbel, Anna Borowska-Terka. 871-874
• Cloud Computing System Based on Wireless Sensor NetworkWen-Yaw Chung, Pei-Shan Yu, Chao-Jen Huang. 877-880
• Approaches of Wireless Sensor Network Dependability AssessmentAntonio Coronato, Alessandro Testa. 881-888
• Analysis of the influence of radio beacon placement on the accuracy of indoor positioning systemKrzysztof Piwowarczyk, Piotr Korbel, Tomasz Kacprzak. 889-894
• Development of Special Smartphone-Based Body Area Network: Energy RequirementsJana Púchyová, Michal Kochlán, Michal Hodon. 895-900
• SENTIOF: An FPGA Based High-Performance and Low-Power Wireless Embedded PlatformKhurram Shahzad, Peng Cheng, Bengt Oelmann. 901-906
• Wireless Indoor Positioning System for the Visually ImpairedPiotr Wawrzyniak, Piotr Korbel. 907-910
• A Hierarchical Approach for Configuring Business ProcessesMateusz Baran, Krzysztof Kluza, Grzegorz J. Nalepa, Antoni Ligeza. 915-921
• Simulation driven design of the German toll system - profiling simulation performanceTommy Baumann, Bernd Pfitzinger, Thomas Jestädt. 923-926
• Moving Trend Based Filters Design in Frequency DomainJan T. Duda, Tomasz Pelech-Pilichowski. 927-930
• Incorporating Text Analysis into Evolution of Social Groups in BlogosphereBogdan Gliwa, Anna Zygmunt, Stanislaw Podgórski. 931-938
• Towards Rule-oriented Business Process Model GenerationKrzysztof Kluza, Grzegorz J. Nalepa. 939-946
• The Set of Time Structures for Economic Phenomena DescriptionMaria Mach-Król. 947-949
• Assessment of Business Intelligence Maturity in the Selected OrganizationsCelina Olszak. 951-958
• Towards a Better Understanding of Context-Aware ApplicationsEmilian Pascalau, Grzegorz J. Nalepa, Krzysztof Kluza. 959-962
• Rapid Application Prototyping for Functional LanguagesMartin Podloucký. 963-969
• Assessment of the EPQ probability parameter for scientific articles publishingRafal Rumin, Piotr Potiopa. 971-976
• Fuzzy Multi-attribute Evaluation of InvestmentsBogdan Rebiasz, Bartlomiej Gawel, Iwona Skalna. 977-980
• Increase in the Competitiveness of SMEs using Business Intelligence in the Czech-Polish border areasMilena Tvrdíková. 981-984
• Implementation of the Big Data concept in organizations - possibilities, impediments and challengesJanusz Wielki. 985-989
• Learning sensors usage patterns in mobile context-aware systemsSzymon Bobek, Krzysztof Porzycki, Grzegorz J. Nalepa. 993-998
• System Design and Implementation Decisions for ParaMoise Organizational ModelMateusz Guzek, Grégoire Danoy, Pascal Bouvry. 999-1005
• Using the Evaluation Nets Modeling Tool Concept as an Enhancement of the Petri Net ToolMichal Niedzwiecki, Krzysztof Rzecki, Krzysztof Cetnarowicz. 1007-1012
• Analyzing Meme Propagation in Multimemetic Algorithms: Initial InvestigationsRafael Nogueras, Carlos Cotta. 1013-1019
• Fair and truthful multiagent resource allocation for conference moderationAdam Polomski. 1021-1027
• Verifying data integration agents with deduction-based modelsRadoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki. 1029-1035
• Agent Based System for Assistance at Industrial Process Control with Experience ModelingGabriel Rojek. 1037-1040
• Agent-based Architecture and Situation-based Scenario for Consistency ManagementPhuong Thao Pham, Mourad Rabah, Pascal Estraillier. 1041-1046
• Agent-based Resource Management in Tsunami ModelingAlexander Vazhenin, Yutaka Watanobe, Kensaku Hayashi, Michal Drozdowicz, Maria Ganzha, Marcin Paprzycki, Katarzyna Wasielewska, Pawel Gepner. 1047-1052
• Advancements in Cloud Computing for LogisticsUwe Arnold, Jan Oberländer, Björn Schwarzbach. 1055-1062
• Integrated Model of a Social Navigation System with Self-adaptive Feedback Control MechanismVangel V. Ajanovski. 1063-1070
• Concept of Platform for Hybrid Composition, Grounding and Execution of Web ServicesLev Belava. 1071-1077
• Analysis of the importance of business process management depending on the organization structure and cultureWitold Chmielarz, Marek Zborowski, Aneta Biernikowicz. 1079-1086
• Process-based evaluation and comparison of OTS software alternativesMaria Jesus Faundes, Hernán Astudillo, Bernhard Hitpass. 1087-1094
• Multi-attribute Auctions and Negotiations with Verifiable and Not-verifiable OffersGregory E. Kersten, Tomasz Wachowicz, Margaret J. Kersten. 1095-1102
• Verification of ArchiMate process specifications based on deductive temporal reasoningRadoslaw Klimek, Piotr Szwed. 1103-1110
• Design of Financial Knowledge in Dashboard for SME ManagersJerzy Korczak, Helena Dudycz, Miroslaw Dyczkowski. 1111-1118
• Risk avoiding strategy in multi-agent trading systemJerzy Korczak, Marcin Hernes, Maciej Bac. 1119-1126
• Optimising Web-Based Information Retrieval Methods for Horizon Scanning Using Relevance FeedbackMarco A. Palomino, Tim Taylor, Geoff McBride, Hugh Mortimer, Richard Owen, Michael Depledge. 1127-1134
• Software Implementation of Common Criteria Related Design PatternsDariusz Rogowski. 1135-1140
• IT Security Threats in Cloud Computing Sourcing ModelArtur Rot, Malgorzata Sobinska. 1141-1144
• Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri NetsBidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki. 1145-1152
• The postulates of consensus determining in financial decision support systemsJadwiga Sobieska-Karpinska, Marcin Hernes. 1153-1156
• The DDMKCC Decision Support Architecture in the Light of Case StudiesStanislaw Stanek, Jolanta Wartini Twardowska, Zbigniew Twardowski. 1157-1164
• The Structure of Agility from Different PerspectivesRoy Wendler. 1165-1172
• Measuring the information society in Poland - dilemmas and a quantified imageEwa Ziemba, Rafal Zelazny. 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 companiesMariusz Zytniewski, Radoslaw Kowal, Andrzej Soltysik. 1181-1187
• Product Swapping and Transfer Sales Between Suppliers in a Balanced NetworkIkbal Ece Dizbay, Omer Ozturkoglu. 1191-1194
• Rule-based Approach For Supplier EvaluationAndrzej Maciol, Stanislaw Jedrusik, Bogdan Rebiasz. 1195-1202
• Applying Big Data and Linked Data Concepts in Supply Chains ManagementSilva Robak, Bogdan Franczyk, Marcin Robak. 1203-1209
• A hybrid approach to supply chain modeling and optimizationPawel Sitek, Jaroslaw Wikarek. 1211-1218
• Inconsistency Handling in Collaborative Knowledge ManagementWeronika T. Adrian, Antoni Ligeza, Grzegorz J. Nalepa. 1221-1226
• Internet as the Source for Acquiring the Medical InformationMagdalena Czerwinska. 1227-1234
• Corporate Amnesia in the Micro Business EnvironmentStephen J. Hall, Clifford De Raffaele. 1235-1239
• Knowledge conflicts in Business Intelligence systemsMarcin Hernes, Kamal Matouk. 1241-1246
• One approach to the classification of business knowledge diagrams: practical viewDmitry Kudryavtsev, Tatiana Gavrilova, Irina A. Leshcheva. 1247-1253
• Knowledge Management as Foundation of Smart UniversityKatarzyna Marciniak, Mieczyslaw L. Owoc. 1255-1260
• Scalable Web Monitoring SystemAndrzej Opalinski, Wojciech Turek, Krzysztof Cetnarowicz. 1261-1267
• Business Intelligence as a service in a cloud environmentMaciej Pondel. 1269-1271
• Knowledge Acquisition for New Product Development with the Use of an ERP DatabaseMarcin Relich. 1273-1278
• Preliminaries for Dynamic Competence Management System buildingPrzemyslaw Rózewski, Bartlomiej Malachowski, Jaroslaw Jankowski, Marcin Prys, Piotr Danczura. 1279-1285
• Outsourcing of knowledge in change and renewal processesMalgorzata Sobinska, Jakub Mierzynski. 1287-1291
• Student Response to Educational Games - An Empirical StudyUrszula Swierczynska-Kaczor, Jacek Wachowicz. 1293-1299
• Social Network Framework for Deaf and Blind People based on Cloud ComputingMahmoud El-Gayyar, Hany F. El Yamany, Tarek Gaber, Aboul Ella Hassanien. 1301-1307
• Tracking the node path in wireless ad-hoc networkArtur Sierszen, Lukasz Sturgulewski, Agnieszka Kotowicz. 1309-1313
• User Positioning System for Mobile DevicesArtur Sierszen, Lukasz Sturgulewski, Karol Ciazynski. 1315-1318
• Development of a Mobile Application for People with Panic Disorder as augmentation for an Internet-based InterventionStefan Kleine Stegemann, Lara Ebenfeld, Dirk Lehr, Matthias Berking, Burkhardt Funk. 1319-1325
• Vertoid: Exploring the Persuasive Potential of Location-aware Mobile CuesPawel Wozniak, Andrzej Romanowski. 1327-1330
• Requirements on automatically generated random test casesThomas Arts, Alex Gerdes, Magnus Kronqvist. 1335-1342
• A method for selecting environments for software compatibility testingLukasz Pobereznik. 1343-1348
• An Evaluation of Data Race Detectors Using Bug RepositoriesJochen Schimmel, Korbinian Molitorisz, Walter F. Tichy. 1349-1352
• Test City metaphor as support for visual testcase analysis within integration test domainArtur Sosnówka. 1353-1358
• Modelling Java Concurrency: An Approach and a Uppaal LibraryFranco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo. 1361-1368
• Synthesis of Implementable Control Strategies for Lazy Linear Hybrid AutomataLuigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa. 1369-1376
• Towards deductive-based support for software development processesRadoslaw Klimek. 1377-1380
• Studying Interrelationships of Safety and Security for Software Assurance in Cyber-Physical Systems: Approach Based on Bayesian Belief NetworksAndrew J. Kornecki, Nary Subramanian, Janusz Zalewski. 1381-1387
• Object-oriented Approach to Timed Colored Petri Net SimulationMichal Kowalski, Wojciech Rzasa. 1389-1392
• Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaeraXian Li, Kerstin Bauer, Klaus Schneider. 1393-1400
• Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems ScenarioBirgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss. 1401-1406
• Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks ApproachDaniel Reyes-Duran, Elliot Robinson, Andrew J. Kornecki, Janusz Zalewski. 1407-1413
• Towards the Applicability of Alf to Model Cyber-Physical SystemsAlessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira. 1415-1422
• Improving security in SCADA systems through firewall policy analysisOndrej Rysavy, Jaroslav Ráb, Miroslav Svéda. 1423-1428
• Development of a Cyber-Physical System for Mobile Robot Control using ErlangSzymon Szominski, Konrad Gadek, Michal Konarski, Bogna Blaszczyk, Piotr Anielski, Wojciech Turek. 1429-1436
• On Redundant Data for Faster Recursive Querying Via ORM SystemsAleksandra Boniewicz, Piotr Wisniewski, Krzysztof Stencel. 1439-1446
• Java Interface for Relaxed Object StorageMichal Danihelka, Michal Kopecky, Petr Svec, Michal Zemlicka. 1447-1454
• Approximate Assistance for Correlated SubqueriesMarcin Kowalski, Dominik Slezak, Piotr Synak. 1455-1462
• Performance Antipatterns of One to Many Association in HibernatePatrycja Wegrzynowicz. 1463-1469
• Magnify - a new tool for software visualizationCezary Bartoszuk, Grzegorz Timoszuk, Robert Dabrowski, Krzysztof Stencel. 1473-1476
• Conjunction, Sequence, and Interval Relations in Event Stream ProcessingSamujjwal Bhandari, Susan Darling Urban. 1477-1482
• Visual Programming of MPI Applications: Debugging and Performance AnalysisStanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský. 1483-1490
• pLERO: Language for Grammar Refactoring PatternsJán Kollár, Ivan Halupka, Sergej Chodarev, Emília Pietriková. 1491-1498
• Incremental JIT Compiler for Implicitly Parallel Functional LanguagePetr Krajca. 1499-1506
• Reconstruction of Instruction Idioms in a Retargetable DecompilerJakub Kroustek, Fridolín Pokorný. 1507-1514
• Declarative Specification of References in DSLsDominik Lakatos, Jaroslav Porubän, Michaela Bacíková. 1515-1522
• SimpleConcepts: Support for Constraints on Generic Types in C++Reed Milewicz, Marjan Mernik, Peter Pirkelbauer. 1523-1528
• Concern-oriented Source Code ProjectionsMatej Nosál, Jaroslav Porubän, Milan Nosál. 1529-1532
• Teaching Programming through Problem Solving: The Role of the Programming LanguageNikolaos S. Papaspyrou, Stathis Zachos. 1533-1536
• Compilation to Quantum Circuits for a Language with Quantum Data and ControlYannis Rouselakis, Nikolaos S. Papaspyrou, Yiannis Tsiouris, Eneia Todoran. 1537-1544
• Grammar-Driven Development of JSON Processing ApplicationsAntonio Sarasa-Cabezuelo, José Luis Sierra. 1545-1552
• Alvis Language with Time DependenceMarcin Szpyrka, Piotr Matyasik, Michal Wypych. 1553-1558
• Relaxing Queries to Detect Variants of Design PatternsPatrycja Wegrzynowicz, Krzysztof Stencel. 1559-1566
• FAL: A Forensics Aware Language for Secure LoggingShams Zawoad, Marjan Mernik, Ragib Hasan. 1567-1574
• Dynamic loop reversal - the new code transformation techniqueIvan Simecek, Pavel Tvrdík. 1575-1582