Abstract: The algorithm and specialized VLC-structures for calculus of maximum and minimum values is offered and the estimation of their basic performances is conducted. Published in: The Experience ...

Abstract: This chapter contains sections titled: Introduction, The Propositional µ-Calculus, Evaluating Fixpoint Formulas, Ordered Binary Decision Diagrams (OBDDs), Translating the µ-Calculus into ...

To run this project execute main.py: usage: main.py [-h] [-lts LABELED_TRANSITION_SYSTEM] [-mcf MODAL_CALCULUS_FORMULA] options: -h, --help show this help message and exit -lts ...

Antoine Amend, Johannes Graner, Andrew Morgan and Raazesh Sainudiin (2020-2021). A Scalable Library for Trader-Perceived Financial Events in an Interval-valued Time ...

ABSTRACT: In this paper, we study a space-fractional anomalous diffusion in a variable area. The moving boundary is assumed moving with constant speed. The numerical scheme was present by changing the ...