FUNDAMENTA INFORMATICAE

FUNDAMENTA INFORMATICAE
Vol. 129 - 2014
SPIS TREŚCI
nr 1/2
V
1
15
27
37
49
69
85
101
117
133
149
161
177
Preface
Relationships Between Length and Coverage of Decision Rules /Talha
Amin, Igor Chikalov, Mikhail Moshkov and Beata Zielosko
Relationships between Average Depth and Number of Misclassifications for
Decision Trees / Igor Chikalov, Shahid Hussain and Mikhail Moshkov
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast
Communication / Ludwik Czaja
Towards Assessment of Innovativeness Economy Determinant Correlation:
the Double Self-Organizing Feature Map Approach / Marta Czyżewska,
Jarosław Szkoła and Krzysztof Pancerz
Petri Net-Based Collaborative Simulation and Steering of Biochemical
Reaction Networks / Mostafa Herajy and Monika Heiner
Perspectives on Uncertainty and Risk in Rough Sets and Interactive
Rough-Granular Computing / Andrzej Jankowski, Andrzej Skowron
and Roman W. Swiniarski
Blending Timed Formal Models with Clock Transition Systems / Claude
Jard, Didier Lime and Olivier H. Roux
On the Complexity of the Reachability Problem for Safe, Elementary
Hornets / Michael Köhler-Bußmeier
Properties of Languages with Catenation and Shuffle / Manfred Kudlek
and Nils Erik Flick
Matching Observed with Empirical Reality – What you see is what you get? /
Vladimir Kurbalija, Mirjana Ivanović, Charlotte von Bernstorff, Jens
Nachtwei and Hans-Dieter Burkhard
Boundaries, Borders, Fences, Hedges / Lech Polkowski and Maria
Semeniuk-Polkowska
Formal Description of Alvis Language with α0 System Layer / Marcin
Szpyrka, Piotr Matyasik, Rafał Mrówka and Leszek Kotulski
Universal Query Language for Unified State Model / Piotr Wiśniewski and
Krzysztof Stencel
nr 3
193
225
251
279
Multi-Relational Model Tree Induction Tightly-Coupled with a Relational
Database / Annalisa Appice, Michelangelo Ceci and Donato Malerba
Social Networks with Competing Products / Krzysztof R. Apt and
Evangelos Markakis
Grasp and Path-Relinking for Coalition Structure Generation / Nicola Di
Mauro, Teresa M.A. Basile, Stefano Ferilli and Floriana Esposito
The Incremental Maintenance of Transition Tour / Gábor Árpád Németh
and Zoltán Pap
nr 4
301
329
341
365
377
395
413
Definability and Canonicity for Boolean Logic with a Binary Relation /
Philippe Balbiani and Tinko Tinchev
Computing a Longest Common Palindromic Subsequence / Shihabur
Rahman Chowdhury, Md. Mahbubul Hasan, Sumaiya Iqbal and
M. Sohel Rahman
Using Domain Knowledge in Initial Stages of KDD: Optimization of
Compound Object Processing / Marcin Szczuka, Łukasz Sosnowski,
Adam Krasuski and Karol Kreński
Cryptanalysis and Improvement of a Certificateless Multi-proxy Signature
Scheme / Miaomiao Tian, Wei Yang and Liusheng Huang
Rough Set Characterization for 2-circuit Matroid / Shiping Wang,
Qingxin Zhu, William Zhu and Fan Min
Fast Scalar Multiplications on the Curve v2 = up − au − b over the Finite
Field of Characteristic p* / Lin You, Yilin Yang, Shuhong Gao and
Yongxuan Sang
Author Index Volume 129
Oprac. BPK