| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
|
Podymov, Vladislav
|
|
2016
|
147 |
2-3 |
p. 315-336
|
article
|
| 2 |
Betweenness, Łukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper–granules and Conflict Resolution*
|
Polkowski, Lech T.
|
|
2016
|
147 |
2-3 |
p. 337-352
|
article
|
| 3 |
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*
|
Niewiadomski, Artur
|
|
2016
|
147 |
2-3 |
p. 289-313
|
article
|
| 4 |
Core for Large Datasets: Rough Sets on FPGA
|
Kopczyński, Maciej
|
|
2016
|
147 |
2-3 |
p. 241-259
|
article
|
| 5 |
Dynamic Programming Approach for Construction of Association Rule Systems
|
Alsolami, Fawaz
|
|
2016
|
147 |
2-3 |
p. 159-171
|
article
|
| 6 |
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
|
Nguyen, Linh Anh
|
|
2016
|
147 |
2-3 |
p. 261-288
|
article
|
| 7 |
Lattice Theory for Rough Sets – A Case Study with Mizar
|
Grabowski, Adam
|
|
2016
|
147 |
2-3 |
p. 223-240
|
article
|
| 8 |
Preface
|
Czaja, Ludwik
|
|
2016
|
147 |
2-3 |
p. i-iii
|
article
|
| 9 |
Remarks on Memory Consistency Description
|
Czaja, Ludwik
|
|
2016
|
147 |
2-3 |
p. 209-221
|
article
|
| 10 |
Rough Sets and Interactive Granular Computing
|
Skowron, Andrzej
|
|
2016
|
147 |
2-3 |
p. 371-385
|
article
|
| 11 |
Selected Methods of Combining Classifiers, when Predictions are Stored in Probability Vectors, in a Dispersed Decision-making System
|
Przybyła-Kasperek, Małgorzata
|
|
2016
|
147 |
2-3 |
p. 353-370
|
article
|
| 12 |
Specialized Predictor for Reaction Systems with Context Properties
|
Barbuti, Roberto
|
|
2016
|
147 |
2-3 |
p. 173-191
|
article
|
| 13 |
The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug
|
Buregwa-Czuma, Sylwia
|
|
2016
|
147 |
2-3 |
p. 193-207
|
article
|
Journal description