Results 1 to 10 of about 529 (91)

Elimination of loop-check for logic of idealized knowledge

Lietuvos Matematikos Rinkinys, 2009
In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj   +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 ...
Adomas Birštunas
doaj   +3 more sources

Cut, invariant rule, and loop-check free sequent calculus for PLTL

Lietuvos Matematikos Rinkinys, 2011
In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis, Regimantas Pliuškevičius   +1 more
doaj   +2 more sources

Real-world evaluation of the Lucira Check-It COVID-19 loop-mediated amplification (LAMP) test

Microbiology Spectrum, 2023
In hospitals during the COVID-19 pandemic, laboratory testing was important to reduce SARS-CoV-2 transmissions, particularly for high-risk settings like the emergency department and pre-operative settings and for the safe return to work of exposed ...
Elizabeth Simms, Gregory R. McCracken, Todd F. Hatchette, Shelly A. McNeil, Ian Davis, Noella Whelan, Angela Keenan, Jason J. LeBlanc, Glenn Patriquin   +8 more
doaj   +2 more sources

Restrictions for loop-check in sequent calculus for temporal logic

Lietuvos Matematikos Rinkinys, 2008
In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj   +3 more sources

Specialization of derivations in modal logic S5

Lietuvos Matematikos Rinkinys, 2023
Loop-check-free decidable specialization of sequent calculus for modal logic S5 is presented. Soundness and completness of this calculus is proved.
Aida Pliuškevičienė
doaj   +3 more sources

Efficient decision procedure for Belief modality

Lietuvos Matematikos Rinkinys, 2005
This paper defines decision algorithm for subclass of BKD45DKDIKD logic which is based on known algorithm for temporal BKD45DKDIKD logic [2]. BDI logics are widely used in agent based systems. Such usage of BDI logic can be found in [1].
Adomas Birštunas
doaj   +3 more sources

Advanced Loop Thermosiphon With Check Valve (ALT/CV): Thermal Performance and Behavior

International Journal of Renewable Energy Development, 2021
Nanofluids (NFs) are an attractive alternative to traditional working fluids for thermosiphons, but the solid nanoparticles (NPs) within the NF can agglomerate and reduce the thermal performance.
Khridsadakhon Booddachan, Nipon Bhuwakietkumjohn, Thanya Parameethanuwat   +2 more
doaj   +1 more source

Target tracking mission system design and application

Hangkong gongcheng jinzhan, 2023
Man-aircraft closed-loop characteristics is very important for the high precision flight mission.In order to check man-aircraft closed-loop characteristics under the condition of shortage of flight test resources, a visual target tracking system is ...
ZHANG Ying, MENG Zehai, RAO Qiulei, HE Tai   +3 more
doaj   +1 more source

One loop mass renormalization of massive states using pure spinor formalism

Journal of High Energy Physics, 2023
As a check of the first massive integrated vertex operator in the pure spinor formalism constructed in arXiv:1802.04486 , we compute the one loop 2-point function of the stable non BPS massive states in SO(32) heterotic string theory.
Sitender Pratap Kashyap, Mritunjay Verma
doaj   +1 more source