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