Results 21 to 30 of about 268,099 (291)
SPEEDY: An Eclipse-based IDE for invariant inference [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools.
David R. Cok, Scott C. Johnson
doaj +1 more source
Mathematics, 2022 This study investigates the robust stability analysis of an unstable second order plus time-delay (SOPTD) plant by using Fractional-Order Proportional Integral (FOPI) controllers.
Marzieh Asadi +4 more
doaj +1 more source
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source
Applied Sciences, 2021 Adaptive tracking control of the speed of a very elastically attached circular load driven by a direct current motor accompanied with an adaptive conventional and a fractional-order Proportional Integral Derivative (PID) controller is studied.
Paweł Olejnik +3 more
doaj +1 more source
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
Constant-time quantum algorithm for homology detection in closed curves
SciPost Physics, 2023 Given a loop or more generally 1-cycle $r$ of size L on a closed two-dimensional manifold or surface, represented by a triangulated mesh, a question in computational topology asks whether or not it is homologous to zero.
Nhat A. Nghiem Vu, Xianfeng David Gu, Tzu-Chieh Wei
doaj +1 more source
Redundancy Elimination and Loop Checks for Logic Programs
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
FERRUCCI, Filomena +2 more
openaire +3 more sources
Efficient loop-check for multimodal KD45n logic
Lietuvos matematikos rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use inference rules with or branches to make all rules invertible or semi-invertible.
openaire +2 more sources
The diagrammatic coaction and cuts of the double box
SciPost Physics Proceedings, 2022 The diagrammatic coaction encodes the analytic structure of Feynman integrals by mapping any given Feynman diagram into a tensor product of diagrams defined by contractions and cuts of the original diagram.
Einan Gardi, Aris Ioannou
doaj +1 more source
Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis [PDF]
, 2009 In this paper, we present our new worst-case execution time (WCET) analysis tool for Java processors, supporting both implicit path enumeration (IPET) and model checking based execution time estimation.
Huber, Benedikt, Schoeberl, Martin
core +2 more sources