Fundamenta Informaticae

Interleaving Based Model Checking of Concurrency and Causality

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Rough Sets and Sorites Paradox

Reversing Transitions in Bounded Petri Nets

Human Face Expressions from Images 2D Face Geometry and 3D Face Local Motion versus Deep Neural Features

Method for Clustering of Brain Activity Data Derived from EEG Signals

Deep Learning Optimization Tasks and Metaheuristic Methods

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*

A Note on the Durda, Caron, and Buchanan Word Ambiguity Detection Algorithm

On the Existence of Kernel Function for Kernel-Trick of k-Means in the Light of Gower Theorem