Vol-1492
urn:nbn:de:0074-1492-5

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

CS&P 2015
Concurrency, Specification and Programming

Proceedings of the 24th International Workshop on Concurrency, Specification and Programming

Rzeszow, Poland, September 28-30, 2015.

Edited by

Zbigniew Suraj, University of Rzeszow, Poland
Ludwik Czaja, University of Warsaw and Vistula University, Poland

Table of Contents

Part 1

Front Matter

Dynamic Programming Approach for Study of Decision Trees (invited paper) 1
Mikhail Moshkov
Rough Sets in Interactive Granular Computing (invited paper) 2
Andrzej Skowron
Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets (invited paper) 3
Louchka Popova-Zeugmann
Comparison of Heuristics for Optimization of Association Rules 4-11
Fawaz Alsolami, Talha Amin, Mikhail Moshkov, Beata Zielosko
Dynamic Programming Approach for Construction of Association Rule Systems 12-21
Fawaz Alsolami, Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko
Considering Concurrency in Early Spacecraft Design Studies 22-30
Jafar Akhundov, Peter Tröger, Matthias Werner
Specialized Predictor for Reaction Systems with Context Properties 31-43
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
On Decidability of Persistence Notions 44-56
Kamila Barylska, Lukasz Mikulski
Specifying Functional Programs with Intuitionistic First Order Logic 57-63
Marcin Benke
Exploration of Knowledge Bases Inspired by Rough Set Theory 64-75
Agnieszka Nowak-Brzezinska, Alicja Wakulicz-Deja
Complexity Studies for Safe and Fan-Bounded Elementary Hornets 76-87
Michael Köhler-Bußmeier, Frank Heitmann
Monitoring with Parametrized Extended Life Sequence Charts 88-102
Ming Chai, Bernd-Holger Schlingloff
Remarks on Memory Consistency Description 103-114
Ludwik Czaja
The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug 115-125
Sylwia Buregwa-Czuma, Jan G. Bazan, Lech Zareba, Stanislawa Bazan-Socha, Przemyslaw W. Pardel, Barbara Sokolowska, Lukasz Dydo
Dialogue in Hierarchical Learning of a Concept Using Prototypes and Counterexamples 126-133
Soma Dutta, Piotr Wasilewski
An Approach to Ambiguity Resolution for Ontology Population 134-145
Natalia Garanina, Elena Sidorova
Application of Genetic Algorithms and High-Performance Computing to the Traffic Signal Setting Problem 146-157
Pawel Gora, Przemyslaw W. Pardel
Lattice Theory for Rough Sets - An Experiment in Mizar 158-169
Adam Grabowski
Gained and Excluded Classified Actions by Dynamic Security Policies 170-181
Damas P. Gruska
Designing Reliable Communication for Heterogeneous Computer Systems 182-190
Miroslaw Hajder, Janusz Kolbusz, Roman Korostenskyi
Knowledge Pit - A Data Challenge Platform 191-195
Andrzej Janusz, Dominik Slezak, Sebastian Stawicki, Mariusz Rosiak
Toward Synchronization of EEG and Eye-tracking Data Using an Expert System 196-198
Boleslaw Jaskula, Krzysztof Pancerz, Jaroslaw Szkola
Data Integration through Clustering and Finding Statistical Relations - Validation of Approach 199-210
Marek Jaszuk, Teresa Mroczek, Barbara Fryc
Selected Methods of Combining Classifiers, when Predictions Are Stored in Probability Vectors, in a Dispersed Decision-Making System 211-222
Malgorzata Przybyla-Kasperek
Outliers Elimination for Error Correction Algorithm Improvement 223-234
Janusz Kolbusz, Pawel Rozycki
Core for Large Datasets: Rough Sets on FPGA 235-246
Maciej Kopczynski, Tomasz Grzes, Jaroslaw Stepaniuk
Sequential P Systems with Active Membranes Working on Sets 247-257
Michal Kovác, Damas P. Gruska

Author Index

Part 2

Front Matter

Detecting Hazardous Events from Sequential Data with Multilayer Architectures 1-10
Karol Kurach, Krzysztof Pawlowski
Instance-Level Constraints in Density-Based Clustering 11-18
Piotr Lasek
Controlling Petri Net Behavior Using Time Constraints 19-33
Irina A. Lomazova, Louchka Popova-Zeugmann
Evaluation of Decision Table Decomposition Using Dynamic Programming Classifiers 34-43
Michal Mankowski, Tadeusz Luba, Cezary Jankowski
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic 44-56
Linh Anh Nguyen
Estimation and Feature Selection by Application of Knowledge Mined from Decision Rules Models 57-68
Wieslaw Paja, Krzysztof Pancerz
Information Systems and Soft Sets 69-72
Zofia Machnicka, Marek Palasinski
An Approach for Resolving Conflicts in Automatic Medical Objects Classification 73-84
Przemyslaw W. Pardel, Jan G. Bazan, Jacek Zarychta, Stanislawa Bazan-Socha
An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements 85-96
Vladislav Podymov
Betweenness, Lukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper-granules, Conflict Resolution 97-110
Lech T. Polkowski
Fuzzy Systems of Logical Inference and Their Applications 111-119
Oleksandr Provotar
Enhanced Error Correction Algorithm for RBF Neural Networks 120-129
Pawel Rozycki, Janusz Kolbusz
The Minimization Method of Boolean Functions in Polynomial Set-theoretical Format 130-146
Bohdan Rytsar
The Handling of Missing Values in Medical Domains with Respect to Pattern Mining Algorithms 147-154
Danilo Schmidt, Matthias Niemann, Gabriela Lindemann-von Trzebiatowski
Petri Net Models of Simple Rule-Based Systems for Programming Physarum Machines 155-160
Andrew Schumann, Krzysztof Pancerz
Rough Sets Inspired Extension of Forward Inference Algorithm 161-172
Roman Siminski, Alicja Wakulicz-Deja
Hybrid Planning by Combining SMT and Simulated Annealing 173-176
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
Optimization of Backward Fuzzy Reasoning Based on Rule Knowledge 177-186
Zbigniew Suraj, Piotr Grochowalski, Sibasis Bandyopadhyay
Inverted Fuzzy Implications in Backward Reasoning Without Yager Implication 187-195
Zbigniew Suraj, Agnieszka Lasek
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata 196-206
Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Reduct Calculation and Discretization of Numeric Attributes in Sparse Decision Systems 207-210
Wojciech Swieboda, Hung Son Nguyen
Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge Representation 211-221
Dmytro Terletskyi
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures 222-233
Irina Virbitskaite, Elena Bozhenkova, Evgeny Erofeev
From Free Will Debate to Embodiment of Fuzzy Logic into Washing Machines: On Fuzzy and Rough Sets Approaches to Vagueness Modeling 234-236
Piotr Wasilewski
Global Optimization of Exact Association Rules Relative to Length 237-247
Beata Zielosko

Author Index

2015-10-28: submitted by Zbigniew Suraj, metadata incl. bibliographic data published under Creative Commons CC0
2015-10-28: published on CEUR-WS.org |valid HTML5|