Poland This two-volume book contains the papers selected for presentation at the Concurrency, Specification and Programming (CS&P) Workshop. It is taking place from 28th to 30th September 2015 in Rzeszow, the biggest city in southeastern Poland.
CS&P provides an international forum for exchanging scientific, research, and technological achievements in concurrency, programming, artificial intelligence, and related fields. In particular, major areas selected for CS&P 2015 include mathematical models of concurrency, data mining and applications, fuzzy computing, logic and probability in theory of computing, rough and granular computing, unconventional computing models. In addition, three plenary keynote talks were delivered.
The Workshop was initiated in the mid-1970s by computer scientists and mathematicians from Warsaw and Humboldt Universities, as Polish-German annual meetings. The first meeting in this series was named 1st Symposium on Mathematical Foundations of Computer Science and it took place in Warsaw from 12th to 19th September 1976. These meetings have been suspended for some years in the eighties until the beginning of ninetieths, and reactivated in 1992. Since then, the Workshop bears the name CS&P, when the first meeting after the break came into effect in Berlin. Now, it is being organized every even year by the Humboldt University of Berlin and every odd year by the University of Warsaw.
It should be mentioned that the CS&P meetings, initially purely bilateral, since 1992 have developed into events attended by participants from a number of various countries beside Poland and Germany. In 2003 the University of Information Technology and Management in Rzeszow, in 2004, the Fraunhofer Institut FIRST in Berlin, and in 2015, the University of Rzeszow jointed the organizers as full members of the Committee and financial contributors. The present CS&P 2015 meeting will be hosting participants from the following countries: Canada, Germany, India, Italy, Poland, Russia, Saudi Arabia, Slovakia, Ukraine.
The CS&P 2015 is the twenty-fourth meeting after the break. It received 53 submissions that were carefully reviewed by Program Committee members or external reviewers. After a reviewing process, 49 papers were accepted for presentation at the workshop and publication in the CS&P 2015 proceedings. This book also contains three extended abstracts by the plenary keynote speakers.
It is truly a pleasure to thank all those people who contributed to preparation of this book. In particular, we would like to express our appreciation for the work of the CS&P 2015 Program Committee members and external reviewers who helped to assure the high standards of accepted papers. We would like to thank all the authors of CS&P 2015, without whose high-quality contributions it would not have been possible to organize the workshop. We are grateful to the Organizing Committee members for their involvement in all the organizational matters related to the CS&P 2015 as well as the creation and maintenance of the conference website. We wish to express our thanks to Mikhail Moshkov, Andrzej Skowron and Louchka Popova-Zeugmann for accepting to be plenary speakers at CS&P 2015. We greatly appreciate the financial support received from the University of Rzeszow, the University of Warsaw, and the Vistula University in Warsaw.
We hope that the CS&P 2015 workshop proceedings will serve as a valuable reference for researchers and developers in the field.
CS&P 2015 was organized by the Chair of Computer Science, the University of Rzeszow, Rzeszow, Poland, in cooperation with the Institute of Mathematics and the Institute of Informatics, the University of Warsaw, Warsaw, Poland, the Vistula University, Warsaw, Poland, the Warsaw Center of Mathematics and Computer Science, Warsaw, Poland, and the Institute of Informatics, the Humboldt University, Berlin, Germany. CS&P 2015 Conference Committees Program Committee • Hans-Dieter Burkhard • Ludwik Czaja • Monika Heiner • Anna Gomolinska • Magdalena Kacprzak • Hung Son Nguyen • Wojciech Penczek • Lech Polkowski • Louchka Popova-Zeugmann • Holger Schlingloff • Serhat Seker • Andrzej Skowron • Zbigniew Suraj • Marcin Szczuka • Matthias Werner • Karsten Wolf Organizing Committee • Aneta Derkacz • Katarzyna Garwol • Piotr Grochowalski • Piotr Lasek • Lukasz Maciura • Wieslaw Paja • Krzysztof Pancerz • Zbigniew Suraj • Piotr Wasilewski External Reviewers Specialized Predictor for Reaction Systems with Context Properties . . . . . . . . . . Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo On Decidability of Persistence Notions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Kamila Barylska, Lukasz Mikulski Specifying Functional Programs with Intuitionistic First Order Logic . . . . . . . . . Marcin Benke Exploration of Knowledge Bases Inspired by Rough Set Theory . . . . . . . . . . . . . Agnieszka Nowak-Brzezinska and Alicja Wakulicz-Deja Complexity Studies for Safe and Fan-Bounded Elementary Hornets . . . . . . . . . . . Michael Köhler-Bußmeier, Frank Heitmann Monitoring with Parametrized Extended Life Sequence Charts . . . . . . . . . . . . . . . Ming Chai, Bernd-Holger Schlingloff 1 2 3 4 12 22 31 44 57 64 76 88 The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 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 Soma Dutta, Piotr Wasilewski An Approach to Ambiguity Resolution for Ontology Population . . . . . . . . . . . . . 134 Natalia Garanina, Elena Sidorova Application of Genetic Algorithms and High-Performance Computing to the Traffic Signal Setting Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 Pawel Gora, Przemyslaw W. Pardel Lattice Theory for Rough Sets - An Experiment in Mizar . . . . . . . . . . . . . . . . . . . 158 Adam Grabowski Gained and Excluded Classified Actions by Dynamic Security Policies . . . . . . . 170 Damas P. Gruska Designing Reliable Communication for Heterogeneous Computer Systems . . . . . 182 Miroslaw Hajder, Janusz Kolbusz, Roman Korostenskyi Knowledge Pit - A Data Challenge Platform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 Andrzej Janusz, Dominik Slezak, Sebastian Stawicki, Mariusz Rosiak Toward Synchronization of EEG and Eye-tracking Data Using an Expert System 196 Boleslaw Jaskula, Krzysztof Pancerz, Jaroslaw Szkola Data Integration through Clustering and Finding Statistical Relations Validation of Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 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 Malgorzata Przybyla-Kasperek Outliers Elimination for Error Correction Algorithm Improvement . . . . . . . . . . . 223 Janusz Kolbusz, Pawel Rozycki Core for Large Datasets: Rough Sets on FPGA . . . . . . . . . . . . . . . . . . . . . . . . . . . 235 Maciej Kopczynski, Tomasz Grzes, Jaroslaw Stepaniuk Sequential P Systems with Active Membranes Working on Sets . . . . . . . . . . . . . . 247 Michal Kovácˇ, Damas P. Gruska Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258