Last update:
Tue May 2 09:06:43 MDT 2023
Anonymous Special Issue on Intelligent Data
Analysis in Granular Computing . . . . . ??
Jesus Alcala-Fdez and
Nicolo Flugy-Pape and
Andrea Bonarini and
Francisco Herrera Analysis of the Effectiveness of the
Genetic Algorithms based on Extraction
of Association Rules . . . . . . . . . . 1--14
Kun-Che Lu and
Don-Lin Yang Scalable Clustering for Mining
Local-Correlated Clusters in High
Dimensions and Large Datasets . . . . . 15--32
Wei-Hsun Lee and
Shian-Shyong Tseng and
Ching-Hung Wang and
Shen-Lung Tung Discovering the Radio Signal Coverage
Hole and Weak Coverage Area in Mobile
Network by Spatiotemporal Data Mining on
Location-Based Services . . . . . . . . 33--47
Koen W. De Bock and
Dirk Van den Poel Predicting Website Audience Demographics
for Web Advertising Targeting Using
Multi-Website Clickstream Data . . . . . 49--70
Jinsong Leng and
Tzung-Pei Hong Mining Outliers in Correlated Subspaces
for High Dimensional Data Sets . . . . . 71--86
Oliver Kramer Covariance Matrix Self-Adaptation and
Kernel Regression --- Perspectives of
Evolutionary Optimization in Kernel
Machines . . . . . . . . . . . . . . . . 87--106
Shusaku Tsumoto and
Shoji Hirano Risk Mining in Medicine: Application of
Data Mining to Medical Risk Management 107--121
Akinori Abe and
Yukio Ohsawa and
Hiromi Itoh Ozaku and
Kaoru Sagara and
Noriaki Kuwahara and
Kiyoshi Kogure Communication Error Determination System
for Multi-layered or Chained Situations 123--142
Marcella Anselmo and
Dora Giammarresi and
Maria Madonia Deterministic and Unambiguous Families
within Recognizable Two-dimensional
Languages . . . . . . . . . . . . . . . 143--166
Qinghua Hu and
Pengfei Zhu and
Jinfu Liu and
Yongbin Yang and
Daren Yu Feature Selection via Maximizing Fuzzy
Dependency . . . . . . . . . . . . . . . 167--181
Bala Kalyanasundaram and
Mahe Velauthapillai Learning Behaviors of Functions . . . . 183--198
Dariusz Ma\lyszko and
Jaros\law Stepaniuk Adaptive Rough Entropy Clustering
Algorithms in Image Segmentation . . . . 199--231
Zoran H. Peri\'c and
Milan R. Din\vci\'c and
Marko D. Petkovi\'c Design of a Hybrid Quantizer with
Variable Length Code . . . . . . . . . . 233--256
Piyu Tsai Tree Structure Based Data Hiding for
Progressive Transmission Images . . . . 257--275
Xu An Wang and
Xiaoyuan Yang On the Insecurity of an Identity Based
Proxy Re-encryption Scheme . . . . . . . 277--281
Joachim Wehler Free-Choice Petri Nets without Frozen
Tokens, and Bipolar Synchronization
Systems . . . . . . . . . . . . . . . . 283--320
Cheng-Hsing Yang and
Shiuh-Jeng Wang and
Chi-Yao Weng Capacity-Raising Steganography Using
Multi-Pixel Differencing and Pixel-Value
Shifting Operations . . . . . . . . . . 321--336
Anonymous Bridging Logic and Computer Science: to
Johann A. Makowsky for his 60th birthday ??
Miko\laj Boja\'nczyk and
Damian Niwi\'nski and
Alexander Rabinovich and
Adam Radziwo\'nczyk-Syta and
Micha\l Skrzypczak On the Borel Complexity of MSO Definable
Sets of Branches . . . . . . . . . . . . 337--349
Anuj Dawar and
Erich Grädel Properties of Almost All Graphs and
Generalized Quantifiers . . . . . . . . 351--372
Christian Hoffmann A Most General Edge Elimination
Polynomial --- Thickening of Edges . . . 373--378
Michael Kaminski and
Tony Tan A Note on Two-pebble Automata Over
Infinite Alphabets . . . . . . . . . . . 379--390
Klaus Meer Tree-width in Algebraic Complexity . . . 391--409
Mona Khare and
Surabhi Tiwari Grill Determined $L$-Approach
Merotopological Spaces . . . . . . . . . 1--12
Ujjwal Maulik and
Anasua Sarkar Evolutionary Rough Parallel
Multi-Objective Optimization Algorithm 13--27
Pedro Pablo Pérez Velasco and
Juan de Lara Matrix Graph Grammars with Application
Conditions . . . . . . . . . . . . . . . 29--62
Fernando Orejas and
Hartmut Ehrig and
Markus Klein and
Julia Padberg and
Elvira Pino and
Sonia Pérez A Generic Approach to Connector
Architectures. Part I: The General
Framework . . . . . . . . . . . . . . . 63--93
Fernando Orejas and
Hartmut Ehrig and
Markus Klein and
Julia Padberg and
Elvira Pino and
Sonia Pérez A Generic Approach to Connector
Architectures. Part II: Instantiation to
Petri Nets and CSP . . . . . . . . . . . 95--124
Anonymous Methodologies for Intelligent Systems ??
Roman Barták and
Daniel Toropila Solving Sequential Planning Problems via
Constraint Satisfaction . . . . . . . . 125--145
Salem Benferhat and
Didier Dubois and
Henri Prade and
Mary-Anne AnneWilliams A Framework for Iterated Belief Revision
Using Possibilistic Counterparts to
Jeffrey's Rule . . . . . . . . . . . . . 147--168
Yassine Djouadi and
Henri Prade Interval-Valued Fuzzy Galois
Connections: Algebraic Requirements and
Concept Lattice Construction . . . . . . 169--186
Floriana Esposito and
Claudia d'Amato and
Nicola Fanizzi Fuzzy Clustering for Semantic Knowledge
Bases . . . . . . . . . . . . . . . . . 187--205
Jiming Liu and
Chao Gao and
Ning Zhong Autonomy-Oriented Search in Dynamic
Community Networks: A Case Study in
Decentralized Network Immunization . . . 207--226
Neil V. Murray and
Erik Rosenthal Identifying Prime Implicate Branches in
Reduced Implicate Tries . . . . . . . . 227--243
Irina Georgescu Arrow Index of a Fuzzy Choice Function 245--261
Tao-Yuan Jen and
Dominique Laurent and
Nicolas Spyratos Computing Supports of Conjunctive
Queries on Relational Tables with
Functional Dependencies . . . . . . . . 263--292
Feng Jiang and
Yuefei Sui and
Cungen Cao Relational Contexts and Relational
Concepts . . . . . . . . . . . . . . . . 293--314
Subhashis Majumder and
Subhas C. Nandy and
Bhargab B. Bhattacharya Separating Multi-Color Points on a Plane
with Fewest Axis-Parallel Lines . . . . 315--324
Alexander Okhotin On the State Complexity of Scattered
Substrings and Superstrings . . . . . . 325--338
Bohdan Rytsar and
Piotr Romanowski and
Adrian Shvay Set-theoretical Constructions of Boolean
Functions and theirs Applications in
Logic Synthesis . . . . . . . . . . . . 339--354
Jan A. Bergstra and
Cornelis A. Middelburg An Interface Group for Process
Components . . . . . . . . . . . . . . . 355--382
Stephen L. Bloom and
Zoltan Ésik Algebraic Ordinals . . . . . . . . . . . 383--407
Sebastian Deorowicz Bit-Parallel Algorithm for the
Constrained Longest Common Subsequence
Problem . . . . . . . . . . . . . . . . 409--433
Liesbeth De Mol Solvability of the Halting and
Reachability Problem for Binary $2$-tag
Systems . . . . . . . . . . . . . . . . 435--471
Tomá\vs Masopust Bounded Number of Parallel Productions
in Scattered Context Grammars with Three
Nonterminals . . . . . . . . . . . . . . 473--480
Anonymous Preface . . . . . . . . . . . . . . . . ??
Vince Bárány and
\Lukasz Kaiser and
Alex Rabinovich Expressing Cardinality Quantifiers in
Monadic Second-Order Logic over Trees 1--17
Johan van Benthem and
Amélie Gheerbrant Game Solution, Epistemic Dynamics and
Fixed-Point Logics . . . . . . . . . . . 19--41
Thierry Coquand and
Guilhem Jaber A Note on Forcing and Type Theory . . . 43--52
Barbara Dunin-K\ceplicz and
Linh Anh Nguyen and
Andrzej Sza\las A Framework for Graded Beliefs, Goals
and Intentions . . . . . . . . . . . . . 53--76
Ivo Düntsch and
Ewa Or\lowska and
Ingrid Rewitzky Structures with Multirelations, their
Discrete Dualities and Applications . . 77--98
Jerzy W. Grzymala-Busse and
Wojciech Rz\kasa A Local Version of the MLEM2 Algorithm
for Rule Induction . . . . . . . . . . . 99--116
Antoni Mazurkiewicz Local Computations on Triangular Graphs 117--140
Andrzej Skowron and
Jaros\law Stepaniuk and
Roman Swiniarski Approximation Spaces in Rough--Granular
Computing . . . . . . . . . . . . . . . 141--157
Dimiter Vakarelov Dynamic Mereotopology: A Point-free
Theory of Changing Regions. I. Stable
and unstable mereotopological relations 159--180
Gerrit Jan Veltink PSF --- A Retrospective . . . . . . . . 181--227
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Ludwik Czaja and
Manfred Kudlek Synthesis and Analysis of Net Structures
and Transition Graphs with Inhibitor
Relations . . . . . . . . . . . . . . . 1--7
Micha\l Knapik and
Wojciech Penczek and
Maciej Szreter and
Agata and
Pó\lrola Bounded Parametric Verification for
Distributed Time Petri Nets with
Discrete-Time Semantics . . . . . . . . 9--27
Michael Köhler-Bußmeier and
Frank Heitmann Safeness for Object Nets . . . . . . . . 29--43
Maciej Koutny and
Marta Pietkiewicz-Koutny Minimal Regions of ENL-Transition
Systems . . . . . . . . . . . . . . . . 45--58
Irina A. Lomazova Interacting Workflow Nets for Workflow
Process Re-Engineering . . . . . . . . . 59--70
Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu Partial Order Reductions for Model
Checking Temporal-epistemic Logics over
Interleaved Multi-agent Systems . . . . 71--90
Marek Pa\lasi\'nski and
Krzysztof Pancerz On Computing Extensions and Restrictions
of Information Systems Noting Some Order
Properties . . . . . . . . . . . . . . . 91--103
Roman R. Redziejowski Infinite Product of Traces Represented
by Projections . . . . . . . . . . . . . 105--113
Zbigniew Suraj and
Piotr Grochowalski Toward Intelligent Searching the Rough
Set Database System (RSDS): an
Ontological Approach . . . . . . . . . . 115--123
Alicja Wakulicz-Deja and
Ma\lgorzata Przyby\la-Kasperek Multi-Agent Decision Taking System . . . 125--141
Marcin Wolski Perception and Classification. A Note on
Near Sets and Rough Sets . . . . . . . . 143--155
Taku Aratsu and
Kouichi Hirata and
Tetsuji Kuboyama Approximating Tree Edit Distance through
String Edit Distance for Binary Tree
Codes . . . . . . . . . . . . . . . . . 157--171
Maxime Crochemore and
Marcin Kubica and
Tomasz Wale\'n and
Costas S. Iliopoulos and
M. Sohel Rahman Finding Patterns In Given Intervals . . 173--186
Piotr Ho\'nko Similarity-Based Classification in
Relational Databases . . . . . . . . . . 187--213
Lila Kari and
Shinnosuke Seki An Improved Bound for an Extension of
Fine and Wilf's Theorem and Its
Optimality . . . . . . . . . . . . . . . 215--236
Guohua Liu and
Jia-Huai You Level Mapping Induced Loop Formulas for
Weight Constraint and Aggregate Logic
Programs . . . . . . . . . . . . . . . . 237--255
Stavros Konstantinidis and
Pedro V. Silva Computing Maximal Error-detecting
Capabilities and Distances of Regular
Languages . . . . . . . . . . . . . . . 257--270
Miron B. Kursa and
Aleksander Jankowski and
Witold R. Rudnicki Boruta --- A System for Feature
Selection . . . . . . . . . . . . . . . 271--285
Ujjwal Maulik and
Debasis Chakraborty A Robust Multiple Classifier System for
Pixel Classification of Remote Sensing
Images . . . . . . . . . . . . . . . . . 286--304
N. R. Shanker and
S. S. Ramakrishnan Enhancement of Multispectral Ikonos
Satellite Image Using Quantum
Information Processing . . . . . . . . . 305--320
Guodong Ye Another Constructed Chaotic Image
Encryption Scheme Based on Toeplitz
Matrix and Hankel Matrix . . . . . . . . 321--333
Wojciech Penczek Preface . . . . . . . . . . . . . . . . ??
Jörg Peter Bachmann and
Louchka Popova-Zeugmann Time-independent Liveness in Time Petri
Nets . . . . . . . . . . . . . . . . . . 1--17
Roberto Barbuti and
Andrea Maggiolo-Schettini and
Paolo Milazzo and
Damas P. Gruska A Notion of Biological Diagnosability
Inspired by the Notion of Opacity in
Systems Security . . . . . . . . . . . . 19--34
Katarzyna Budzy\'nska and
Magdalena Kacprzak and
Pawe\l Rembelski Update of Probabilistic Beliefs:
Implementation and Parametric
Verification . . . . . . . . . . . . . . 35--48
Hans-Dieter Burkhard Agent Oriented Techniques for
Programming Autonomous Robots . . . . . 49--62
Damas P. Gruska Process Algebra Contexts and Security
Properties . . . . . . . . . . . . . . . 63--76
Alessio Lomuscio and
Ben Strulo and
Nigel G. Walker and
Peng Wu Model Checking Optimisation Based
Congestion Control Algorithms . . . . . 77--96
Linh Anh Nguyen and
Andrzej Sza\las Checking Consistency of an ABox w.r.t.
Global Assumptions in PDL . . . . . . . 97--113
Marian Srebrny and
Lidia Stepie\'n SAT as a Programming Environment for
Linear Algebra . . . . . . . . . . . . . 115--127
Irina Virbitskaite and
Natalya Gribovskaya and
Eike Best A Categorical View of Timed Behaviours 129--143
Thorsten Altenkirch and
Tarmo Uustalu Preface . . . . . . . . . . . . . . . . ??
Edwin Brady and
Kevin Hammond Correct-by-Construction Concurrency:
Using Dependent Types to Verify
Implementations of Effectful Resource
Usage Protocols . . . . . . . . . . . . 145--176
Andres Löh and
Conor McBride and
Wouter Swierstra A Tutorial Implementation of a
Dependently Typed Lambda Calculus . . . 177--207
Sean Wilson and
Jacques Fleuriot and
Alan Smaill Automation for Dependently Typed
Functional Programming . . . . . . . . . 209--228
Marco Gavanelli and
Toni Mancini Preface . . . . . . . . . . . . . . . . ??
Thanasis Balafoutis and
Kostas Stergiou Evaluating and Improving Modern Variable
and Revision Ordering Strategies in CSPs 229--261
Ismel Brito and
Pedro Meseguer Cluster Tree Elimination for Distributed
Constraint Optimization with Quality
Guarantees . . . . . . . . . . . . . . . 263--286
Alfonso E. Gerevini and
Ivan Serina Efficient Plan Adaptation through
Replanning Windows and Heuristic Goals 287--323
Marco Montali and
Paolo Torroni and
Federico Chesani and
Paola Mello and
Marco Alberti and
Evelina Lamma Abductive Logic Programming as an
Effective Technology for the Static
Verification of Declarative Business
Processes . . . . . . . . . . . . . . . 325--361
António Morgado and
Joao Marques-Silva Combinatorial Optimization Solutions for
the Maximum Quartet Consistency Problem 363--389
Luca Pulina and
Armando Tacchella An Empirical Study of QBF Encodings:
from Treewidth Estimation to Useful
Preprocessing . . . . . . . . . . . . . 391--427
Fabrizio Riguzzi SLGAD Resolution for Inference on Logic
Programs with Annotated Disjunctions . . 429--466
Takehide Soh and
Katsumi Inoue and
Naoyuki Tamura and
Mutsunori Banbara and
Hidetomo Nabeshima A SAT-based Method for Solving the
Two-dimensional Strip Packing Problem 467--487
Anna Gambin and
Damian Niwi\'nSki and
Pawe\l Urzyczyn Preface . . . . . . . . . . . . . . . . ??
Roberto Barbuti and
Andrea Maggiolo-Schettini and
Angelo Troina and
Mariangiola Dezani-Ciancaglini and
Paolo Milazzo A Formalism for the Description of
Protein Interaction Dedicated to Jerzy
Tiuryn on the Occasion of his 60th
Birthday . . . . . . . . . . . . . . . . 1--29
J. A. Bergstra and
C. A. Middelburg Data Linkage Dynamics with Shedding . . 31--52
Norbert Dojer An Efficient Algorithm for Learning
Bayesian Networks from Data . . . . . . 53--67
Kevin Donnelly and
Assaf Kfoury and
Andrei Lapets The Complexity of Restricted Variants of
the Stable Paths Problem . . . . . . . . 69--87
Anna Gambin and
Bogus\law Kluge Modeling Proteolysis from Mass
Spectrometry Proteomic Data . . . . . . 89--104
Pawe\l Górecki $H$-trees: a Model of Evolutionary
Scenarios with Horizontal Gene Transfer 105--128
Dexter Kozen Church--Rosser Made Easy . . . . . . . . 129--136
Jaros\law Dominik Mateusz Ku\'smierek and
Viviana Bono Big-step Operational Semantics Revisited 137--172
Michele Pagani and
Simona Ronchi Della Rocca Linearity, Non-determinism and
Solvability . . . . . . . . . . . . . . 173--202
Vaughan Pratt Communes via Yoneda, from an Elementary
Perspective . . . . . . . . . . . . . . 203--218
Ryszard Rudnicki and
Rados\law Wieczorek Asymptotic Analysis of a Semelparous
Species Model . . . . . . . . . . . . . 219--233
Yaki Setty and
Irun R. Cohen and
David Harel Modeling Biology using Generic Reactive
Animation . . . . . . . . . . . . . . . 235--246
Olin Shivers and
Mitchell Wand Bottom-up $ \beta $-reduction: Uplinks
and $ \lambda $-DAGs . . . . . . . . . . 247--287
Jerzy Tyszkiewicz Complexity of Type Inference . . . . . . 289--301
Pawe\l Urzyczyn The Logic of Persistent Intersection . . 303--322
Bartek Wilczy\'nski and
Torgeir R. Hvidsten A Computer Scientist's Guide to the
Regulatory Genome . . . . . . . . . . . 323--332
Henning Bordihn and
Mika Hirvensalo and
Martin Kutrib and
Rudolf Freund and
Markus Holzer and
Friedrich Otto Preface . . . . . . . . . . . . . . . . ??
Maria Paola Bianchi and
Beatrice Palano Behaviours of Unary Quantum Automata . . 1--15
Peter \vCerno and
Franti\vsek Mráz Clearing Restarting Automata . . . . . . 17--54
Viliam Geffert and
Giovanni Pighizzini and
Carlo Mereghetti One Pebble Versus $ \epsilon \cdot \log
n $ Bits . . . . . . . . . . . . . . . . 55--69
Peter Leupold and
Benedek Nagy $ 5^\to 3 ' $ Watson--Crick Automata
With Several Runs . . . . . . . . . . . 71--91
Gema M. Martín and
Francisco J. Vico and
Jüegen Dassow and
Bianca Truthe Low Disruption Transformations on Cyclic
Automata . . . . . . . . . . . . . . . . 93--110
Tomá\vs Masopust Regulated Nondeterminism in Pushdown
Automata: The Non-Regular Case . . . . . 111--124
Hidenosuke Nishio Automorphissm Classification of Cellular
Automata . . . . . . . . . . . . . . . . 125--140
K. Sutner Cellular Automata, Decidability and
Phasespace . . . . . . . . . . . . . . . 141--160
Bianca Truthe Target Based Accepting Networks of
Evolutionary Processors . . . . . . . . 161--183
Juraj Hromkovi\vc and
Borislav \vSuster and
Eduard Toman Preface . . . . . . . . . . . . . . . . ??
Farid Ablayev and
Svetlana Ablayeva A Communication Approach to the
Superposition Problem . . . . . . . . . 185--200
Andreas A. Albrecht and
Alexander V. Chashkin and
Costas S. Iliopoulos and
Oktay M. Kasim-Zade and
Georgios Lappas and
Kathleen K. Steinhöfel A Note on a priori Estimations of
Classification Circuit Complexity . . . 201--217
Marina An. Alekhina Synthesis and Complexity of
Asymptotically Optimal Circuits with
Unreliable Gates . . . . . . . . . . . . 219--225
Sergej B. Gashkov and
Igor B. Gashkov Some Remarks on Testing Irreducibility
of Polynomials and Normality of Bases in
Finite Fields . . . . . . . . . . . . . 227--238
Sergei A. Lozhkin and
Alexander E. Shiganov High Accuracy Asymptotic Bounds on the
BDD Size and Weight of the Hardest
Functions . . . . . . . . . . . . . . . 239--253
Boris Melnikov Extended Nondeterministic Finite
Automata . . . . . . . . . . . . . . . . 255--265
Boris Melnikov Once More on the Edge-Minimization of
Nondeterministic Finite Automata and the
Connected Problems . . . . . . . . . . . 267--283
Mikhail Ju. Moshkov Greedy Algorithm with Weights for
Decision Tree Construction . . . . . . . 285--292
Richard Dapoigny and
Patrick Barlatier Modeling Contexts with Dependent Types 293--327
Artur Je\.z and
Alexander Okhotin Univariate Equations Over Sets of
Natural Numbers . . . . . . . . . . . . 329--348
Linh Anh Nguyen Horn Knowledge Bases in Regular
Description Logics with PTIME Data
Complexity . . . . . . . . . . . . . . . 349--384
Zuhua Shao Breaking Pomykala--Barabasz Threshold
Proxy Signature Scheme . . . . . . . . . 385--392
Marco Gavanelli and
Fabrizio Riguzzi and
Alberto Pettorossi Preface . . . . . . . . . . . . . . . . ??
Stefania Costantini and
Andrea Formisano and
Davide Petturiti Extending and Implementing RASP . . . . 1--33
Francesco Ricca and
Antonella Dimasi and
Giovanni Grasso and
Salvatore Maria Ielpa and
Salvatore Iiritano and
Marco Manna and
Nicola Leone A Logic-Based System for e-Tourism . . . 35--55
Stefano Bistarelli and
Giorgio Gosti Solving Distributed CSPs
Probabilistically . . . . . . . . . . . 57--78
Agostino Dovier and
Andrea Formisano and
Enrico Pontelli An Investigation of Multi-Agent Planning
in CLP . . . . . . . . . . . . . . . . . 79--103
Dario Campagna and
Christian De Rosa and
Agostino Dovier and
Angelo Montanari and
Carla Piazza Morphos Configuration Engine: the Core
of a Commercial Configuration System in
CLP(FD) . . . . . . . . . . . . . . . . 105--133
Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni A Logic-Based, Reactive Calculus of
Events . . . . . . . . . . . . . . . . . 135--161
Enrica Nicolini and
Christophe Ringeissen and
Michael Rusinowitch Combining Satisfiability Procedures for
Unions of Theories with a Shared
Counting Operator . . . . . . . . . . . 163--187
Marco Faella and
Margherita Napoli and
Mimmo Parente Graded Alternating-Time Temporal Logic 189--210
Giuliana Franceschinis and
Wojciech Penczek and
Karsten Wolf Preface . . . . . . . . . . . . . . . . ??
Luca Bernardinello and
Lucia Pomello and
Stefania Rombol\`a Closure Operators and Lattices Derived
from Concurrency in Posets and
Occurrence Nets . . . . . . . . . . . . 211--235
Jean Mairesse and
Hoang-Thach Nguyen Deficiency Zero Petri Nets and Product
Form . . . . . . . . . . . . . . . . . . 237--261
Mateus de Oliveira Oliveira Hasse Diagram Generators and Petri Nets 263--289
Fernando Rosa-Velardo and
David de Frutos-Escrig Decidability Problems in Petri Nets with
Names and Replication . . . . . . . . . 291--317
Antti Valmari Simple Bisimilarity Minimization in $
O(m \log n) $ Time . . . . . . . . . . . 319--339
Frans van den Bergh and
Andries Petrus Engelbrecht A Convergence Proof for the Particle
Swarm Optimiser . . . . . . . . . . . . 341--374
Fatemeh Ghassemi and
Wan Fokkink and
Ali Movaghar Equational Reasoning on Mobile Ad Hoc
Networks . . . . . . . . . . . . . . . . 375--415
Hayk Grigoryan and
Arsen Shoukourian Equivalence of Processes in Partially
Commutative Object-Oriented Environments 417--434
Tayeb Kenaza and
Karim Tabia and
Salem Benferhat On the Use of Naive Bayesian Classifiers
for Detecting Elementary and Coordinated
Attacks . . . . . . . . . . . . . . . . 435--466
Norihiro Kamide and
Heinrich Wansing A Paraconsistent Linear-time Temporal
Logic . . . . . . . . . . . . . . . . . 1--23
Guohua Liu and
Jia-Huai You Level Mapping Induced Loop Formulas for
Weight Constraint and Aggregate Logic
Programs . . . . . . . . . . . . . . . . 25--43
Indrajit Saha and
Ujjwal Maulik and
Sanghamitra Bandyopadhyay and
Dariusz Plewczynski Unsupervised and Supervised Learning
Approaches Together for Microarray
Analysis . . . . . . . . . . . . . . . . 45--73
Zhenjun Tang and
Shuozhong Wang and
Xinpeng Zhang and
Weimin Wei Structural Feature-Based Image Hashing
and Similarity Metric for Tampering
Detection . . . . . . . . . . . . . . . 75--91
Alicja Wakulicz-Deja and
Ma\lgorzata Przyby\la-Kasperek Application of the Method of Editing and
Condensing in the Process of Global
Decision-making . . . . . . . . . . . . 93--117
Hiroakira Ono and
Makoto Kanazawa and
Ruy de Queiroz Preface . . . . . . . . . . . . . . . . ??
Gleifer V. Alves and
Anjolina G. de Oliveira and
Ruy de Queiroz Proof-graphs: a Thorough Cycle
Treatment, Normalization and Subformula
Property . . . . . . . . . . . . . . . . 119--147
Gianluca Amato and
Francesca Scozzari Observational Completeness on Abstract
Interpretation . . . . . . . . . . . . . 149--173
Francesco Belardinelli and
Alessio Lomuscio First-Order Linear-time Epistemic Logic
with Group Knowledge: An Axiomatisation
of the Monodic Fragment . . . . . . . . 175--190
Carlos Caleiro and
Ricardo Gonçalves Towards a Behavioral Algebraic Theory of
Logical Valuations . . . . . . . . . . . 191--209
Philippe de Groote and
Sylvain Pogodalla and
Carl Pollard About Parallel and Syntactocentric
Formalisms: A Perspective from the
Encoding of Convergent Grammar into
Abstract Categorial Grammar . . . . . . 211--231
Sebastian Link On Inferences of Full First-Order
Hierarchical Decompositions . . . . . . 233--258
Juha Kontinen and
Ville Nurmi Team Logic and Second-Order Logic . . . 259--272
Yoshihiro Maruyama Dualities for Algebras of Fitting's
Many-Valued Modal Logics . . . . . . . . 273--294
Juan Carlos Nieves and
Mauricio Osorio and
Claudia Zepeda A Schema for Generating Relevant Logic
Programming Semantics and its
Applications in Argumentation Theory . . 295--319
Ren-June Wang Knowledge, Time, and the Problem of
Logical Omniscience . . . . . . . . . . 321--338
Bo Cui and
Lila Kari and
Shinnosuke Seki $K$-Comma Codes and Their
Generalizations . . . . . . . . . . . . 1--18
Hossein Hojjat and
Mohammad Reza Mousavi and
Marjan Sirjani Formal Analysis of SystemC Designs in
Process Algebra . . . . . . . . . . . . 19--42
Florian Kammüller Mechanical Analysis of Finite Idempotent
Relations . . . . . . . . . . . . . . . 43--65
Yanhong She and
Xiaoli He and
Guojun Wang Rough Truth Degrees of Formulas and
Approximate Reasoning in Rough Logic . . 67--83
Alicja Wieczorkowska and
El\.zbieta Kubera and
Agnieszka Kubik-Komar Analysis of Recognition of a Musical
Instrument in Sound Mixes Using Support
Vector Machines . . . . . . . . . . . . 85--104
Hu Xiong and
Zhiguang Qin and
Fagen Li Cryptanalysis of an Identity Based
Signcryption without Random Oracles . . 105--109
Marco Gavanelli and
Toni Mancini and
Alberto Pettorossi RCRA 2009 Experimental Evaluation of
Algorithms for Solving Problems with
Combinatorial Explosion . . . . . . . . ??
Amedeo Cesta and
Simone Fratini and
Andrea Orlandini and
Alberto Finzi and
Enrico Tronci Flexible Plan Verification: Feasibility
Results . . . . . . . . . . . . . . . . 111--137
Matthew Lewis and
Tobias Schubert and
Bernd Becker and
Paolo Marin and
Massimo Narizzano and
Enrico Giunchiglia Parallel QBF Solving with Advanced
Knowledge Sharing . . . . . . . . . . . 139--166
Alfonso Gerevini and
Alessandro Saetti and
Ivan Serina An Empirical Analysis of Some Heuristic
Features for Planning through Local
Search and Action Graphs . . . . . . . . 167--197
Fabio Massimo Zanzotto and
Lorenzo Dell'Arciprete and
Alessandro Moschitti Efficient Graph Kernels for Textual
Entailment Recognition . . . . . . . . . 199--222
Jun He and
Pierre Flener and
Justin Pearson An automaton Constraint for Local Search 223--248
Inês Lynce and
Joao Marques-Silva Restoring CSP Satisfiability with MaxSAT 249--266
Michele Lombardi and
Michela Milano and
Andrea Roli and
Alessandro Zanarini Deriving Information from Sampling and
Diving . . . . . . . . . . . . . . . . . 267--287
Antti E. J. Hyvärinen and
Tommi Junttila and
Ilkka Niemelä Partitioning Search Spaces of a
Randomized Search . . . . . . . . . . . 289--311
Philippe Andary and
Bruno Patrou and
Pierre Valarcher A Representation Theorem for Primitive
Recursive Algorithms . . . . . . . . . . 313--330
Bhaswar B. Bhattacharya On the Fermat--Weber Point of a
Polygonal Chain and its Generalizations 331--343
Liliana Cojocaru Trade-Offs Between Time, Space,
Cooperation, and Communication
Complexity for CD Grammar Systems . . . 345--378
Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca Look-back Techniques for ASP Programs
with Aggregates . . . . . . . . . . . . 379--413
Dingcheng Feng and
Feng Chen and
Wenli Xu Analysis of Markov Boundary Induction in
Bayesian Networks: A New View From
Matroid Theory . . . . . . . . . . . . . 415--434
Stephen A. Edwards and
Ryszard Janicki and
Walter Vogler Preface . . . . . . . . . . . . . . . . ??
Josep Carmona and
Jorge Júlvez and
Jordi Cortadella and
Michael Kishinevsky A Scheduling Strategy for Synchronous
Elastic Designs . . . . . . . . . . . . 1--21
Silvia Crafa and
Francesco Ranzato and
Francesco Tapparo Saving Space in a Time Efficient
Simulation Algorithm . . . . . . . . . . 23--42
Niels Lohmann and
Karsten Wolf Compact Representations and Efficient
Algorithms for Operating Guidelines . . 43--62
Andrey Mokhov and
Victor Khomenko and
Alex Yakovlev Flat Arbiters . . . . . . . . . . . . . 63--90
Dumitru Potop-Butucaru and
Yves Sorel and
Robert de Simone and
Jean-Pierre Talpin From Concurrent Multi-clock Programs to
Deterministic Asynchronous
Implementations . . . . . . . . . . . . 91--118
Jean-Baptiste Raclet and
Eric Badouel and
Albert Benveniste and
Beno\^\it Caillaud and
Axel Legay and
Roberto Passerone A Modal Interface Theory for
Component-based Design . . . . . . . . . 119--149
Karsten Wolf and
Christian Stahl and
Daniela Weinberg and
Janine Ott and
Robert Danitz Guaranteeing Weak Termination in Service
Discovery . . . . . . . . . . . . . . . 151--180
Davide Ciucci and
Yiyu Yao Preface . . . . . . . . . . . . . . . . ??
Marcin Wolski Monadic Algebras: a Standpoint on Rough
Sets . . . . . . . . . . . . . . . . . . 181--196
Gianpiero Cattaneo An Investigation About Rough Set Theory:
Some Foundational and Mathematical
Aspects . . . . . . . . . . . . . . . . 197--221
Inés Couso and
Didier Dubois Rough Sets, Coverings and Incomplete
Information . . . . . . . . . . . . . . 223--247
Yiyu Yao Two Semantic Issues in a Probabilistic
Rough Set Model . . . . . . . . . . . . 249--265
Joseph P. Herbert and
JingTao Yao Game-Theoretic Rough Sets . . . . . . . 267--286
Davide Ciucci Orthopairs: A Simple and Widely Used Way
to Model Uncertainty . . . . . . . . . . 287--304
Murat Diker Textures and Fuzzy Rough Sets . . . . . 305--336
Wei-Zhi Wu On Some Mathematical Structures of
$T$-Fuzzy Rough Set Algebras in Infinite
Universes of Discourse . . . . . . . . . 337--369
Pascal Caron and
Marianne Flouret From Glushkov WFAs to $ \mathbb
{K}$-Expressions . . . . . . . . . . . . 1--25
Oliver Kullmann Constraint Satisfaction Problems in
Clausal Form I: Autarkies and Deficiency 27--81
Oliver Kullmann Constraint Satisfaction Problems in
Clausal Form II: Minimal
Unsatisfiability and Conflict Structure 83--119
Chin-Chen Chang and
Chih-Yang Lin and
Yi-Hsuan Fan Reversible Steganography for
BTC-compressed Images . . . . . . . . . 121--134
Roberto Gorrieri and
Cristian Versari An Operational Petri Net Semantics for
A$^2$ CCS . . . . . . . . . . . . . . . 135--160
Galina Jirásková and
Alexander Okhotin On the State Complexity of Star of Union
and Star of Intersection . . . . . . . . 161--178
Yunyun Niu and
Linqiang Pan and
Mario J. Pérez-Jiménez and
Miquel Rius Font A Tissue $P$ Systems Based Uniform
Solution to Tripartite Matching Problem 179--188
Xu An Wang and
Xiaoyuan Yang and
Minqing Zhang Cryptanalysis of Two Efficient HIBE
Schemes in the Standard Model . . . . . 189--200
Józef Winkowski Multiplicative Transition Systems . . . 201--222
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Vladimir A. Bashkin and
Irina A. Lomazova Resource Driven Automata Nets . . . . . 223--236
Marco Bellia and
M. Eugenia Occhiuto Properties of Java Simple Closures . . . 237--253
Ludwik Czaja On Deadlock and Fairness Decision
Problems for Computations on
Client-server Systems . . . . . . . . . 255--264
Anna Gomoli\'nska A Logic-Algebraic Approach to Graded
Inclusion . . . . . . . . . . . . . . . 265--279
Damas P. Gruska Gained and Excluded Private Actions by
Process Observations . . . . . . . . . . 281--295
Manfred Kudlek A Relation between Modal Logic and
Language Closure Operators . . . . . . . 297--304
Artur M\keski and
Wojciech Penczek and
Agata Pó\lrola BDD-based Bounded Model Checking for
Temporal Properties of $1$-Safe Petri
Nets . . . . . . . . . . . . . . . . . . 305--321
Roman R. Redziejowski BITES Instead of FIRST for Parsing
Expression Grammar . . . . . . . . . . . 323--337
Marcin Szczuka and
Andrzej Skowron and
Jaros\law Stepaniuk Function Approximation and Quality
Measures in Rough--Granular Systems . . 339--354
Marcin Wolski Incomplete and Nondeterministic
Information Systems: Object-Directed
Semantics for Descriptor Languages . . . 355--368
Zoltán Ésik and
Klaus Sutner Stephen L. Bloom 1940--2010 . . . . . . 369--381
Thomas Locher and
Stefan Schmid and
Roger Wattenhofer eDonkey & eMule's Kad: Measurements &
Attacks . . . . . . . . . . . . . . . . 383--403
Xiaoxue Piao and
Kai Salomaa Transformations Between Different Models
of Unranked Bottom-Up Tree Automata . . 405--424
Daniel Simson Mesh Algorithms for Solving Principal
Diophantine Equations, Sand-glass Tubes
and Tori of Roots . . . . . . . . . . . 425--462
Ping Zhu An Axiomatic Approach to the Roughness
Measure of Rough Sets . . . . . . . . . 463--480
Anonymous Erratum to the paper: ``A Logic-Based
System for e-Tourism'' . . . . . . . . . 481--481
Juhani Karhumäki and
Gheorghe P\uaun and
Grzegorz Rozenberg and
Arto Salomaa Preface . . . . . . . . . . . . . . . . ??
Ali Akhtarzada and
Cristian S. Calude and
John Hosking A Multi-Criteria Metric Algorithm for
Recommender Systems . . . . . . . . . . 1--11
Artiom Alhazov and
Alexander Krassovitskiy and
Yurii Rogozhin and
Sergey Verlan $P$ Systems with Insertion and Deletion
Exo-Operations . . . . . . . . . . . . . 13--28
Sepinoud Azimi and
Tero Harju and
Miika Langille and
Ion Petre and
Vladimir Rogojin Directed Overlap-inclusion Graphs as
Representations of Ciliate Genes . . . . 29--44
Alexis Ballier and
Pierre Guillon and
Jarkko Kari Limit Sets of Stable and Unstable
Cellular Automata . . . . . . . . . . . 45--57
Hans-Joachim Böckenhauer and
Juraj Hromkovi\vc and
Andreas Sprock On the Hardness of Reoptimization with
Multiple Given Solutions . . . . . . . . 59--76
Paola Bonizzoni and
Claudio Ferretti and
A. Roslin Sagaya Mary and
Giancarlo Mauri Picture Languages Generated by
Assembling Tiles . . . . . . . . . . . . 77--93
Cewei Cui and
Zhe Dang and
Thomas R. Fischer Typical Paths of a Graph . . . . . . . . 95--109
Ömer E\ugecio\uglu and
László Hegedüs and
Benedek Nagy Hierarchies of Stateless Multicounter $
5^\to 3 ' $ Watson--Crick Automata
Languages . . . . . . . . . . . . . . . 111--123
Gerry Eisman and
Bala Ravikumar On Approximating Non-regular Languages
by Regular Languages . . . . . . . . . . 125--142
Yuan Gao and
Kai Salomaa and
Sheng Yu Transition Complexity of Incomplete DFAs 143--158
Markus Holzer and
Andreas Klein and
Martin Kutrib and
Oliver Ruepp Computational Complexity of NURIKABE . . 159--174
Juha Honkala The Sequence Equivalence Problem for
Marked DT0L Systems . . . . . . . . . . 175--182
Lucian Ilie and
William F. Smyth Minimum Unique Substrings and Maximum
Repeats . . . . . . . . . . . . . . . . 183--195
Juhani Karhumäki and
Aleksi Saarela The Unique Decipherability in the Monoid
of Regular Languages is Undecidable . . 197--200
Lila Kari and
Shinnosuke Seki and
Steffen Kopecki On the Regularity of Iterated Hairpin
Completion of a Single Word . . . . . . 201--215
Jetty Kleijn and
Maciej Koutny Membrane Systems with Qualitative
Evolution Rules . . . . . . . . . . . . 217--230
Michal Kunc and
Alexander Okhotin State Complexity of Union and
Intersection for Two-way
Nondeterministic Finite Automata . . . . 231--239
Kenichi Morita Two-Way Reversible Multi-Head Finite
Automata . . . . . . . . . . . . . . . . 241--254
Fumiya Okubo and
Takashi Yokomori On the Hairpin Incompletion . . . . . . 255--269
Linqiang Pan and
Jun Wang and
Hendrik Jan Hoogeboom Limited Asynchronous Spiking Neural $P$
Systems . . . . . . . . . . . . . . . . 271--293
Mario J. Pérez-Jiménez and
Agustín Riscos-Núñez and
Miquel Rius-Font and
Francisco J. Romero-Campero Looking for Small Efficient $P$ Systems 295--308
Rama Raghavan and
H. Ramesh and
Marian Gheorghe and
Shankara Narayanan Krishna On Restricted Bio-Turing Machines . . . 309--320
Nicholas Tran Characterizations and Existence of Easy
Sets without Hard Subsets . . . . . . . 321--328
Sergey Verlan and
Maurice Margenstern Universality of Splicing Test Tube
Systems with Two Tubes . . . . . . . . . 329--342
Hsu-Chun Yen On Almost-Sure Properties of
Probabilistic Discrete Event Systems . . 343--359
Wei-Zhi Wu and
Dominik \'Sl\kezak and
Hung Son Nguyen Preface . . . . . . . . . . . . . . . . ??
Taichi Haruna and
Yukio-Pegio Gunji Double Approximation and Complete
Lattices . . . . . . . . . . . . . . . . 1--14
Tong-Jun Li and
Wei-Zhi Wu Attribute Reduction in Formal Contexts:
A Covering Rough Set Approach . . . . . 15--32
Yanqing Yao and
Jusheng Mi and
Zhoujun Li and
Bin Xie The Construction of Fuzzy Concept
Lattices Based on ($ \theta $, $ \sigma
$)-Fuzzy Rough Approximation Operators 33--45
Zhengjiang Wu and
Tianrui Li and
Keyun Qin and
Da Ruan Approximation Operators, Binary Relation
and Basis Algebra in $L$-Fuzzy Rough
Sets . . . . . . . . . . . . . . . . . . 47--63
Yong Du and
Qinghua Hu and
Degang Chen and
Peijun Ma Kernelized Fuzzy Rough Sets Based Yawn
Detection for Driver Fatigue Monitoring 65--79
Jian Yu and
Miin-Shen Yang and
Pengwei Hao A Novel Multimodal Probability Model for
Cluster Analysis . . . . . . . . . . . . 81--90
Deepti Mishra and
Alok Mishra Object-Oriented Inheritance Metrics in
the Context of Cognitive Complexity . . 91--117
Zhe Chen On the Generative Power of $ \omega
$-Grammars and $ \omega $-Automata . . . 119--145
Wit Fory\'s and
Piotr Oprocha Infinite Traces and Symbolic Dynamics
--- the Minimal Shift Case . . . . . . . 147--161
Zoltán Fülöp and
Andreas Maletti and
Heiko Vogler Weighted Extended Tree Transducers . . . 163--202
Benedetto Intrigila and
Richard Statman Solution to the Range Problem for
Combinatory Logic . . . . . . . . . . . 203--222
Yanhong She and
Xiaoli He and
Guojun Wang Rough Truth Degrees of Formulas and
Approximate Reasoning in Rough Logic . . 223--239
Jia Yu and
Fanyu Kong and
Xiangguo Cheng and
Rong Hao and
Jianxi Fan Forward-Secure Identity-Based Public-Key
Encryption without Random Oracles . . . 241--256
Stefano Bistarelli and
Francesco Santini A Nonmonotonic Soft Concurrent
Constraint Language to Model the
Negotiation Process . . . . . . . . . . 257--279
John Case and
Samuel E. Moelius III Properties Complementary to Program
Self-Reference . . . . . . . . . . . . . 281--311
Francisco Claude and
Gonzalo Navarro Self-Indexed Grammar-Based Compression 313--337
Alessio Lomuscio and
Wojciech Penczek and
Monika Solanki and
Maciej Szreter Runtime Monitoring of Contract Regulated
Web Services . . . . . . . . . . . . . . 339--355
Jean-Marc Champarnaud and
Jacques Farré and
Franck Guingne Reduction Techniques for Acyclic Cover
Transducers . . . . . . . . . . . . . . 357--371
Zhi-Hong Deng and
Ning Gao and
Xiao-Ran Xu Mop: An Efficient Algorithm for Mining
Frequent Pattern with Subtree Traversing 373--390
Aniruddh Gandhi and
Bakhadyr Khoussainov and
Jiamou Liu Efficient Algorithms for Games Played on
Trees with Back-edges . . . . . . . . . 391--412
Manish Garg and
Sugata Gangopadhyay A Lower Bound of the Second-order
Nonlinearities of Boolean Bent Functions 413--422
Mihai Ionescu and
Gheorghe P\uaun and
Mario J. Pérez-Jiménez and
Takashi Yokomori Spiking Neural dP Systems . . . . . . . 423--436
Andrzej Kisielewicz and
Marek Szyku\la Rainbow Induced Subgraphs in Proper
Vertex Colorings . . . . . . . . . . . . 437--451
Taishin Yasunobu Nishida Computing $k$-block Morphisms by Spiking
Neural $P$ Systems . . . . . . . . . . . 453--464
Anonymous Author Index Volume 111 . . . . . . . . 465--466
Wojciech Penczek Preface . . . . . . . . . . . . . . . . ??
Roberto Barbuti and
Francesca Levi and
Paolo Milazzo and
Guido Scatena Maximally Parallel Probabilistic
Semantics for Multiset Rewriting . . . . 1--17
Francesco Belardinelli and
Andrew V. Jones and
Alessio Lomuscio Model Checking Temporal-Epistemic Logic
Using Alternating Tree Automata . . . . 19--37
Ludwik Czaja and
Manfred Kudlek On Synthesis and Analysis of Generalized
Work Flow Net Structures and Transition
Graphs . . . . . . . . . . . . . . . . . 39--45
Dariusz Doliwa and
Wojciech Horzelski and
Mariusz Jarocki and
Artur Niewiadomski and
Wojciech Penczek and
Agata Pó\lrola and
Maciej Szreter and
Andrzej Zbrzezny PlanICS --- a Web Service Composition
Toolset . . . . . . . . . . . . . . . . 47--71
Michael Köhler-Bußmeier and
Frank Heitmann Liveness of Safe Object Nets . . . . . . 73--87
Heinrich Mellmann and
Giuseppe Cotugno Dynamic Motion Control: Adaptive
Bimanual Grasping for a Humanoid Robot 89--101
Wojciech Turek and
Krzysztof Cetnarowicz and
Wojciech Zaborowski Software Agent Systems for Improving
Performance of Multi-Robot Groups . . . 103--117
Henning Bordihn and
Rudolf Freund and
Mika Hirvensalo and
Markus Holzer and
Martin Kutrib and
Friedrich Otto Preface . . . . . . . . . . . . . . . . ??
Maria Paola Bianchi and
Carlo Mereghetti and
Beatrice Palano and
Giovanni Pighizzini On the Size of Unary Probabilistic and
Nondeterministic Automata . . . . . . . 119--135
Erzsébet Csuhaj-Varjú and
Tomá\vs Masopust and
György Vaszil Blackhole Pushdown Automata . . . . . . 137--156
Jürgen Dassow and
Bianca Truthe On Networks of Evolutionary Processors
with Filters Accepted by
Two-State-Automata . . . . . . . . . . . 157--170
Martin Huschenbett A Kleene--Schützenberger Theorem for
Trace Series over Bounded Lattices . . . 171--191
Tomasz Jurdzi\'nski Growing Grammars and Length-reducing
Automata . . . . . . . . . . . . . . . . 193--217
Peter Leupold and
Friedrich Otto On McNaughton Families of Languages That
Are Specified by Some Variants of
Monadic String-Rewriting Systems . . . . 219--238
Andreas Maletti Survey: Weighted Extended Top-down Tree
Transducers. Part II --- Application in
Machine Translation . . . . . . . . . . 239--261
Anca Dinu Versatility of `Continuations' in
Discourse Semantics . . . . . . . . . . 263--280
Gabriela Martin and
Magnus Steinby Rough Approximations in Varieties of
Regular Languages . . . . . . . . . . . 281--303
Khair Eddin Sabri and
Ridha Khedri Algebraic Framework for the
Specification and Analysis of
Cryptographic-Key Distribution . . . . . 305--335
Fabiana T. Santana and
Fágner L. Santana and
Ana Maria G. Guerreiro and
Adrião D. and
Dória Neto and
Regivan H. N. Santiago A Framework for Interval Quantization
and Application to Interval Based
Algorithms in Digital Signal Processing 337--363
Kyung-Ah Shim and
Young-Ran Lee Security Pitfalls of the Certificateless
Signature and Multi-Receiver
Signcryption Schemes . . . . . . . . . . 365--376
Anonymous Author Index Volume 112 . . . . . . . . 377--378
Mauricio Osorio and
Victor W. Marek Preface . . . . . . . . . . . . . . . . ??
Oscar Chávez-Bosquez and
Pilar Pozos-Parra and
Florian Lengyel Solving the International Timetabling
Competition: a Deterministic Approach 1--18
Roberto Confalonieri and
Juan Carlos Nieves Nested Preferences in Answer Set
Programming . . . . . . . . . . . . . . 19--39
Juan Carlos Nieves and
Roberto Confalonieri A Possibilistic Argumentation Decision
Making Framework with Default Reasoning 41--61
Guillermo De Ita and
J. Raymundo Marcial-Romero and
José Antonio Hernández A Threshold for a Polynomial Solution of
#2SAT . . . . . . . . . . . . . . . . . 63--77
Flavio Omar Everardo Pérez and
Fernando Antonio Aguilera Ramírez Armin: Automatic Trance Music
Composition using Answer Set Programming 79--96
Jan Ramon and
Fabrizio Costa and
Christophe Costa Florêncio and
Joost Kok Preface . . . . . . . . . . . . . . . . ??
Jorge M. Arevalillo and
Hilario Navarro Uncovering Bivariate Interactions in
High Dimensional Data Using Random
Forests with Data Augmentation . . . . . 97--115
Wilhelmiina Hämäläinen Efficient Search Methods for Statistical
Dependency Rules . . . . . . . . . . . . 117--150
Elisa Cilia and
Niels Landwehr and
Andrea Passerini Relational Feature Mining with
Hierarchical Multitask kFOIL . . . . . . 151--177
Johan Lilius and
Wojciech Penczek Preface . . . . . . . . . . . . . . . . ??
Eike Best and
Philippe Darondeau Separability in Persistent Petri Nets 179--203
Javier Esparza and
Martin Leucker and
Maximilian Schlund Learning Workflow Petri Nets . . . . . . 205--228
Steve Hostettler and
Alexis Marechal and
Alban Linard and
Matteo Risoldi and
Didier Buchs High-Level Petri Net Model Checking with
AlPiNA . . . . . . . . . . . . . . . . . 229--264
Dai Tri Man Lê On Three Alternative Characterizations
of Combined Traces . . . . . . . . . . . 265--293
Niels Lohmann and
Daniela Weinberg Wendy: A Tool to Synthesize Partners for
Services . . . . . . . . . . . . . . . . 295--311
Fernando Rosa-Velardo and
María Martos-Salgado and
David de Frutos-Escrig Accelerations for the Coverability Set
of Petri Nets with Names . . . . . . . . 313--341
Marc Solé and
Josep Carmona Light Region-based Techniques for
Process Discovery . . . . . . . . . . . 343--376
Antti Valmari and
Henri Hansen Can Stubborn Sets Be Optimal? . . . . . 377--397
Matthias Weidlich and
Artem Polyvyanyy and
Jan Mendling and
Mathias Weske Causal Behavioural Profiles ---
Efficient Computation, Applications, and
Evaluation . . . . . . . . . . . . . . . 399--435
Anonymous Author Index Volume 113 . . . . . . . . 437--438
Arnon Avron and
Beata Konikowska Finite-valued Logics for Information
Processing . . . . . . . . . . . . . . . 1--30
Sergio Celani and
Ramon Jansana A Note on the Model Theory for Positive
Modal Logic . . . . . . . . . . . . . . 31--54
Ehsan Chiniforooshan and
Lila Kari and
Zhi Xu Pseudopower Avoidance . . . . . . . . . 55--72
Esther Guerra and
Juan de Lara An Algebraic Semantics for QVT-Relations
Check-only Transformations . . . . . . . 73--101
Jia Yu and
Fanyu and
Kong and
Xiangguo Cheng and
Rong Hao and
Jianxi Fan Erratum to the paper: Forward-Secure
Identity-Based Public-Key Encryption
without Random Oracles . . . . . . . . . 103--103
Piotr Borowiecki and
El\.zbieta Sidorowicz Dynamic Coloring of Graphs . . . . . . . 105--128
Grzegorz Herman and
Michael Soltys Unambiguous Functions in Logarithmic
Space . . . . . . . . . . . . . . . . . 129--147
Anna Paszy\'nska and
Ewa Grabska and
Maciej Paszy\'nski A Graph Grammar Model of the $ h p $
Adaptive Three Dimensional Finite
Element Method. Part I . . . . . . . . . 149--182
Anna Paszy\'nska and
Ewa Grabska and
Maciej Paszy\'nski A Graph Grammar Model of the $ h p $
Adaptive Three Dimensional Finite
Element Method. Part II . . . . . . . . 183--201
Chih-Chia Yao and
Kang Lee Ellipse Invariant Algorithm for Texture
Classification . . . . . . . . . . . . . 203--220
Jerzy Jaworski and
Mieczys\law Kula and
Damian Niwi\'nski and
Jerzy Urbanowicz Preface . . . . . . . . . . . . . . . . ??
Alex Biryukov and
Johann Großschädl Cryptanalysis of the Full AES Using
GPU-Like Special-Purpose Hardware . . . 221--237
Krzysztof Chmiel and
Anna Grocholewska-Czurylo and
Janusz Stoklosa Evaluation of PP-1 Cipher Resistance
against Differential and Linear
Cryptanalysis in Comparison to a
DES-like Cipher . . . . . . . . . . . . 239--269
Sugata Gangopadhyay and
Brajesh Kumar Singh On Second-order Nonlinearities of Some $
D_0 $ Type Bent Functions . . . . . . . 271--285
Maciej Grze\'skowiak Algorithm for Generating Primes $p$ and
$q$ Such that $q$ Divides $ p_4 \pm p_3
+ p_2 \pm p + 1$ . . . . . . . . . . . . 287--299
László Mérai Remarks on Pseudorandom Binary Sequences
Over Elliptic Curves . . . . . . . . . . 301--308
Piotr Mroczkowski and
Janusz Szmidt The Cube Attack on Stream Cipher Trivium
and Quadraticity Tests . . . . . . . . . 309--318
Michal Rja\vsko and
Martin Stanek Attacking M&M Collective Signature Scheme 319--323
Eric Roettger and
Hugh C. Williams Public-Key Cryptography Based on a Cubic
Extension of the Lucas Functions . . . . 325--344
Stanis\law Spie\.z and
Marian Srebrny and
Jerzy Urbanowicz Remarks on the Classical Threshold
Secret Sharing Schemes . . . . . . . . . 345--357
Pavol Zajac Solving Trivium-based Boolean Equations
Using the Method of Syllogisms . . . . . 359--373
Anonymous Author Index Volume 114 . . . . . . . . 375--376
Davide Ciucci and
Alberto Dennunzio and
Roberto Leporini Preface . . . . . . . . . . . . . . . . ??
Enrico Beltrametti and
Maria Luisa Dalla Chiara and
Roberto Giuntini and
Roberto Leporini and
Giuseppe Sergioli Epistemic Quantum Computational
Structures in a Hilbert-space
Environment . . . . . . . . . . . . . . 1--14
David Buhagiar and
Emmanuel Chetcuti and
Anatolij Dvure\vcenskij Completeness of Inner Product Spaces and
G. Cattaneo . . . . . . . . . . . . . . 15--24
Salvatore Greco and
Benedetto Matarazzo and
Roman S\lowi\'nski The Bipolar Complemented De Morgan
Brouwer--Zadeh Distributive Lattice as
an Algebraic Structure for the
Dominance-based Rough Set Approach . . . 25--56
Davide Ciucci Temporal Dynamics in Information Tables 57--74
Pietro Di Lena and
Luciano Margara On the Undecidability of Attractor
Properties for Cellular Automata . . . . 75--85
Alberto Dennunzio From One-dimensional to Two-dimensional
Cellular Automata . . . . . . . . . . . 87--105
Enrico Formenti and
Eric Goles and
Bruno Martin Computational Complexity of Avalanches
in the Kadanoff Sandpile Model . . . . . 107--124
Alberto Bertoni and
Massimiliano Goldwurm and
Jianyi Lin and
Francesco Sacc\`a Size Constrained Distance Clustering:
Separation Properties and Some
Complexity Results . . . . . . . . . . . 125--139
Guoyin Wang and
Andrzej Skowron and
Yiyu Yao and
Hong Yu Preface . . . . . . . . . . . . . . . . ??
Hong Yu and
Shuangshuang Chu and
Dachun Yang Autonomous Knowledge-oriented Clustering
Using Decision-Theoretic Rough Set
Theory . . . . . . . . . . . . . . . . . 141--156
Xiaoping Yang and
JingTao Yao Modelling Multi-agent Three-way
Decisions with Decision-theoretic Rough
Sets . . . . . . . . . . . . . . . . . . 157--171
Dun Liu and
Tianrui Li and
Huaxiong Li A Multiple-category Classification
Approach with Decision-theoretic Rough
Sets . . . . . . . . . . . . . . . . . . 173--188
Shuang An and
Qinghua Hu and
Daren Yu and
Jinfu Liu Soft Minimum-Enclosing-Ball Based Robust
Fuzzy Rough Sets . . . . . . . . . . . . 189--202
Wei-Zhi Wu Knowledge Reduction in Random Incomplete
Decision Tables via Evidence Theory . . 203--218
GuoYin Wang and
Jun Hu Attribute Reduction Using Extension of
Covering Approximation Space . . . . . . 219--232
Manish Joshi and
Pawan Lingras and
C. Raghavendra Rao Correlating Fuzzy and Rough Clustering 233--246
Yiyu Yao and
Nan Zhang and
Duoqian Miao and
Feifei Xu Set-theoretic Approaches to Granular
Computing . . . . . . . . . . . . . . . 247--264
Marzena Kryszkiewicz and
Sergei Obiedkov and
Zbigniew W. Ra\'s Preface . . . . . . . . . . . . . . . . ??
Vera V. Pankratieva and
Sergei O. Kuznetsov Relations between Proto-fuzzy Concepts,
Crisply Generated Fuzzy Concepts, and
Interval Pattern Structures . . . . . . 265--277
Radim Belohlavek and
Jan Konecny Row and Column Spaces of Matrices over
Residuated Lattices . . . . . . . . . . 279--295
Ondrej Krídlo and
Stanislav Kraj\vci and
Manuel Ojeda-Aciego The Category of $L$-Chu Correspondences
and the Structure of $L$-Bonds . . . . . 297--325
Xavier Dolques and
Marianne Huchard and
Clémentine Nebut and
Philippe Reitz Fixing Generalization Defects in UML Use
Case Diagrams . . . . . . . . . . . . . 327--356
Rokia Missaoui and
Lhouari Nourine and
Yoan Renaud Computing Implications with Negation
from a Formal Context . . . . . . . . . 357--375
Artem Revenko and
Sergei O. Kuznetsov Attribute Exploration of Properties of
Functions on Sets . . . . . . . . . . . 377--394
Petr Krajca and
Jan Outrata and
Vilem Vychodil Computing Formal Concepts by Attribute
Sorting . . . . . . . . . . . . . . . . 395--417
Anonymous Author Index Volume 115 . . . . . . . . 419--420
Vesa Halava and
Juhani Karhumäki and
Dirk Nowotka and
Grzegorz Rozenberg Words, Graphs, Automata, and Languages;
Special Issue Honoring the 60th Birthday
of Professor Tero Harju . . . . . . . . ??
Paul C. Bell and
Igor Potapov On the Computational Complexity of
Matrix Semigroup Problems . . . . . . . 1--13
Robert Brijder and
Hendrik Jan Hoogeboom Binary Symmetric Matrix Inversion
Through Local Complementation . . . . . 15--23
Michelangelo Bucci and
Alessandro De Luca and
Luca Q. Zamboni Some Characterizations of Sturmian Words
in Terms of the Lexicographic Order . . 25--33
Giusi Castiglione and
Antonio Restivo On the Shuffle of Star-Free Languages 35--44
Christian Choffrut A Note on the Logical Definability of
Rational Trace Languages . . . . . . . . 45--50
Elena Czeizler and
Andrzej Mizera and
Ion Petre A Boolean Approach for Disentangling the
Roles of Submodules to the Global
Properties of a Biomodel . . . . . . . . 51--63
Volker Diekert and
Manfred Kufleitner and
Benjamin Steinberg The Krohn--Rhodes Theorem and Local
Divisors . . . . . . . . . . . . . . . . 65--77
Yuan Gao and
Sheng Yu State Complexity of Combined Operations
with Union, Intersection, Star and
Reversal . . . . . . . . . . . . . . . . 79--92
Nikita Gogin and
Mika Hirvensalo Recurrent Construction of MacWilliams
and Chebyshev Matrices . . . . . . . . . 93--110
Jurriaan Hage Subgroup Switching of Skew Gain Graphs 111--122
Juha Honkala A Characterization of Regular Languages
as Equality Sets of HDT0L Sequences . . 123--128
Oscar H. Ibarra and
Ömer E\ugecio\uglu A Survey of Results on Stateless
Multicounter Automata . . . . . . . . . 129--140
Jarkko Kari and
Bastien Le Gloannec Modified Traffic Cellular Automaton for
the Density Classification Task . . . . 141--156
Tomi Kärki Repetition-freeness with Cyclic
Relations and Chain Relations . . . . . 157--174
Anne Lacroix and
Narad Rampersad and
Michel Rigo and
Élise Vandomme Syntactic Complexity of Ultimately
Periodic Sets of Integers and
Application to a Decision Procedure . . 175--187
Michel Latteux and
Yves Roos On One-Rule Grid Semi-Thue Systems . . . 189--204
Alexander Okhotin Language Equations with Symmetric
Difference . . . . . . . . . . . . . . . 205--222
Narad Rampersad and
Jeffrey Shallit and
Zhi Xu The Computational Complexity of
Universality Problems for Prefixes,
Suffixes, Factors, and Subwords of
Regular Languages . . . . . . . . . . . 223--236
Arto Salomaa Mirror Images and Schemes for the
Maximal Complexity of Nondeterminism . . 237--249
Patrice Séébold Length-$k$-overlap-free Binary Infinite
Words . . . . . . . . . . . . . . . . . 251--263
Anonymous Author Index Volume 116 . . . . . . . . 265--265
S. G. Mohanty and
S. Rinaldi and
J. Makowsky Foreword . . . . . . . . . . . . . . . . ??
Sri Gopal Mohanty Reminiscing over . . . . . . . . . . . . ??
Margaret Archibald and
Arnold Knopfmacher and
Toufik Mansour Variation Statistics on Compositions . . 1--17
Nicholas R. Beaton and
Philippe Flajolet and
Timothy M. Garoni and
Anthony J. Guttmann Some New Self-avoiding Walk and Polygon
Models . . . . . . . . . . . . . . . . . 19--33
Stefano Bilotta and
Donatella Merlini and
Elisa Pergola and
Renzo Pinzani Pattern $ 1^{j + 1} 0^j $ Avoiding
Binary Words . . . . . . . . . . . . . . 35--55
Olivier Blondeau-Fournier and
Pierre Mathieu and
Trevor A. Welsh Half-lattice Paths and Virasoro
Characters . . . . . . . . . . . . . . . 57--83
Olivier Bodini and
Dani\`ele Gardy and
Olivier Roussel Boys-and-girls Birthdays and Hadamard
Products . . . . . . . . . . . . . . . . 85--101
Walter Böhm and
Kurt Hornik A Kolmogorov--Smirnov Test for $r$
Samples . . . . . . . . . . . . . . . . 103--125
Charlotte Brennan and
Simon Mavhungu Visits to Level $r$ by Dyck Paths . . . 127--145
Charalambos A. Charalambides On the Distributions of Absorbed
Particles in Crossing a Field Containing
Absorption Points . . . . . . . . . . . 147--154
Wan-Chen Chuang and
Sen-Peng Eu and
Tung-Shan Fu and
Yeh-Jong Pan On Simsun and Double Simsun Permutations
Avoiding a Pattern of Length Three . . . 155--177
Éric Fusy Bijective Counting of Involutive Baxter
Permutations . . . . . . . . . . . . . . 179--188
Zoltán Király and
Zoltán L. Nagy and
Dömötör Pálvölgyi and
Mirkó Visontai On Families of Weakly Cross-intersecting
Set-pairs . . . . . . . . . . . . . . . 189--198
Tomer Kotek and
Johann A. Makowsky A Representation Theorem for Holonomic
Sequences Based on Counting Lattice
Paths . . . . . . . . . . . . . . . . . 199--213
Markus Kuba Generating Functions of Embedded Trees
and Lattice Paths . . . . . . . . . . . 215--227
Andreas Kyriakoussis and
Malvina Vamvakari On Terminating and Non-Terminating
$q$-Gauss Hypergeometric Series
Distributions and the Associated
$q$-Orthogonal Polynomials . . . . . . . 229--248
Fumihiko Nakano and
Taizo Sadahiro Domino Tilings with One Diagonal
Impurity . . . . . . . . . . . . . . . . 249--264
Wolfgang Panny A Lattice Path Combinatorial Approach to
Rothe Numbers and Related Convolution
Results . . . . . . . . . . . . . . . . 265--277
Helmut Prodinger Dyck Paths with Parity Restrictions for
the Final Runs to the Origin: a Study of
the Height . . . . . . . . . . . . . . . 279--285
Shaun Sullivan Bivariate Finite Operator Calculus and
Counting Ballot Paths Containing
Patterns . . . . . . . . . . . . . . . . 287--309
Anonymous Author Index Volume 117 . . . . . . . . 311--312
Arend Rensink and
Grzegorz Rozenberg and
Andy Schürr Preface . . . . . . . . . . . . . . . . ??
Tobias Heindel Adhesivity with Partial Maps instead of
Spans . . . . . . . . . . . . . . . . . 1--33
Hartmut Ehrig and
Ulrike Golas and
Annegret Habel and
Leen Lambers and
Fernando Orejas $ \cal M $-Adhesive Transformation
Systems with Nested Application
Conditions. Part 2: Embedding, Critical
Pairs and Local Confluence . . . . . . . 35--63
Fernando Orejas and
Leen Lambers Lazy Graph Transformation . . . . . . . 65--96
Stefan Jurack and
Gabriele Taentzer Transformation of Typed Composite Graphs
with Inheritance and Containment
Structures . . . . . . . . . . . . . . . 97--134
Christopher M. Poskitt and
Detlef Plump Hoare-Style Verification of Graph
Programs . . . . . . . . . . . . . . . . 135--175
Fabio Gadducci and
Alberto Lluch Lafuente and
Andrea Vandin Counterpart Semantics for a Second-Order
$ \mu $-Calculus . . . . . . . . . . . . 177--205
Can Ba\cskent Public Announcement Logic in Geometric
Frameworks . . . . . . . . . . . . . . . 207--223
Jacek Blazewicz and
Marta Kasprzak Reduced-by-matching Graphs: Toward
Simplifying Hamiltonian Circuit Problem 225--244
Luca Bortolussi and
Liviu P. Dinu and
Andrea Sgarro Spearman Permutation Distances and
Shannon's Distinguishability . . . . . . 245--252
Marcin Grzecza and
Stanis\law Kasjan and
Andrzej Mróz Tree Matrices and a Matrix Reduction
Algorithm of Belitskii . . . . . . . . . 253--279
Xin Liao and
Qiao-yan Wen and
Ze-li Zhao and
Jie Zhang A Novel Steganographic Method with
Four-Pixel Differencing and Modulus
Function . . . . . . . . . . . . . . . . 281--289
Lidong Wang and
Yan Ren and
Xiaodong Liu Development of Near Sets Within the
Framework of Axiomatic Fuzzy Sets . . . 291--304
Jacek Widuch A Label Correcting Algorithm for the Bus
Routing Problem . . . . . . . . . . . . 305--326
Anna Gambin and
Anna Marciniak-Czochra Preface . . . . . . . . . . . . . . . . ??
Roberto Bertolusso and
Marek Kimmel Spatial and Stochastic Effects in a
Model of Viral Infection . . . . . . . . 327--343
Sergei Vakulenko and
Ovidiu Radulescu Flexible and Robust Patterning by
Centralized Gene Networks . . . . . . . 345--369
Michelle N. Archuleta and
Jason E. McDermott and
Jeremy S. Edwards and
Haluk Resat An Adaptive Coarse Graining Method for
Signal Transduction in Three Dimensions 371--384
Jacek Blazewicz and
Marta Kasprzak Complexity Issues in Computational
Biology . . . . . . . . . . . . . . . . 385--401
Yaki Setty and
Irun R. Cohen and
David Harel Executable Modeling of Morphogenesis: A
Turing-Inspired Approach . . . . . . . . 403--417
Kirill Batmanov and
Céline Kuttler and
Cédric Lhoussaine and
Yasushi Saka Self-organized Patterning by Diffusible
Factors: Roles of a Community Effect . . 419--461
Anonymous Author Index Volume 118 . . . . . . . . 463--464
Maria Cristina Riff Preface . . . . . . . . . . . . . . . . ??
Maria Gisela Dorzán and
Edilma Olinda Gagliardi and
Mario Guillermo Leguizamón and
Gregorio Hernández Peñalver Approximations on Minimum Weight
Triangulations and Minimum Weight
Pseudo-Triangulations Using Ant Colony
Optimization Metaheuristic . . . . . . . 1--27
Pablo Garrido and
Carlos Castro A Flexible and Adaptive Hyper-heuristic
Approach for (Dynamic) Capacitated
Vehicle Routing Problems . . . . . . . . 29--60
Florentina Hristea and
Mihaela Colhon Feeding Syntactic Versus Semantic
Knowledge to a Knowledge-lean
Unsupervised Word Sense Disambiguation
Algorithm with an Underlying Na\"\ive
Bayes Model . . . . . . . . . . . . . . 61--86
Szczepan Hummel and
Micha\l Skrzypczak The Topological Complexity of MSO+U and
Related Automata Models . . . . . . . . 87--111
Gerald Schaefer and
Qinghua Hu and
Huiyu Zhou and
James F. Peters and
Aboul Ella Hassanien Rough $C$-means and Fuzzy Rough
$C$-means for Colour Quantisation . . . 113--120
Imen Bourguiba and
Belaid Moa Tabular Expressions Operators . . . . . 121--147
Justyna Kosakowska Inflation Algorithms for Positive and
Principal Edge-bipartite Graphs and Unit
Quadratic Forms . . . . . . . . . . . . 149--162
Ireneusz Mrozek and
Vyacheslav Yarmolik Antirandom Test Vectors for BIST in
Hardware/Software Systems . . . . . . . 163--185
Henry Tan and
Fedja Hadzic and
Tharam S. Dillon Mining Induced/Embedded Subtrees using
the Level of Embedding Constraint . . . 187--231
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Talha Amin and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko Dynamic Programming Approach for Partial
Decision Rule Optimization . . . . . . . 233--248
Marco Bellia and
M. Eugenia Occhiuto The Equivalence of Reduction and
Translation Semantics of Java Simple
Closures . . . . . . . . . . . . . . . . 249--264
Ludwik Czaja Exclusive Access to Resources in
Distributed Shared Memory Architecture 265--280
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni Improving Reachability Analysis of
Infinite State Systems by Specialization 281--300
Anna Gomoli\'nska and
Marcin Wolski On Graded Nearness of Sets . . . . . . . 301--317
Andrzej Janusz and
Dominik \'Sl\kezak and
Hung Son Nguyen Unsupervised Similarity Learning from
Textual Data . . . . . . . . . . . . . . 319--336
Pawe\l Leszczy\'nski and
Krzysztof Stencel Update Propagator for Joint Scalable
Storage . . . . . . . . . . . . . . . . 337--355
Elena Oshevskaya and
Irina Virbitskaite and
Eike Best Unifying Equivalences for Higher
Dimensional Automata . . . . . . . . . . 357--372
Wojciech Penczek and
Bo\.zena Wo\'zna-Szcze\'sniak and
Andrzej Zbrzezny Towards SAT-based BMC for LTLK over
Interleaved Interpreted Systems . . . . 373--392
Roman R. Redziejowski An Improved Construction of
Deterministic Omega-automaton Using
Derivatives . . . . . . . . . . . . . . 393--406
Jaros\law Rzeszótko and
Sinh Hoa Nguyen Machine Learning for Traffic Prediction 407--420
Andrzej Skowron and
Jaros\law Stepaniuk and
Andrzej Jankowski and
Jan G. Bazan and
Roman Swiniarski Rough Set Based Reasoning About Changes 421--437
Anonymous Author Index Volume 119 . . . . . . . . 439--440
Jérémie Chalopin and
Yves Métivier and
Thomas Morsellino Enumeration and Leader Election in
Partially Anonymous and Multi-hop
Broadcast Networks . . . . . . . . . . . 1--27
Stefano Mazzanti CRN Elimination and Substitution Bases
for Complexity Classes . . . . . . . . . 29--58
Chuan Qin and
Zhi-Hui Wang and
Chin-Chen Chang and
KuoNan Chen Reversible Data Hiding Scheme Based on
Image Inpainting . . . . . . . . . . . . 59--70
Arto Salomaa and
Kai Salomaa and
Andrew L. Szilard Sheng Yu (1950--2012) In Memoriam . . . 71--74
Marek A. Suchenek Elementary Yet Precise Worst-Case
Analysis of Floyd's Heap-Construction
Program . . . . . . . . . . . . . . . . 75--92
Ping Zhu An Improved Axiomatic Definition of
Information Granulation . . . . . . . . 93--109
J. A. Bergstra and
C. A. Middelburg On the Behaviours Produced by
Instruction Sequences under Execution 111--144
Dinabandhu Bhandari and
C. A. Murthy and
Sankar K. Pal Variance as a Stopping Criterion for
Genetic Algorithms with Elitist Model 145--164
Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni Computing Issues of Asynchronous CA . . 165--180
Artur Niewiadomski and
Wojciech Penczek and
Agata and
Pó\lrola and
Maciej Szreter and
Andrzej Zbrzezny Towards Automatic Composition of Web
Services: SAT-Based Concretisation of
Abstract Scenarios . . . . . . . . . . . 181--203
Wojciech Penczek Preface . . . . . . . . . . . . . . . . ??
Emanuele De Angelis and
Alberto Pettorossi and
Maurizio Proietti Synthesizing Concurrent Programs Using
Answer Set Programming . . . . . . . . . 205--229
Mohammad Azad and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko Greedy Algorithms for Construction of
Approximate Tests for Decision Tables
with Many-Valued Decisions . . . . . . . 231--242
Vladimir A. Bashkin and
Irina A. Lomazova Cellular Resource-Driven Automata . . . 243--257
Peter Drábik and
Andrea Maggiolo-Schettini and
Paolo Milazzo On Conditions for Modular Verification
in Systems of Synchronising Components 259--274
Leonid W. Dworza\'nski and
Irina A. Lomazova On Compositionality of Boundedness and
Liveness for Nested Petri Nets . . . . . 275--293
Damas P. Gruska Informational Analysis of Security and
Integrity . . . . . . . . . . . . . . . 295--309
Damas P. Gruska Quantification of Positive and Negative
Attacker's Information . . . . . . . . . 311--324
Michael Köhler-Bußmeier and
Frank Heitmann Conservative Elementary Object Systems 325--339
Louchka Popova-Zeugmann and
Elisabeth Pelz Algebraical Characterisation of
Interval-Timed Petri Nets with Discrete
Delays . . . . . . . . . . . . . . . . . 341--357
Piotr Wi\'sniewski and
Marta Burza\'nska and
Krzysztof Stencel The Impedance Mismatch in Light of the
Unified State Model . . . . . . . . . . 359--374
Andrzej Zbrzezny A New Translation from ECTL* to SAT . . 375--395
Anonymous Author Index Volume 120 . . . . . . . . 397--398
Silvia Ghilezan and
Luca Paolini Preface . . . . . . . . . . . . . . . . ??
Steffen van Bakel Completeness and Soundness Results for $
\cal X $ with Intersection and Union
Types . . . . . . . . . . . . . . . . . 1--41
Sébastien Carlier and
J. B. Wells The Algebra of Expansion . . . . . . . . 43--82
José Espírito Santo and
Jelena Iveti\'c and
Silvia Likavec Characterising Strongly Normalising
Intuitionistic Terms . . . . . . . . . . 83--120
Fairouz Kamareddine and
Vincent Rahli and
J. B. Wells Reducibility Proofs in the $ \lambda
$-Calculus . . . . . . . . . . . . . . . 121--152
Fairouz Kamareddine and
Karim Nour and
Vincent Rahli and
J. B. Wells On Realisability Semantics for
Intersection Types with Expansion
Variables . . . . . . . . . . . . . . . 153--184
George Koletsos Intersection Types and Termination
Properties . . . . . . . . . . . . . . . 185--202
Olivier Laurent Intersection Types with Subtyping by
Means of Cut Elimination . . . . . . . . 203--226
Mauro Piccolo Strong Normalization in the $ \pi
$-calculus with Intersection and Union
Types . . . . . . . . . . . . . . . . . 227--252
Elaine Pimentel and
Simona Ronchi Della Rocca and
Luca Roversi Intersection Types from a
Proof-theoretic Perspective . . . . . . 253--274
Yiorgos Stavrinos and
Anastasia Veneti Towards a Logic for Union Types . . . . 275--302
Anonymous Author Index Volume 121 . . . . . . . . 303--303
Lars Michael Kristensen and
Wojciech Penczek and
Laure Petrucci Preface . . . . . . . . . . . . . . . . ??
Pierre-Alain Reynier and
Frédéric Servais Minimal Coverability Set for Petri Nets:
Karp and Miller Algorithm with Pruning 1--30
Jean-Michel Couvreur and
Denis Poitrenaud and
Pascal Weil Branching Processes of General Petri
Nets . . . . . . . . . . . . . . . . . . 31--58
Kees M. van Hee and
Natalia Sidorova and
Jan Martijn van der Werf Refinement of Synchronizable Places with
Multi-workflow Nets . . . . . . . . . . 59--83
Frédéric Peschanski and
Hanna Klaudel and
Raymond Devillers A Petri Net Interpretation of Open
Reconfigurable Systems . . . . . . . . . 85--117
Jetty Kleijn and
Maciej Koutny Mutex Causality in Processes and Traces
of General Elementary Nets . . . . . . . 119--146
Serge Haddad and
Jean Mairesse and
Hoang-Thach Nguyen Synthesis and Analysis of Product-form
Petri Nets . . . . . . . . . . . . . . . 147--172
Zhanshan Sam Ma Stochastic Populations, Power Law and
Fitness Aggregation in Genetic
Algorithms . . . . . . . . . . . . . . . 173--206
Homa Fashandi and
James F. Peters Crisp and Fuzzy Topological Interior and
Closure Operators with Inclusion Degree.
Theory and Applications . . . . . . . . 207--225
Hans Langmaack and
Andrzej Salwicki Some Methodological Remarks Inspired by
the Paper ``On inner classes'' by A.
Igarashi and B. Pierce . . . . . . . . . 227--274
Jakub Daubner and
Eduard Toman Neighbourhood of Constant Order in the
Interval Graph of a Random Boolean
Function . . . . . . . . . . . . . . . . 275--295
Daniel Graff and
Jan Richling and
Matthias Werner Modeling Group Scheduling Problems in
Space and Time by Timed Petri Nets . . . 297--313
Lakshmanan Kuppusamy and
Anand Mahendran and
Kamala Krithivasan On the Trade-off Between Ambiguity and
Complexity in Contextual Languages . . . 315--326
Ma\lgorzata Przyby\la-Kasperek and
Alicja Wakulicz-Deja Application of Reduction of the Set of
Conditional Attributes in the Process of
Global Decision-making . . . . . . . . . 327--355
Yannis Tzitzikas and
Panagiotis Papadakos Interactive Exploration of
Multi-Dimensional and Hierarchical
Information Spaces with Real-Time
Preference Elicitation . . . . . . . . . 357--399
Bo\.zena Wo\'zna-Szcze\'sniak and
Andrzej Zbrzezny A Translation of the Existential Model
Checking Problem from MITL to HLTL . . . 401--420
Anonymous Author Index Volume 122 . . . . . . . . 421--421
Agata Ciabattoni and
Rusin Freivalds and
Antonín Ku\vcera and
Igor Potapov and
Stefan Szeider Preface . . . . . . . . . . . . . . . . ??
Paul C. Bell and
Vesa Halava and
Mika Hirvensalo Decision Problems for Probabilistic
Finite Automata on Bounded Languages . . 1--14
Jakub Chaloupka $Z$-reachability Problem for Games on
$2$-dimensional Vector Addition Systems
with States is in $P$ . . . . . . . . . 15--42
Oliver Fasching Gödel Homomorphisms as Gödel Modal
Operators . . . . . . . . . . . . . . . 43--57
Robert Ganian and
Petr Hlin\vený and
Jan Obdr\vzálek Better Algorithms for Satisfiability
Problems for Formulas of Bounded
Rank-width . . . . . . . . . . . . . . . 59--76
David Picado Muiño A Consequence Relation for Graded
Inference within the Frame of
Infinite-valued \Lukasiewicz Logic . . . 77--95
Zden\vek Sawa Efficient Construction of Semilinear
Representations of Languages Accepted by
Unary Nondeterministic Finite Automata 97--106
Abuzer Yakaryìlmaz and
A. C. Cem Say Proving the Power of Postselection . . . 107--134
Hamoon Mousavi and
Jeffrey Shallit Filtrations of Formal Languages by
Arithmetic Progressions . . . . . . . . 135--142
Marek Sikora and
Adam Gudy\'s CHIRA --- Convex Hull Based Iterative
Algorithm of Rules Aggregation . . . . . 143--170
Marek Sikora Redefinition of Decision Rules Based on
the Importance of Elementary Conditions
Evaluation . . . . . . . . . . . . . . . 171--197
Rudy van Vliet and
Hendrik Jan Hoogeboom Making DNA Expressions Minimal . . . . . 199--226
Rudy van Vliet and
Hendrik Jan Hoogeboom A Minimal Normal Form for DNA
Expressions . . . . . . . . . . . . . . 227--243
Sandie Balaguer and
Thomas Chatain and
Stefan Haar Building Occurrence Nets from Reveals
Relations . . . . . . . . . . . . . . . 245--272
Jacek Cicho\'n and
Marek Klonowski On Flooding in the Presence of Random
Faults . . . . . . . . . . . . . . . . . 273--287
Alexander Meduna and
Petr Zemek Left Random Context ET0L Grammars . . . 289--304
Morteza Moniri Fuzzy and Intuitionistic Fuzzy Turing
Machines . . . . . . . . . . . . . . . . 305--315
Andrzej Mróz On the Computational Complexity of
Bongartz's Algorithm . . . . . . . . . . 317--329
Krzysztof Simi\'nski Clustering with Missing Values . . . . . 331--350
Changzhong Wang and
Degang Chen and
Qiang He and
Qinhua Hu A Comparative Study of Ordered and
Covering Information Systems . . . . . . 351--363
Xibei Yang and
Yuhua Qian and
Jingyu Yang On Characterizing Hierarchies of
Granulation Structures via Distances . . 365--380
Liliana Cojocaru and
Erkki Mäkinen The Complexity of Szilard Languages of
Matrix Grammars Revisited . . . . . . . 381--399
Feng Jiang and
Xiaoyan Wan and
Yuefei Sui and
Cungen Cao and
Junwei Du Relational Operations and Uncertainty
Measure in Rough Relational Database . . 401--416
Dominique Schmitt and
Jean-Claude Spehner Araucaria Trees: Construction and
Grafting Theorems . . . . . . . . . . . 417--445
Daniel Simson Algorithms Determining Matrix
Morsifications, Weyl orbits, Coxeter
Polynomials and Mesh Geometries of Roots
for Dynkin Diagrams . . . . . . . . . . 447--490
Anonymous Author Index Volume 123 . . . . . . . . 491--492
Zhihua Cui and
Sheela Ramanna and
James F. Peters and
Sankar K. Pal Preface . . . . . . . . . . . . . . . . ??
Mercedes Hidalgo-Herrero and
Pablo Rabanal and
Ismael Rodríguez and
Fernando Rubio Comparing Problem Solving Strategies for
NP-hard Optimization Problems . . . . . 1--25
Gloria Virginia and
Hung Son Nguyen Lexicon-based Document Representation 27--46
E. R. Hruschka, Jr. and
M. C. Duarte and
M. C. Nicoletti Coupling as Strategy for Reducing
Concept-Drift in Never-ending Learning
Environments . . . . . . . . . . . . . . 47--61
Sankar K. Pal and
Debarati Chakraborty Unsupervised Tracking, Roughness and
Quantitative Indices . . . . . . . . . . 63--90
Ewa Grabska and
Gra\.zyna \'Slusarczyk and
Szymon Gajek Knowledge Representation for
Human-Computer Interaction in a System
Supporting Conceptual Design . . . . . . 91--110
J. H. Saito and
J.-F. Mari and
E. Pedrino and
J. B. Destro-Filho and
M. C. Nicoletti Simulated Activation Patterns of
Biological Neurons Cultured onto a
Multi-Electrode Array Based on a
Modified Izhikevich's Model . . . . . . 111--132
M. C. Nicoletti and
F. O. S. S. Lisboa and
E. R. Hruschka, Jr. Automatic Learning of Temporal Relations
Under the Closed World Assumption . . . 133--151
Pradipta Maji and
Sushmita Paul Robust Rough-Fuzzy $C$-Means Algorithm:
Design and Applications in Coding and
Non-coding RNA Expression Data
Clustering . . . . . . . . . . . . . . . 153--174
James F. Peters and
Doungrat Chitcharoen Sufficiently Near Neighbourhoods of
Points in Flow Graphs. A Near Set
Approach . . . . . . . . . . . . . . . . 175--196
Sankar K. Pal and
Romi Banerjee and
Soumitra Dutta and
Samar Sen Sarma An Insight into the $Z$-number Approach
to CWW . . . . . . . . . . . . . . . . . 197--229
Mehmet Ali Öztürk and
Ebubekir \.Inan Soft Nearness Approximation Spaces . . . 231--250
Bala Kalyanasundaram and
Mahe Velauthapillai Learning Behaviors of Functions with
Teams . . . . . . . . . . . . . . . . . 251--270
Hui Ma and
René Noack and
Klaus-Dieter Schewe and
Bernhard Thalheim and
Qing Wang Complete Conceptual Schema Algebras . . 271--295
Zeynep Nihan Odaba\cs and
Aysun Aytaç Residual Closeness in Cycles and Related
Networks . . . . . . . . . . . . . . . . 297--307
Daniel Simson A Framework for Coxeter Spectral
Analysis of Edge-bipartite Graphs, their
Rational Morsifications and Mesh
Geometries of Root Orbits . . . . . . . 309--338
Daniel Simson Toroidal Algorithms for Mesh Geometries
of Root Orbits of the Dynkin Diagram $
\mathbb {D}_4 $ . . . . . . . . . . . . 339--364
Fabio Fioravanti and
Alberto Pettorossi and
Gianfranco Rossi Preface . . . . . . . . . . . . . . . . ??
Marco Alberti and
Marco Gavanelli and
Evelina Lamma The CHR-based Implementation of the
SCIFF Abductive System . . . . . . . . . 365--381
Stefano Bistarelli and
Francesco Santini Coalitions of Arguments: An Approach
with Constraint Programming . . . . . . 383--401
Dario Campagna and
Andrea Formisano Product and Production Process Modeling
and Configuration . . . . . . . . . . . 403--425
Domenico Cantone and
Marianna Nicolosi Asmundo On the Satisfiability Problem for a
$4$-level Quantified Syllogistic and
Some Applications to Modal Logic . . . . 427--448
Stefania Costantini and
Andrea Formisano Nested Weight Constraints in ASP . . . . 449--464
Giovanna D'Agostino and
Giacomo Lenzi On Modal $ \mu $-Calculus in S5 and
Applications . . . . . . . . . . . . . . 465--482
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni Controlling Polyvariance for
Specialization-based Verification . . . 483--502
Francesca A. Lisi and
Umberto Straccia A Logic-based Computational Method for
the Automated Induction of Fuzzy
Ontology Axioms . . . . . . . . . . . . 503--519
Fabrizio Riguzzi MCINTYRE: A Monte Carlo System for
Probabilistic Logic Programming . . . . 521--541
Dmitry Solomakhin and
Enrico Franconi and
Alessandro Mosca Logic-based Reasoning Support for SBVR 543--560
Neng-Fa Zhou and
Agostino Dovier A Tabled Prolog Program for Solving
Sokoban . . . . . . . . . . . . . . . . 561--575
Anonymous Author Index Volume 124 . . . . . . . . 577--578
Chiheb Ameur Abid and
Belhassen Zouari Local Verification Using a Distributed
State Space . . . . . . . . . . . . . . 1--20
Mariusz Felisiak Computer Algebra Technique for Coxeter
Spectral Study of Edge-bipartite Graphs
and Matrix Morsifications of Dynkin Type
$ \mathbb {A}_n $ . . . . . . . . . . . 21--49
Norihiro Kamide and
Ken Kaneiwa Reasoning about Resources and
Information: A Linear Logic Approach . . 51--70
Armand Stefan Rotaru and
Sorin Iftene A Complete Generalization of Atkin's
Square Root Algorithm . . . . . . . . . 71--94
Apoloniusz Tyszka Does there Exist an Algorithm which to
Each Diophantine Equation Assigns an
Integer which is Greater than the
Modulus of Integer Solutions, if these
Solutions form a Finite Set? . . . . . . 95--99
Vincent Aravantinos and
Mnacho Echenim and
Nicolas Peltier A Resolution Calculus for First-order
Schemata . . . . . . . . . . . . . . . . 101--133
Jianwu Dong and
Feng Chen and
Yanyan Huo and
Hong Liu Decomposition and Approximation of Loopy
Bayesian Networks . . . . . . . . . . . 135--152
Rija Erve\vs and
Janez \vZerovnik Wide-diameter of Product Graphs . . . . 153--160
Maciej Grze\'skowiak Algorithms for Relatively Cyclotomic
Primes . . . . . . . . . . . . . . . . . 161--181
Piotr Kosiuczenko On the Validation of Invariants at
Runtime . . . . . . . . . . . . . . . . 183--222
P. Dulio and
A. Frosini and
G. Rozenberg Preface . . . . . . . . . . . . . . . . ??
Hilde Segers and
Willem Jan Palenstijn and
Kees Joost Batenburg and
Jan Sijbers Discrete Tomography in MRI: a Simulation
Study . . . . . . . . . . . . . . . . . 223--237
K. Joost Batenburg and
Wagner Fortes and
Robert Tijdeman Approximate Discrete Reconstruction
Algorithm . . . . . . . . . . . . . . . 239--259
Rodolfo A. Fiorini and
Giuseppe Laguteta Discrete Tomography Data Footprint
Reduction by Information Conservation 261--272
Rodolfo A. Fiorini and
Andrea Condorelli and
Giuseppe Laguteta Discrete Tomography Data Footprint
Reduction via Natural Compression . . . 273--284
Stefania Petra and
Christoph Schnörr and
Andreas Schröder Critical Parameter Values and
Reconstruction Properties of Discrete
Tomography: Application to Experimental
Fluid Dynamics . . . . . . . . . . . . . 285--312
Elena Barcucci and
Stefano Brocchi Solving Multicolor Discrete Tomography
Problems by Using Prior Knowledge . . . 313--328
Stefano Bilotta and
Simone Rinaldi and
Samanta Socci Polygons Drawn from Permutations . . . . 329--342
Norbert Hantos and
Péter Balázs The Reconstruction of Polyominoes from
Horizontal and Vertical Projections and
Morphological Skeleton is NP-complete 343--359
Roberto Fedele and
Antonia Ciani and
Luca Galantucci and
Matteo Bettuzzi and
Luca Andena A Regularized, Pyramidal Multi-grid
Approach to Global $3$D-Volume Digital
Image Correlation Based on X-ray
Micro-tomography . . . . . . . . . . . . 361--376
Anonymous Author Index Volume 125 . . . . . . . . 377--378
Franz Baader and
Alexander Okhotin On Language Equations with One-sided
Concatenation . . . . . . . . . . . . . 1--35
Rudolf Berghammer and
Michael Winter Decomposition of Relations and Concept
Lattices . . . . . . . . . . . . . . . . 37--82
E. K. R. Nagarajan and
D. Umadevi Algebra of Rough Sets based on Quasi
Order . . . . . . . . . . . . . . . . . 83--101
Ping Pan and
Licheng Wang and
Yixian Yang and
Yuanju Gan and
Lihua Wang and
Chengqian Xu Chameleon Hash Functions and One-Time
Signature Schemes from Inner
Automorphism Groups . . . . . . . . . . 103--119
Julien Cervelle and
Alberto Dennunzio and
Enrico Formenti and
Andrzej Skowron Preface . . . . . . . . . . . . . . . . ??
Pablo Arrighi and
Nicolas Schabanel and
Guillaume Theyssier Stochastic Cellular Automata:
Correlations, Decidability and
Simulations . . . . . . . . . . . . . . 121--156
Simon Wacker and
Thomas Worsch On Completeness and Decidability of
Phase Space Invertible Asynchronous
Cellular Automata . . . . . . . . . . . 157--181
Alberto Dennunzio and
Pietro Di Lena and
Enrico Formenti and
Luciano Margara Periodic Orbits and Dynamical Complexity
in Cellular Automata . . . . . . . . . . 183--199
Martin Kutrib and
Andreas Malcher One-Dimensional Cellular Automaton
Transducers . . . . . . . . . . . . . . 201--224
Giovanni Pighizzini Two-Way Finite Automata: Old and Recent
Results . . . . . . . . . . . . . . . . 225--246
Katsunobu Imai and
Takahiro Hatsuda and
Victor Poupet and
Kota Sato A $6$-state Universal Semi-totalistic
Cellular Automaton on Kite and Dart
Penrose Tilings . . . . . . . . . . . . 247--261
Ville Salo and
Ilkka Törmä Constructions with Countable Subshifts
of Finite Type . . . . . . . . . . . . . 263--300
JingTao Yao and
Andrzej Skowron and
Guoyin Wang and
Hung Son Nguyen Preface . . . . . . . . . . . . . . . . ??
Yan Yang and
Tonny Rutayisire and
Chao Lin and
Tianrui Li and
Fei Teng An Improved Cop--Kmeans Clustering for
Solving Constraint Violation Based on
MapReduce Framework . . . . . . . . . . 301--318
Abdolreza Hatamlou and
Masoumeh Hatamlou Hybridization of the Gravitational
Search Algorithm and Big Bang--Big
Crunch Algorithm for Data Clustering . . 319--333
Zbigniew Suraj and
Krzysztof Pancerz ROSECON: a Computer Tool for Synthesis
and Verification of Concurrent Systems
Specified by Information Systems . . . . 335--351
Xiaoping Yang and
Zunjing Lu and
Tong-Jun Li Decision-theoretic Rough Sets in
Incomplete Information System . . . . . 353--375
Weibin Deng and
Feng Hu and
Guoyin Wang and
Jerzy B\laszczy\'nski and
Roman S\lowi\'nski and
Marcin Szel\kag A Novel Method for Elimination of
Inconsistencies in Ordinal
Classification with Monotonicity
Constraints . . . . . . . . . . . . . . 377--395
Mingwen Shao and
Min Liu and
Li Guo Vector-based Attribute Reduction Method
for Formal Contexts . . . . . . . . . . 397--414
Huaxiong Li and
Xianzhong Zhou and
Jiabao Zhao and
Dun Liu Non-Monotonic Attribute Reduction in
Decision-Theoretic Rough Sets . . . . . 415--432
James F. Peters Nearness of Sets in Local Admissible
Covers. Theory and Application in
Micropalaeontology . . . . . . . . . . . 433--444
Anonymous Author Index Volume 126 . . . . . . . . 445--446
Anonymous Preface . . . . . . . . . . . . . . . . ??
Mihir K. Chakraborty and
Mohua Banerjee Rough Sets: Some Foundational Issues . . 1--15
Marcin Wolski and
Anna Gomoli\'nska Concept Formation: Rough Sets and Scott
Systems . . . . . . . . . . . . . . . . 17--33
Ivo Düntsch and
Ewa Or\lowska Discrete Duality for Rough Relation
Algebras . . . . . . . . . . . . . . . . 35--47
Yiyu Yao Duality in Rough Set Theory Based on the
Square of Opposition . . . . . . . . . . 49--64
Maria Semeniuk-Polkowska and
Lech Polkowski On a Notion of Extensionality for
Artifacts . . . . . . . . . . . . . . . 65--80
Ludwik Czaja Rough Net Structures --- Example of
Information System . . . . . . . . . . . 81--97
Gheorghe P\uaun and
Mario J. Pérez-Jiménez and
Grzegorz Rozenberg Bridging Membrane and Reaction Systems
--- Further Results and Research Topics 99--114
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni Proving Theorems by Program
Transformation . . . . . . . . . . . . . 115--134
Patrick Doherty and
Andrzej Sza\las Automated Generation of Logical
Constraints on Approximation Spaces
Using Quantifier Elimination . . . . . . 135--149
Talha Amin and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko Classifiers Based on Optimal Decision
Rules . . . . . . . . . . . . . . . . . 151--160
Salvatore Greco and
Roman S\lowi\'nski and
Izabela Szcz\kech Finding Meaningful Bayesian Confirmation
Measures . . . . . . . . . . . . . . . . 161--176
Patrick G. Clark and
Jerzy W. Grzymala-Busse An Experimental Comparison of Three
Probabilistic Approximations Used for
Rule Induction . . . . . . . . . . . . . 177--191
Wojciech Ziarko and
Xugunag Chen Weak Dependencies in Approximation
Spaces . . . . . . . . . . . . . . . . . 193--207
Shusaku Tsumoto and
Shoji Hirano Incremental Induction of Medical
Diagnostic Rules Based on Incremental
Sampling Scheme and SubRule Layers . . . 209--223
Hakim Touati and
Zbigniew W. Ras Mining Meta-Actions for Action Rules
Reduction . . . . . . . . . . . . . . . 225--240
Hui Wang and
Ivo Düntsch and
Luis Trindade Lattice Machine Classification based on
Contextual Probability . . . . . . . . . 241--256
Krzysztof Pancerz and
Zbigniew Suraj A Rough Set Approach to Information
Systems Decomposition . . . . . . . . . 257--272
Marcin Kruczyk and
Nicholas Baltzer and
Jakub Mieczkowski and
Micha\l Drami\'nski and
Jacek Koronacki and
Jan Komorowski Random Reducts: A Monte Carlo Rough
Set-based Method for Feature Selection
in Large Datasets . . . . . . . . . . . 273--288
Jayanta Kumar Pal and
Shubhra Sankar Ray and
Sankar K. Pal A Weighted Threshold for Detection of
Cancerous miRNA Expressions . . . . . . 289--305
Marzena Kryszkiewicz Using Non-Zero Dimensions for the Cosine
and Tanimoto Similarity Search Among
Real Valued Vectors . . . . . . . . . . 307--323
Bozena Kostek and
Andrzej Kaczmarek Music Recommendation Based on
Multidimensional Description and
Similarity Measures . . . . . . . . . . 325--340
Alicja Wakulicz-Deja and
Agnieszka Nowak-Brzezi\'nska and
Ma\lgorzata Przyby\la-Kasperek Complex Decision Systems and Conflicts
Analysis Problem . . . . . . . . . . . . 341--356
James F. Peters and
Sheela Ramanna Treasure Trove at Banacha. Set Patterns
in Descriptive Proximity Spaces . . . . 357--367
Sinh Hoa Nguyen and
Tuan Trung Nguyen and
Marcin Szczuka and
Hung Son Nguyen An Approach to Pattern Recognition Based
on Hierarchical Granular Computing . . . 369--384
Yuchao Liu and
Deyi Li and
Wen He and
Guoyin Wang Granular Computing Based on Gaussian
Cloud Transformation . . . . . . . . . . 385--398
Witold Pedrycz From Numeric to Granular Description and
Interpretation of Information Granules 399--412
Tsau Young Lin and
Yong Liu and
Wenliang Huang Unifying Rough Set Theories via Large
Scaled Granular Computing . . . . . . . 413--428
Jaroslaw Stepaniuk and
Maciej Kopczynski and
Tomasz Grzes The First Step Toward Processor for
Rough Set Methods . . . . . . . . . . . 429--443
Dominik \'Sl\kezak and
Piotr Synak and
Arkadiusz Wojna and
Jakub Wróblewski Two Database Related Interpretations of
Rough Approximations: Data Organization
and Query Execution . . . . . . . . . . 445--459
Jacek Lewandowski and
Henryk Rybi\'nski Generalized Hybrid Encoding of
Polyhierarchical Structures . . . . . . 461--477
Hao Lan Zhang and
Jiming Liu and
Yanchun Zhang Utilizing BDI Agents and a Topological
Theory for Mining Online Social Networks 479--494
Jan G. Bazan and
Sylwia Buregwa-Czuma and
Andrzej W. Jankowski A Domain Knowledge as a Tool For
Improving Classifiers . . . . . . . . . 495--511
Wojciech Froelich and
Rafa\l Deja and
Gra\.zyna Deja Mining Therapeutic Patterns from
Clinical Data for Juvenile Diabetes . . 513--528
Adam Krasuski and
Piotr Wasilewski Outlier Detection by Interaction with
Domain Experts . . . . . . . . . . . . . 529--544
Linchan Qin and
Ning Zhong and
Shengfu Lu and
Mi Li Decision Prediction Using Visual
Patterns . . . . . . . . . . . . . . . . 545--560
Andrzej Czy\.zewski and
Karol Lisowski Adaptive Method of Adjusting Flowgraph
for Route Reconstruction in Video
Surveillance Systems . . . . . . . . . . 561--576
Anonymous Author Index Volume 127 . . . . . . . . 577--579
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Mohammad Azad and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko A Greedy Algorithm for Construction of
Decision Trees for Tables with
Many-Valued Decisions --- A Comparative
Study . . . . . . . . . . . . . . . . . 1--15
Marco Bellia and
M. Eugenia Occhiuto Java SAM Typed Closures: A Sound and
Complete Type Inference System for
Nominal Types . . . . . . . . . . . . . 17--33
Ludwik Czaja Equations for Asynchronous Message
Passing . . . . . . . . . . . . . . . . 35--45
Robert D\kabrowski and
Grzegorz Timoszuk and
Krzysztof Stencel One Graph to Rule Them All Software
Measurement and Management . . . . . . . 47--63
Adam Grabowski Automated Discovery of Properties of
Rough Sets . . . . . . . . . . . . . . . 65--79
Damas P. Gruska Information Flow Testing . . . . . . . . 81--95
Michael Köhler-Bußmeier Defining Multi-Party Compromises using
Unfoldings of Workflow Nets . . . . . . 97--111
Manfred Kudlek and
Nils Erik Flick A Hierarchy of Languages with Catenation
and Shuffle . . . . . . . . . . . . . . 113--128
Irina A. Lomazova and
Ivan V. Romanov Analyzing Compatibility of Services via
Resource Conformance . . . . . . . . . . 129--141
Krzysztof Pancerz and
Arkadiusz Lewicki and
Ryszard Tadeusiewicz and
Jan Warcho\l Ant-Based Clustering in Delta Episode
Information Systems Based on Temporal
Rough Set Flow Graphs . . . . . . . . . 143--158
James F. Peters and
Andrzej Skowron and
Jaroslaw Stepaniuk Nearness of Visual Objects. Application
of Rough Sets in Proximity Spaces . . . 159--176
Roman R. Redziejowski From EBNF to PEG . . . . . . . . . . . . 177--191
Zbigniew Suraj A New Class of Fuzzy Petri Nets for
Knowledge Representation and Reasoning 193--207
Annegret K. Wagler and
Jan-Thierry Wegener On Minimality and Equivalence of Petri
Nets . . . . . . . . . . . . . . . . . . 209--222
Marcin Wolski and
Anna Gomoli\'nska An Incidence Algebra Approach to
Knowledge Granulation in Pawlak
Information Systems . . . . . . . . . . 223--238
Olena Yaskorska and
Katarzyna Budzynska and
Magdalena Kacprzak Proving Propositional Tautologies in a
Natural Dialogue . . . . . . . . . . . . 239--253
Jan Hidders and
Paolo Missier and
Jacek Sroka and
Jan Van den Bussche Preface . . . . . . . . . . . . . . . . ??
Mohamed Abouelhoda and
Shady Issa and
Moustafa Ghanem Towards Scalable and Cost-aware
Bioinformatics Workflow Execution in the
Cloud --- Recent Advances to the Tavaxy
Workflow System . . . . . . . . . . . . 255--280
Marcin P\lóciennik and
Tomasz \.Zok and
Ilkay Altintas and
Jianwu Wang and
Daniel Crawl and
David Abramson and
Frederic Imbeaux and
Bernard Guillerminet and
Marcos Lopez-Caniego and
Isabel Campos Plasencia and
Wojciech Pych and
Pawel Cieciel\kag and
Bartek Palak and
Micha\l Owsiak and
Yann Frauel Approaches to Distributed Execution of
Scientific Workflows in Kepler . . . . . 281--302
Alkis Simitsis and
Kevin Wilkinson and
Umeshwar Dayal Hybrid Analytic Flows --- the Case for
Optimization . . . . . . . . . . . . . . 303--335
Justin M. Wozniak and
Timothy G. Armstrong and
Ketan Maheshwari and
Ewing L. Lusk and
Daniel S. Katz and
Michael Wilde and
Ian T. Foster Turbine: A Distributed-memory Dataflow
Engine for High Performance Many-task
Applications . . . . . . . . . . . . . . 337--366
J. A. Bergstra and
C. A. Middelburg Data Linkage Algebra, Data Linkage
Dynamics, and Priority Rewriting . . . . 367--412
Stefano Ferilli and
Floriana Esposito A Logic Framework for Incremental
Learning of Process Models . . . . . . . 413--443
Yo-Sub Han State Elimination Heuristics for Short
Regular Expressions . . . . . . . . . . 445--462
Tadeusz Krasi\'nski and
Sebastian Sakowski and
Jacek Waldmajer and
Tomasz Pop\lawski Arithmetical Analysis of Biomolecular
Finite Automaton . . . . . . . . . . . . 463--474
Xiangyang Wang and
Hongying Yang and
Jing Wang and
Lili Chen and
Panpan Niu Bayesian Segmentation Based Local
Geometrically Invariant Image
Watermarking . . . . . . . . . . . . . . 475--501
Zhaohao Wang and
Lan Shu and
Xiuyong Ding Minimal Description and Maximal
Description in Covering-based Rough Sets 503--526
Anonymous Author Index Volume 128 . . . . . . . . 527--528
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Talha Amin and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko Relationships Between Length and
Coverage of Decision Rules . . . . . . . 1--13
Igor Chikalov and
Shahid Hussain and
Mikhail Moshkov Relationships between Average Depth and
Number of Misclassifications for
Decision Trees . . . . . . . . . . . . . 15--26
Ludwik Czaja Self-Modifying Nets for Synchronous,
Connection-Oriented, Multicast
Communication . . . . . . . . . . . . . 27--36
Marta Czy\.zewska and
Jaros\law Szko\la and
Krzysztof Pancerz Towards Assessment of Innovativeness
Economy Determinant Correlation: the
Double Self-Organizing Feature Map
Approach . . . . . . . . . . . . . . . . 37--48
Mostafa Herajy and
Monika Heiner Petri Net-Based Collaborative Simulation
and Steering of Biochemical Reaction
Networks . . . . . . . . . . . . . . . . 49--67
Andrzej Jankowski and
Andrzej Skowron and
Roman W. Swiniarski Perspectives on Uncertainty and Risk in
Rough Sets and Interactive
Rough-Granular Computing . . . . . . . . 69--84
Claude Jard and
Didier Lime and
Olivier H. Roux Blending Timed Formal Models with Clock
Transition Systems . . . . . . . . . . . 85--100
Michael Köhler-Bußmeier On the Complexity of the Reachability
Problem for Safe, Elementary Hornets . . 101--115
Manfred Kudlek and
Nils Erik Flick Properties of Languages with Catenation
and Shuffle . . . . . . . . . . . . . . 117--132
Vladimir Kurbalija and
Mirjana Ivanovi\'c and
Charlotte von Bernstorff and
Jens Nachtwei and
Hans-Dieter Burkhard Matching Observed with Empirical Reality
--- What you see is what you get? . . . 133--147
Lech Polkowski and
Maria Semeniuk-Polkowska Boundaries, Borders, Fences, Hedges . . 149--159
Marcin Szpyrka and
Piotr Matyasik and
Rafa\l Mrówka and
Leszek Kotulski Formal Description of Alvis Language
with $ \alpha^0 $ System Layer . . . . . 161--176
Piotr Wi\'sniewski and
Krzysztof Stencel Universal Query Language for Unified
State Model . . . . . . . . . . . . . . 177--192
Annalisa Appice and
Michelangelo Ceci and
Donato Malerba Multi-Relational Model Tree Induction
Tightly-Coupled with a Relational
Database . . . . . . . . . . . . . . . . 193--224
Krzysztof R. Apt and
Evangelos Markakis Social Networks with Competing Products 225--250
Nicola Di Mauro and
Teresa M. A. Basile and
Stefano Ferilli and
Floriana Esposito Grasp and Path-Relinking for Coalition
Structure Generation . . . . . . . . . . 251--277
Gábor Árpád Németh and
Zoltán Pap The Incremental Maintenance of
Transition Tour . . . . . . . . . . . . 279--300
Philippe Balbiani and
Tinko Tinchev Definability and Canonicity for Boolean
Logic with a Binary Relation . . . . . . 301--327
Shihabur Rahman Chowdhury and
Md. Mahbubul Hasan and
Sumaiya Iqbal and
M. Sohel Rahman Computing a Longest Common Palindromic
Subsequence . . . . . . . . . . . . . . 329--340
Marcin Szczuka and
\Lukasz Sosnowski and
Adam Krasuski and
Karol Kre\'nski Using Domain Knowledge in Initial Stages
of KDD: Optimization of Compound Object
Processing . . . . . . . . . . . . . . . 341--364
Miaomiao Tian and
Wei Yang and
Liusheng Huang Cryptanalysis and Improvement of a
Certificateless Multi-proxy Signature
Scheme . . . . . . . . . . . . . . . . . 365--375
Shiping Wang and
Qingxin Zhu and
William Zhu and
Fan Min Rough Set Characterization for
$2$-circuit Matroid . . . . . . . . . . 377--393
Lin You and
Yilin Yang and
Shuhong Gao and
Yongxuan Sang Fast Scalar Multiplications on the Curve
$ v^2 = u^p - a u - b $ over the Finite
Field of Characteristic $p$ . . . . . . 395--412
Anonymous Author Index Volume 129 . . . . . . . . 413--414
Berndt Müller and
Melvin Fitting Preface . . . . . . . . . . . . . . . . ??
Christel Baier and
Joachim Klein and
Sascha Klüppelholz Synthesis of Reo Connectors for
Strategies and Controllers . . . . . . . 1--20
Gianluigi Bellin and
Alessandro Menti On the $ \pi $-calculus and
Co-intuitionistic Logic. Notes on Logic
for Concurrency and $ \lambda P$ Systems 21--65
Iliano Cervesato and
Thierry Sans Substructural Meta-Theory of a Type-Safe
Language for Web Programming . . . . . . 67--97
Michael Köhler-Bußmeier A Survey of Decidability Results for
Elementary Object Systems . . . . . . . 99--123
Michael Mendler and
Stephan Scheele On the Computational Interpretation of
CK$_n$ for Contextual Information
Processing . . . . . . . . . . . . . . . 125--162
Chi Mai Luong and
Vincenzo Piuri and
Hung Son Nguyen Preface . . . . . . . . . . . . . . . . ??
Nguyen Dinh Han and
Ho Ngoc Vinh and
Dang Quyet Thang and
Phan Trung Huy Quadratic Algorithms for Testing of
Codes and $ \diamond $-Codes . . . . . . 163--177
Cuong Hoang and
Anh-Cuong Le and
Phuong-Thai Nguyen and
Son Bao Pham and
Tu Bao Ho An Efficient Framework for Extracting
Parallel Sentences from Non-Parallel
Corpora . . . . . . . . . . . . . . . . 179--199
Hien Phuong Lai and
Muriel Visani and
Alain Boucher and
Jean-Marc Ogier Unsupervised and Interactive
Semi-supervised Clustering for Large
Image Database Indexing and Retrieval 201--218
Ngoc Trung Nguyen and
Anh-Duc Duong A Better Heuristic Algorithm for Finding
the Closest Trio of $3$-colored Points
from a Given Set of $3$-colored Points
on a Plane . . . . . . . . . . . . . . . 219--229
San Pham and
Viviane Gascon and
Tien Dinh Heuristics to Solve a Real-world
Asymmetric Vehicle Routing Problem with
Side Constraints . . . . . . . . . . . . 231--246
Tran Thang Thanh and
Fan Chen and
Kazunori Kotani and
Bac Le Extraction of Discriminative Patterns
from Skeleton Sequences for Accurate
Action Recognition . . . . . . . . . . . 247--261
Grzegorz Madejski Infinite Hierarchy of Permutation
Languages . . . . . . . . . . . . . . . 263--274
Hassan Motallebi and
Mohammad Abdollahi Azgomi Translation from Multisingular Hybrid
Petri Nets to Multisingular Hybrid
Automata . . . . . . . . . . . . . . . . 275--315
Sankar K. Pal and
Suman Kundu and
C. A. Murthy Centrality Measures, Upper Bound, and
Influence Maximization in Large Scale
Directed Social Networks . . . . . . . . 317--342
Hiroshi Sakai and
Mao Wu and
Michinori Nakata Apriori-Based Rule Generation in
Incomplete Information Databases and
Non-Deterministic Information Systems 343--376
S. Akshay and
Benedikt Bollig and
Paul Gastin and
Madhavan Mukund and
K. Narayan Kumar Distributed Timed Automata with
Independently Evolving Clocks . . . . . 377--407
Khaled Elbassioni and
Matthias Hagen and
Imran Rauf A Lower Bound for the HBC Transversal
Hypergraph Generation . . . . . . . . . 409--414
Marcin Krzywkowski An Algorithm for Listing all Minimal
Double Dominating Sets of a Tree . . . . 415--421
Yongyuth Permpoontanalarp and
Panupong Sornkhom On-the-fly Trace Generation Approach to
the Security Analysis of Cryptographic
Protocols: Coloured Petri Nets-based
Method . . . . . . . . . . . . . . . . . 423--466
Xian-gyang Wang and
Pan-pan Niu and
Hong-ying Yang and
Yan Zhang and
Tian-xiao Ma A Robust Audio Watermarking Scheme using
Higher-order Statistics in Empirical
Mode Decomposition Domain . . . . . . . 467--490
Anonymous Author Index Volume 130 . . . . . . . . 491--492
Serge Haddad and
Jetty Kleijn and
Lucia Pomello Preface . . . . . . . . . . . . . . . . ??
Antti Valmari and
Henri Hansen Old and New Algorithms for Minimal
Coverability Sets . . . . . . . . . . . 1--25
Sami Evangelista and
Lars Michael Kristensen A Sweep-Line Method for Büchi
Automata-based Model Checking . . . . . 27--53
María Martos-Salgado and
Fernando Rosa-Velardo Safety and Soundness for Priced
Resource-Constrained Workflow Nets . . . 55--80
GuanJun Liu and
Jun Sun and
Yang Liu and
JinSong Dong Complexity of the Soundness Problem of
Workflow Nets . . . . . . . . . . . . . 81--101
W. M. P. van der Aalst and
H. M. W. Verbeek Process Discovery and Conformance
Checking Using Passages . . . . . . . . 103--138
Veronica Gil-Costa and
Mauricio Marin and
Alonso Inostrosa-Psijas and
Jair Lobos and
Carolina Bonacic Modelling Search Engines Performance
Using Coloured Petri Nets . . . . . . . 139--166
Chin-Chen Chang and
Ting-Fang Cheng A Reliable Real-time Multicast
Authentication Protocol with Provable
Accuracy . . . . . . . . . . . . . . . . 167--186
Lavinia Egidi and
Giovanni Manzini Spaced Seed Design Using Perfect Rulers 187--203
Jouni Järvinen and
Sándor Radeleczki Monteiro Spaces and Rough Sets
Determined by Quasiorder Relations:
Models for Nelson algebras . . . . . . . 205--215
Jerzy Marcinkowski and
Jakub Michaliszyn The Undecidability of the Logic of
Subintervals . . . . . . . . . . . . . . 217--240
\Lukasz Przytu\la NAO Soccer Robots Path Planning Based on
Rough Mereology . . . . . . . . . . . . 241--251
Artur Rataj Evolvability by Mimicking Common
Properties of a Nervous System and
Computer Software . . . . . . . . . . . 253--278
Cristian S. Calude and
Marian Gheorghe Preface . . . . . . . . . . . . . . . . ??
Andrei Alexandru and
Gabriel Ciobanu Nominal Groups and Their Homomorphism
Theorems . . . . . . . . . . . . . . . . 279--298
Sepinoud Azimi and
Bogdan Iancu and
Ion Petre Reaction System Models for the Heat
Shock Response . . . . . . . . . . . . . 299--312
Iulia Teodora Banu-Demergian and
Gheorghe Stefanescu Towards a Formal Representation of
Interactive Systems . . . . . . . . . . 313--336
Paolo Bottoni and
Anna Labella and
Victor Mitrana Accepting Networks of Evolutionary
Picture Processors . . . . . . . . . . . 337--349
Luca Cardelli and
Radu Mardare The Measurable Space of Stochastic
Processes . . . . . . . . . . . . . . . 351--371
Gabriel Ciobanu and
Eneia Nicolae Todoran Continuation Semantics for Asynchronous
Concurrency . . . . . . . . . . . . . . 373--388
C\uat\ualin Dima A Nonarchimedian Discretization for
Timed Languages . . . . . . . . . . . . 389--407
Liviu P. Dinu and
Radu Gramatovici and
Florin Manea Syllabic Languages and Go-through
Automata . . . . . . . . . . . . . . . . 409--424
Nicolae Duta Natural Language Understanding and
Prediction: from Formal Grammars to
Large Scale Machine Learning . . . . . . 425--440
Cristian Grozea and
Marius Popescu Can Machine Learning Learn a Decision
Oracle for NP Problems? A Test on SAT 441--450
Kamala Krithivasan and
Gheorghe P\uaun and
Ajeesh Ramanujan On Controlled $P$ Systems . . . . . . . 451--464
Radu Nicolescu and
Georgy Gimel'farb and
John Morris and
Patrice Delmas and
Rui Gong Regularising Ill-posed Discrete
Optimisation: Quests with $P$ Systems 465--483
Marius Zimand Counting Dependent and Independent
Strings . . . . . . . . . . . . . . . . 485--497
Anonymous Author Index Volume 131 . . . . . . . . 499--500
Vesa Halava and
Juhani Karhumäki and
Yuri Matiyasevich Preface . . . . . . . . . . . . . . . . ??
Andrei Rumyantsev and
Alexander Shen Probabilistic Constructions of
Computable Objects and a Computable
Version of Lovász Local Lemma . . . . . . 1--14
Lidia A. Idiatulina and
Arseny M. Shur Periodic Partial Words and Random
Bipartite Graphs . . . . . . . . . . . . 15--31
Karel B\vrinda and
Edita Pelantová and
Ond\vrej Turek Balances of $m$-bonacci Words . . . . . 33--61
Dmitry Chistikov and
Valentina Fedorova and
Andrey Voronenko Certificates of Non-Membership for
Classes of Read-Once Functions . . . . . 63--77
Mohamed Dahmoune and
El Houcein El Abdalaoui and
Djelloul Ziadi On the Transition Reduction Problem for
Finite Automata . . . . . . . . . . . . 79--94
Vladimir V. Gusev and
Marina I. Maslennikova and
Elena V. Pribavkina Principal Ideal Languages and
Synchronizing Automata . . . . . . . . . 95--108
Pascal Ochem More on Square-free Words Obtained from
Prefixes by Permutations . . . . . . . . 109--112
Dmitry Itsykson and
Dmitry Sokolov On Fast Heuristic Non-deterministic
Algorithms and Short Heuristic Proofs 113--129
Ville Salo and
Ilkka Törmä Playing with Subshifts . . . . . . . . . 131--152
Alfredo Cuzzocrea and
Zbigniew W. Ras Preface . . . . . . . . . . . . . . . . ??
Nadeem Iftikhar and
Torben Bach Pedersen Using a Time Granularity Table for
Gradual Granular Data Aggregation . . . 153--176
Ganesh Viswanathan and
Markus Schneider Querying Cardinal Directions between
Complex Objects in Data Warehouses . . . 177--202
Doulkifli Boukraa and
Omar Boussaid and
Fadila Bentayeb Complex Object-Based Multidimensional
Modeling and Cube Construction . . . . . 203--238
Alfredo Cuzzocrea and
Dimitrios Gunopulos A Decomposition Framework for Computing
and Querying Multidimensional OLAP Data
Cubes over Probabilistic Relational Data 239--266
Sandro Bimonte and
Myoung-Ah Kang and
Luca Paolino and
Monica Sebillo and
Mehdi Zaamoune and
Giuliana Vitiello OLAPing Field Data: a Theoretical and
Implementation Framework . . . . . . . . 267--290
Tianrui Li and
Hongmei Chen and
JingTao Yao and
Hung Son Nguyen Preface . . . . . . . . . . . . . . . . ??
Xiaofei Deng and
Yiyu Yao A Multifaceted Analysis of Probabilistic
Three-way Decisions . . . . . . . . . . 291--313
\Lukasz Pa\lkowski and
Jerzy Krysi\'nski and
Jerzy B\laszczy\'nski and
Roman S\lowi\'nski and
Andrzej Skrzypczak and
Jan B\laszczak and
Eugenia Gospodarek and
Joanna Wróblewska Application of Rough Set Theory to
Prediction of Antimicrobial Activity of
Bis-Quaternary Imidazolium Chlorides . . 315--330
Baoli Wang and
Jiye Liang and
Yuhua Qian Preorder Information Based Attributes'
Weights Learning in Multi-attribute
Decision Making . . . . . . . . . . . . 331--347
Guoyin Wang and
Lihe Guan and
Weizhi Wu and
Feng Hu Data-driven Valued Tolerance Relation
Based on the Extended Rough Set . . . . 349--363
Patrick G. Clark and
Jerzy W. Grzymala-Busse and
Zdzislaw S. Hippe An Analysis of Probabilistic
Approximations for Rule Induction from
Incomplete Data Sets . . . . . . . . . . 365--379
Shuang An and
Hong Shi and
Qinghua Hu and
Jianwu Dang Fuzzy Rough Decision Trees . . . . . . . 381--399
Anping Zeng and
Tianrui Li and
Junbo Zhang and
Hongmei Chen Incremental Maintenance of Rough Fuzzy
Set Approximations under the Variation
of Object Set . . . . . . . . . . . . . 401--422
Wojciech \'Swieboda and
Adam Krasuski and
Hung Son Nguyen and
Andrzej Janusz Interactive Method for Semantic Document
Indexing Based on Explicit Semantic
Analysis . . . . . . . . . . . . . . . . 423--438
Christian Choffrut Deciding Whether or Not a Synchronous
Relation is Regular Prefix . . . . . . . 439--459
Tomohiro Kan and
Shoichi Higuchi and
Kouichi Hirata Segmental Mapping and Distance for
Rooted Labeled Ordered Trees . . . . . . 461--483
Waldemar W. Koczkodaj and
Ryszard Szwarc On Axiomatization of Inconsistency
Indicators for Pairwise Comparisons . . 485--500
Jian-Guo Liu and
Zhi-Fang Zeng Extended Generalized Hyperbolic-function
Method and New Exact Solutions of the
Generalized Hamiltonian and NNV
Equations by the Symbolic Computation 501--517
Andrzej Mróz and
Grzegorz Zwara Combinatorial Algorithms for Computing
Degenerations of Modules of Finite
Dimension . . . . . . . . . . . . . . . 519--532
Gabriela Martín Torres On the Accuracy of Rough Approximations
of Regular Languages . . . . . . . . . . 533--545
Anonymous Author Index Volume 132 . . . . . . . . 547--548
Soma Dutta and
Mihir Kr. Chakraborty Graded Consequence with Fuzzy Set of
Premises . . . . . . . . . . . . . . . . 1--18
Smita Tapaswini and
S. Chakraverty Non-probabilistic Solutions of Uncertain
Fractional Order Diffusion Equations . . 19--34
Yingjie Xia and
Ting Zhang and
Shengbao Wang A Generic Methodological Framework for
Cyber-ITS: Using Cyber-infrastructure in
ITS Data Analysis Cases . . . . . . . . 35--53
Changlin Xu and
Guoyin Wang and
Qinghua Zhang A New Multi-Step Backward Cloud
Transformation Algorithm Based on Normal
Cloud Model . . . . . . . . . . . . . . 55--85
Ruisong Ye A Novel Image Encryption Scheme Based on
Generalized Multi-sawtooth Maps . . . . 87--104
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Marco Bellia and
M. Eugenia Occhiuto DNA Tiles, Wang Tiles and Combinators 105--121
Ludwik Czaja Floating Channels Between Communicating
Nets . . . . . . . . . . . . . . . . . . 123--132
Roman Dubtsov and
Elena Oshevskaya and
Irina Virbitskaite A Domain View of Timed Behaviors . . . . 133--147
Anna Gomoli\'nska and
Marcin Wolski Rough Inclusion Functions and Similarity
Indices . . . . . . . . . . . . . . . . 149--163
Damas P. Gruska Simulation Opacity . . . . . . . . . . . 165--179
Andrzej Jankowski and
Andrzej Skowron and
Roman W. Swiniarski Interactive Complex Granules . . . . . . 181--196
Anna A. Kalenkova and
Irina A. Lomazova Discovery of Cancellation Regions within
Process Mining Techniques . . . . . . . 197--209
Micha\l Knapik and
Wojciech Penczek Parameter Synthesis for Timed Kripke
Structures . . . . . . . . . . . . . . . 211--226
Stanis\law P\laczek and
Bijaya Adhikari Analysis of Multilayer Neural Networks
with Direct and Cross Forward Connection 227--240
Lech Polkowski and
Maria Semeniuk--Polkowska On the Problem of Boundaries from
Mereology and Rough Mereology Points of
View . . . . . . . . . . . . . . . . . . 241--255
Roman R. Redziejowski More About Converting BNF to PEG . . . . 257--270
Andrew Schumann and
Krzysztof Pancerz Towards an Object-Oriented Programming
Language for \em Physarum Polycephalum
Computing: A Petri Net Model Approach 271--285
Thanh-Luong Tran and
Quang-Thuy Ha and
Thi-Lan-Giao Hoang and
Linh Anh Nguyen and
Hung Son Nguyen Bisimulation-Based Concept Learning in
Description Logics . . . . . . . . . . . 287--303
Matthias Werner and
Louchka Popova-Zeugmann and
Mario Haustein and
E. Pelz A Holistic State Equation for Timed
Petri Nets . . . . . . . . . . . . . . . 305--322
Luca Bernardinello and
Carlo Ferigato and
Stefan Haar and
Lucia Pomello Closed Sets in Occurrence Nets with
Conflicts . . . . . . . . . . . . . . . 323--344
Bae-Muu Chang A Neuro-Fuzzy System Combined with
Particle Swarm Optimization for
Handwritten Character Recognition . . . 345--366
Konrad Ku\lakowski Heuristic Rating Estimation Approach to
the Pairwise Comparisons Method . . . . 367--386
Seongan Lim and
Hyang-Sook Lee and
Mijin Choi An Efficient Decoding of Goppa Codes for
the McEliece Cryptosystem . . . . . . . 387--397
Franti\vsek Mráz and
Friedrich Otto and
Martin Plátek Free Word-Order and Restarting Automata 399--419
S. Narayanamoorthy and
K. Murugan A Numerical Algorithm and a Variational
Iteration Technique for Solving Higher
Order Fuzzy Integro-differential
Equations . . . . . . . . . . . . . . . 421--431
Mehmet Ali Öztürk and
Mustafa Uçkun and
Ebubekir \.Inan Near Groups of Weak Cosets on Nearness
Approximation Spaces . . . . . . . . . . 433--448
Anonymous Author Index Volume 133 . . . . . . . . 449--450
Marian Gheorghe and
Gheorghe P\uaun and
Agustín Riscos-Núñez and
Grzegorz Rozenberg Enjoying to Work . . . . . . . . . . . . ??
Adri\`a Alcal\`a and
Merc\`e Llabrés and
Francesc Rosselló and
Pau Rullan Tree-Child Cluster Networks . . . . . . 1--15
Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov Length $P$ Systems . . . . . . . . . . . 17--37
Péter Battyányi and
György Vaszil Describing Membrane Computations with a
Chemical Calculus . . . . . . . . . . . 39--50
Lud\vek Cienciala and
Lucie Ciencialová and
Erzsébet Csuhaj-Varjú $P$ Colonies Processing Strings . . . . 51--65
Gabriel Ciobanu and
Drago\cs Sburlan Monitoring Changes in Dynamic Multiset
Systems . . . . . . . . . . . . . . . . 67--82
Daniel Díaz-Pernil and
Francisco Peña-Cantillana and
Artiom Alhazov and
Rudolf Freund and
Miguel A. Gutiérrez-Naranjo Antimatter as a Frontier of Tractability
in Membrane Computing . . . . . . . . . 83--96
Savas Konur and
Marian Gheorghe and
Ciprian Dragomir and
Florentin Ipate and
Natalio Krasnogor Conventional Verification for
Unconventional Computing: a Genetic XOR
Gate Example . . . . . . . . . . . . . . 97--110
Alberto Leporati and
Luca Manzoni and
Giancarlo Mauri and
Antonio E. Porreca and
Claudio Zandron Constant-Space $P$ Systems with Active
Membranes . . . . . . . . . . . . . . . 111--128
Niall Murphy and
Damien Woods Uniformity is Weaker than
Semi-Uniformity for Some Membrane
Systems . . . . . . . . . . . . . . . . 129--152
David Orellana-Martín and
Carmen Graciani and
Luis-Felipe Macías-Ramos and
Miguel Ángel Martínez-del-Amor and
Agustín Riscos-Núñez and
Álvaro Romero-Jiménez and
Luis Valencia-Cabrera Sevilla Carpets Revisited: Enriching the
Membrane Computing Toolbox . . . . . . . 153--166
Andrei P\uaun and
Petr Sosík Three Universal Homogeneous Spiking
Neural $P$ Systems Using Max Spike . . . 167--182
Zihan Xu and
Matteo Cavaliere and
Pei An and
Sarma Vrudhula and
Yu Cao The Stochastic Loss of Spikes in Spiking
Neural $P$ Systems: Design and
Implementation of Reliable Arithmetic
Circuits . . . . . . . . . . . . . . . . 183--200
Xingyi Zhang and
Xiangxiaing Zeng and
Linqiang Pan Weighted Spiking Neural $P$ Systems with
Rules on Synapses . . . . . . . . . . . 201--218
Pierpaolo Degano and
Juhani Karhumäki and
Paolo Massazza From Models to Languages . . . . . . . . ??
Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino Circular Causality in Event Structures 219--259
Stefano Bistarelli and
Francesco Santini A Secure Non-monotonic Soft Concurrent
Constraint Language . . . . . . . . . . 261--285
Roberto Bruni and
Ugo Montanari and
Gordon Plotkin and
Daniele Terreni On Hierarchical Graphs: Reconciling
Bigraphs, gs-monoidal Theories and
gs-graphs . . . . . . . . . . . . . . . 287--317
Giusi Castiglione and
Marinella Sciortino Epichristoffel Words and Minimization of
Moore Automata . . . . . . . . . . . . . 319--333
Carlo Comin Algebraic Characterization of the Class
of Languages Recognized by Measure Only
Quantum Automata . . . . . . . . . . . . 335--353
Letterio Galletta An Abstract Interpretation Framework for
Type and Effect Systems . . . . . . . . 355--393
Furio Honsell and
Marina Lenisa and
Daniel Pellarini Categories of Coalgebraic Games with
Selective Sum . . . . . . . . . . . . . 395--414
Anonymous Author Index Volume 134 . . . . . . . . 415--416
Paolo Dulio and
Andrea Frosini and
Grzegorz Rozenberg Preface . . . . . . . . . . . . . . . . ??
Linda Plantagie and
K. Joost Batenburg Approximating Algebraic Tomography
Methods by Filtered Backprojection: A
Local Filter Approach . . . . . . . . . 1--19
Folkert Bleichrodt and
Jan De Beenhouwer and
Jan Sijbers and
Kees Joost Batenburg Aligning Projection Images from Binary
Volumes . . . . . . . . . . . . . . . . 21--42
Stefano Brocchi A New Approach for the Reconstruction of
Object-Based Images in Discrete
Tomography . . . . . . . . . . . . . . . 43--57
Sre\vcko Brlek and
Nadia Lafreniére Reconstructing Words from a $ \sigma
$-palindromic Language . . . . . . . . . 59--72
Andreea Deni\ctiu and
Stefania Petra and
Claudius Schnörr and
Christoph Schnörr Phase Transitions and Cosparse
Tomographic Recovery of Compound Solid
Bodies from Few Projections . . . . . . 73--102
Norbert Hantos and
Péter Balázs Random Generation of $ h v$-Convex
Polyominoes with Given Horizontal
Projection . . . . . . . . . . . . . . . 103--115
Alexandre Goupy and
Silvia M. C. Pagani Probabilistic Reconstruction of $ h
v$-convex Polyominoes from Noisy
Projection Data . . . . . . . . . . . . 117--134
Rodolfo A. Fiorini How Random is Your Tomographic Noise? A
Number Theoretic Transform (NTT)
Approach . . . . . . . . . . . . . . . . 135--170
Roberto Fedele and
Antonia Ciani and
Fabrizio Fiori X-ray Microtomography under Loading and
$3$D-Volume Digital Image Correlation. A
Review . . . . . . . . . . . . . . . . . 171--197
Marco Compagnoni and
Roberto Notari TDOA--based Localization in Two
Dimensions: the Bifurcation Curve . . . 199--210
Mohsen Ghasemi An Algorithmic-type Classification of
Tetravalent One-regular Graphs Using
Computer Algebra Tools . . . . . . . . . 211--228
Armen Kostanyan and
Paruyr Khnkoyan Computations in Boolean Algebra with
Approximation . . . . . . . . . . . . . 229--241
Pan-pan Niu and
Xiang-yang Wang and
Hong-ying Yang and
Pei Wang and
Ai-long Wang A Robust Digital Watermarking Based on
Local Complex Angular Radial Transform 243--268
Haiyu Pan and
Min Zhang and
Hengyang Wu and
Yixiang Chen Quantitative Analysis of Lattice-valued
Kripke Structures . . . . . . . . . . . 269--293
Pavel Surynek and
Petra Surynková and
Milo\vs Chromý The Impact of a Bi-connected Graph
Decomposition on Solving Cooperative
Path-finding Problems . . . . . . . . . 295--308
Xiang-Yang Wang and
Yong-Wei Li and
Pan-Pan Niu and
Hong-Ying Yang and
Dong-Ming Li Content-based Image Retrieval using
Visual Attention Point Features . . . . 309--329
Ping Zhu and
Huiyang Xie and
Qiaoyan Wen A Unified Definition of Consistent
Functions . . . . . . . . . . . . . . . 331--340
Wojciech Penczek and
Ludwik Czaja Preface . . . . . . . . . . . . . . . . ??
Jack Betts and
Berndt Müller Engineering MAS --- A Device Integration
Framework for Smart Home Environments 341--353
Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini A Specification Format for Rooted
Branching Bisimulation . . . . . . . . . 355--369
Adam Grabowski Efficient Rough Set Theory Merging . . . 371--385
Frank Heitmann and
Michael Köhler-Bußmeier Structural and Dynamic Restrictions of
Elementary Object Systems . . . . . . . 387--401
Magdalena Kacprzak and
Anna Sawicka Identification of Formal Fallacies in a
Natural Dialogue . . . . . . . . . . . . 403--417
Joanna Karbowska-Chilinska and
Pawel Zabielski Genetic Algorithm with Path Relinking
for the Orienteering Problem with Time
Windows . . . . . . . . . . . . . . . . 419--431
Linh Anh Nguyen and
Joanna Goli\'nska-Pilarek An ExpTime Tableau Method for Dealing
with Nominals and Qualified Number
Restrictions in Deciding the Description
Logic SHOQ . . . . . . . . . . . . . . . 433--449
Artur Niewiadomski and
Jaroslaw Skaruz and
Wojciech Penczek and
Maciej Szreter and
Mariusz Jarocki SMT Versus Genetic and OpenOpt
Algorithms: Concrete Planning in the
PlanICS Framework . . . . . . . . . . . 451--466
Agata Pó\lrola and
Piotr Cybula and
Artur M\keski SMT-Based Reachability Checking for
Bounded Time Petri Nets . . . . . . . . 467--482
Piotr Przymus and
Krzysztof Kaczmarski and
Krzysztof Stencel A Bi-objective Optimization Framework
for Heterogeneous CPU/GPU Query Plans 483--501
Zbigniew Suraj and
Piotr Grochowalski About New Version of RSDS System . . . . 503--519
Annegret K. Wagler and
Jan-Thierry Wegener Preprocessing for Network
Reconstruction: Feasibility Test and
Handling Infeasibility . . . . . . . . . 521--535
Piotr Wi\'sniewski and
Krzysztof Stencel Query Rewriting Based on Meta-Granular
Aggregation . . . . . . . . . . . . . . 537--551
Bo\.zena Wo\'zna-Szcze\'sniak and
Andrzej Zbrzezny Checking MTL Properties of Discrete
Timed Automata via Bounded Model
Checking . . . . . . . . . . . . . . . . 553--568
Anonymous Author Index Volume 135 . . . . . . . . 569--570
Suna Bensch and
Frank Drewes and
Mika Hirvensalo and
Friedrich Otto Preface . . . . . . . . . . . . . . . . ??
Jürgen Dassow and
Florin Manea and
Bianca Truthe On the Power of Accepting Networks of
Evolutionary Processors with Special
Topologies and Random Context Filters 1--35
Manfred Droste and
Doreen Heusel The Supports of Weighted Unranked Tree
Automata . . . . . . . . . . . . . . . . 37--58
Rudolf Freund and
Marion Oswald and
Gheorghe P\uaun Catalytic and Purely Catalytic $P$
Systems and $P$ Automata: Control
Mechanisms for Obtaining Computational
Completeness . . . . . . . . . . . . . . 59--84
Petr Hoffmann Power of S-kR-RRWW-automata . . . . . . 85--112
Markus Holzer and
Sebastian Jakobi Minimization and Characterizations for
Biautomata . . . . . . . . . . . . . . . 113--137
Martin Kutrib and
Julien Provillard and
György Vaszil and
Matthias Wendlandt Deterministic One-Way Turing Machines
with Sublinear Space . . . . . . . . . . 139--155
Giovanni Pighizzini and
Andrea Pisoni Limited Automata and Context-Free
Languages . . . . . . . . . . . . . . . 157--176
Marcel Vollweiler Asynchronous Systems of Parallel
Communicating Finite Automata . . . . . 177--197
Linqiang Pan and
Gheorghe P\uaun and
Mario J. Pérez-Jiménez Preface . . . . . . . . . . . . . . . . ??
Juanjuan He and
Kai Zhang A Hybrid Distribution Algorithm Based on
Membrane Computing for Solving the
Multiobjective Multiple Traveling
Salesman Problem . . . . . . . . . . . . 199--208
Richelle Ann B. Juayong and
Henry N. Adorna Relating Computations in Non-cooperative
Transition $P$ Systems and
Evolution-Communication $P$ Systems with
Energy . . . . . . . . . . . . . . . . . 209--217
Yuan Kong and
Xiaolong Shi and
Jinbang Xu and
Xinquan Huang Reversible Spiking Neural $P$ Systems
with Astrocytes . . . . . . . . . . . . 219--230
Yuan Kong and
Zheng Zhang and
Yang Liu On String Languages Generated by Spiking
Neural $P$ Systems with Astrocytes . . . 231--240
Yanzhang Li and
Changjun Zhou and
Xuedong Zheng Artificial Bee Colony Algorithm for the
Protein Structure Prediction Based on
the Toy Model . . . . . . . . . . . . . 241--252
Luis F. Macías-Ramos and
Mario J. Pérez-Jiménez and
Tao Song and
Linqiang Pan Extending Simulation of Asynchronous
Spiking Neural $P$ Systems in P-Lingua 253--267
Miguel A. Martínez-del-Amor and
Manuel García-Quismondo and
Luis F. Macías-Ramos and
Luis Valencia-Cabrera and
Agustin Riscos-Núñez and
Mario J. Pérez-Jiménez Simulating $P$ Systems on GPU Devices: A
Survey . . . . . . . . . . . . . . . . . 269--284
Yunyun Niu and
Ibrahim Venkat and
Ahamad Tajudin Khader and
K. G. Subramanian Uniform Solution to Common Algorithmic
Problem by $P$ Systems Working in the
Minimally Parallel Mode . . . . . . . . 285--296
Nadia Creignou and
Heribert Vollmer Parameterized Complexity of Weighted
Satisfiability Problems: Decision,
Enumeration, Counting . . . . . . . . . 297--316
Aldo V. Figallo and
Gustavo Pelaitay Discrete Duality for Tense
\Lukasiewicz--Moisil Algebras . . . . . 317--329
Maciej Grze\'skowiak An Algorithmic Construction of Finite
Elliptic Curves of Order Divisible by a
Large Prime . . . . . . . . . . . . . . 331--343
Mariusz Kaniecki and
Justyna Kosakowska and
Piotr Malicki and
Grzegorz Marczak A Horizontal Mesh Algorithm for a Class
of Edge-bipartite Graphs and their
Matrix Morsifications . . . . . . . . . 345--379
Micha\l Korpusik and
Witold \Lukaszewicz and
Ewa Madali\'nska-Bugaj Consistency-based Revision of Structured
Belief Bases . . . . . . . . . . . . . . 381--404
Pradipta Maji and
Partha Garai Simultaneous Feature Selection and
Extraction Using Feature Significance 405--431
Stefano Mazzanti Bases for AC$^0$ and Other Complexity
Classes . . . . . . . . . . . . . . . . 433--460
Andreas Wichert and
Catarina Moreira On Projection Based Operators in $ l^p $
Space for Exact Similarity Search . . . 461--474
Anonymous Author Index Volume 136 . . . . . . . . 475--476
José Manuel Colom and
Jörg Desel and
Jetty Kleijn Preface . . . . . . . . . . . . . . . . ??
Estíbaliz Fraca and
Serge Haddad Complexity Analysis of Continuous Petri
Nets . . . . . . . . . . . . . . . . . . 1--28
Gilles Geeraerts and
Alexander Heußner and
M. Praveen and
Jean-François Raskin $ \omega $-Petri Nets: Algorithms and
Complexity . . . . . . . . . . . . . . . 29--60
Ernst W. Mayr and
Jeremias Weihmann Complexity Results for Problems of
Communication-Free Petri Nets and
Related Formalisms . . . . . . . . . . . 61--86
Alexis Marechal and
Didier Buchs Generalizing the Compositions of Petri
Nets Modules . . . . . . . . . . . . . . 87--116
Robin Bergenthum and
Robert Lorenz Verification of Scenarios in Petri Nets
Using Compact Tokenflows . . . . . . . . 117--142
Johnson Fernandes and
Maciej Koutny and
\Lukasz Mikulski and
Marta Pietkiewicz-Koutny and
Danil Sokolov and
Alex Yakovlev Persistent and Nonviolent Steps and the
Design of GALS Systems . . . . . . . . . 143--170
Dominik \'Sl\kezak and
Benjamin C. M. Fung and
William K. Cheung Preface . . . . . . . . . . . . . . . . ??
Jan Rauch Formal Framework for Data Mining with
Association Rules and Domain Knowledge
--- Overview of an Approach . . . . . . 171--217
Nicolas Anciaux and
Danae Boutara and
Benjamin Nguyen and
Michalis Vazirgiannis Limiting Data Exposure in Multi-Label
Classification Processes . . . . . . . . 219--236
Haruko Iwata and
Shoji Hirano and
Shusaku Tsumoto Maintenance and Discovery of Domain
Knowledge for Nursing Care using Data in
Hospital Information System . . . . . . 237--252
Wuhui Chen and
Incheon Paik and
Patrick C. K. Hung Privacy Issues in SOAP Message Exchange
Pattern for Social Services . . . . . . 253--271
Micha\l Meina and
Hung Son Nguyen Search Result Clustering Based on Query
Context . . . . . . . . . . . . . . . . 273--290
Junpei Kawamoto A Locality Sensitive Hashing Filter for
Encrypted Vector Databases . . . . . . . 291--304
Emanuele G. Fusco and
Andrzej Pelc Communication Complexity of Consensus in
Anonymous Message Passing Systems . . . 305--322
Piotr Ho\'nko Description Languages for Relational
Information Granules . . . . . . . . . . 323--340
Jouni Järvinen and
Sándor Radeleczki Tolerances Induced by Irredundant
Coverings . . . . . . . . . . . . . . . 341--353
Waldemar W. Koczkodaj and
Marek Kosiek and
Jacek Szybowski and
Ding Xu Fast Convergence of Distance-based
Inconsistency in Pairwise Comparisons 355--367
Sachin Kumar and
Rajendra Kumar Sharma Random-Grid Based Region Incrementing
Visual Secret Sharing . . . . . . . . . 369--386
Emad A. Marei and
Mohamed E. Abd El-Monsef and
Hassan M. Abu-Donia Modification of Near Sets Theory . . . . 387--402
Guanghong Sun and
Chuankun Wu Higher Order Nonlinearity of Niho
Functions . . . . . . . . . . . . . . . 403--412
Dwaraganathan Umadevi On the Completion of Rough Sets System
Determined by Arbitrary Binary Relations 413--424
Jean-Marc Champarnaud and
Jean-Philippe Dubernard and
Hadrien Jeanne and
Ludovic Mignot Two-Sided Derivatives for Regular
Expressions and for Hairpin Expressions 425--455
Zengtai Gong and
Xiaoxia Zhang On Characterization of Fuzzy Soft Rough
Sets Based on a Pair of Border
Implicators . . . . . . . . . . . . . . 457--491
Georg Peters Assessing Rough Classifiers . . . . . . 493--515
Pavel Surynek On the Complexity of Optimal Parallel
Cooperative Path-Finding . . . . . . . . 517--548
Anonymous Author Index Volume 137 . . . . . . . . 549--550
Svetlana Cojocaru and
Maurice Margenstern and
Gheorghe P\uaun and
Sergey Verlan Preface . . . . . . . . . . . . . . . . ??
Genaro J. Martínez and
Andrew Adamatzky and
Ramon Alonso-Sanz On the Dynamics of Cellular Automata
with Memory . . . . . . . . . . . . . . 1--16
Kenichi Morita Universal Reversible Turing Machines
with a Small Number of Tape Symbols . . 17--29
Fumiya Okubo and
Takashi Yokomori Finite Automata with Multiset Memory: A
New Characterization of Chomsky
Hierarchy . . . . . . . . . . . . . . . 31--44
Mario J. Pérez-Jiménez and
Petr Sosík An Optimal Frontier of the Efficiency of
Tissue $P$ Systems with Cell Separation 45--60
Oscar H. Ibarra and
Shinnosuke Seki Semilinear Sets and Counter Machines: a
Brief Survey . . . . . . . . . . . . . . 61--76
Cristian S. Calude and
Damien Desfontaines Universality and Almost Decidability . . 77--84
Pedro Pablo Alarcón and
Fernando Arroyo and
Henning Bordihn and
Victor Mitrana and
Mike Müller Ambiguity of the Multiple
Interpretations on Regular Languages . . 85--95
Alberto Leporati and
Luca Manzoni and
Giancarlo Mauri and
Antonio E. Porreca and
Claudio Zandron Membrane Division, Oracles, and the
Counting Hierarchy . . . . . . . . . . . 97--111
Maurice Margenstern An Algorithmic Approach to Tilings of
Hyperbolic Spaces: Universality Results 113--125
Sergiu Ivanov and
Sergey Verlan Random Context and Semi-conditional
Insertion-deletion Systems . . . . . . . 127--144
Vladimir Rogojin and
Ion Petre The Structure of Elementary Strategies
for Gene Assembly in Ciliates . . . . . 145--158
Christian Choffrut and
Serge Grigorieff Logical Theory of the Monoid of
Languages over a Non Tally Alphabet . . 159--177
Srujan Kumar Enaganti and
Lila Kari and
Steffen Kopecki A Formal Language Model of DNA
Polymerase Enzymatic Activity . . . . . 179--192
Erzsébet Csuhaj-Varjú and
Marian Gheorghe and
Mike Stannett and
György Vaszil Spatially Localised Membrane Systems . . 193--205
Alexei Y. Muravitsky Domains as Models for Semantic
Information . . . . . . . . . . . . . . 207--225
Artiom Alhazov and
Rudolf Freund Variants of Small Universal $P$ Systems
with Catalysts . . . . . . . . . . . . . 227--250
Damien Woods and
Turlough Neary Yurii Rogozhin's Contributions to the
Field of Small Universal Turing Machines 251--258
K. Sutner Iterating Transducers . . . . . . . . . 259--272
Anonymous Yurii Rogozhin's Biography and
Publications . . . . . . . . . . . . . . 273--284
Giuliano Armano Modelling Progressive Filtering . . . . 285--320
Sahadev Bera and
Arindam Biswas and
Bhargab B. Bhattacharya A Fast and Automated Granulometric Image
Analysis Based on Digital Geometry . . . 321--338
Robert D\kabrowski and
Wojciech Plandowski Complete Characterization of
Zero-expressible Functions . . . . . . . 339--350
Guangming Lang and
Qingguo Li and
Lankun Guo Homomorphisms Between Covering
Approximation Spaces . . . . . . . . . . 351--371
Thi-Thiet Pham Efficiently Mining Sequential Generator
Patterns Using Prefix Trees . . . . . . 373--386
Mohammad Amir Abbasian and
Hossein Nezamabadi-pour and
Maryam Amoozegar A Clustering Based Archive Multi
Objective Gravitational Search Algorithm 387--409
J. A. Bergstra and
C. A. Middelburg On Algorithmic Equivalence of
Instruction Sequences for Computing Bit
String Functions . . . . . . . . . . . . 411--434
Li Chunlin and
Li LaYuan Hybrid Cloud Scheduling Method for Cloud
Bursting . . . . . . . . . . . . . . . . 435--455
Lukasz Laskowski and
Jerzy Jelonkiewicz Self-Correcting Neural Network for
Stereo-matching Problem Solving . . . . 457--482
Sotiris Moschoyiannis and
Paul J. Krause True Concurrency in Long-running
Transactions for Digital Ecosystems . . 483--514
Anonymous Author Index Volume 138 . . . . . . . . 515--516
Gregory Clark and
Jason Teutsch Maximizing $T$-complexity . . . . . . . 1--19
Ryszard Janicki and
Jetty Kleijn and
Maciej Koutny and
\Lukasz Mikulski Characterising Concurrent Histories . . 21--42
Paulraj Ranjith Kumar and
P. Babu and
Sankaran Palani Particle Swarm Optimization based
Sequential and Parallel Tasks Scheduling
Model for Heterogeneous Multiprocessor
Systems . . . . . . . . . . . . . . . . 43--65
Wentao Li and
Weihua Xu Multigranulation Decision-theoretic
Rough Set in Ordered Information System 67--89
Meriem Zekri and
Karima Alem and
Labiba Souici-Meslati Immunological Computation for Protein
Function Prediction . . . . . . . . . . 91--114
Ali Alatabbi and
Jacqueline W. Daykin and
M. Sohel Rahman and
William F. Smyth Simple Linear Comparison of Strings in
$V$-order . . . . . . . . . . . . . . . 115--126
Santosh S. Desai and
Shrikant R. Chaudhari On $Q$-rationality of Fuzzy Choice
Functions on Base Domains . . . . . . . 127--151
Stanis\law Kasjan and
Daniel Simson Mesh Algorithms for Coxeter Spectral
Classification of Cox-regular
Edge-bipartite Graphs with Loops, I.
Mesh Root Systems . . . . . . . . . . . 153--184
Stanis\law Kasjan and
Daniel Simson Mesh Algorithms for Coxeter Spectral
Classification of Cox-regular
Edge-bipartite Graphs with Loops, II.
Application to Coxeter Spectral Analysis 185--209
Luis F. Macías-Ramos and
Luis Valencia-Cabrera and
Bosheng Song and
Tao Song and
Linqiang Pan and
Mario J. Pérez-Jiménez A P$_{\rm Lingua}$ Based Simulator for
$P$ Systems with Symport/Antiport Rules 211--227
Szymon Chojnacki and
Mieczys\law K\lopotek Latency of Neighborhood Based
Recommender Systems . . . . . . . . . . 229--248
Stanis\law Kasjan and
Daniel Simson Algorithms for Isotropy Groups of
Cox-regular Edge-bipartite Graphs . . . 249--275
Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino On Promptness in Parity Games . . . . . 277--305
Ali Shakiba and
Mohammad R. Hooshmandasl $S$-approximation Spaces: A Three-way
Decision Approach . . . . . . . . . . . 307--328
Eugene Eberbach On Hypercomputation, Universal and
Diagonalization Complete Problems . . . 329--346
Marcin G\kasiorek and
Katarzyna Zaj\kac On Algorithmic Study of Non-negative
Posets of Corank at Most Two and their
Coxeter--Dynkin Types . . . . . . . . . 347--367
Lo\"\ig Jezequel and
Eric Fabre Factored Cost-Optimal Planning Using
Message Passing Algorithms* . . . . . . 369--401
Konrad Ku\lakowski On the Properties of the Priority
Deriving Procedure in the Pairwise
Comparisons Method . . . . . . . . . . . 403--419
Kai Zhu and
Guilong Liu and
Yanbin Feng Boolean Matrices and their Applications
to Covering Reductions . . . . . . . . . 421--433
Anonymous Author Index Volume 139 . . . . . . . . 435--436
Anonymous Preface . . . . . . . . . . . . . . . . ??
Paolo Baldan and
Alberto Carraro A Causal View on Non-Interference* . . . 1--38
Eike Best and
Raymond Devillers Synthesis of Live and Bounded Persistent
Systems . . . . . . . . . . . . . . . . 39--59
Florent Avellaneda and
Rémi Morin Catching a Structural Bug with a Flower 61--87
José Antonio Mateo and
Ji\vrí Srba and
Mathias Grund Sòrensen Soundness of Timed-Arc Workflow Nets in
Discrete and Continuous-Time Semantics 89--121
Wojciech Czerwi\'nski and
Tomasz Gogacz and
Eryk Kopczy\'nski Non-dominating Sequences of Vectors
Using only Resets and Increments . . . . 123--127
Iwona Ryszka and
Anna Paszy\'nska and
Ewa Grabska and
Marcin Sieniek and
Maciej Paszy\'nski Graph Transformation Systems for
Modeling Three Dimensional Finite
Element Method. Part I . . . . . . . . . 129--172
Iwona Ryszka and
Anna Paszy\'nska and
Ewa Grabska and
Marcin Sieniek and
Maciej Paszy\'nski Graph Transformation Systems for
Modeling Three Dimensional Finite
Element Method. Part II . . . . . . . . 173--203
Javad Akbari Torkestani Stochastic Bounded Diameter Minimum
Spanning Tree Problem . . . . . . . . . 205--219
Anonymous Preface . . . . . . . . . . . . . . . . ??
Davide Ancona and
Agostino Dovier A Theoretical Perspective of Coinductive
Logic Programming . . . . . . . . . . . 221--246
Alessandro Avellone and
Camillo Fiorentini and
Alberto Momigliano A Semantical Analysis of Focusing and
Contraction in Intuitionistic Logic . . 247--262
Stefano Bistarelli and
Fabio Rossi and
Francesco Santini A Comparative Test on the Enumeration of
Extensions in Abstract Argumentation* 263--278
Stefania Costantini and
Andrea Formisano Negation as a Resource: a Novel View on
Answer Set Semantics* . . . . . . . . . 279--305
Giovanna D'Agostino and
Eugenio G. Omodeo and
Alberto Policriti and
Alexandru I. Tomescu Mapping Sets and Hypersets into Numbers 307--328
Emanuele De Angelis and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti A Rule-based Verification Strategy for
Array Manipulating Programs . . . . . . 329--355
Paolo Gentilini and
Maurizio Martelli and
Giuseppe Rosolini Explicit Constructive Logic ECL: a New
Representation of Construction and
Selection of Logical Information by an
Epistemic Agent . . . . . . . . . . . . 357--372
Francesca A. Lisi and
Umberto Straccia Learning in Description Logics with
Fuzzy Concrete Domains . . . . . . . . . 373--391
Gianfranco Rossi and
Federico Bergenti Nondeterministic Programming in Java
with JSetL . . . . . . . . . . . . . . . 393--412
Anonymous Author Index Volume 140 . . . . . . . . 413--414
Gianpiero Cattaneo and
Giampiero Chiaselotti and
Tommaso Gentile and
Paolo A. Oliverio The Lattice Structure of Equally
Extended Signed Partitions . . . . . . . 1--36
Arun Kumar and
Mohua Banerjee Algebras of Definable and Rough Sets in
Quasi Order-based Approximation Spaces 37--55
Dorota Kuziak and
Ismael G. Yero and
Juan A. Rodríguez-Velázquez On the Strong Metric Dimension of
Cartesian Sum Graphs . . . . . . . . . . 57--69
Xindong Peng and
Yong Yang Interval-valued Hesitant Fuzzy Soft Sets
and their Application in Decision Making 71--93
Zuhua Shao and
Yipeng Gao Certificate-based Fair Exchange Protocol
of Schnorr Signatures in Chosen-key
Model . . . . . . . . . . . . . . . . . 95--114
Anonymous Preface . . . . . . . . . . . . . . . . ??
Rodolfo A. Fiorini Computerized Tomography Noise Reduction
by CICT Optimized Exponential Cyclic
Sequences (OECS) Co-domain . . . . . . . 115--134
Norbert Hantos and
Péter Balázs Eliminating Switching Components in
Binary Matrices by $0$--$1$ Flips and
Column Permutations . . . . . . . . . . 135--150
Péter Balázs and
Zoltán Ozsvár and
Tamás S. Tasi and
László G. Nyúl A Measure of Directional Convexity
Inspired by Binary Tomography . . . . . 151--167
Csaba Vincze and
Ábris Nagy An Algorithm for the Reconstruction of $
h v$-convex Planar Bodies by Finitely
Many and Noisy Measurements of their
Coordinate X-rays . . . . . . . . . . . 169--189
Andrea Frosini and
Daniela Battaglino and
Simone Rinaldi and
Samanta Socci The Identity Transform of a Permutation
and its Applications . . . . . . . . . . 191--205
Antal Nagy Experimental Study on Multivalued
Phantoms Using Different Filters in the
DART Algorithm . . . . . . . . . . . . . 207--231
Francesco Brun and
Serena Pacil\`e and
Agostino Accardo and
George Kourousias and
Diego Dreossi and
Lucia Mancini and
Giuliana Tromba and
Roberto Pugliese Enhanced and Flexible Software Tools for
X-ray Computed Tomography at the Italian
Synchrotron Radiation Facility Elettra 233--243
Roman Shkarin and
Evelina Ametova and
Suren Chilingaryan and
Timo Dritschler and
Andreas Kopmann and
Alessandro Mirone and
Andrei Shkarin and
Matthias Vogelgesang and
Sergey Tsapko GPU-optimized Direct Fourier Method for
On-line Tomography . . . . . . . . . . . 245--258
Andrei Shkarin and
Evelina Ametova and
Suren Chilingaryan and
Timo Dritschler and
Andreas Kopmann and
Matthias Vogelgesang and
Roman Shkarin and
Sergey Tsapko An Open Source GPU Accelerated Framework
for Flexible Algebraic Reconstruction at
Synchrotron Light Sources . . . . . . . 259--274
Tanmay Basu and
C. A. Murthy A Similarity Based Supervised Decision
Rule for Qualitative Improvement of Text
Categorization . . . . . . . . . . . . . 275--295
Luca Bortolussi and
Liviu P. Dinu and
Laura Franzoi and
Andrea Sgarro Coding Theory: A General Framework and
Two Inverse Problems . . . . . . . . . . 297--310
Anne Dicky and
David Janin Two-way Automata and Regular Languages
of Overlapping Tiles . . . . . . . . . . 311--343
Konrad Durnoga and
Bartosz \'Zra\lek On Computing Discrete Logarithms in Bulk
and Randomness Extractors . . . . . . . 345--366
Jacek Sroka and
Piotr Chrz\kastowski-Wachtel and
Jan Hidders On Generating Hierarchical Workflow Nets
and their Extensions and Verifying
Hierarchicality . . . . . . . . . . . . 367--398
Anonymous Author Index Volume 141 . . . . . . . . 399--400
Anonymous Preface . . . . . . . . . . . . . . . . ??
Davide Ciucci and
Didier Dubois and
Henri Prade Structures of Opposition in Fuzzy Rough
Sets . . . . . . . . . . . . . . . . . . 1--19
Masahiro Inuiguchi Approximation-oriented Fuzzy Rough Set
Approaches . . . . . . . . . . . . . . . 21--51
Sarah Vluymans and
Lynn D'eer and
Yvan Saeys and
Chris Cornelis Applications of Fuzzy Rough Set Theory
in Machine Learning: a Survey . . . . . 53--86
Wei-Zhi Wu and
Tong-Jun Li and
Shen-Ming Gu Using One Axiom to Characterize Fuzzy
Rough Approximation Operators Determined
by a Fuzzy Implication Operator . . . . 87--104
Guilong Liu On Quasi-discrete Fuzzy Closure Spaces 105--115
Guangming Lang and
Tian Yang Decision-theoretic Rough Sets-based
Three-way Approximations of
Interval-valued Fuzzy Sets . . . . . . . 117--143
Jian-Min Ma and
Yiyu Yao Rough Set Approximations in
Multi-granulation Fuzzy Approximation
Spaces . . . . . . . . . . . . . . . . . 145--160
Zhou-Ming Ma and
Ju-Sheng Mi A Comparative Study of MGRSs and their
Uncertainty Measures . . . . . . . . . . 161--181
Keyun Qin and
Junfang Luo and
Zheng Pei Rough Approximations Based on Valued
Tolerance Relations . . . . . . . . . . 183--194
Xiaohong Zhang and
Yanning Zhang and
Zhanao Xue and
Yingcang Ma $T$-Rough Approximation Pairs and
Covering Based Rough Sets . . . . . . . 195--212
Soma Dutta and
Andrzej Skowron Generalized Quantifiers in the Context
of Rough Set Semantics . . . . . . . . . 213--236
Pradipta Maji and
Shaswati Roy SoBT-RFW: Rough-Fuzzy Computing and
Wavelet Analysis Based Automatic Brain
Tumor Detection Method from MR Images* 237--267
Lech Polkowski and
Maria Semeniuk-Polkowska Where Rough Sets and Fuzzy Sets Meet . . 269--284
Mingjie Cai and
Qingguo Li Compression of Dynamic Fuzzy Relation
Information Systems . . . . . . . . . . 285--306
Mei-Zheng Li and
Guo-Yin Wang Knowledge Reduction in Crisply Generated
Fuzzy Concept Lattices . . . . . . . . . 307--335
Liu-Ying Wen and
Fan Min A Granular Computing Approach to
Symbolic Value Partitioning . . . . . . 337--371
Jianhang Yu and
Weihua Xu Incremental Computing Approximations
with the Dynamic Object set in
Interval-valued Ordered Information
System . . . . . . . . . . . . . . . . . 373--397
Anonymous Author Index Volume 142 . . . . . . . . 399--400
Ludwik Czaja and
Wojciech Penczek and
Krzysztof Stencel Preface . . . . . . . . . . . . . . . . ??
Jan G. Bazan and
Stanislawa Bazan-Socha and
Sylwia Buregwa-Czuma and
Lukasz Dydo and
Wojciech Rz\kasa and
Andrzej Skowron A Classifier Based on a Decision Tree
with Verifying Cuts . . . . . . . . . . 1--18
Jan G. Bazan and
Marcin Szpyrka and
Adam Szczur and
Lukasz Dydo and
Hubert Wojtowicz Classifiers for Behavioral Patterns
Identification Induced from Huge
Temporal Data . . . . . . . . . . . . . 19--34
Marco Bellia and
M. Eugenia Occhiuto Programming Self-Assembly of DNA Tiles 35--49
Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini A Function Elimination Method for
Checking Satisfiability of Arithmetical
Logics . . . . . . . . . . . . . . . . . 51--71
Damas P. Gruska Differential Privacy and Security . . . 73--87
Michael Köhler-Bußmeier and
Frank Heitmann An Upper Bound for the Reachability
Problem of Safe, Elementary Hornets . . 89--100
Irina A. Lomazova and
Louchka Popova-Zeugmann Controlling Petri Net Behavior using
Priorities for Transitions . . . . . . . 101--112
Linh Anh Nguyen A Tractable Rule Language in the Modal
and Description Logic that Combines CPDL
with Regular Grammar Logic . . . . . . . 113--139
Roman R. Redziejowski Cut Points in PEG . . . . . . . . . . . 141--149
Zbigniew Suraj and
Agnieszka Lasek and
Piotr Lasek Inverted Fuzzy Implications in
Approximate Reasoning . . . . . . . . . 151--171
Bo\.zena Wo\'zna-Szcze\'sniak SAT-based Bounded Model Checking for
Weighted Deontic Interpreted Systems . . 173--205
Parosh Aziz Abdulla and
Stéphane Demri and
Alain Finkel and
Jérôme Leroux and
Igor Potapov Preface . . . . . . . . . . . . . . . . ??
S. Akshay and
Lo\"\ic Hélouët and
Claude Jard and
Pierre-Alain Reynier Robustness of Time Petri Nets under
Guard Enlargement . . . . . . . . . . . 207--234
Beatrice Bérard and
Serge Haddad and
Aleksandra Jovanovi\'c and
Didier Lime Interrupt Timed Automata with Auxiliary
Clocks and Parameters* . . . . . . . . . 235--259
Stefano Brocchi and
Paolo Massazza A New Sandpile Model with Smoothness
Assumptions . . . . . . . . . . . . . . 261--286
Giorgio Delzanno and
Arnaud Sangnier and
Riccardo Traverso Adding Data Registers to Parameterized
Networks with Broadcast . . . . . . . . 287--316
Christoph Haase and
Joël Ouaknine and
James Worrell Relating Reachability Problems in Timed
and Counter Automata . . . . . . . . . . 317--338
Richard Mayr and
Patrick Totzke Branching-Time Model Checking Gap-Order
Constraint Systems . . . . . . . . . . . 339--353
Ernst W. Mayr and
Jeremias Weihmann Completeness Results for Generalized
Communication-free Petri Nets with
Arbitrary Arc Multiplicities . . . . . . 355--391
Artturi Piipponen and
Antti Valmari Constructing Minimal Coverability Sets 393--414
Julien Reichert On the Complexity of Counter
Reachability Games* . . . . . . . . . . 415--436
Anonymous Author Index Volume 143 . . . . . . . . 437--438
Andrei Alexandru and
Gabriel Ciobanu Abstract Interpretations in the
Framework of Invariant Sets . . . . . . 1--22
Ireneusz Mrozek and
Vyacheslav Yarmolik Multiple Controlled Random Testing* . . 23--43
Anna Maria Radzikowska Duality via Truth for Information
Algebras Based on De Morgan Lattices* 45--75
Bosheng Song and
Linqiang Pan and
Mario J. Pérez-Jiménez Tissue $P$ Systems with Protein on Cells 77--107
Paolo Bottoni and
Esther Guerra and
Juan de Lara Pattern-based Rewriting through
Abstraction . . . . . . . . . . . . . . 109--160
Hae-Sung Eom and
Yo-Sub Han and
Galina Jirásková State Complexity of Basic Operations on
Non-Returning Regular Languages . . . . 161--182
Anna Maria Radzikowska Representation Theorems for
Lattice-ordered Modal Algebras and their
Axiomatic Extensions* . . . . . . . . . 183--203
Tingfang Wu and
Zhiqiang Zhang and
Gheorghe P\uaun and
Linqiang Pan On the Universality of Colored
One-Catalyst $P$ Systems . . . . . . . . 205--212
Ryszard Janicki and
Konrad Ku\lakowski Preface . . . . . . . . . . . . . . . . ??
Thomas L. Saaty Continuous Pairwise Comparisons . . . . 213--221
Barbara Sandrasagra and
Michael Soltys Complex Ranking Procedures . . . . . . . 223--240
Andrew Schumann and
Jan Wole\'nski Two Squares of Oppositions and Their
Applications in Pairwise Comparisons
Analysis . . . . . . . . . . . . . . . . 241--254
Joaquín Pérez and
Ethel Mokotoff Eigenvector Priority Function Causes
Strong Rank Reversal in Group Decision
Making . . . . . . . . . . . . . . . . . 255--261
Eng U. Choo and
William C. Wedley and
Diederik J. D. Wijnmalen Mathematical Support for the Geometric
Mean when Deriving a Consistent Matrix
from a Pairwise Ratio Matrix . . . . . . 263--278
Kristóf Ábele-Nagy and
Sándor Bozóki Efficiency Analysis of Simple Perturbed
Pairwise Comparison Matrices . . . . . . 279--289
Waldemar W. Koczkodaj and
Ludmil Mikhailov and
Grzegorz Redlarski and
Michael Soltys and
Jacek Szybowski and
Gaik Tamazian and
Eliza Wajch and
Kevin Kam Fung Yuen Important Facts and Observations about
Pairwise Comparisons (the special issue
edition) . . . . . . . . . . . . . . . . 291--307
László Csató and
Lajos Rónyai Incomplete Pairwise Comparison Matrices
and Weighting Methods . . . . . . . . . 309--320
Matteo Brunelli Recent Advances on Inconsistency Indices
for Pairwise Comparisons --- A
Commentary . . . . . . . . . . . . . . . 321--332
Claudio L. M. Martins and
Pedro P. B. de Oliveira Computing Modulo-$n$ by Composing
Cellular Automata Rules . . . . . . . . 1--17
Daniel Simson Symbolic Algorithms Computing Gram
Congruences in the Coxeter Spectral
Classification of Edge-bipartite Graphs,
I. A Gram Classification . . . . . . . . 19--48
Daniel Simson Symbolic Algorithms Computing Gram
Congruences in the Coxeter Spectral
Classification of Edge-bipartite Graphs,
II. Isotropy Mini-groups . . . . . . . . 49--80
M. A. Shalu and
S. Devi Yamini A Generalization of Join and an
Algorithmic Recognition Problem . . . . 81--91
Jiuping Xu and
Rui Qiu and
Zhimiao Tao Rough Approximation Operators in Group
Mapping and Their Applications to Coding
Theory . . . . . . . . . . . . . . . . . 93--109
Huiting Han and
Chunming Tang and
Yu Lou and
Maozhi Xu Construction of Efficient MDS Matrices
Based on Block Circulant Matrices for
Lightweight Application . . . . . . . . 111--124
Benedek Nagy and
Tibor Luki\'c Dense Projection Tomography on the
Triangular Tiling . . . . . . . . . . . 125--141
Jacek Pomyka\la Small Generating Sets and DLPC Problem 143--150
Yinglei Song and
Junfeng Qu and
Ying Xu and
Liming Cai A New Graph Theoretic Approach for
Protein Threading . . . . . . . . . . . 151--170
Miaomiao Tian and
Liusheng Huang Identity-based Signatures from Lattices:
Simpler, Faster, Shorter . . . . . . . . 171--187
Hong-ying Yang and
Lin-lin Liang and
Yong-wei Li and
Xiang-yang Wang Quaternion Exponent Moments and Their
Invariants for Color Image . . . . . . . 189--205
Zhi-Fang Zeng and
Jian-Guo Liu and
Yan Jiang and
Bin Nie Transformations and Soliton Solutions
for a Variable-coefficient Nonlinear
Schrödinger Equation in the Dispersion
Decreasing Fiber with Symbolic
Computation . . . . . . . . . . . . . . 207--219
Raymond Devillers and
Antti Valmari and
Wojciech Penczek Preface . . . . . . . . . . . . . . . . ??
Marvin Triebel and
Jan Sürmeli Characterizing Stable and Deriving Valid
Inequalities of Petri Nets . . . . . . . 1--34
Eric Badouel and
Lo\"\ic Hélouët and
Christophe Morvan Petri Nets with Structured Data . . . . 35--82
Thomas Hujsa and
Jean-Marc Delosme and
Alix Munier-Kordon On Liveness and Reversibility of
Equal-Conflict Petri Nets . . . . . . . 83--119
Andrzej Mróz Congruences of Edge-bipartite Graphs
with Applications to Grothendieck Group
Recognition I. Inflation Algorithm
Revisited* . . . . . . . . . . . . . . . 121--144
Andrzej Mróz Congruences of Edge-bipartite Graphs
with Applications to Grothendieck Group
Recognition II. Coxeter Type Study* . . 145--177
Paolo Dulio and
Andrea Frosini and
Grzegorz Rozenberg Preface . . . . . . . . . . . . . . . . 179--183
Sara Brunetti and
Carla Peri On $J$-additivity and Bounded Additivity 185--195
Ian Gambini and
Laurent Vuillon Tiling the Space by Polycube Analogues
of Fedorov's Polyhedra . . . . . . . . . 197--209
Tatyana A. Smaglichenko and
Ingi Th. Bjarnason and
Alexander V. Smaglichenko and
Wolfgang R. Jacoby Method to find the Minimum $1$D Linear
Gradient Model for Seismic Tomography 211--217
Nicola Vigan\`o and
Kees Joost Batenburg and
Wolfgang Ludwig An Orientation-space Super Sampling
Technique for Six-dimensional
Diffraction Contrast Tomography . . . . 219--230
J. Karhumäki and
V. Mazalov and
Yu. Matiyasevich Preface . . . . . . . . . . . . . . . . ??
Dimitry S. Ananichev and
Vladimir V. Gusev Approximation of Reset Thresholds with
Greedy Algorithms . . . . . . . . . . . 221--227
Dmitry Itsykson and
Vsevolod Oparin and
Mikhail Slabodkin and
Dmitry Sokolov Tight Lower Bounds on the Resolution
Complexity of Perfect Matching
Principles . . . . . . . . . . . . . . . 229--242
Ville Junnila and
Tero Laihonen Minimum Number of Input Clues in Robust
Information Retrieval . . . . . . . . . 243--256
Jarkko Kari Piecewise Affine Functions, Sturmian
Sequences and Wang Tiles . . . . . . . . 257--277
Dmitri V. Karpov Minimal $k$-connected Graphs with Small
Number of Vertices of Degree $k$ . . . . 279--312
Marina Leri and
Yuri Pavlov Forest Fire Models on Configuration
Random Graphs . . . . . . . . . . . . . 313--322
Takashi Matsuhisa Communication Leading to Subgroup Nash
Equilibrium for Generalized Information 323--340
V. V. Mazalov and
K. E. Avrachenkov and
L. I. Trukhina and
B. T. Tsynguev Game-Theoretic Centrality Measures for
Weighted Graphs . . . . . . . . . . . . 341--358
A. M. Raigorodskii Combinatorial Geometry and Coding Theory 359--369
Susmit Bagchi Probabilistic and Fuzzy Process
Classifiers for Operating Systems
Scheduler . . . . . . . . . . . . . . . 405--427
Jan Hidders and
Jan Paredaens A Formal and Unified Description of XML
Manipulation Languages . . . . . . . . . 429--470
Balagopal Komarath and
Jayalal Sarma and
K. S. Sunil On the Complexity of $L$-reachability 471--483
Zhiqiang Zhang and
Tingfang Wu and
Linqiang Pan On String Languages Generated by
Sequential Numerical $P$ Systems . . . . 485--509
Anonymous Author Index Volume 145 . . . . . . . . 511--512
Omar Abu Arqub Approximate Solutions of DASs with
Nonclassical Boundary Conditions using
Novel Reproducing Kernel Algorithm . . . 231--254
Behrouz Kheirfam An Arc-search Interior Point Method in
the $ ????_\infty $ Neighborhood for
Symmetric Optimization . . . . . . . . . 255--269
Bimal Mandal and
Pantelimon St\uanic\ua and
Sugata Gangopadhyay and
Enes Pasalic An Analysis of the $\cal C$ Class of
Bent Functions . . . . . . . . . . . . . 271--292
Ji Qi and
Yukio Ohsawa Recut: A Seriation Algorithm Balancing
Smooth Display and Aggregated Features 293--304
Wen Chean Teh Parikh Matrices and Parikh Rewriting
Systems . . . . . . . . . . . . . . . . 305--320
William C. Wedley and
Eng U. Choo and
Diederik J. D. Wijnmalen Efficacy Analysis of Ratios from
Pairwise Comparisons . . . . . . . . . . 321--338
Rémi Eyraud and
Colin de la Higuera and
Makoto Kanazawa and
Ryo Yoshinaka Preface . . . . . . . . . . . . . . . . ??
Alexander Clark and
Makoto Kanazawa and
Gregory M. Kobele and
Ryo Yoshinaka Distributional Learning of Some
Nonlinear Tree Grammars . . . . . . . . 339--377
James Scicluna and
Colin de la Higuera Grammatical Inference of PCFGs Applied
to Language Modelling and Unsupervised
Parsing . . . . . . . . . . . . . . . . 379--402
Rémi Eyraud and
Jean-Christophe Janodet and
Tim Oates and
Frédéric Papadopoulos Designing and Learning Substitutable
Plane Graph Grammars . . . . . . . . . . 403--430
Achilles A. Beros and
Colin de la Higuera A Canonical Semi-Deterministic
Transducer . . . . . . . . . . . . . . . 431--459
Anonymous Author Index Volume 146 . . . . . . . . 461--462
Daniela Inclezan and
Marco Maratea and
Victor Marek Preface . . . . . . . . . . . . . . . . ??
Michael Abseher and
Martin Gebser and
Nysret Musliu and
Torsten Schaub and
Stefan Woltran Shift Design with Answer Set Programming 1--25
Bernhard Bliem and
Günther Charwat and
Markus Hecher and
Stefan Woltran D-FLAT$^2$: Subset Minimization in
Dynamic Programming on Tree
Decompositions Made Easy . . . . . . . . 27--61
Jori Bomanson and
Martin Gebser and
Tomi Janhunen and
Benjamin Kaufmann and
Torsten Schaub Answer Set Programming Modulo Acyclicity 63--91
Jorge Fandinno Towards Deriving Conclusions from
Cause-effect Relations . . . . . . . . . 93--131
Zhizheng Zhang and
Bin Wang and
Shutao Zhang Logic Programming with Graded
Introspection . . . . . . . . . . . . . 133--158
Ludwik Czaja and
Wojciech Penczek and
Krzysztof Stencel Preface . . . . . . . . . . . . . . . . ??
Fawaz Alsolami and
Talha Amin and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko Dynamic Programming Approach for
Construction of Association Rule Systems 159--171
Roberto Barbuti and
Roberta Gori and
Francesca Levi and
Paolo Milazzo Specialized Predictor for Reaction
Systems with Context Properties . . . . 173--191
Sylwia Buregwa-Czuma and
Jan G. Bazan and
Lech Zareba and
Stanislawa Bazan-Socha and
Barbara Rewerska and
Przemyslaw Pardel and
Lukasz Dydo The Method for Describing Changes in the
Perception of Stenosis in Blood Vessels
Caused by an Additional Drug . . . . . . 193--207
Ludwik Czaja Remarks on Memory Consistency
Description . . . . . . . . . . . . . . 209--221
Adam Grabowski Lattice Theory for Rough Sets -- A Case
Study with Mizar . . . . . . . . . . . . 223--240
Maciej Kopczy\'nski and
Tomasz Grze\'s and
Jaros\law Stepaniuk Core for Large Datasets: Rough Sets on
FPGA . . . . . . . . . . . . . . . . . . 241--259
Linh Anh Nguyen ExpTime Tableaux with Global Caching for
Graded Propositional Dynamic Logic . . . 261--288
Artur Niewiadomski and
Jaroslaw Skaruz and
Piotr Switalski and
Wojciech Penczek Concrete Planning in PlanICS Framework
by Combining SMT with GEO and Simulated
Annealing . . . . . . . . . . . . . . . 289--313
Vladislav Podymov An Efficient Equivalence-checking
Algorithm for a Model of Programs with
Commutative and Absorptive Statements 315--336
Jan Magott and
Pawe\l Skrobanek Semantics and Execution Time of New
Timed Statecharts . . . . . . . . . . . 387--414
Xindong Peng and
Huiyong Yuan Fundamental Properties of Pythagorean
Fuzzy Aggregation Operators . . . . . . 415--446
Darja Rupnik Poklukar and
Janez \vZerovnik Reliability Hosoya--Wiener Polynomial of
Double Weighted Trees . . . . . . . . . 447--456
Xiawei Zhang and
Qingzhao Kong On Four Types of Multi-Covering Rough
Sets . . . . . . . . . . . . . . . . . . 457--476
Yan-Lan Zhang and
Jinjin Li and
Changqing Li Topological Structure of Relation-based
Generalized Rough Sets . . . . . . . . . 477--491
Anonymous Author Index Volume 147 . . . . . . . . 493--494
Davide Ciucci and
Dominik \'Sl\kezak and
Marcin Wolski Preface . . . . . . . . . . . . . . . . ??
Jan Rauch Logical Aspects of Dealing with Domain
Knowledge in Data Mining with
Association Rules . . . . . . . . . . . 1--33
Agnieszka Nowak-Brzezi\'nska Mining Rule-based Knowledge Bases
Inspired by Rough Set Theory . . . . . . 35--50
Krystyna Napierala and
Jerzy Stefanowski Post-processing of BRACID Rules Induced
from Imbalanced Data . . . . . . . . . . 51--64
Marzena Kryszkiewicz ACBC-Adequate Association and Decision
Rules Versus Key Generators and Rough
Sets Approximations . . . . . . . . . . 65--85
Beata Zielosko Application of Dynamic Programming
Approach to Optimization of Association
Rules Relative to Coverage and Length 87--105
Maciej Kopczy\'nski and
Tomasz Grze\'s and
Jaros\law Stepaniuk Rough Sets Based LEM2 Rules Generation
Supported by FPGA . . . . . . . . . . . 107--122
Mihir K. Chakraborty On Some Issues in the Foundation of
Rough Sets: the Problem of Definition 123--132
Pradipta Maji and
Ankita Mandal Rough Hypercuboid Based Supervised
Regularized Canonical Correlation for
Multimodal Data Analysis* . . . . . . . 133--155
Marcin Wolski and
Anna Gomoli\'nska Rough Granular Computing in Modal
Settings: Generalised Approximation
Spaces . . . . . . . . . . . . . . . . . 157--172
Suna Bensch and
Rudolf Freund and
Mika Hirvensalo and
Friedrich Otto Preface . . . . . . . . . . . . . . . . ??
Cezar Câmpeanu and
Nelma Moreira and
Rogério Reis Distinguishability Operations and
Closures . . . . . . . . . . . . . . . . 243--266
Markus Holzer and
Sebastian Jakobi and
Matthias Wendlandt On the Computational Complexity of
Partial Word Automata Problems . . . . . 267--289
Oscar H. Ibarra Visibly Pushdown Automata and
Transducers with Counters . . . . . . . 291--308
Luká\vs Krtek and
Franti\vsek Mráz Two-Dimensional Limited Context
Restarting Automata . . . . . . . . . . 309--340
Martin Kutrib and
Andreas Malcher and
Matthias Wendlandt Reversible Queue Automata . . . . . . . 341--368
Giovanni Pighizzini Strongly Limited Automata . . . . . . . 369--392
Anonymous Author Index Volume 148 . . . . . . . . 393--394
Stefano Bistarelli and
Andrea Formisano and
Marco Maratea and
Paolo Torroni Preface . . . . . . . . . . . . . . . . ??
Mario Alviano Evaluating Answer Set Programming with
Non-Convex Recursive Aggregates . . . . 1--34
Roman Barták and
Jind\vrich Vodrá\vzka An Experimental Study of Influence of
Modeling and Solving Techniques on
Performance of a Tabled Logic
Programming Planner . . . . . . . . . . 35--60
Toni Mancini Now or Never: Negotiating Efficiently
with Unknown or Untrusted Counterparts 61--100
Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci SyLVaaS: System Level Formal
Verification as a Service . . . . . . . 101--132
Paolo Marin and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Enrico Giunchiglia Twelve Years of QBF Evaluations: QSAT Is
PSPACE-Hard and It Shows . . . . . . . . 133--158
Peter Schüller Modeling Variations of First-Order Horn
Abduction in Answer Set Programming . . 159--207
Mauro Vallati and
Ivan Serina and
Alessandro Saetti and
Alfonso Emilio Gerevini Identifying and Exploiting Features for
Effective Plan Retrieval in Case-Based
Planning . . . . . . . . . . . . . . . . 209--240
M. Abarca and
D. Rivera Graph Theoretical and Algorithmic
Characterizations of Positive Definite
Symmetric Quasi-Cartan Matrices . . . . 241--261
Fabio Alessi and
Felice Cardone Tiered Objects . . . . . . . . . . . . . 263--295
J. A. Bergstra and
C. A. Middelburg Instruction Sequence Size Complexity of
Parity . . . . . . . . . . . . . . . . . 297--309
Jean-Marc Champarnaud and
Ludovic Mignot and
Florent Nicart Constrained Expressions and their
Derivatives . . . . . . . . . . . . . . 311--361
Ernst-Erich Doberkat Bisimulation Cuts For Structuring Markov
Transition Systems . . . . . . . . . . . 363--383
Maciej Grze\'skowiak Pairing-Friendly Primes for Abelian
Varieties . . . . . . . . . . . . . . . 385--400
Irina Virbitskaite and
Dmitry Bushin and
Eike Best True Concurrent Equivalences in Time
Petri Nets . . . . . . . . . . . . . . . 401--418
\Lukasz Wróbel and
Marek Sikora and
Marcin Michalak Rule Quality Measures Settings in
Classification, Regression and Survival
Rule Induction --- an Empirical Approach 419--449
Tingfang Wu and
Yanfeng Wang and
Suxia Jiang and
Xiaolong Shi Small Universal Spiking Neural $P$
Systems with Homogeneous Neurons and
Synapses . . . . . . . . . . . . . . . . 451--470
Anonymous Author Index Volume 149 . . . . . . . . 471--472
Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina A Framework for the Verification of
Parameterized Infinite-state Systems . . 1--24
Irene Benedetti and
Stefano Bistarelli From Argumentation Frameworks to Voting
Systems and Back . . . . . . . . . . . . 25--48
Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi-Asmundo Herbrand-satisfiability of a Quantified
Set-theoretic Fragment . . . . . . . . . 49--71
Emanuele De Angelis and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti Program Verification using Constraint
Handling Rules and Array Constraint
Generalizations . . . . . . . . . . . . 73--117
Mauro Ferrari and
Camillo Fiorentini and
Guido Fiorino JTabWb: a Java Framework for
Implementing Terminating Sequent and
Tableau Calculi . . . . . . . . . . . . 119--142
Laura Giordano and
Valentina Gliozzi and
Alberto Pettorossi and
Gian Luca Pozzato Preface . . . . . . . . . . . . . . . . ??
Symeon Bozapalidis and
George Rahonis Stochastic Semantics . . . . . . . . . . 143--177
Ke Gu and
Weijia Jia and
Jianming Zhang Identity-Based Multi-Proxy Signature
Scheme in the Standard Model . . . . . . 179--210
Nopadon Juneam and
Sanpawat Kantabutra Fast and Efficient Parallel Coarsest
Refinement . . . . . . . . . . . . . . . 211--220
Andrzej W. Przybyszewski and
Lech T. Polkowski Theory of Mind and Empathy. Part I ---
Model of Social Emotional Thinking . . . 221--230
Yang Yu and
Tingfang Wu and
Jinbang Xu and
Yanfeng Wang and
Juanjuan He A Note on Spiking Neural $P$ Systems
with Homogeneous Neurons and Synapses 231--240
Niels Bjòrn Bugge Grathwohl and
Fritz Henglein and
Dexter Kozen Infinitary Axiomatization of the
Equational Theory of Context-Free
Languages . . . . . . . . . . . . . . . 241--257
Stefano Berardi and
Ugo de' Liguoro Non-monotonic Pre-fix Points and
Learning . . . . . . . . . . . . . . . . 259--280
Anuj Dawar and
Bjarki Holm Pebble Games with Algebraic Rules . . . 281--316
Matteo Mio and
Alex Simpson \Lukasiewicz $ \mu $-calculus . . . . . 317--346
Jean-Baptiste Jeannin and
Dexter Kozen and
Alexandra Silva CoCaml: Functional Programming with
Regular Coinductive Types . . . . . . . 347--377
Corina C\^\irstea From Branching to Linear Time,
Coalgebraically . . . . . . . . . . . . 379--406
Stefan Milius and
Tadeusz Litak Guard Your Daggers and Traces:
Properties of Guarded (Co-)recursion . . 407--449
Anonymous Author Index Volume 150 . . . . . . . . 451--452
David Baelde and
Arnaud Carayol and
Ralph Matthes and
Igor Walukiewicz Preface . . . . . . . . . . . . . . . . ??
Yudong Zhang and
Shuihua Wang and
Jian-Fei Yang and
Zheng Zhang and
Preetha Phillips and
Ping Sun and
Jie Yan A Comprehensive Survey on Fractional
Fourier Transform . . . . . . . . . . . 1--48
G. Murugusundaramoorthy and
T. Janani and
Sunil Dutt Purohit Coefficient Estimate of bi-Bazilevi\vc
Functions Associated with Fractional
$q$-calculus Operators . . . . . . . . . 49--62
Xiao-Jun Yang and
J. A. Tenreiro Machado and
Juan J. Nieto A New Family of the Local Fractional
PDEs . . . . . . . . . . . . . . . . . . 63--75
A. K. Gupta and
S. Saha Ray Two-Dimensional Chebyshev Wavelet Method
for Camassa--Holm Equation with Riesz
Fractional Derivative Describing
Propagation of Shallow Water Waves . . . 77--89
Bashir Ahmad and
Sotiris K. Ntouyas and
Ahmed Alsaedi and
Aatef Hobiny Solvability of a Coupled System of
Fractional Differential Equations with
Nonlocal and Integral Boundary
Conditions . . . . . . . . . . . . . . . 91--108
S. Kailasavalli and
S. Suganya and
M. Mallika Arjunan On Fractional Neutral
Integro-differential Systems with
State-dependent Delay in Banach Spaces 109--133
Afshin Babaei On Analytical Approximate Solution of
the Fractional Type Rosenau--Hyman
Equation . . . . . . . . . . . . . . . . 135--143
Abdon Atangana and
Ilknur Koca Model of Thin Viscous Fluid Sheet Flow
within the Scope of Fractional Calculus:
Fractional Derivative with and No
Singular Kernel . . . . . . . . . . . . 145--159
Hossein Jafari and
Atena Lia and
Haleh Tejadodi and
Dumitru Baleanu Analysis of Riccati Differential
Equations within a New Fractional
Derivative without Singular Kernel . . . 161--171
Yudong Zhang and
Xiao-Jun Yang and
Carlo Cattani and
Zhengchao Dong and
Ti-Fei Yuan and
Liang-Xiu Han Preface . . . . . . . . . . . . . . . . ??
Nilanjana G. Basu and
Subhashis Majumder and
Wing Kai Hon On Finding the Maximum and Minimum
Density Axes-parallel Regions in IR$^d$ 1--12
Snehashish Chakraverty and
Milan Hladík and
Nisha Rani Mahato A Sign Function Approach to Solve
Algebraically Interval System of Linear
Equations for Nonnegative Solutions . . 13--31
Behrouz Kheirfam A Predictor--corrector
Infeasible-interior-point Algorithm for
Semidefinite Optimization in a Wide
Neighborhood . . . . . . . . . . . . . . 33--50
Alexander Meduna and
Ond\vrej Soukup Jumping Scattered Context Grammars . . . 51--86
Kilho Shin On Infinite Divisibility of Convolution
and Mapping Kernels . . . . . . . . . . 87--105
Nazan Çakmak Polat and
Gözde Yaylalì and
Bekir Tanay Tolerance Soft Set Relation on a Soft
Set and its Matrix Applications . . . . 107--122
Sajin Koroth and
Jayalal Sarma Depth Lower Bounds against Circuits with
Sparse Orientation . . . . . . . . . . . 123--144
Mina Mirhosseini and
Hossein Nezamabadi-pour Metaheuristic Search Algorithms in
Solving the $n$-Similarity Problem . . . 145--166
Dwaraganathan Umadevi Characterizing Rough Algebras . . . . . 167--183
Katarzyna Zaj\kac Numeric Algorithms for Corank Two
Edge-bipartite Graphs and their Mesh
Geometries of Roots . . . . . . . . . . 185--222
Warda El Kholy and
Jamal Bentahar and
Mohamed El Menshawy and
Hongyang Qu and
Rachida Dssouli SMC4AC: A New Symbolic Model Checker for
Intelligent Agent Communication . . . . 223--271
Magdalena Lema\'nska and
Juan Alberto Rodríguez-Velázquez and
Rolando Trujillo-Rasua Similarities and Differences Between the
Vertex Cover Number and the Weakly
Connected Domination Number of a Graph 273--287
Jacek Pomyka\la On Deterministic Reduction of Factoring
Integers to Computing the Exponents of
Elements in Modular Group . . . . . . . 289--295
Yong Yang and
Xindong Peng A Revised TOPSIS Method Based on
Interval Fuzzy Soft Set Models with
Incomplete Weight Information . . . . . 297--321
Eryk Kopczy\'nski Computational Complexity on the
Blackboard . . . . . . . . . . . . . . . 323--339
Roussanka Loukanova An Approach to Functional Formal Models
of Constraint-Based Lexicalized Grammar 341--372
Xindong Peng and
Jingguo Dai and
Huiyong Yuan Interval-valued Fuzzy Soft Decision
Making Methods Based on MABAC,
Similarity Measure and EDAS . . . . . . 373--396
Ji\vrí \vSíma and
Stanislav \vZák On Tight Separation for Blum Measures
Applied to Turing Machine Buffer
Complexity . . . . . . . . . . . . . . . 397--409
Bo\.zena Wo\'zna-Szcze\'sniak and
Agnieszka M. Zbrzezny and
Andrzej Zbrzezny SMT-based Searching for
$k$-quasi-optimal Runs in Weighted Timed
Automata . . . . . . . . . . . . . . . . 411--433
Anonymous Author Index Volume 152 . . . . . . . . 435--436
Bogdan Aman and
Jetty Kleijn and
Maciej Koutny and
Dorel Lucanu Methods for Distributed and Concurrent
Systems: Special Issue on the occasion
of the 60th Birthday of Professor
Gabriel Ciobanu . . . . . . . . . . . . v--vi
Abdullah Alhumaidan and
Jason Steggles Modelling and Analysing Qualitative
Biological Models using Rewriting Logic 1--28
J. A. Bergstra and
C. A. Middelburg Contradiction-Tolerant Process Algebra
with Propositional Signals . . . . . . . 29--55
Ross Horne and
Sjouke Mauw and
Alwen Tiu Semantics for Specialising Attack Trees
based on Linear Logic . . . . . . . . . 57--86
Andrei P\uaun and
Alfonso Rodríguez-Patón $P$ Systems Simulating Bacterial
Conjugation: Universality and Properties 87--103
Teodor Stoenescu and
Alin Stefanescu and
Sorina Predut and
Florentin Ipate Binary Analysis based on Symbolic
Execution and Reversible x86
Instructions . . . . . . . . . . . . . . 105--124
Eneia Nicolae Todoran and
Nikolaos Papaspyrou Concurrency Semantics in
Continuation-Passing Style . . . . . . . 125--146
Luis Valencia-Cabrera and
David Orellana-Martín and
Miguel A. Martínez-del-Amor and
Agustín Riscos-Núñez and
Mario J. Pérez-Jiménez Computational Efficiency of Minimal
Cooperation and Distribution in
Polarizationless $P$ Systems with Active
Membranes . . . . . . . . . . . . . . . 147--172
Ming Chai and
Bernd-Holger Schlingloff Monitoring with Parametrized Extended
Life Sequence Charts . . . . . . . . . . 173--198
Bogdan S. Chlebus and
Gianluca De Marco and
Muhammed Talo Naming a Channel with Beeps . . . . . . 199--219
Aleksander Denisiuk and
Micha\l Grabowski Low Distortion Embedding of the Hamming
Space into a Sphere with Quadrance
Metric and $k$-means Clustering of
Nominal-continuous Data . . . . . . . . 221--233
Himani Joshi and
Sankalap Arora Enhanced Grey Wolf Optimization
Algorithm for Global Optimization . . . 235--264
Przemys\law Koprowski Roots Multiplicity without Companion
Matrices . . . . . . . . . . . . . . . . 265--270
Yu-Ru Syau and
En-Bing Lin and
Churn-Jung Liau Neighborhood Systems and Variable
Precision Generalized Rough Sets . . . . 271--290
Giampiero Chiaselotti and
Davide Ciucci and
Tommaso Gentile and
Federico Infusino Rough Set Theory and Digraphs . . . . . 291--325
Behrouz Kheirfam and
Mohaddeseh Mohamadi-Sangachin A Wide Neighborhood Second-order
Predictor-corrector Interior-point
Algorithm for Semidefinite Optimization
with Modified Corrector Directions . . . 327--346
Jan van Leeuwen and
Ji\vrí Wiedermann Turing Machines with One-sided Advice
and Acceptance of the co-RE Languages 347--366
Bartosz Makuracki and
Daniel Simson and
B\la\.zej Zyglarski Inflation Algorithm for Cox-regular
Positive Edge-bipartite Graphs with
Loops . . . . . . . . . . . . . . . . . 367--398
Micha\l Wro\'nski and
Robert Dry\lo and
Tomasz Kijko and
Piotr Bora Constructing Elliptic Curves for the GLV
Method with Low-cost Decomposition . . . 399--413
Anonymous Author Index Volume 153 . . . . . . . . 415--416
Gheorghe P\uaun and
Grzegorz Rozenberg and
Arto Salomaa Preface . . . . . . . . . . . . . . . . vii--vii
Eric Badouel and
Uli Schlachter Incremental Process Discovery using
Petri Net Synthesis . . . . . . . . . . 1--13
Mikhail Barash and
Ion Petre A Foundational Framework for
Step-by-step Model Construction . . . . 15--24
Luca Bernardinello and
Carlo Ferigato and
Lucia Pomello and
Adrián Puerto Aubel Synthesis of Transition Systems from
Quantum Logics . . . . . . . . . . . . . 25--36
Miko\laj Boja\'nczyk It is Undecidable if Two Regular Tree
Languages can be Separated by a
Deterministic Tree-walking Automaton . . 37--46
Paola Bonizzoni and
Anna Paola Carrieri and
Gianluca Della Vedova and
Raffaella Rizzi and
Gabriella Trucco Species-Driven Persistent Phylogeny . . 47--63
Julien Cassaigne and
Juhani Karhumäki and
Svetlana Puzynina and
Markus A. Whiteland $k$-Abelian Equivalence and Rationality 65--94
Soma Dutta and
Andrzej Jankowski and
Andrzej Skowron Interactive Logical Structures . . . . . 95--108
Harold N. Gabow The Weighted Matching Approach to
Maximum Cardinality Matching . . . . . . 109--130
Daniela Genova and
Hendrik Jan Hoogeboom Enforcing Regular Languages . . . . . . 131--144
Jérôme Durand-Lose and
Jarkko Kari and
Benedek Nagy Preface / Editorial . . . . . . . . . . v--vii
Ryszard Janicki and
Jetty Kleijn and
Maciej Koutny and
\Lukasz Mikulski Invariant Structures and Dependence
Relations . . . . . . . . . . . . . . . 1--29
Martin Kutrib and
Matthias Wendlandt Reversible Limited Automata . . . . . . 31--58
Martin Kutrib and
Andreas Malcher and
Matthias Wendlandt Tinput-Driven Pushdown, Counter, and
Stack Automata . . . . . . . . . . . . . 59--88
Frank Drewes and
Markus Holzer and
Sebastian Jakobi and
Brink van der Merwe Tight Bounds for Cut-Operations on
Deterministic Finite Automata . . . . . 89--110
Erzsébet Csuhaj-Varjú and
Rudolf Freund and
György Vaszil Watson--Crick T0L Systems and Red--Green
Register Machines . . . . . . . . . . . 111--129
Jacob Hendricks and
Matthew J. Patitz and
Trent A. Rogers The Simulation Powers and Limitations of
Higher Temperature Hierarchical
Self-Assembly Systems . . . . . . . . . 131--162
Sergiu Ivanov and
Sergey Verlan Universality and Computational
Completeness of Controlled Leftist
Insertion-Deletion Systems . . . . . . . 163--185
Benedek Nagy and
Sándor Vályi A Shift-free Characterization of NP
within Interval-valued Computing . . . . 187--207
Henning Fernau and
Rudolf Freund and
Rani Siromoney and
K. G. Subramanian Non-Isometric Contextual Array Grammars
and the Role of Regular Control and
Local Selectors . . . . . . . . . . . . 209--232
Sarah Alice Gaggl and
Juan Carlos Nieves and
Hannes Strass and
Paolo Torroni Preface . . . . . . . . . . . . . . . . i--iii
Michael J. Maher Relating Concrete Defeasible Reasoning
Formalisms and Abstract Argumentation 233--260
Chiaki Sakama and
Tjitze Rienstra Representing Argumentation Frameworks in
Answer Set Programming . . . . . . . . . 261--292
Mauricio Osorio and
José Luis Carballido and
Claudia Zepeda Abducible Semantics and Argumentation 293--319
Paolo Dulio and
Andrea Frosini and
Grzegorz Rozenberg Preface . . . . . . . . . . . . . . . . i--vii
Andreas Alpers and
Peter Gritzmann Reconstructing Binary Matrices under
Window Constraints from their Row and
Column Sums . . . . . . . . . . . . . . 321--340
Filippo Arcadu and
Jakob Vogel and
Marco Stampanoni and
Federica Marone Improving Analytical Tomographic
Reconstructions Through Consistency
Conditions . . . . . . . . . . . . . . . 341--361
Emmanuel Brun and
Claudio Ferrero and
Jerome Vicente Fast Granulometry Operator for the $3$D
Identification of Cell Structures . . . 363--372
Camille Chapdelaine and
Ali Mohammad-Djafari and
Nicolas Gac and
Estelle Parra A $3$D Bayesian Computed Tomography
Reconstruction Algorithm with
Gauss--Markov--Potts Prior Model and its
Application to Real Data . . . . . . . . 373--405
Paolo Dulio and
Silvia M. C. Pagani and
Andrea Frosini Regions of Uniqueness Quickly
Reconstructed by Three Directions in
Discrete Tomography . . . . . . . . . . 407--423
Lajos Hajdu and
Rob Tijdeman Consistency Conditions for Discrete
Tomography . . . . . . . . . . . . . . . 425--447
Li Wang and
Ali Mohammad-Djafari and
Nicolas Gac X-ray Computed Tomography using a
Sparsity Enforcing Prior Model Based on
Haar Transformation in a Bayesian
Framework . . . . . . . . . . . . . . . 449--480
Anonymous Author Index Volume 155 . . . . . . . . 481--482
Stefano Bilotta and
Elisabetta Grazzini and
Elisa Pergola Pattern Avoiding Languages and
Recurrence Relations Interpretation . . 1--19
Ha Bang Ban and
Duc Nghia Nguyen A Meta-Heuristic Algorithm Combining
Between Tabu and Variable Neighborhood
Search for the Minimum Latency Problem 21--41
Mieczys\law K\lopotek On Seeking Consensus Between Document
Similarity Measures . . . . . . . . . . 43--68
Ludovic Mignot and
Nadia Ouali Sebti and
Djelloul Ziadi Tree Automata Constructions from Regular
Expressions: a Comparative Study . . . . 69--94
Jacek Sroka and
Jan Hidders On Determining the AND--OR Hierarchy in
Workflow Nets . . . . . . . . . . . . . 95--123
Nicoleta Avesalon and
Eleonor Ciurea and
Mircea Parpalea The Maximum Parametric Flow in
Discrete-time Dynamic Networks . . . . . 125--139
Eduard Bartl and
Jan Konecny Rough Fuzzy Concept Analysis . . . . . . 141--168
László Csató Eigenvector Method and Rank Reversal in
Group Decision Making Revisited . . . . 169--178
Konrad Durnoga and
Jacek Pomyka\la Large Sieve, Miller--Rabin Compositeness
Witnesses and Integer Factoring Problem 179--185
Yansen Su and
Tingfang Wu and
Fei Xu and
Andrei P\uaun Spiking Neural $P$ Systems with Rules on
Synapses Working in Sum Spikes
Consumption Strategy . . . . . . . . . . 187--208
Naushad Varish and
Sumit Kumar and
Arup Kumar Pal A Novel Similarity Measure for Content
Based Image Retrieval in Discrete Cosine
Transform Domain . . . . . . . . . . . . 209--235
Jingqian Wang and
William Zhu Applications of Bipartite Graphs and
their Adjacency Matrices to
Covering-based Rough Sets . . . . . . . 237--254
Damian Niwi\'nski and
Ewa Or\lowska Preface . . . . . . . . . . . . . . . . i--ii
Damian Niwi\'nski and
Ewa Or\lowska Preface . . . . . . . . . . . . . . . . i--ii
Janusz Czelakowski Forcing for First-Order Languages from
the Perspective of Rasiowa--Sikorski
Lemma . . . . . . . . . . . . . . . . . 255--280
Janusz Czelakowski Forcing for First-Order Languages from
the Perspective of Rasiowa--Sikorski
Lemma . . . . . . . . . . . . . . . . . 255--280
Ivo Düntsch and
Léonard Kwuida and
Ewa Or\lowska A Discrete Representation for
Dicomplemented Lattices . . . . . . . . 281--295
Ivo Düntsch and
Léonard Kwuida and
Ewa Or\lowska A Discrete Representation for
Dicomplemented Lattices . . . . . . . . 281--295
Melvin Fitting On Modalities and Quantifiers . . . . . 297--330
Melvin Fitting On Modalities and Quantifiers . . . . . 297--330
Anna B. Romanowska and
Jonathan D. H. Smith Duality for Quasilattices and Galois
Connections . . . . . . . . . . . . . . 331--359
Anna B. Romanowska and
Jonathan D. H. Smith Duality for Quasilattices and Galois
Connections . . . . . . . . . . . . . . 331--359
Viorica Sofronie-Stokkermans Representation Theorems and Locality for
Subsumption Testing and Interpolation in
the Description Logics $ \epsilon {\cal
L} $, $ \epsilon {\cal L}^+ $ and their
Extensions with $n$-ary Roles and
Numerical Domains . . . . . . . . . . . 361--411
Viorica Sofronie-Stokkermans Representation Theorems and Locality for
Subsumption Testing and Interpolation in
the Description Logics $ \epsilon {\cal
L} $, $ \epsilon {\cal L}^+ $ and their
Extensions with $n$-ary Roles and
Numerical Domains . . . . . . . . . . . 361--411
Dimiter Vakarelov Mereotopologies with Predicates of
Actual Existence and Actual Contact . . 413--432
Dimiter Vakarelov Mereotopologies with Predicates of
Actual Existence and Actual Contact . . 413--432
Anonymous Author Index Volume 156 . . . . . . . . 433--434
Anonymous Author Index Volume 156 . . . . . . . . 433--434
Gösta Grahne and
Adrian Onet Anatomy of the Chase . . . . . . . . . . 221--270
Guiwu Wei Picture Fuzzy Hamacher Aggregation
Operators and their Application to
Multiple Attribute Decision Making . . . 271--320
Ludwik Czaja and
Wojciech Penczek and
Holger Schlingloff and
Nguyen Hung Son Preface . . . . . . . . . . . . . . . . i--ii
Jafar Akhundov and
Peter Tröger and
Matthias Werner Superposition Principle in Composable
Hybrid Automata . . . . . . . . . . . . 321--339
Kamila Barylska and
Evgeny Erofeev and
Maciej Koutny and
\Lukasz Mikulski and
Marcin Pi\katkowski Reversing Transitions in Bounded Petri
Nets . . . . . . . . . . . . . . . . . . 341--357
Ludwik Czaja A Protocol of Mutual Exclusion for DSM
Based on Vectors of Global Timestamps 359--370
Andrzej Jankowski and
Andrzej Skowron and
Piotr Wasilewski Rough Sets and Sorites Paradox . . . . . 371--384
Linh Anh Nguyen Computing Bisimulation-Based Comparisons 385--401
Artur Niewiadomski and
Piotr Switalski and
Marcin Kowalczyk and
Wojciech Penczek TripICS --- a Web Service Composition
System for Planning Trips and Travels 403--425
Elisabeth Pelz Full Axiomatisation of Timed Processes
of Interval-Timed Petri Nets . . . . . . 427--442
Artur Rataj and
Bo\.zena Wo\'zna-Szcze\'sniak Extrapolation of an Optimal Policy using
Statistical Probabilistic Model Checking 443--461
Roman R. Redziejowski Trying to Understand PEG . . . . . . . . 463--475
Qingliang Chen and
Paolo Torroni and
Serena Villata Preface . . . . . . . . . . . . . . . . v--vii
Barbara Dunin-K\keplicz and
Alina Powa\la Multi-Party Persuasion: a Paraconsistent
Approach . . . . . . . . . . . . . . . . 1--39
Takamasa Ihara and
Shunsuke Tsuruta and
Taiki Todo and
Yuko Sakurai and
Makoto Yokoo Strategy-proof Cake Cutting Mechanisms
for All-or-nothing Utility . . . . . . . 41--61
Toshihiro Matsui and
Marius Silaghi and
Tenda Okimoto and
Katsutoshi Hirayama and
Makoto Yokoo and
Hiroshi Matsuo Leximin Multiple Objective DCOPs on
Factor Graphs for Preferences of Agents 63--91
Sam Leask and
Brian Logan Programming Agent Deliberation Using
Procedural Reflection . . . . . . . . . 93--120
Emiliano Lorini and
Roland Mühlenbernd The Long-Term Benefits of Following
Fairness Norms under Dynamics of
Learning and Evolution . . . . . . . . . 121--148
Chanjuan Liu and
Fenrong Liu and
Kaile Su A Dynamic-Logical Characterization of
Solutions to Sight-limited Extensive
Games . . . . . . . . . . . . . . . . . 149--169
Tiep Le and
Tran Cao Son and
Enrico Pontelli Multi-Context Systems with Preferences 171--216
Erica Calardo and
Guido Governatori and
Antonino Rotolo Sequence Semantics for Modelling
Reason-based Preferences . . . . . . . . 217--238
Daniele Porello Logics for Modelling Collective
Attitudes . . . . . . . . . . . . . . . 239--275
Roberto Amadini and
Graeme Gange and
François Gauthier and
Alexander Jordan and
Peter Schachte and
Harald Sòndergaard and
Peter J. Stuckey and
Chenyi Zhang Reference Abstract Domains and
Applications to String Analysis . . . . 297--326
Antonio Badia and
Daniel Lemire On Desirable Semantics of Functional
Dependencies over Databases with
Incomplete Information . . . . . . . . . 327--352
\cSenol Dost Precise Sets in Approximation Spaces and
Textures . . . . . . . . . . . . . . . . 353--368
Claudia Pérez and
Mario Abarca and
Daniel Rivera Cubic Algorithm to Compute the Dynkin
Type of a Positive Definite Quasi-Cartan
Matrix . . . . . . . . . . . . . . . . . 369--384
Xiang-yang Wang and
Huan Xu and
Si-yu Zhang and
Lin-lin Liang and
Pan-pan Niu and
Hong-ying Yang A Color Image Watermarking Approach
Based on Synchronization Correction . . 385--407
Marco Maratea and
Viviana Mascardi and
Davide Ancona and
Alberto Pettorossi Preface . . . . . . . . . . . . . . . . v--vi
Matteo Baldoni and
Cristina Baroglio and
Federico Capuzzimati and
Roberto Micalizio Commitment-based Agent Interaction in
JaCaMo+ . . . . . . . . . . . . . . . . 1--33
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali Evaluating Compliance: From LTL to
Abductive Logic Programming . . . . . . 35--63
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota Reasoning on Datalog$^\pm $ Ontologies
with Abductive Logic Programming . . . . 65--93
Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti Towards a Rational Closure for
Expressive Description Logics: the Case
of $ \cal S h i q $ . . . . . . . . . . 95--122
Georg Gottlob and
Andreas Pieris and
Mantas \vSimkus The Impact of Active Domain Predicates
on Guarded Existential Rules . . . . . . 123--146
Francesca A. Lisi and
Corrado Mencar A Granular Computing Method for OWL
Ontologies . . . . . . . . . . . . . . . 147--174
Vadim Malvone and
Aniello Murano and
Loredana Sorrentino Additional Winning Strategies in
Reachability Games . . . . . . . . . . . 175--195
Frank S. de Boer and
Mario Bravetti and
Matias D. Lee and
Gianluigi Zavattaro A Petri Net Based Modeling of Active
Objects and Futures . . . . . . . . . . 197--256
Kenshin Ikegami and
Yukio Ohsawa PageRank Topic Model: Estimation of
Multinomial Distributions using Network
Structure Analysis Methods . . . . . . . 257--277
Saeed Salehi On Axiomatizability of the
Multiplicative Theory of Numbers . . . . 279--296
Apurba Sarkar and
Arindam Biswas and
Mousumi Dutt and
Shouvick Mondal Finding Shortest Triangular Path and its
Family inside a Digital Object . . . . . 297--325
Didier Caucal and
Teodor Knapik Shelah--Stupp's Iteration and Muchnik's
Iteration . . . . . . . . . . . . . . . 327--359
Bahram Farhadinia and
Zeshui Xu Ordered Weighted Hesitant Fuzzy
Information Fusion-Based Approach to
Multiple Attribute Decision Making with
Probabilistic Linguistic Term Sets . . . 361--383
Hui Gao and
Mao Lu and
Guiwu Wei and
Yu Wei Some Novel Pythagorean Fuzzy Interaction
Aggregation Operators in Multiple
Attribute Decision Making . . . . . . . 385--428
Yu-Ru Syau and
En-Bing Lin and
Churn-Jung Liau Neighborhood Systems: Rough Set
Approximations and Definability . . . . 429--450
Anna Gambin and
Monika Heiner Preface . . . . . . . . . . . . . . . . v--vii
Mathieu Pagé Fortin and
Simon V. Hardy A Hybrid Petri Net Model of the
Akt-Wnt-mTOR-p70S6K Signalling Network
in Neurons . . . . . . . . . . . . . . . 1--25
Paolo Baldan and
Martina Bocci and
Daniele Brigolin and
Nicoletta Cocco and
Monika Heiner and
Marta Simeoni Petri Nets for Modelling and Analysing
Trophic Networks . . . . . . . . . . . . 27--52
Mostafa Herajy and
Monika Heiner Adaptive and Bio-semantics of Continuous
Petri Nets: Choosing the Appropriate
Interpretation . . . . . . . . . . . . . 53--80
Jure Bordon and
Miha Mo\vskon and
Nikolaj Zimic and
Miha Mraz Semi-quantitative Modelling of Gene
Regulatory Processes with Unknown
Parameter Values Using Fuzzy Logic and
Petri Nets . . . . . . . . . . . . . . . 81--100
Fei Liu and
Siyuan Chen Colored Fuzzy Petri Nets for Dealing
with Genetic Regulatory Networks . . . . 101--118
Franck Delaplace and
Cinzia Di Giusto and
Jean-Louis Giavitto and
Hanna Klaudel and
Antoine Spicher Activity Networks with Delays an
Application to Toxicity Analysis . . . . 119--142
Dorota Formanowicz and
Agnieszka Rybarczyk and
Piotr Formanowicz Factors Influencing Essential
Hypertension and Cardiovascular Disease
Modeled and Analyzed using Stochastic
Petri Nets . . . . . . . . . . . . . . . 143--165
Rza Bashirov and
Nimet \.Ilke Akçay Stochastic Simulation-based Prediction
of the Behavior of the p16-mediated
Signaling Pathway . . . . . . . . . . . 167--179
Christian Rohr Discrete-Time Leap Method For Stochastic
Simulation . . . . . . . . . . . . . . . 181--198
Pascal Caron and
Jean-Gabriel Luque and
Bruno Patrou State Complexity of Multiple Catenations 255--279
Samir Elouasbi and
Andrzej Pelc Deterministic Meeting of Sniffing Agents
in the Plane . . . . . . . . . . . . . . 281--301
Jasminder Kaur Sandhu and
Anil Kumar Verma and
Prashant Singh Rana A Novel Framework for Reliable Network
Prediction of Small Scale Wireless
Sensor Networks (SSWSNs) . . . . . . . . 303--341
Lin Wang and
Zhi Hu On Graph Algorithms for Degeneracy Test
and Recursive Description of Stream
Ciphers . . . . . . . . . . . . . . . . 343--359
Arnaud Carayol and
Christof Löding and
Olivier Serre Pure Strategies in Imperfect Information
Stochastic Games . . . . . . . . . . . . 361--384
Qingzhao Kong and
Weihua Xu Operation Properties and Algebraic
Application of Covering Rough Sets . . . 385--408
Yang Ming and
Yumin Wang Certificateless Proxy Signature Scheme
in the Standard Model . . . . . . . . . 409--445
Mehdy Roayaei and
MohammadReza Razzazi Minimum Cardinality Point-to-point
Connectivity Augmentation Problem . . . 447--463
Camillo Fiorentini and
Alberto Momigliano and
Alberto Pettorossi Preface . . . . . . . . . . . . . . . . v--vii
Mauro Ferrari and
Camillo Fiorentini and
Alberto Momigliano From Constructivism to Logic
Programming: an Homage to Mario Ornaghi 1--7
Federico Bergenti and
Stefania Monica and
Gianfranco Rossi Constraint Logic Programming with
Polynomial Constraints over Finite
Domains . . . . . . . . . . . . . . . . 9--27
Loris Bozzato ASP Based Generation of Information
Terms for Constructive $ \epsilon {\cal
L} $ . . . . . . . . . . . . . . . . . . 29--51
Roberta Calegari and
Enrico Denti and
Agostino Dovier and
Andrea Omicini Extending Logic Programming with
Labelled Variables: Model and Semantics 53--74
Federico Chesani and
Paola Mello and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Marco Montali and
Sergio Tessaris Compliance in Business Processes with
Incomplete Information and Time
Constraints: a General Framework based
on Abductive Reasoning . . . . . . . . . 75--111
Giorgio Delzanno Logic-based Verification of the
Distributed Dining Philosophers Protocol 113--133
Laura Giordano and
Daniele Theseider Dupré Defeasible Reasoning in $ P R O E L $:
from Rational Entailment to Rational
Closure . . . . . . . . . . . . . . . . 135--161
Roberto Micalizio and
Gian Luca Pozzato Revision of Ontologies to Accommodate
Exceptions: a Typicality-based Approach 163--189
Martin Sticht Multi-Agent Dialogues and Dialogue
Sequents for Proof Search and Scheduling
in Intuitionistic Logic and the Modal
Logic S4 . . . . . . . . . . . . . . . . 191--218
Sébastien Canard and
Viet Cuong Trinh Certificateless Public Key Cryptography
in the Standard Model . . . . . . . . . 219--248
Zaheer Masood and
Khalid Majeed and
Raza Samar and
Muhammad Asif Zahoor Raja Design of Epidemic Computer Virus Model
with Effect of Quarantine in the
Presence of Immunity . . . . . . . . . . 249--273
Marcin Michalak and
Dominik \'Sl\kezak Boolean Representation for Exact
Biclustering . . . . . . . . . . . . . . 275--297
Smrithy G. S and
Alfredo Cuzzocrea and
Ramadoss Balakrishnan Detecting Insider Malicious Activities
in Cloud Collaboration Systems . . . . . 299--316
Wil van der Aalst and
Eike Best and
Wojciech Penczek Preface . . . . . . . . . . . . . . . . i--ii
Béatrice Bérard and
Stefan Haar and
Sylvain Schmitz and
Stefan Schwoon The Complexity of Diagnosability and
Opacity Verification for Petri Nets . . 317--349
Andreas E. Dalsgaard and
Sòren Enevoldsen and
Peter Fogh and
Lasse S. Jensen and
Peter G. Jensen and
Tobias S. Jepsen and
Isabella Kaufmann and
Kim G. Larsen and
Sòren M. Nielsen and
Mads Chr. Olesen and
Samuel Pastva and
Ji\vrí Srba A Distributed Fixed-Point Algorithm for
Extended Dependency Graphs . . . . . . . 351--381
Thomas Hujsa and
Raymond Devillers On Deadlockability, Liveness and
Reversibility in Subclasses of Weighted
Petri Nets . . . . . . . . . . . . . . . 383--421
Karsten Wolf Interleaving Based Model Checking of
Concurrency and Causality . . . . . . . 423--445
Chavdar Dangalchev Residual Closeness of Generalized Thorn
Graphs . . . . . . . . . . . . . . . . . 1--15
Soma Dutta and
Piotr Wasilewski Dialogue in Hierarchical Learning of
Concept using Prototypes and
Counterexamples . . . . . . . . . . . . 17--36
Manish Garg A Note on the Higher-order Nonlinearity
of Niho Function . . . . . . . . . . . . 37--42
Artur Je\.z and
Alexander Okhotin On the Number of Nonterminal Symbols in
Unambiguous Conjunctive Grammars . . . . 43--72
Apurba Sarkar and
Arindam Biswas and
Mousumi Dutt and
Shouvick Mondal Finding Shortest Triangular Path and its
Family inside a Digital Object . . . . . 73--100
Vesa Halava and
Juhani Karhumäki and
Yuri Matiyasevich and
Mikhail Volkov Perface . . . . . . . . . . . . . . . . i--i
Sergey Afonin Decision Problems and Applications of
Rational Sets of Regular Languages . . . 101--118
Alexander E. Guterman and
Artem M. Maksaev Preserving $ \lambda $-scrambling
Matrices . . . . . . . . . . . . . . . . 119--141
Anni Hakanen and
Tero Laihonen On $ \ell $-Metric Dimensions in Graphs 143--160
Sang-Ki Ko and
Igor Potapov Vector Ambiguity and Freeness Problems
in $ {\rm SL}(2, \mathbb {Z}) $ . . . . 161--182
Marina Maslennikova and
Emanuele Rodaro Trim Strongly Connected Synchronizing
Automata and Ideal Languages . . . . . . 183--203
Andrew Ryzhikov and
Anton Shemyakov Subset Synchronization in Monotonic
Automata . . . . . . . . . . . . . . . . 205--221
Aleksi Saarela Studying Word Equations by a Method of
Weighted Frequencies . . . . . . . . . . 223--235
Ladjel Bellatreche and
Zbigniew W. Ras Preface . . . . . . . . . . . . . . . . i--iii
Milo\vs Savi\'c and
Mirjana Ivanovi\'c and
Milo\vs Radovanovi\'c and
Bojana Dimi\'c Surla Gender-Based Analysis of
Intra-Institutional Research
Productivity and Collaboration . . . . . 237--258
Fatima Zohra Ennaji and
Lobna Azaza and
Zakaria Maamar and
Abdelaziz El Fazziki and
Marinette Savonnet and
Mohamed Sadgal and
Eric Leclercq and
Idir Amine Amarouche and
Djamal Benslimane Impact of Credibility on Opinion
Analysis in Social Media . . . . . . . . 259--281
Javier Criado and
Silverio Martínez-Fernández and
David Ameller and
Luis Iribarne and
Nicolás Padilla and
Andreas Jedlitschka Quality-aware Architectural Model
Transformations in Adaptive Mashups User
Interfaces . . . . . . . . . . . . . . . 283--309
Franck Ravat and
Jiefu Song A Unified Approach to Multisource Data
Analyses . . . . . . . . . . . . . . . . 311--359
Linqiang Pan and
Mario J. Pérez-Jiménez and
Gexiang Zhang Preface . . . . . . . . . . . . . . . . i--ii
Jym Paul Carandang and
Francis George C. Cabarle and
Henry Natividad Adorna and
Nestine Hope S. Hernandez and
Miguel Ángel Martínez-del-Amor Handling Non-determinism in Spiking
Neural P Systems: Algorithms and
Simulations . . . . . . . . . . . . . . 139--155
James Cooper and
Radu Nicolescu The Hamiltonian Cycle and Travelling
Salesman Problems in cP Systems . . . . 157--180
Guangzhao Cui and
Yangyang Jiao and
Jianxia Liu and
Jixiang Li and
Xuncai Zhang and
Zhonghua Sun Complex Complement Circuit Design of
Four Inputs Based on DNA Strand
Displacement . . . . . . . . . . . . . . 181--194
Bingjie Guo and
Luhui Wang and
Tao Wu and
Yafei Dong DNA Ion Detector and Logic Circulation
Amplification Model Based on Mercury and
Silver Ions . . . . . . . . . . . . . . 195--205
Suxia Jiang and
Yanfeng Wang and
Jinbang Xu and
Fei Xu The Computational Power of Cell-like P
Systems with Symport/Antiport Rules and
Promoters . . . . . . . . . . . . . . . 207--225
Tae Jong Choi and
Jong-Hyun Lee and
Hee Yong Youn and
Chang Wook Ahn Adaptive Differential Evolution with
Elite Opposition-Based Learning and its
Application to Training Artificial
Neural Networks . . . . . . . . . . . . 227--242
Ying Niu and
Feng Han and
Xuncai Zhang and
Zheng Zhou A Circuit Simplification Mechanism Based
on DNA Combinatorial Strands
Displacement . . . . . . . . . . . . . . 243--257
Junwei Sun and
Nan Li and
Yanfeng Wang and
Wei Wang A Novel Chaotic System and its Modified
Compound Synchronization . . . . . . . . 259--275
Wendan Xie and
Changjun Zhou and
Hui Lv and
Qiang Zhang Logic Operation Model of the
Complementer Based on Two-domain DNA
Strand Displacement . . . . . . . . . . 277--288
Sara Brunetti and
Paolo Dulio and
Andrea Frosini and
Grzegorz Rozenberg Preface . . . . . . . . . . . . . . . . v--xiv
Henri Der Sarkissian and
Nicola Vigan\`o and
Kees Joost Batenburg A Data Consistent Variational
Segmentation Approach Suitable for
Real-time Tomography . . . . . . . . . . 1--20
Enrica Duchi and
Veronica Guerrini and
Simone Rinaldi A Generating Tree for Permutations
Avoiding the Pattern $ 122^+3 $ . . . . 21--39
Fabien Feschet and
Jean-Jacques Lemaire Super-resolution in Clinical Conditions:
Deep Brain Stimulation Case Study . . . 41--62
Matteo Mancini and
Mara Cercignani Network Models in Neuroimaging: A Survey
of Multimodal Applications . . . . . . . 63--91
Paolo Dulio and
Paolo Finotelli and
Andrea Frosini and
Elisa Pergola and
Alice Presenti Graph Model Simulation of Human Brain's
Functional Activity at Resting State by
Means of the FD Model . . . . . . . . . 93--109
Rana Faisal Munir and
Sergi Nadal and
Oscar Romero and
Alberto Abelló and
Petar Jovanovic and
Maik Thiele and
Wolfgang Lehner Intermediate Results Materialization
Selection and Format for Data-Intensive
Flows . . . . . . . . . . . . . . . . . 111--138
Stefano Aguzzoli and
Stefania Boffa and
Davide Ciucci and
Brunella Gerla Finite IUML-algebras, Finite Forests and
Orthopairs . . . . . . . . . . . . . . . 139--163
Jakub Michaliszyn and
Jan Otop and
Piotr Witkowski Satisfiability versus Finite
Satisfiability in Elementary Modal
Logics . . . . . . . . . . . . . . . . . 165--188
Camelia Schiopu and
Eleonor Ciurea Maximum Flows in Planar Dynamic Networks
with Lower Bounds . . . . . . . . . . . 189--204
Lyuyang Tong and
Minggang Dong and
Bing Ai and
Chao Jing A Simple Butterfly Particle Swarm
Optimization Algorithm with the
Fitness-based Adaptive Inertia Weight
and the Opposition-based Learning
Average Elite Strategy . . . . . . . . . 205--223
Panagiotis Charalampopoulos and
Maxime Crochemore and
Solon P. Pissis Preface . . . . . . . . . . . . . . . . i--i
Szymon Grabowski and
Tomasz Kociumaka and
Jakub Radoszewski On Abelian Longest Common Factor with
and without RLE . . . . . . . . . . . . 225--244
Arnab Ganguly and
Manish Patil and
Rahul Shah and
Sharma V. Thankachan A Linear Space Data Structure for Range
LCP Queries . . . . . . . . . . . . . . 245--251
Mai Alzamel and
Jia Gao and
Costas S. Iliopoulos and
Chang Liu Efficient Computation of Palindromes in
Sequences with Uncertainties . . . . . . 253--266
Sahar Hooshmand and
Neda Tavakoli and
Paniz Abedin and
Sharma V. Thankachan On Computing Average Common Substring
Over Run Length Encoded Sequences . . . 267--273
Neerja Mhaskar and
W. F. Smyth Frequency Covers for Strings . . . . . . 275--289
Supaporn Chairungsee Efficient Approaches to Compute Longest
Previous Non-overlapping Factor Array 291--304
Christopher J. Henry and
Syed Aqeel Awais A Descriptive Tolerance Nearness Measure
for Performing Graph Comparison . . . . 305--324
Behrouz Kheirfam and
Afsaneh Nasrollahi A Full-Newton Step Interior-point Method
Based on a Class of Specific Algebra
Transformation . . . . . . . . . . . . . 325--337
Paul Manuel and
Sandi Klav\vzar The Graph Theory General Position
Problem on Some Interconnection Networks 339--350
Sumit Mishra and
Samrat Mondal and
Sriparna Saha Towards Obtaining Upper Bound on
Sensitivity Computation Process for
Cluster Validity Measures . . . . . . . 351--374
Dipan Lal Shaw and
A. S. M. Shohidull Islam and
Shuvasish Karmaker and
M. Sohel Rahman Approximation Algorithms for Three
Dimensional Protein Folding . . . . . . 375--393
Miaomiao Tian and
Lingyan Wang and
Hong Zhong and
Jie Chen Attribute-based Data Integrity Checking
for Cloud Storage . . . . . . . . . . . 395--411
Alexis B\`es and
Christian Choffrut Complexity and (Un)decidability of
Fragments of $ \langle \omega \omega
\lambda; \times \rangle $ . . . . . . . 1--15
Slobodan Dra\vzi\'c Advanced Morphological Distances Based
on Dilation and Erosion . . . . . . . . 17--39
William Fajardo and
Oswaldo Lezama Elementary Matrix-computational Proof of
Quillen--Suslin Theorem for Ore
Extensions . . . . . . . . . . . . . . . 41--59
Harish Garg and
Dimple Rani Complex Interval-valued Intuitionistic
Fuzzy Sets and their Aggregation
Operators . . . . . . . . . . . . . . . 61--101
Pradipta Maji and
Suman Mahapatra Rough-Fuzzy Circular Clustering for
Color Normalization of Histological
Images . . . . . . . . . . . . . . . . . 103--117
Sanjib Sadhu and
Sasanka Roy and
Soumen Nandi and
Anil Maheshwari and
Subhas C. Nandy Two-center of the Convex Hull of a Point
Set: Dynamic Model, and Restricted
Streaming Model . . . . . . . . . . . . 119--138
Jakub Szymanik Introduction . . . . . . . . . . . . . . i--iii
Marek Czarnecki and
Konrad Zdanowski A Modal Logic of a Truth Definition for
Finite Models . . . . . . . . . . . . . 299--325
Justyna Grudzi\'nska and
Marek Zawadowski Continuation Semantics for
Multi-Quantifier Sentences:
Operation-Based Approaches . . . . . . . 327--344
Dariusz Kaloci\'nski Some Remarks on Least Moduli . . . . . . 345--358
Marek Zawadowski co-Semi-analytic Functors . . . . . . . 359--373
Konrad Zdanowski One Henkin Quantifier in the Empty
Vocabulary Suffices for Undecidability 375--386
Fatemeh Ghassemi and
Wan Fokkink Reliable Restricted Process Theory . . . 1--41
László Kovács An Algorithm using Context Reduction for
Efficient Incremental Generation of
Concept Set . . . . . . . . . . . . . . 43--73
Tanzeela Shaheen and
John G. Stell Graphical Partitions and Graphical
Relations . . . . . . . . . . . . . . . 75--98
Xindong Peng Algorithm for Pythagorean Fuzzy
Multi-criteria Decision Making Based on
WDBA with New Score Function . . . . . . 99--137
Wen-Li Xu and
Jia Lee and
Hui-Hui Chen and
Teijiro Isokawa Universal Computation in a Simplified
Brownian Cellular Automaton with von
Neumann Neighborhood . . . . . . . . . . 139--156
Bin Yang and
Bao Qing Hu and
Junsheng Qiao Three-way Decisions with Rough
Membership Functions in Covering
Approximation Space . . . . . . . . . . 157--191
Wojciech Penczek and
Holger Schlingloff and
Piotr Wasilewski Preface . . . . . . . . . . . . . . . . i--iii
Melvin Fitting What Are Justification Logics? . . . . . 193--203
Emanuele De Angelis and
Fabio Fioravanti and
Maria Chiara Meo and
Alberto Pettorossi and
Maurizio Proietti Semantics and Controllability of
Time-Aware Business Processes . . . . . 205--244
Abdulla Aldilaijan and
Mohammad Azad and
Mikhail Moshkov Experimental Study of Totally Optimal
Decision Trees . . . . . . . . . . . . . 245--261
Jan G. Bazan and
Adam Szczur and
Andrzej Skowron and
Marian Rzepko and
Pawe\l Król and
Wojciech Bajorek and
Wojciech Czarny A Classifier Based on a Decision Tree
with Temporal Cuts . . . . . . . . . . . 263--281
Soma Dutta and
Andrzej Jankowski and
Grzegorz Rozenberg and
Andrzej Skowron Linking Reaction Systems with Rough Sets 283--302
Roberta Gori and
Damas Gruska and
Paolo Milazzo Studying Opacity of Reaction Systems
through Formula Based Predictors . . . . 303--319
Artur Niewiadomski and
Piotr Switalski and
Teofil Sidoruk and
Wojciech Penczek Applying Modern SAT-solvers to Solving
Hard Problems . . . . . . . . . . . . . 321--344
Anna Sawicka and
Magdalena Kacprzak and
Andrzej Zbrzezny Towards Encoding of the Transition
Relation in Dialogue Games Model
Checking . . . . . . . . . . . . . . . . 345--361
Marcin Wolski and
Anna Gomoli\'nska From Data to Pattern Structures: Near
Set Approach . . . . . . . . . . . . . . 363--380
Fawaz Alsolami and
Talha Amin and
Mikhail Moshkov and
Beata Zielosko and
Krzysztof \.Zabi\'nski Comparison of Heuristics for
Optimization of Association Rules . . . 1--14
Andrzej M. Borzyszkowski Regular Orthomodular Posets . . . . . . 15--28
Chrysafis Hartonas and
Ewa Or\lowska Representation of Lattices with Modal
Operators in Two-Sorted Frames . . . . . 29--56
Gui-Wu Wei Pythagorean Fuzzy Hamacher Power
Aggregation Operators in Multiple
Attribute Decision Making . . . . . . . 57--85
Omar Abu Arqub Application of Residual Power Series
Method for the Solution of
Time-fractional Schrödinger Equations in
One-dimensional Space . . . . . . . . . 87--110
Omar Abu Arqub Numerical Algorithm for the Solutions of
Fractional Order Systems of Dirichlet
Function Types with Comparative Analysis 111--137
Stefano Bistarelli and
Francesco Santini and
Paolo Torroni Special issue of the Knowledge
Representation and Reasoning Track,
Symposium on Applied Computing (SAC)
2017 . . . . . . . . . . . . . . . . . . 139--140
Tadhg Fitzgerald and
Barry O'Sullivan Candidate Selection and Instance
Ordering for Realtime Algorithm
Configuration . . . . . . . . . . . . . 141--166
Costas D. Koutras and
Christos Moyzes and
Christos Rantsoudis A Reconstruction of Default Conditionals
within Epistemic Logic . . . . . . . . . 167--197
Raj Kishor Bisht and
Taishin Yasunobu Nishida and
Kouhei Yamamoto Word Matrix Rewriting Systems . . . . . 199--226
Lech Polkowski Introducing Mass-based Rough Mereology
in a Mereological Universe with
Relations to Fuzzy Logics and a
Generalization of the \Lukasiewicz
Logical Foundations of Probability . . . 227--249
Surabhi Tiwari and
Pankaj Kumar Singh An Approach of Proximity in Rough Set
Theory . . . . . . . . . . . . . . . . . 251--271
Zhaohao Wang and
Huifang Yue and
Jianping Deng An Uncertainty Measure Based on Lower
and Upper Approximations for Generalized
Rough set Models . . . . . . . . . . . . 273--296
Carlos G. Lopez Pombo and
Pablo F. Castro and
Nazareno M. Aguirre and
Thomas S. E. Maibaum Satisfiability Calculus: An Abstract
Formulation of Semantic Proof Systems 297--347
Jan Rauch and
Milan \vSim\runek Data Mining with Histograms and Domain
Knowledge --- Case Studies and
Considerations . . . . . . . . . . . . . 349--378
Tufan Turacì and
Aysun Aytaç Combining the Concepts of Residual and
Domination in Graphs . . . . . . . . . . 379--392
Marco Maratea and
Ivan Serina and
Paolo Torroni Preface . . . . . . . . . . . . . . . . v--vii
Mario Alviano Argumentation Reasoning via
Circumscription with Pyglaf . . . . . . 1--30
Mario Alviano and
Carmine Dodaro Model Enumeration via Assumption
Literals . . . . . . . . . . . . . . . . 31--58
Günther Charwat and
Stefan Woltran Expansion-based QBF Solving on Tree
Decompositions . . . . . . . . . . . . . 59--92
Miguel A. González and
Angelo Oddi and
Riccardo Rasconi Efficient Approaches for Solving a
Multiobjective Energy-aware Job Shop
Scheduling Problem . . . . . . . . . . . 93--132
Valentino Santucci and
Marco Baioletti and
Alfredo Milani Tackling Permutation-based Optimization
Problems with an Algebraic Particle
Swarm Optimization Algorithm . . . . . . 133--158
William Fajardo A Computational Maple Library for Skew
PBW Extensions . . . . . . . . . . . . . 159--191
Marcin Michalak and
Dominik \'Sl\kezak On Boolean Representation of Continuous
Data Biclustering . . . . . . . . . . . 193--217
Darja Rupnik Poklukar and
Janez \vZerovnik Networks with Extremal Closeness . . . . 219--234
Piotr Wasilewski Algebras of Definable Sets vs. Concept
Lattices . . . . . . . . . . . . . . . . 235--256
Nikolay Bazhenov Computable Contact Algebras . . . . . . 257--269
Ali Gholami Rudi Approximate Hotspots of Orthogonal
Trajectories . . . . . . . . . . . . . . 271--285
Gösta Grahne and
Ali Moallemi Universal (and Existential) Nulls . . . 287--321
Hanna Klaudel and
Maciej Koutny and
Zhenhua Duan and
Ben Moszkowski From Box Algebra to Interval Temporal
Logic . . . . . . . . . . . . . . . . . 323--354
Suxia Jiang and
Yanfeng Wang and
Fei Xu and
Junli Deng Communication P Systems with Channel
States Working in Flat Maximally
Parallel Manner . . . . . . . . . . . . 1--24
Mieczys\law A. K\lopotek On the Existence of Kernel Function for
Kernel-Trick of $k$-Means in the Light
of Gower Theorem . . . . . . . . . . . . 25--43
Toshihiro Koga On the Density of Regular Languages . . 45--49
Yoann Marquer Algorithmic Completeness of Imperative
Programming Languages . . . . . . . . . 51--77
Roman Urban and
Hubert Anisimowicz A Note on the Durda, Caron, and Buchanan
Word Ambiguity Detection Algorithm . . . 79--88
Wladyslaw Skarbek and
Yu-Dong Zhang Foreword . . . . . . . . . . . . . . . . i--ii
W\ladys\law Skarbek Symbolic Tensor Neural Networks for
Digital Media --- from Tensor Processing
via BNF Graph Rules to CREAMS
Applications . . . . . . . . . . . . . . 89--184
Rafa\l Biedrzycki and
Pawe\l Zawistowski and
Bart\lomiej Twardowski Deep Learning Optimization Tasks and
Metaheuristic Methods . . . . . . . . . 185--218
Xiang Yu and
Shui-Hua Wang Abnormality Diagnosis in Mammograms by
Transfer Learning Based on ResNet18 . . 219--230
Jin Hong and
Hong Cheng and
Shui-Hua Wang and
Jie Liu Improvement of Cerebral Microbleeds
Detection Based on Discriminative
Feature Learning . . . . . . . . . . . . 231--248
Adam Kurowski and
Katarzyna Mrozik and
Bozena Kostek and
Andrzej Czyzewski Method for Clustering of Brain Activity
Data Derived from EEG Signals . . . . . 249--268
Ivona Tautkut\.e and
Tomasz Trzci\'nski Classifying and Visualizing Emotions
with Emotional DAN . . . . . . . . . . . 269--285
Rafa\l Pilarczyk and
Xin Chang and
W\ladys\law Skarbek Human Face Expressions from Images . . . 287--310
Maciej P\ke\'sko and
Adam Svystun and
Pawe\l Andruszkiewicz and
Przemys\law Rokita and
Tomasz Trzci\'nski Comixify: Transform Video Into Comics 311--333
Shailza Sharma and
Vivek Singh Bawa and
Vinay Kumar A Novel Two-stage Residual Learning
Based Convolutional Neural Network for
Image Super Resolution . . . . . . . . . 335--351
Victor Khomenko and
Jetty Kleijn and
Wojciech Penczek and
Olivier H. Roux Preface . . . . . . . . . . . . . . . . v--vi
Raymond Devillers and
Thomas Hujsa Analysis and Synthesis of Weighted
Marked Graph Petri Nets: Exact and
Approximate Methods . . . . . . . . . . 1--30
Ryszard Janicki and
Maciej Koutny Operational Semantics, Interval Orders
and Sequences of Antichains . . . . . . 31--55
Karsten Wolf Synthesis for Various Petri Net Classes
with Union/Find . . . . . . . . . . . . 57--84
Rüdiger Valk Formal Properties of Petri's Cycloid
Systems . . . . . . . . . . . . . . . . 85--121
Petr Jan\vcar and
Jérôme Leroux and
Grégoire Sutre Co-Finiteness and Co-Emptiness of
Reachability Sets in Vector Addition
Systems with States . . . . . . . . . . 123--150
Wil M. P. van der Aalst Lucent Process Models and Translucent
Event Logs . . . . . . . . . . . . . . . 151--177
Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis A Dynamic Logic Account of Active
Integrity Constraints . . . . . . . . . 179--210
P. Kavand and
A. Mohades Geodesic Center of a Simple Polygon
using a Logarithmic Number of Extra
Variables . . . . . . . . . . . . . . . 211--235
Bartosz Zieli\'nski A Query Language Based on Term Matching
and Rewriting . . . . . . . . . . . . . 237--274
Mieczys\law Kula and
Damian Niwi\'nski and
Jacek Pomyka\la Preface . . . . . . . . . . . . . . . . i--i
Robert Dry\lo and
Jacek Pomyka\la Jacobians of Hyperelliptic Curves over $
\mathbb {Z}_n $ and Factorization of $n$ 275--283
Robert Dry\lo and
Tomasz Kijko and
Micha\l Wro\'nski Determining Formulas Related to Point
Compression on Alternative Models of
Elliptic Curves . . . . . . . . . . . . 285--294
Lucjan Hanzlik and
Kamil Kluczniak and
Miros\law Kuty\lowski CTRL-PACE: Controlled Randomness for
e-Passport Password Authentication . . . 295--330
Pawe\l Morawiecki Malicious SHA-3 . . . . . . . . . . . . 331--343
Pavol Zajac Hybrid Encryption from McEliece
Cryptosystem with Pseudo-random Error
Vector . . . . . . . . . . . . . . . . . 345--360
Thorsten Altenkirch and
Aleksy Schubert Preface . . . . . . . . . . . . . . . . v--vi
Marc Bezem and
Thierry Coquand Skolem's Theorem in Coherent Logic . . . 1--14
Viviana Bono The Magda Language: Ten Years After . . 15--38
Paul Downen and
Zena M. Ariola and
Silvia Ghilezan The Duality of Classical Intersection
and Union Types . . . . . . . . . . . . 39--92
Andrej Dudenhefner and
Jakob Rehof Undecidability of Intersection Type
Inhabitation at Rank 3 and its
Formalization . . . . . . . . . . . . . 93--110
José Espírito Santo and
Ralph Matthes and
Luís Pinto Decidability of Several Concepts of
Finiteness for Simple Types . . . . . . 111--138
Herman Geuvers and
Iris van der Giessen and
Tonny Hurkens Strong Normalization for Truth Table
Natural Deduction . . . . . . . . . . . 139--176
Lars Hupel Certifying Dictionary Construction in
Isabelle/HOL . . . . . . . . . . . . . . 177--205
Assaf Kfoury Personal Reflections on the Role of
Mathematical Logic in Computer Science 207--221
Toshihiko Kurata and
Ken-etsu Fujita Neighbourhood and Lattice Models of
Second-Order Intuitionistic
Propositional Logic . . . . . . . . . . 223--240
Mawunyo Kofi Darkey-Mensah and
Przemys\law Koprowski Intrinsic Factorization of Ideals in
Dedekind Domains . . . . . . . . . . . . 325--338
Jeroen Ketema and
Jakob Grue Simonsen Computing with Infinite Terms and
Infinite Reductions . . . . . . . . . . 339--365
Roussanka Loukanova Gamma-Reduction in Type Theory of
Acyclic Recursion . . . . . . . . . . . 367--411