| 2013 | 3D Non-Local Means denoising via multi-GPU. Giuseppe Palma, Francesco Piccialli, Pasquale De Michele, Salvatore Cuomo, Marco Comerci, Pasquale Borrelli, Bruno Alfano |
| 2013 | A Beam Search Based Algorithm for the Capacitated Vehicle Routing Problem with Time Windows. Hakim Akeb, Adel Bouchakhchoukha, Mhand Hifi |
| 2013 | A Fuzzy Logic Approach to The Evaluation of Health Risks Associated with Obesity. Tadeusz Nawarycz, Krzysztof Pytel, Maciej Gazicki-Lipman, Wojciech Drygas, Lidia Ostrowska-Nawarycz |
| 2013 | A General Divide and Conquer Approach for Process Mining. Wil M. P. van der Aalst |
| 2013 | A Hierarchical Approach for Configuring Business Processes. Mateusz Baran, Krzysztof Kluza, Grzegorz J. Nalepa, Antoni Ligeza |
| 2013 | A Human Inspired Collision Avoidance Strategy for Moving Agents. Pejman Kamkarian, Henry Hexmoor |
| 2013 | A Hybrid Algorithm based on Differential Evolution, Particle Swarm Optimization and Harmony Search Algorithms. Ezgi Deniz Ulker, Ali Haydar |
| 2013 | A Hybrid Approach of System Security for Small and Medium Enterprises: combining different Cryptography techniques. Marius Vladescu, Georgiana Mateescu |
| 2013 | A Maximum Matching Based Heuristic Algorithm for Partial Latin Square Extension Problem. Kazuya Haraguchi, Masaki Ishigaki, Akira Maruoka |
| 2013 | 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 |
| 2013 | A Robust Cattle Identification Scheme Using Muzzle Print Images. Ali Ismail Awad, Hossam M. Zawbaa, Hamdi A. Mahmoud, Eman Hany Hassan Abdel Nabi, Rabie Hassan Fayed, Aboul Ella Hassanien |
| 2013 | A Score-Based Packet Retransmission Approach for Push-Pull P2P Streaming Systems. Müge Sayit, Erdem Karayer, Kemal Deniz Teket, Yagiz Kaymak, Cihat Cetinkaya, Sercan Demirci, Geylani Kardas |
| 2013 | A computational support for the group consensus reaching process in the fuzzy environment. Janusz Kacprzyk, Dominika Golunska, Andrzej Gorgon |
| 2013 | A hybrid approach to supply chain modeling and optimization. Pawel Sitek, Jaroslaw Wikarek |
| 2013 | A hybrid method for modeling and solving constrained search problems. Pawel Sitek, Jaroslaw Wikarek |
| 2013 | A method for selecting environments for software compatibility testing. Lukasz Pobereznik |
| 2013 | A quasi self-stabilizing algorithm for detecting fundamental cycles in a graph with DFS spanning tree given. Halina Bielak, Michal Panczyk |
| 2013 | Advancements in Cloud Computing for Logistics. Uwe Arnold, Jan Oberländer, Björn Schwarzbach |
| 2013 | Agent Based System for Assistance at Industrial Process Control with Experience Modeling. Gabriel Rojek |
| 2013 | Agent-based Architecture and Situation-based Scenario for Consistency Management. Phuong Thao Pham, Mourad Rabah, Pascal Estraillier |
| 2013 | Agent-based Resource Management in Tsunami Modeling. Alexander Vazhenin, Yutaka Watanobe, Kensaku Hayashi, Michal Drozdowicz, Maria Ganzha, Marcin Paprzycki, Katarzyna Wasielewska, Pawel Gepner |
| 2013 | Alvis Language with Time Dependence. Marcin Szpyrka, Piotr Matyasik, Michal Wypych |
| 2013 | An Approach for Developing a Mobile Accessed Music Search Integration Platform. Marina Purgina, Andrey Kuznetsov, Evgeny Pyshkin |
| 2013 | An Emotional Learning-inspired Ensemble Classifier (ELiEC). Mahboobeh Parsapoor, Urban Bilstrup |
| 2013 | An Evaluation of Data Race Detectors Using Bug Repositories. Jochen Schimmel, Korbinian Molitorisz, Walter F. Tichy |
| 2013 | An Improved Ant Colony System for Retinal Blood Vessel Segmentation. Ahmed H. Asad, Ahmad Taher Azar, Mohamed Mostafa M. Fouad, Aboul Ella Hassanien |
| 2013 | An Investment Strategy for the Stock Exchange Using Neural Networks. Antoni Wysocki, Maciej Lawrynczuk |
| 2013 | Analysis of the importance of business process management depending on the organization structure and culture. Witold Chmielarz, Marek Zborowski, Aneta Biernikowicz |
| 2013 | Analysis of the influence of radio beacon placement on the accuracy of indoor positioning system. Krzysztof Piwowarczyk, Piotr Korbel, Tomasz Kacprzak |
| 2013 | Analyzing Meme Propagation in Multimemetic Algorithms: Initial Investigations. Rafael Nogueras, Carlos Cotta |
| 2013 | Analyzing of Some Performance Measures for Parallel Matrix Multiplication. Halil Snopce, Azir Aliu |
| 2013 | Anticipation in the Dial-a-Ride Problem: an introduction to the robustness. Samuel Deleplanque, Jean-Pierre Dérutin, Alain Quilliot |
| 2013 | Antisocial Behavior Corpus for Harmful Language Detection. Myriam Munezero, Maxim Mozgovoy, Tuomo Kakkonen, Vitaly Klyuev, Erkki Sutinen |
| 2013 | Application of AVX (Advanced Vector Extensions) for Improved Performance of the PARFES - Finite Element Parallel Direct Solver. Sergiy Fialko |
| 2013 | Application of Ant-Colony Optimisation to Compute Diversified Entity Summarisation on Semantic Knowledge Graphs. Witold Kosinski, Marcin Sydow, Tomasz Kusmierczyk, Pawel Rembelski |
| 2013 | Applying Big Data and Linked Data Concepts in Supply Chains Management. Silva Robak, Bogdan Franczyk, Marcin Robak |
| 2013 | Approaches of Wireless Sensor Network Dependability Assessment. Antonio Coronato, Alessandro Testa |
| 2013 | Approximate Assistance for Correlated Subqueries. Marcin Kowalski, Dominik Slezak, Piotr Synak |
| 2013 | Architectural Redesign of a Distributed Execution Environment. Cosmin Marian Poteras, Mihai Mocanu, Marian Cristian Mihaescu |
| 2013 | Are Graphical Authentication Mechanisms As Strong As Passwords? Karen Renaud, Peter Mayer, Melanie Volkamer, Joe Maguire |
| 2013 | Assessment of Business Intelligence Maturity in the Selected Organizations. Celina M. Olszak |
| 2013 | Assessment of the EPQ probability parameter for scientific articles publishing. Rafal Rumin, Piotr Potiopa |
| 2013 | Automatic Connections in IEC 61131-3 Function Block Diagrams. Marcin Jamro, Dariusz Rzonca |
| 2013 | Automatic Identification of Broadcast News Story Boundaries using the Unification Method for Popular Nouns. Zainab Ali Khalaf, Tan Tien Ping |
| 2013 | 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 |
| 2013 | Autonomous Input Management for Human Interaction-Oriented Systems Design. Michal Podpora, Aleksandra Kawala-Janik, Mary Kiernan |
| 2013 | Biased Random Key Genetic Algorithm with Hybrid Decoding for Multi-objective Optimization. Panwadee Tangpattanakul, Nicolas Jozefowiez, Pierre Lopez |
| 2013 | Bicriteria Fuzzy Optimization Location-Allocation Approach. Santiago García Carbajal, Belarmino Adenso-Díaz, Sebastián Lozano |
| 2013 | 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 |
| 2013 | Business Intelligence as a service in a cloud environment. Maciej Pondel |
| 2013 | Cardiac disorders detection approach based on local transfer function classifier. Ahmed Hamdy, Nashwa El-Bendary, Ashraf Khodeir, Mohamed Mostafa M. Fouad, Aboul Ella Hassanien, Hesham A. Hefny |
| 2013 | Cloud Computing System Based on Wireless Sensor Network. Wen-Yaw Chung, Pei-Shan Yu, Chao-Jen Huang |
| 2013 | Collective Belief Revision in Linear Algebra. Satoshi Tojo |
| 2013 | Color Classifiers for 2D Color Barcodes. Marco Querini, Giuseppe F. Italiano |
| 2013 | Combining One-Class Support Vector Machines for Microarray Classification. Bartosz Krawczyk |
| 2013 | Communication in Distributed Database System in the VANET Environment. Ján Janech, Stefan Toth |
| 2013 | Comparison of Selected Textural Features as Global Content-Based Descriptors of VHR Satellite Image - the EROS-A Study. Wojciech Drzewiecki, Anna Wawrzaszek, Michal Krupinski, Sebastian Aleksandrowicz, Katarzyna Bernat |
| 2013 | Comparison of methods for hand gesture recognition based on Dynamic Time Warping algorithm. Katarzyna Barczewska, Aleksandra Drozd |
| 2013 | Compilation to Quantum Circuits for a Language with Quantum Data and Control. Yannis Rouselakis, Nikolaos S. Papaspyrou, Yiannis Tsiouris, Eneia Todoran |
| 2013 | Computer Modelling of Cognitive Processes. Nina Rizun |
| 2013 | Computer Science E-Courses for Students with Different Learning Styles. Olga Mironova, Tiia Rüütmann, Irina Amitan, Juri Vilipold, Merike Saar |
| 2013 | Concept of Platform for Hybrid Composition, Grounding and Execution of Web Services. Lev Belava |
| 2013 | Concept of competence management system for Polish National Qualification Framework in the Computer Science area. Przemyslaw Rózewski, Bartlomiej Malachowski, Piotr Danczura |
| 2013 | Concern-oriented Source Code Projections. Matej Nosál, Jaroslav Porubän, Milan Nosál |
| 2013 | Conjunction, Sequence, and Interval Relations in Event Stream Processing. Samujjwal Bhandari, Susan Darling Urban |
| 2013 | Content Delivery Network Monitoring with Limited Resources. Krzysztof Kaczmarski, Marcin Pilarski, Bogdan Banasiak, Christophe Kabut |
| 2013 | Corporate Amnesia in the Micro Business Environment. Stephen J. Hall, Clifford De Raffaele |
| 2013 | Creating a Serial Driver Chip for Commanding Robotic Arms. Roland Szabó, Aurel Gontean |
| 2013 | Declarative Specification of References in DSLs. Dominik Lakatos, Jaroslav Porubän, Michaela Bacíková |
| 2013 | Dependence of Kinect sensors number and position on gestures recognition with Gesture Description Language semantic classifier. Tomasz Hachaj, Marek R. Ogiela, Marcin Piekarczyk |
| 2013 | Design of Digital Watermarking System Robust to the Number of Removal Attacks. Sergey Anfinogenov |
| 2013 | Design of Financial Knowledge in Dashboard for SME Managers. Jerzy Korczak, Helena Dudycz, Miroslaw Dyczkowski |
| 2013 | Designing multiple user perspectives and functionality for clinical decision support systems. Christopher D. Buckingham, Abu Ahmed, Ann Adams |
| 2013 | Development of Special Smartphone-Based Body Area Network: Energy Requirements. Jana Púchyová, Michal Kochlán, Michal Hodon |
| 2013 | Development of a Cyber-Physical System for Mobile Robot Control using Erlang. Szymon Szominski, Konrad Gadek, Michal Konarski, Bogna Blaszczyk, Piotr Anielski, Wojciech Turek |
| 2013 | Development of a Mobile Application for People with Panic Disorder as augmentation for an Internet-based Intervention. Stefan Kleine Stegemann, Lara Ebenfeld, Dirk Lehr, Matthias Berking, Burkhardt Funk |
| 2013 | Drawer: an Innovative Teaching Method for Blended Learning. Félix Albertos Marco, Víctor M. Ruiz Penichet, José A. Gallud Lázaro |
| 2013 | Dynamic loop reversal - the new code transformation technique. Ivan Simecek, Pavel Tvrdík |
| 2013 | Efficient Models for Special Types of Non-Linear Maximum Flow Problems. Marina Tvorogova |
| 2013 | Efficient and Scalable Computation of the Energy and Makespan Pareto Front for Heterogeneous Computing Systems. Kyle M. Tarplee, Ryan D. Friese, Anthony A. Maciejewski, Howard Jay Siegel |
| 2013 | Emerging technologies for interactive TV. Marek Dabrowski |
| 2013 | Energy-based Pruning Devices for the BP Algorithm applied to Distance Geometry. Douglas Soares Gonçalves, Antonio Mucherino, Carlile Lavor |
| 2013 | Evaluation of beef production and consumption ontology and presentation of its actual and potential applications. Rafal Trójczak, Robert Trypuz, Przemyslaw Gradzki, Jerzy Wierzbicki, Alicja Wozniak |
| 2013 | Evolutionary Nonlinear Data Transformation for Visualization and Classification Tasks. Kamil Zabkiewicz |
| 2013 | Examples of Ramanujan and expander graphs for practical applications. Monika Polak, Vasyl Ustimenko |
| 2013 | Exploring inexperienced user performance of a mobile tablet application through usability testing. Chrysoula Gatsou, Anastasios Politis, Dimitrios Zevgolis |
| 2013 | FAL: A Forensics Aware Language for Secure Logging. Shams Zawoad, Marjan Mernik, Ragib Hasan |
| 2013 | Failure Analysis and Estimation of the Healthcare System. Elena N. Zaitseva, Jozef Kostolny, Miroslav Kvassay, Vitaly G. Levashenko, Krzysztof Pancerz |
| 2013 | Fair and truthful multiagent resource allocation for conference moderation. Adam Polomski |
| 2013 | Fair optimization with advanced aggregation operators in a multicriteria facility layout problem. Jaroslaw Hurkala, Adam Hurkala |
| 2013 | Fingerprinting System for Still Images Based on the Use of a Holographic Transform Domain. Valery I. Korzhik, Guillermo Morales-Luna, Alexander Kochkarev, Ivan Shevchuk |
| 2013 | Flow-level Spam Modelling using separate data sources. Marcin Luckner, Robert Filasiak |
| 2013 | Fuzziness in Partial Approximation Framework. Zoltán Erno Csajbók, Tamás Mihálydeák |
| 2013 | Fuzzy Multi-attribute Evaluation of Investments. Bogdan Rebiasz, Bartlomiej Gawel, Iwona Skalna |
| 2013 | Fuzzy-Based Multi-Stroke Character Recognizer. Alex Tormási, László T. Kóczy |
| 2013 | Genetic Algorithms with Different Feature Selection Techniques for Anomaly Detectors Generation. Amira Sayed A. Aziz, Ahmad Taher Azar, Mostafa A. Salama, Aboul Ella Hassanien, Sanaa El-Ola Hanafy |
| 2013 | Grammar-Driven Development of JSON Processing Applications. Antonio Sarasa-Cabezuelo, José Luis Sierra |
| 2013 | HEQAM: A Developed Higher Education Quality Assessment Model. Amin Y. Noaman, Abdul Hamid M. Ragab, Ayman G. Fayoumi, Ahmed M. Khedra, Ayman I. Madbouly |
| 2013 | Hands-On Exercises to Support Computer Architecture Students Using EDUCache Simulator. Sasko Ristov, Blagoj Atanasovski, Marjan Gusev, Nenad Anchev |
| 2013 | How to Develop a Biometric System with Claimed Assurance. Andrzej Bialas |
| 2013 | How to use the TPM in the method of secure data exchange using Flash RAM media. Janusz Furtak, Tomasz Palys, Jan Chudzikiewicz |
| 2013 | IS (ICT) and CS in Civil Engineering Curricula: Case Study. R. Robert Gajewski, Lech Wlasak, Marcin Jaczewski |
| 2013 | IT Security Threats in Cloud Computing Sourcing Model. Artur Rot, Malgorzata Sobinska |
| 2013 | Image Recognition System for the VANET. Stefan Toth, Ján Janech, Emil Krsák |
| 2013 | Image Semantic Annotation using Fuzzy Decision Trees. Andreea Popescu, Bogdan Popescu, Marius Brezovan, Eugen Ganea |
| 2013 | Impact of Signalling Load on Response Times for Signalling over IMS Core. Lubos Nagy, Jiri Hosek, Pavel Vajsar, Vit Novotny |
| 2013 | Implementation of the Big Data concept in organizations - possibilities, impediments and challenges. Janusz Wielki |
| 2013 | Improving Learning Methods through Adding Student's Judgment within Teacher's curricula. Habib M. Fardoun, Daniyal M. Alghazzawi, Lorenzo C. Gonzalez |
| 2013 | Improving security in SCADA systems through firewall policy analysis. Ondrej Rysavý, Jaroslav Ráb, Miroslav Svéda |
| 2013 | Improving the accessibility of touchscreen-based mobile devices: Integrating Android-based devices and Braille notetakers. Daniel Kocielinski, Jolanta Brzostek-Pawlowska |
| 2013 | Inconsistency Handling in Collaborative Knowledge Management. Weronika T. Adrian, Antoni Ligeza, Grzegorz J. Nalepa |
| 2013 | Incorporating Text Analysis into Evolution of Social Groups in Blogosphere. Bogdan Gliwa, Anna Zygmunt, Stanislaw Podgórski |
| 2013 | Increase in the Competitiveness of SMEs using Business Intelligence in the Czech-Polish border areas. Milena Tvrdíková |
| 2013 | Incremental JIT Compiler for Implicitly Parallel Functional Language. Petr Krajca |
| 2013 | Inexact Newton method as a tool for solving Differential-Algebraic Systems. Pawel Drag, Krystyn Styczen |
| 2013 | Influence of the Population Size on the Genetic Algorithm Performance in Case of Cultivation Process Modelling. Olympia Roeva, Stefka Fidanova, Marcin Paprzycki |
| 2013 | Information Retrieval Using an Ontological Web-Trading Model. José Andrés Asensio, Nicolás Padilla, Luis Iribarne |
| 2013 | Integrated Model of a Social Navigation System with Self-adaptive Feedback Control Mechanism. Vangel V. Ajanovski |
| 2013 | Integration of context information from different sources: Unified Communication, Telco 2.0 and M2M. Grzegorz Siewruk, Jaroslaw Legierski, Sebastian Grabowski, Marek Sredniawa |
| 2013 | Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario. Birgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss |
| 2013 | Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. Xian Li, Kerstin Bauer, Klaus Schneider |
| 2013 | Internet as the Source for Acquiring the Medical Information. Magdalena Czerwinska |
| 2013 | Java Interface for Relaxed Object Storage. Michal Danihelka, Michal Kopecky, Petr Svec, Michal Zemlicka |
| 2013 | Knowledge Acquisition for New Product Development with the Use of an ERP Database. Marcin Relich |
| 2013 | Knowledge Management as Foundation of Smart University. Katarzyna Marciniak, Mieczyslaw L. Owoc |
| 2013 | Knowledge conflicts in Business Intelligence systems. Marcin Hernes, Kamal Matouk |
| 2013 | Knowledge-based Named Entity Recognition in Polish. Aleksander Smywinski-Pohl |
| 2013 | Learning sensors usage patterns in mobile context-aware systems. Szymon Bobek, Krzysztof Porzycki, Grzegorz J. Nalepa |
| 2013 | Library for Matrix Multiplication-based Data Manipulation on a "Mesh-of-Tori" Architecture. Maria Ganzha, Marcin Paprzycki, Stanislav Sedukhin |
| 2013 | Linguistic knowledge about temporal data in Bayesian linear regression model to support forecasting of time series. Katarzyna Kaczmarek, Olgierd Hryniewicz |
| 2013 | LocFusion API - Programming Interface for Accurate Multi-Source Mobile Terminal Positioning. Piotr Korbel, Piotr Wawrzyniak, Sebastian Grabowski, Dorota Krasinska |
| 2013 | Logo identification algorithm for TV Internet. Marta Chodyka, Volodymyr Mosorov |
| 2013 | Magnify - a new tool for software visualization. Cezary Bartoszuk, Grzegorz Timoszuk, Robert Dabrowski, Krzysztof Stencel |
| 2013 | Measuring the information society in Poland - dilemmas and a quantified image. Ewa Ziemba, Rafal Zelazny |
| 2013 | Medical Decision Support System Architecture for Diagnosis of Down's Syndrome. Hubert Wojtowicz, Jolanta Wojtowicz, Wojciech Koziol, Wieslaw Wajs |
| 2013 | Microformat and Microdata schemas for interactive 3D web content. Jakub Flotynski, Krzysztof Walczak |
| 2013 | Mixed precision iterative refinement techniques for the WZ factorization. Beata Bylina, Jaroslaw Bylina |
| 2013 | Mobile Applications Aiding the Visually Impaired in Travelling with Public Transport. Piotr Korbel, Piotr Skulimowski, Piotr Wasilewski, Piotr Wawrzyniak |
| 2013 | Mobile Payment System - Telco 2.0 application dedicated for payments. Piotr Trusiewicz, Maciej Witan, Marcin Kuzia |
| 2013 | Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets. Bidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki |
| 2013 | Modelling Java Concurrency: An Approach and a Uppaal Library. Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
| 2013 | Moving Trend Based Filters Design in Frequency Domain. Jan T. Duda, Tomasz Pelech-Pilichowski |
| 2013 | Multi-attribute Auctions and Negotiations with Verifiable and Not-verifiable Offers. Gregory E. Kersten, Tomasz Wachowicz, Margaret J. Kersten |
| 2013 | Multiple shooting SQP-line search algorithm for optimal control of pressure-constrained batch reactor. Pawel Drag, Krystyn Styczen |
| 2013 | N-body simulation based on the Particle Mesh method using Multigrid schemes. Panagiotis E. Kyziropoulos, C. K. Filelis-Papadopoulos, George A. Gravvanis |
| 2013 | New Subject to improve the Educational System: Through the Communication between Educational Institution-Company. Habib M. Fardoun, Abdulfattah S. Mashat, Lorenzo C. Gonzalez |
| 2013 | Nonnegative Matrix Factorization and Its Application to Pattern Analysis and Text Mining. Jacek M. Zurada, Tolga Ensari, Ehsan Hosseini-Asl, Jan Chorowski |
| 2013 | Novel heuristic solutions for Multi-Skill Resource-Constrained Project Scheduling Problem. Marek Skowronski, Pawel B. Myszkowski, Lukasz Podlodowski |
| 2013 | Object Tracking and Video Event Recognition with Fuzzy Semantic Petri Nets. Piotr Szwed, Mateusz Komorkiewicz |
| 2013 | Object-oriented Approach to Timed Colored Petri Net Simulation. Michal Kowalski, Wojciech Rzasa |
| 2013 | On Redundant Data for Faster Recursive Querying Via ORM Systems. Aleksandra Boniewicz, Piotr Wisniewski, Krzysztof Stencel |
| 2013 | On some quality criteria of bipolar linguistic summaries. Mateusz Dziedzic, Janusz Kacprzyk, Slawomir Zadrozny |
| 2013 | On the computer certification of fuzzy numbers. Adam Grabowski |
| 2013 | One approach to the classification of business knowledge diagrams: practical view. Dmitry Kudryavtsev, Tatiana Gavrilova, Irina A. Leshcheva |
| 2013 | Ontology of architectural decisions supporting ATAM based assessment of SOA architectures. Piotr Szwed, Pawel Skrzynski, Grzegorz Rogus, Jan Werewka |
| 2013 | Optimising Web-Based Information Retrieval Methods for Horizon Scanning Using Relevance Feedback. Marco A. Palomino, Tim Taylor, Geoff McBride, Hugh Mortimer, Richard J. Owen, Michael Depledge |
| 2013 | Outsourcing of knowledge in change and renewal processes. Malgorzata Sobinska, Jakub Mierzynski |
| 2013 | Parking Reservation - application dedicated for car users based on telecommunications APIs. Piotr Trusiewicz, Jaroslaw Legierski |
| 2013 | Performance Antipatterns of One to Many Association in Hibernate. Patrycja Wegrzynowicz |
| 2013 | Performance Impact of Reconfigurable L1 Cache on GPU Devices. Sasko Ristov, Marjan Gusev, Leonid Djinevski, Sime Arsenovski |
| 2013 | Prediction of School Dropout Risk Group Using Neural Network Fuzzy ARTMAP. Valquiria R. C. Martinho, Clodoaldo Nunes, Carlos R. Minussi |
| 2013 | Preliminaries for Dynamic Competence Management System building. Przemyslaw Rózewski, Bartlomiej Malachowski, Jaroslaw Jankowski, Marcin Prys, Piotr Danczura |
| 2013 | Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013. Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki |
| 2013 | Process-based evaluation and comparison of OTS software alternatives. Maria Jesus Faundes, Hernán Astudillo, Bernhard Hitpass |
| 2013 | Product Swapping and Transfer Sales Between Suppliers in a Balanced Network. Ikbal Ece Dizbay, Ömer Öztürkoglu |
| 2013 | Quadratic TSP: A lower bounding procedure and a column generation approach. Borzou Rostami, Federico Malucelli, Pietro Belotti, Stefano Gualandi |
| 2013 | Query Construction for Related Document Search Based on User Annotations. Jakub Sevcech, Mária Bieliková |
| 2013 | RBF ensemble based on reduction of DAG structure. Marcin Luckner, Karol Szyszko |
| 2013 | Rapid Application Prototyping for Functional Languages. Martin Podloucký |
| 2013 | Real life cable constraints in designing Passive Optical Network architecture. Stanislas Francfort, Cédric Hervet, Matthieu Chardy, Frédéric Moulis |
| 2013 | Real-Time Carpooling and Ride-Sharing: Position Paper on Design Concepts, Distribution and Cloud Computing Strategies. Dejan Dimitrijevic, Vladimir Dimitrieski, Nemanja Nedic |
| 2013 | Real-time Implementation of the ViBe Foreground Object Segmentation Algorithm. Tomasz Kryjak, Marek Gorgon |
| 2013 | Recommender system for ground-level Ozone predictions in Kuwait. Mahmood A. Mahmood, Eiman Tamah Al-Shammari, Nashwa El-Bendary, Aboul Ella Hassanien, Hesham A. Hefny |
| 2013 | Reconstruction of Instruction Idioms in a Retargetable Decompiler. Jakub Kroustek, Fridolín Pokorný |
| 2013 | Reduction of the SEEQ Questionnaire. Montserrat Corbalan Fuertes, Inmaculada Plaza, Eva Hervas, Emiliano Aldabas, Jordi Zaragoza, Francisco Arcega |
| 2013 | Relaxing Queries to Detect Variants of Design Patterns. Patrycja Wegrzynowicz, Krzysztof Stencel |
| 2013 | Requirements on automatically generated random test cases. Thomas Arts, Alex Gerdes, Magnus Kronqvist |
| 2013 | Rhetorical Browzing in Journalistic Texts: Preliminary Investigations. Patrice Enjalbert, Alexandre Labadié, Stéphane Ferrari |
| 2013 | Risk avoiding strategy in multi-agent trading system. Jerzy Korczak, Marcin Hernes, Maciej Bac |
| 2013 | Rule-based Approach For Supplier Evaluation. Andrzej Maciol, Stanislaw Jedrusik, Bogdan Rebiasz |
| 2013 | SENTIOF: An FPGA Based High-Performance and Low-Power Wireless Embedded Platform. Khurram Shahzad, Peng Cheng, Bengt Oelmann |
| 2013 | Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach. Daniel Reyes-Duran, Elliot Robinson, Andrew J. Kornecki, Janusz Zalewski |
| 2013 | Scalable Web Monitoring System. Andrzej Opalinski, Wojciech Turek, Krzysztof Cetnarowicz |
| 2013 | Schur Complement Domain Decomposition in conjunction with Algebraic Multigrid methods based on Generic Approximate Inverses. P. I. Matskanidis, George A. Gravvanis |
| 2013 | Semantic Explorative Evaluation of Document Clustering Algorithms. Hung Son Nguyen, Sinh Hoa Nguyen, Wojciech Swieboda |
| 2013 | Semantic Multi-layered Design of Interactive 3D Presentations. Jakub Flotynski, Krzysztof Walczak |
| 2013 | Semantic Tagging of Heterogeneous Data: Labeling Fire & Rescue Incidents with Threats. Adam Krasuski, Andrzej Janusz |
| 2013 | Similarities in Spaces of Features and Concepts: Towards Semantic Evaluations. Wladyslaw Homenda, Agnieszka Jastrzebska |
| 2013 | SimpleConcepts: Support for Constraints on Generic Types in C++. Reed Milewicz, Marjan Mernik, Peter Pirkelbauer |
| 2013 | Simulating of Schistosomatidae (Trematoda: Digenea) Behavior by Physarum Spatial Logic. Andrew Schumann, Ludmila Akimova |
| 2013 | Simulation driven design of the German toll system - profiling simulation performance. Tommy Baumann, Bernd Pfitzinger, Thomas Jestädt |
| 2013 | Simulation of energy consumption in a microgrid for demand side management by scheduling. Weronika Radziszewska, Zbigniew Nahorski |
| 2013 | Social Network Framework for Deaf and Blind People based on Cloud Computing. Mahmoud El-Gayyar, Hany F. El Yamany, Tarek Gaber, Aboul Ella Hassanien |
| 2013 | Software Implementation of Common Criteria Related Design Patterns. Dariusz Rogowski |
| 2013 | Storing Sparse Matrices to Files in the Adaptive-Blocking Hierarchical Storage Format. Daniel Langr, Ivan Simecek, Pavel Tvrdík |
| 2013 | Student Information Delivery Platform Using Telecommunications Open Middleware APIs. Piotr Wawrzyniak, Piotr Korbel, Anna Borowska-Terka |
| 2013 | Student Response to Educational Games - An Empirical Study. Urszula Swierczynska-Kaczor, Jacek Wachowicz |
| 2013 | Studying Interrelationships of Safety and Security for Software Assurance in Cyber-Physical Systems: Approach Based on Bayesian Belief Networks. Andrew J. Kornecki, Nary Subramanian, Janusz Zalewski |
| 2013 | Surface Reconstruction from Scattered Point via RBF Interpolation on GPU. Salvatore Cuomo, Ardelio Galletti, Giulio Giunta, Alfredo Starace |
| 2013 | Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa |
| 2013 | System Design and Implementation Decisions for ParaMoise Organizational Model. Mateusz Guzek, Grégoire Danoy, Pascal Bouvry |
| 2013 | Tabu Search approach for Multi-Skill Resource-Constrained Project Scheduling Problem. Marek Skowronski, Pawel B. Myszkowski, Marcin Adamski, Pawel Kwiatek |
| 2013 | Teaching Programming through Problem Solving: The Role of the Programming Language. Nikolaos S. Papaspyrou, Stathis Zachos |
| 2013 | Template Library for Multi-GPU Pseudorandom Number Generation. Dominik Szalkowski, Przemyslaw Stpiczynski |
| 2013 | Test City metaphor as support for visual testcase analysis within integration test domain. Artur Sosnówka |
| 2013 | Testing the perception of time, state and causality to predict programming aptitude. José Paulo Leal |
| 2013 | Tests of Smartphone Localization Accuracy Using W3C API and Cell-Id. Grzegorz Sabak |
| 2013 | The DDMKCC Decision Support Architecture in the Light of Case Studies. Stanislaw Stanek, Jolanta Wartini Twardowska, Zbigniew Twardowski |
| 2013 | The Multiple Pheromone Ant Clustering Algorithm and its application to real world domains. Jan Chircop, Christopher D. Buckingham |
| 2013 | The Set of Time Structures for Economic Phenomena Description. Maria Mach-Król |
| 2013 | The Structure of Agility from Different Perspectives. Roy Wendler |
| 2013 | The control on-line over TCP/IP exemplified by communication with automotive network. Elzbieta Grzejszczyk |
| 2013 | 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 Zytniewski, Radoslaw Kowal, Andrzej Soltysik |
| 2013 | The postulates of consensus determining in financial decision support systems. Jadwiga Sobieska-Karpinska, Marcin Hernes |
| 2013 | Time dependent global optimization via Bayesian inference and Sequential Monte Carlo sampling. Piotr Kopka, Anna Wawrzynczak, Mieczyslaw Borysiewicz |
| 2013 | Towards Determining Syntactic Complexity of Visual Stimuli Used in Art Therapy. Boleslaw Jaskula, Jaroslaw Szkola, Krzysztof Pancerz |
| 2013 | Towards Rule-oriented Business Process Model Generation. Krzysztof Kluza, Grzegorz J. Nalepa |
| 2013 | Towards a Better Understanding of Context-Aware Applications. Emilian Pascalau, Grzegorz J. Nalepa, Krzysztof Kluza |
| 2013 | Towards an Efficient Multi-Stage Riemann Solver for Nuclear Physics Simulations. Sebastian Cygert, Joanna Porter-Sobieraj, Daniel Kikola, Jan Sikorski, Marcin Slodkowski |
| 2013 | Towards deductive-based support for software development processes. Radoslaw Klimek |
| 2013 | Towards improved student placement and preparation methods on Information Technologies post-secondary education. Ghadah Aldabbagh, Jaime Ramírez Castillo, Habib M. Fardoun |
| 2013 | Towards networks of the future: SDN paradigm introduction to PON networking for business applications. Pawel Parol, Michal Pawlowski |
| 2013 | Towards the Applicability of Alf to Model Cyber-Physical Systems. Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira |
| 2013 | Tracking the node path in wireless ad-hoc network. Artur Sierszen, Lukasz Sturgulewski, Agnieszka Kotowicz |
| 2013 | Tutor Platform for Vocational Students Education. Habib M. Fardoun, Antonio Paules Ciprés, Abdullah Al-Malaise Al-Ghamdi |
| 2013 | Underdetermined Blind Separation of an Unknown Number of Sources Based on Fourier Transform and Matrix Factorization. Ossama S. Alshabrawy, Mohamed Elsayed Ghoneim, A. A. Salama, Aboul Ella Hassanien |
| 2013 | Universal approach for sequential audio pattern search. Róbert Gubka, Michal Kuba, Roman Jarina |
| 2013 | User Positioning System for Mobile Devices. Artur Sierszen, Lukasz Sturgulewski, Karol Ciazynski |
| 2013 | Using the Evaluation Nets Modeling Tool Concept as an Enhancement of the Petri Net Tool. Michal Niedzwiecki, Krzysztof Rzecki, Krzysztof Cetnarowicz |
| 2013 | Verification of ArchiMate process specifications based on deductive temporal reasoning. Radoslaw Klimek, Piotr Szwed |
| 2013 | Verifying data integration agents with deduction-based models. Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki |
| 2013 | Vertoid: Exploring the Persuasive Potential of Location-aware Mobile Cues. Pawel W. Wozniak, Andrzej Romanowski |
| 2013 | Vickrey-Clarke-Groves for privacy-preserving collaborative classification. Anastasia Panoui, Sangarapillai Lambotharan, Raphael C.-W. Phan |
| 2013 | Visual Programming of MPI Applications: Debugging and Performance Analysis. Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský |
| 2013 | Wireless Indoor Positioning System for the Visually Impaired. Piotr Wawrzyniak, Piotr Korbel |
| 2013 | dotRL: A platform for rapid Reinforcement Learning methods development and validation. Bartosz Papis, Pawel Wawrzynski |
| 2013 | pLERO: Language for Grammar Refactoring Patterns. Ján Kollár, Ivan Halupka, Sergej Chodarev, Emília Pietriková |