Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFedCSIS 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 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