Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFedCSIS 2017: Prague, Czech Republic
- Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki:
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. Annals of Computer Science and Information Systems 11, 2017, ISBN 978-83-946253-7-5
Conference Keynote Papers
- Eduardo Zambon, Giancarlo Guizzardi
:
Formal Definition of a General Ontology Pattern Language using a Graph Grammar. 1-10 - Abdulrasaq Gbadamosi, José L. Rueda, Da Wang, Peter Palensky:
Application of mean-variance mapping optimization for parameter identification in real-time digital simulation. 11-16
12th International Symposium Advances in Artificial Intelligence and Applications
- Aleksandra Karpus, Tommaso Di Noia, Krzysztof Goczyla:
Top k Recommendations using Contextual Conditional Preferences Model. 19-28 - Piotr Andrzej Kowalski, Szymon Lukasik, Malgorzata Charytanowicz, Piotr Kulczycki:
On the Use of Nature Inspired Metaheuristic in Computer Game. 29-37 - Piotr Andrzej Kowalski, Maciej Kusy:
Determining the significance of features with the use of Sobol' method in probabilistic neural network classification tasks. 39-48 - Artem V. Kruglov, Yuriy Chiryshev, Anastasia Atamanova, Svetlana Zavada:
Detection and Dimension of Moving Objects Using Single Camera Applied to the Round Timber Measurement. 49-56 - Roussanka Loukanova:
Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors. 57-66 - Petr Pulc, Martin Holeña:
Towards Real-time Motion Estimation in High-Definition Video Based on Points of Interest. 67-70 - Szymon Lukasik, Piotr Andrzej Kowalski, Malgorzata Charytanowicz, Piotr Kulczycki:
Data Clustering with Grasshopper Optimization Algorithm. 71-74 - Pawel B. Myszkowski, Maciej Laszczyk, Dawid Kalinowski:
Co-Evolutionary Algorithm solving Multi-Skill Resource-Constrained Project Scheduling Problem. 75-82 - Pawel B. Myszkowski, Maciej Laszczyk, Joanna Lichodij:
Efficient selection operators in NSGA-II for Solving Bi-Objective Multi-Skill Resource-Constrained Project Scheduling Problem. 83-86 - Krzysztof Pytel:
Hybrid Multievolutionary System to Solve Function Optimization Problems. 87-90 - Leslie F. Sikos:
Utilizing Multimedia Ontologies in Video Scene Interpretation via Information Fusion and Automated Reasoning. 91-98 - Joanna Strug, Barbara Strug:
Using Classification for Cost Reduction of Applying Mutation Testing. 99-108 - Petra Vidnerová, Roman Neruda:
Evolving KERAS Architectures for Sensor Data Analysis. 109-112 - Ahmet Firat Yelkuvan, Hidayet Takçi, Kali Gürkahraman:
Measurement of the appropriateness in career selection of the high school students by using data mining algorithms: A case study. 113-117
AAIA Data Mining Challenge
- Andrzej Janusz, Tomasz Tajmajer, Maciej Swiechowski:
Helping AI to Play Hearthstone: AAIA'17 Data Mining Challenge. 121-125 - Dominik Deja:
Predicting Unpredictable Building Models Handling Non-IID Data Hearthstone Case Study. 127-130 - Lukasz Grad:
Helping AI to Play Hearthstone using Neural Networks. 131-134 - Jan Jakubik:
Evaluation of Hearthstone Game States With Neural Networks and Sparse Autoencoding. 135-138 - Alexander Morgun:
Multi-model approach for predicting the value function in the game of Heathstone: Heroes of Warcraft. 139-142 - Przemyslaw Przybyszewski, Szymon Dziewiatkowski, Sebastian Jaszczur, Mateusz Smiech, Marcin S. Szczuka:
Use of Domain Knowledge and Feature Engineering in Helping AI to Play Hearthstone. 143-148 - Quang Hieu Vu, Dymitr Ruta, Ling Cen:
An ensemble model with hierarchical decomposition and aggregation for highly scalable and robust classification. 149-152
7th International Workshop on Artificial Intelligence in Medical Applications
- Frantisek Babic, Jaroslav Olejár, Zuzana Vantová, Ján Paralic:
Predictive and Descriptive Analysis for Heart Disease Diagnosis. 155-163 - Mohamed S. Elmahdy, Ahmed Morsy:
Subvocal Speech Recognition via Close-Talk Microphone and Surface Electromyogram Using Deep Learning. 165-168 - Piotr Fabian, Katarzyna Stapor:
Developing an SVM classifier for extended ES protein structure prediction. 169-172 - Martin Komenda, Matej Karolyi, Roman Vyskovský, Katerina Jezová, Jakub Scavnický:
Towards a Keyword Extraction in Medical and Healthcare Education. 173-176 - David Kordek, Martin Kopecek, Petr Voda:
Medical biophysics as a combination of the classic educational method and e-learning. 177-180 - Erik Kucera, Oto Haffner, Erich Stark:
A Method For Data Classification In Slovak Medical Records. 181-184 - Jaroslav Majerník, Marián Madar, Jana Mojzisová:
Integration of Virtual Patients in Education of Veterinary Medicine. 185-188 - Patrícia Martinková, Lubomír Stepánek, Adéla Drabinová, Jakub Houdek, Martin Vejrazka, Cestmír Stuka:
Semi-real-time analyses of item characteristics for medical school admission tests. 189-194 - Vladimír Masín, Martin Kopecek, Josef Hanus:
Moodle Portal in Virtualized Environment - a Performance Analysis. 195-198 - Wieslaw Paja, Krzysztof Pancerz:
Feature Selection Methods Applied to Severe Brain Damages Data. 199-202 - Agnieszka Wosiak, Sylwia Karbowiak:
Preprocessing compensation techniques for improved classification of imbalanced medical datasets. 203-211 - Vinkle Kumar Srivastav, Britty Baby, Ramandeep Singh, Prem Kalra, Ashish Suri:
Neuro-Endo-Trainer-Online Assessment System (NET-OAS) for Neuro-Endoscopic Skills Training. 213-219
2nd International Workshop on AI aspects of Reasoning, Information, and Memory
- Marcin Acewicz, Karol Pak:
Formalization of Pell's Equations in the Mizar System. 223-226 - Cezary Kaliszyk, Karol Pak:
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. 227-236 - Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
Formalization of the Algebra of Nominative Data in Mizar. 237-244 - Adam Naumowicz, Artur Kornilowicz:
Introducing Euclidean Relations to Mizar. 245-248 - Krzysztof Molenda, Agnieszka Peszek, Maciej Sporysz, Apoloniusz Tyszka:
Is there a computable upper bound on the heights of rational solutions of a Diophantine equation with a finite number of solutions? 249-258 - Tomasz Zurek, Michail Mokkas:
Modeling value-based reasoning for autonomous agents. 259-262
7th International Workshop on Advances in Semantic Information Retrieval
- Yurij Lezhenin, Artyom Zhuikov, Natalia Bogach, Elena Boitsova, Evgeny Pyshkin:
PitchKeywordExtractor: Prosody-based Automatic Keyword Extraction for Speech Content. 265-269 - Jorge Morales, Andrés Melgar:
Research on Proposals and Trends in the Architectures of Semantic Search Engines: A Systematic Literature Review. 271-280 - Evgeny Pyshkin, Pavel Korobenin:
Just Walk: Rethinking Use Cases in Mobile Audio Travel Guides. 281-287
11th Joint Agent-oriented Workshops in Synergy
- Mirgita Frasheri, Lan Anh Trinh, Baran Çürüklü, Mikael Ekström:
Failure Analysis for Adaptive Autonomous Agents using Petri Nets. 293-297 - Rubén Fuentes-Fernández, Jorge J. Gómez-Sanz:
Development of Simulations for Ambient Assisted Living through Pattern Repositories. 299-305 - Krzysztof Gajowniczek, Rafik Nafkha, Tomasz Zabkowski:
Electricity peak demand classification with artificial neural networks. 307-315 - Thomas Preisler, Tim Dethlefs, Wolfgang Renz, Ivan Dochev, Hannes Seller:
Towards an Agent-based Simulation of Building Stock Development for the City of Hamburg. 317-326
2nd International Workshop on Language Technologies and Applications
- Jens Dörpinghaus, Sebastian Schaaf, Juliane Fluck, Marc Jacobs:
Document Clustering using a Graph Covering with Pseudostable Sets. 329-338 - Shohei Higashiyama, Kunihiko Sadamasa, Takashi Onishi, Yotaro Watanabe:
Event Relation Acquisition Using Dependency Patterns and Confidence-Weighted Co-occurrence Statistics. 339-345 - Jurgita Kapociute-Dzikiene, Algimantas Venckauskas, Robertas Damasevicius:
A Comparison of Authorship Attribution Approaches Applied on the Lithuanian Language. 347-351 - Dawid Polap:
Extraction of specific data from a sound sample by removing additional distortion. 353-356 - Piotr Semberecki, Henryk Maciejewski:
Deep Learning methods for Subject Text Classification of Articles. 357-360 - Mehmet Saygin Seyfioglu, Mustafa Umut Demirezen:
A Hierarchical Approach for Sentiment Analysis and Categorization of Turkish Written Customer Relationship Management Data. 361-365 - Derwin Suhartono, Veronica Ong, Anneke D. S. Rahmanto, Williem, Aryo E. Nugroho, Esther W. Andangsari, Muhamad N. Suprayogi:
Personality Prediction Based on Twitter Information in Bahasa Indonesia. 367-372 - Algimantas Venckauskas, Arnas Karpavicius, Robertas Damasevicius, Romas Marcinkevicius, Jurgita Kapociute-Dzikiene, Christian Napoli:
Open Class Authorship Attribution of Lithuanian Internet Comments using One-Class Classifier. 373-382 - Krzysztof Wolk, Agnieszka Wolk, Krzysztof Marasek:
Unsupervised tool for quantification of progress in L2 English phraseological. 383-388 - Krzysztof Wolk, Agnieszka Wolk, Krzysztof Marasek:
Big Data Language Model of Contemporary Polish. 389-395
10th International Workshop on Computational Optimization
- Haya Abdullah Alhakbani, Mohammad Majid al-Rifaie:
Optimising SVM to classify imbalanced data using dispersive flies optimisation. 399-402 - László Aszalós, Mária Bakó:
Correlation clustering: a parallel approach? 403-406 - Joe Bunton, Andreas T. Ernst, Mohan Krishnamoorthy:
An Integer Programming based Ant Colony Optimisation Method for Nurse Rostering. 407-414 - Stefka Fidanova, Gabriel Luque, Olympia Roeva, Marcin Paprzycki, Pawel Gepner:
Ant Colony Optimization Algorithm for Workforce Planning. 415-419 - Gerardo G. Fogel, Benjamín Barán, Marcos Villagra:
Comparison of two types of Quantum Oracles based on Grover's Adaptative Search Algorithm for Multiobjective Optimization Problems. 421-428 - Hanno Hildmann, Dymitr Ruta, Dina Y. Atia, A. F. Isakovic:
Using branching-property preserving Pruefer Code to encode solutions for Particle Swarm Optimization. 429-432 - Kouichi Hirata, Takuya Yoshino, Yuma Ishizaka:
Anchored Alignment Distance between Rooted Labeled Unordered Trees. 433-440 - Antonio Mucherino, Douglas Soares Gonçalves, Antonin Bernardin, Ludovic Hoyet, Franck Multon:
A Distance-Based Approach for Human Posture Simulations. 441-444 - Camille Coti, Étienne Leclercq, Frédéric Roupin, Franck Butelle:
Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver. 445-452 - Flabio Gutiérrez Segura, Edwar Luján Segura, Rafael Asmat Uceda, Edmundo Vergara Moreno:
A Fully Fuzzy Linear Programming Model to the Berth Allocation Problem. 453-458 - Ali Haydar Özer:
An Electronic Market Model with Mathematical Formulation and Heuristics for Large-Scale Book Trading. 459-467 - Valentin Pollet, Vincent Boudet, Jean-Claude König:
Distance-2 Collision-Free Broadcast Scheduling in Wireless Networks. 469-472 - Alain Quilliot, Antoine Sarbinowski:
Vehicle Oriented Algorithms for the Relocation of Vehicle Sharing Systems. 473-480 - James Thompson, Thomas Finnie, Ian Hall, Nina Dobrinkova:
Catching clouds: Simultaneous optimization of the parameters of biological agent plumes using Dirichlet processes to best estimate infection source location. 481-484
10th Workshop on Computer Aspects of Numerical Algorithms
- Beata Bylina, Jaroslaw Bylina:
OpenMP Thread Affinity for Matrix Factorization on Multicore Systems. 489-492 - Jaroslaw Bylina:
A Framework for Generating and Evaluating Parallelized Code. 493-496 - Sergiy Fialko, Viktor Karpilovskyi:
Block Subspace Projection Preconditioned Conjugate Gradient Method for Structural Modal Analysis. 497-506 - Ardelio Galletti, Giulio Giunta, Livia Marcellino, Diego Parlato:
An algorithm for Gaussian Recursive Filters in a Multicore Architecture. 507-511 - Daniel Langr, Ivan Simecek:
On Memory Footprints of Partitioned Sparse Matrices. 513-521 - Marek Palkowski, Wlodzimierz Bielecki:
Optimizing Numerical Code by means of the Transitive Closure of Dependence Graphs. 523-526 - Thiago Nascimento Rodrigues, Maria Cláudia Silva Boeres, Lucia Catabriga:
A Non-Speculative Parallelization of Reverse Cuthill-McKee Algorithm for Sparse Matrices Reordering. 527-536 - Václav Skala:
Least Square Method Robustness of Computations: What is not usually considered and taught. 537-541
4th International Conference on Cryptography and Security Systems
- Mohamed M. Fouad:
Enhancing the Imperceptibility of Image Steganography for Information Hiding. 545-548 - Krzysztof Cabaj, Piotr Gawkowski, Konrad Grochowski, Alexis Nowikowski, Piotr Zórawski:
The impact of malware evolution on the analysis methods and infrastructure. 549-553 - Li Li, Bassem Abd-El-Atty, Ahmed A. Abd El-Latif, Ahmed Ghoneim:
Quantum color image encryption based on multiple discrete chaotic systems. 555-559 - Marek Rychlý, Ondrej Rysavý:
TARZAN: An Integrated Platform for Security Analysis. 561-567 - Jana St'astná, Martin Tomásek:
High-Level Malware Behavioural Patterns: Extractability Evaluation. 569-572
2nd Workshop on Constraint Programming and Operation Research Applications
- Lukasz Sobaszek, Arkadiusz Gola, Edward Kozlowski:
Application of survival function in robust scheduling of production jobs. 575-578 - Tadeusz Stefanski, Jaroslaw Wikarek:
A hybrid method forOptimization Scheduling Groups of Jobs. 579-586 - Walter Terkaj, Marcello Urgo, Daniela Andolfatto:
Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems. 587-596
10th International Symposium on Multimedia Applications and Processing
- Giacomo Capizzi, Grazia Lo Sciuto, Francesco Beritelli, Francesco Scaglione, Dawid Polap, Kamil Ksiazek, Marcin Wozniak:
Available Bandwidth Estimation in Smart VPN Bonding Technique based on a NARX Neural Network. 601-606 - Slawomir Cichon, Marek Gorgon:
H.265 Inverse Transform FPGA implementation in Impulse C. 607-611 - Stanislaw Deniziak, Tomasz Michno:
New Content Based Image Retrieval database structure using Query by Approximate Shapes. 613-621 - Chrysoula Gatsou, Anastasios Politis, Dimitrios Zevgolis:
Seniors' experiences with online banking. 623-627 - Anna Fabijanska:
Corneal Endothelium Image Segmentation Using Feedforward Neural Network. 629-637 - Serhii Hamotskyi, Anis Rojbi, Sergii G. Stirenko, Yuri G. Gordienko:
Automatized Generation of Alphabets of Symbols. 639-642 - Ji Won Lee, Do-Won Nam, Sung-Won Moon, Jungsoo Lee, Won-Young Yoo:
Soccer Event Recognition Technique based on Pattern Matching. 643-646 - Guillermo Morales-Luna, Valery I. Korzhik, Vasily Alekseev:
Design of Audio Digital Watermarking System Resistant to Removal Attack. 647-652 - Anca Morar, Florica Moldoveanu, Alin Moldoveanu, Oana Balan, Victor Asavei:
GPU Accelerated 2D and 3D Image Processing. 653-656 - Tomasz Palys, Krzysztof Murawski, Artur Arciuch, Andrzej Walczak:
Optical Driving for a Computer System with Augmented Reality Features. 657-662 - Daniel Pohl, Daniel Jungmann, Bartosz Taudul, Richard Membarth, Harini Hariharan, Thorsten Herfet, Oliver Grau:
The Next Generation of In-home Streaming: Light Fields, 5K, 10 GbE, and Foveated Compression. 663-667 - Piotr Skulimowski, Mateusz Owczarek, Pawel Strumillo:
Ground plane detection in 3D scenes for an arbitrary camera roll rotation through "V-disparity" representation. 669-674 - Wojciech Sulej, Krzysztof Murawski:
The membrane shape mapping of the artificial ventricle in the actual dimensions. 675-680 - Aleksey Zhuvikin:
Selective Image Authentication Using Shearlet Coefficients Tolerant to JPEG Compression. 681-688
6th Workshop on Advances in Programming Languages
- Michal Bystrický, Valentino Vranic:
Use Case Driven Modularization as a Basis for Test Driven Modularization. 693-696 - Andrew Gozillon, Paul Keir:
Towards Programmable Address Spaces. 697-700 - Daniel Ferreira Novais, Maria João Varanda Pereira, Pedro Rangel Henriques:
Program analysis for Clustering Programmers' Profile. 701-705 - Aleksandar Popovic, Ivan Lukovic, Vladimir Dimitrieski, Verislav Djukic:
An Approach for Modeling Events in Information Systems. 707-710 - Michal Sicák, Ján Kollár:
Properties and Limits of Supercombinator Set Acquired from Context-free Grammar Samples. 711-720 - Matús Sulír, Jaroslav Porubän:
Labeling Source Code with Metadata: A Survey and Taxonomy. 721-729
9th Workshop on Scalable Computing
- Mozhgan Mahloo, João Monteiro Soares, Amir Roozbeh:
Techno-economic framework for cloud infrastructure: a cost study of resource disaggregation. 733-742 - Artur Nowosielski, Piotr Andrzej Kowalski, Piotr Kulczycki:
A Database Performance Polynomial Multiple Regression Model. 743-747 - Huanhuan Xiong, Dapeng Dong, Christos K. Filelis-Papadopoulos, Gabriel G. Castañé, Theo Lynn, Dan C. Marinescu, John P. Morrison:
CloudLightning: a Self-Organized Self-Managed Heterogeneous Cloud. 749-758
1st International Conference on Security, Privacy, and Trust
- Marko Esche, Federico Grasso Toro, Florian Thiel:
Representation of Attacker Motivation in Software Risk Assessment Using Attack Probability Trees. 763-771 - Masaki Fujikawa, Kouki Jitsukawa, Shingo Fuchi:
Multimodal Artifact Metrics for Valuable Resin Card. 773-782 - Zbigniew Kotulski, Tomasz Wojciech Nowak, Mariusz Sepczuk, Marcin Alan Tunia, Rafal Artych, Krzysztof Bocianiak, Tomasz Osko, Jean-Philippe Wary:
On end-to-end approach for slice isolation in 5G networks. Fundamental challenges. 783-792 - Ilya Kuzmin, Sergey Krendelev:
Key Exchange Algorithm Based on Homomorphic Encryption. 793-795 - Taku Noguchi, Takaya Yamamoto:
Black Hole Attack Prevention Method Using Dynamic Threshold in Mobile Ad Hoc Networks. 797-802 - Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan:
Dependable Design for Elderly Health Care. 803-806 - Angelo Spognardi, Michele De Donno, Nicola Dragoni, Alberto Giaretta:
Analysis of DDoS-Capable IoT Malwares. 807-816