Results 51 to 60 of about 1,862,843 (333)
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
Demonstration of the Equivalence of Soft and Zero-Bin Subtractions [PDF]
, 2007 Calculations of collinear correlation functions in perturbative QCD and Soft-Collinear Effective Theory (SCET) require a prescription for subtracting soft or zero-bin contributions in order to avoid double counting the contributions from soft modes.
Ahmad Idilbi +3 more
core +3 more sources
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
An analysis of loop checking mechanisms for logic programs
Theoretical Computer Science, 1991 All methods of detecting divergence in computations of logic programs have been based on excluding some kinds of repetitions by so called loop checking. Loop checking mechanisms are systematically studied by considering their soundness, completeness and relative strength.
Bol, Roland N. +2 more
openaire +2 more sources
Higher-Order Corrections in Threshold Resummation [PDF]
, 2005 We extend the threshold resummation exponents G^N in Mellin-N space to the fourth logarithmic (N^3LL) order collecting the terms alpha_s^2 (alpha_s ln N)^n to all orders in the strong coupling constant as. Comparing the results to our previous three-loop
A. Vogt +42 more
core +2 more sources
The all-loop conjecture for integrands of reggeon amplitudes in N=4 $$ \mathcal{N}=4 $$ SYM
Journal of High Energy Physics, 2018 In this paper we present the all-loop conjecture for integrands of Wilson line form factors, also known as reggeon amplitudes, in N=4 $$ \mathcal{N}=4 $$ SYM.
A. E. Bolshov +2 more
doaj +1 more source
On Redundancy Elimination Tolerant Scheduling Rules
, 2000 In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such that redundancy elimination from resolvents is performed after each ...
Ferrucci, F., Pacini, G., Sessa, M. I.
core +1 more source
Non-termination Analysis of Logic Programs with Integer arithmetics
, 2011 In the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is ...
Danny De Schreye +5 more
core +2 more sources
Gauge Consistent Wilson Renormalization Group II: Non-Abelian Case [PDF]
, 1998 We give a wilsonian formulation of non-abelian gauge theories explicitly consistent with axial gauge Ward identitities. The issues of unitarity and dependence on the quantization direction are carefully investigated.
Capper O. M. +6 more
core +5 more sources
Loop checking in partial deduction
The Journal of Logic Programming, 1993 Although partial evaluation dates back to the 1970s, and was introduced into logic programming in the early 1980s, the topic only recently has attracted more substantial attention. In the framework of \textit{J. W. Lloyd} and \textit{J. C. Shepherdson} [J. Log. Program. 11, No. 3/4, 217-242 (1991; Zbl 0741.68030)], partial deduction, as it is called in
openaire +2 more sources