Results 11 to 20 of about 73,960 (240)

Termination of derivations for minimal tense logic

Lietuvos Matematikos Rinkinys, 2009
It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj   +1 more source

Visualization and heat transfer in a closed loop thermosyphon with a check valve

Case Studies in Thermal Engineering, 2020
Liquid-vapor flow separation is a major problem in the development of high-efficiency two phase thermosyphons. The closed loop thermosyphons with check valve (CLTP/CV) are able to completely separate the liquid-vapor flow and their efficiency is higher ...
S. Thongdaeng, N. Pipatpaiboon, A. Donmuang   +2 more
doaj   +1 more source

Full-color three-loop three-point form factors in 𝒩 = 4 SYM

Journal of High Energy Physics, 2022
We present the detailed computation of full-color three-loop three-point form factors of both the stress-tensor supermultiplet and a length-three BPS operator in 𝒩 = 4 SYM.
Guanda Lin, Gang Yang, Siyuan Zhang
doaj   +1 more source

Loop-check elimination for non-transitive distributed knowledge logic

Lietuvos Matematikos Rinkinys, 2008
A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj   +1 more source

The l-loop banana amplitude from GKZ systems and relative Calabi-Yau periods

Journal of High Energy Physics, 2020
We use the GKZ description of periods and certain classes of relative periods on families of Barth-Nieto Calabi-Yau (l − 1)-folds in order to solve the l-loop banana amplitudes with their general mass dependence.
Albrecht Klemm, Christoph Nega, Reza Safari   +2 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

Circular Wilson loop in N $$ \mathcal{N} $$ = 2* super Yang-Mills theory at two loops and localization

Journal of High Energy Physics, 2021
We present a two-loop calculation of the supersymmetric circular Wilson loop in the N $$ \mathcal{N} $$ = 2* super Yang-Mills theory on the four-sphere. We develop an efficient framework for computing contributing Feynman graphs that relies on using the ...
A. V. Belitsky, G. P. Korchemsky
doaj   +1 more source

Restrictions for loop-check in sequent calculus for temporal logic with until operator

Lietuvos Matematikos Rinkinys, 2009
In this paper, we present sequent calculus for branching-time temporal logic with until operator. This sequent calculus uses efficient loop-checktechinque.
Adomas Birštunas
doaj   +1 more source

The parton-level structure of e+e − to 2 jets at N3LO

Journal of High Energy Physics, 2023
We investigate the quantum chromodynamics (QCD) corrections to hadronic final states in electron-positron collisions at O $$ \mathcal{O} $$ ( α s 3 $$ {\alpha}_s^3 $$ ) in the strong coupling constant α s . Namely, we analytically compute the total cross
Petr Jakubčík, Matteo Marcoli, Giovanni Stagnitto   +2 more
doaj   +1 more source

Positivity bounds at one-loop level: the Higgs sector

Journal of High Energy Physics, 2023
In this paper, we promote the convex cone method of positive bounds from tree level to loop level. This method is general and can be applied to obtain leading s 2 positivity bounds on the forward scattering process in the standard model effective field ...
Xu Li
doaj   +1 more source