Abstract is missing.
- A Novel Ensemble Model - The Random Granular ReflectionsPiotr Artiemjew, Krzysztof Ropiak. [doi]
- The Influence of the Test Operator on the Expressive Powers of PDL-Like LogicsLinh Anh Nguyen. [doi]
- Deep Learning Guinea Pig Image Classification Using Nvidia DIGITS and GoogLeNetLukasz Zmudzinski. [doi]
- Automated Comparative Study of Some Generalized Rough ApproximationsAdam Grabowski. [doi]
- Investigating Characteristics and Differences Between Easy and Hard SAT InstancesTeofil Sidoruk. [doi]
- Compositional Expressiveness of Hybrid ModelsJafar Akhundov, Michael Reißner, Matthias Werner 0001. [doi]
- Formal Analysis of Complex Event Processing - Potential and ChallengesMatthias Weidlich. [doi]
- Preserving Behavior in Transition Systems from Event Structure ModelsIrina Virbitskaite, Nataliya Gribovskaya. [doi]
- The Bayes Theorem Counterpart in Mass-Based Rough MereologyLech Polkowski. [doi]
- On Some Heuristic Method for Optimal Workload ReconstructionMarcin Zimniak, Marta Burzanska, Bogdan Franczyk. [doi]
- Opacity-enforcing for Process AlgebrasDamas P. Gruska, M. Carmen Ruiz. [doi]
- Simulating Gene Regulatory Networks using Reaction SystemsRoberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo. [doi]
- Improving Efficiency of Model Checking for Variants of Alternating-time Temporal LogicWojciech Penczek. [doi]
- Automated Validation of Big Data Classifiers on Multiple Diverse DatasetsPrzemyslaw Czaus. [doi]
- Extensions of Elementary Cause-Effect StructuresLudwik Czaja. [doi]
- Hidden States in Reaction SystemsRoberta Gori, Damas P. Gruska, Paolo Milazzo. [doi]
- Formal Semantics for Probabilistic Verification of Stochastic Regular ExpressionsSinem Getir, Esteban Pavese, Lars Grunske. [doi]
- More about Left Recursion in PEGRoman R. Redziejowski. [doi]
- The Hierarchical Learning Algorithm for Deep Neural NetworksStanislaw Placzek, Aleksander Placzek. [doi]
- Linking Exploration Systems with Local Logicsover Information SystemsAndrzej Skowron, Soma Dutta, Grzegorz Rozenberg. [doi]