Results 21 to 30 of about 79,255 (279)
Modular control-loop detection [PDF]
, 2006 This paper presents an efficient algorithm to detect control-loops in large finite-state systems. The proposed algorithm exploits the modular structure present in many models of practical relevance, and often successfully avoids the explicit ...
Malik, Petra, Malik, Robi
core +2 more sources
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
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
Range Analysis of Binaries with Minimal Effort [PDF]
, 1992 COTS components are ubiquitous in military, industrial and governmental systems. However, the bene?fits of reduced development and maintainance costs are compromised by security concerns.
Barrett, Edd, King, Andy
core +1 more source
Loop checks for logic programs with functions
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shen, Yi-Dong +2 more
openaire +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 +1 more source
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
Theoretical Computer Science, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bezem, Marc, Coquand, Thierry
openaire +3 more sources
Generalized Gribov-Lipatov Reciprocity and AdS/CFT [PDF]
, 2010 Planar N=4 SYM theory and QCD share the gluon sector, suggesting the investigation of Gribov-Lipatov reciprocity in the supersymmetric theory. Since the AdS/CFT correspondence links N=4 SYM and superstring dynamics on AdS5xS5, reciprocity is also ...
Beccaria, M., Forini, V., Macorini, G.
core +4 more sources
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 +2 more
doaj +1 more source
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
D. Sahlin, J.-Y. Girard, R. Dyckhoff
core +4 more sources