Results 31 to 40 of about 79,255 (279)
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
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
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
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
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
One- and two-loop checks for the AdS3×S3×T4superstring with mixed flux [PDF]
Journal of Physics A: Mathematical and Theoretical, 2015 We compute the one-loop worldsheet S-matrix for the superstring in AdS(3) x S(3) x T(4) supported by a combination of RR and NSNS flux in the massive sector. In the appropriate regularization scheme it agrees with the S-matrix found from symmetry considerations including the proposed dressing phases.
Per Sundin, Linus Wulff
openaire +3 more sources
Families of Conformal Fixed Points of N=2 Chern-Simons-Matter Theories
, 2010 We argue that a large class of N=2 Chern-Simons-matter theories in three dimensions have a continuous family of exact IR fixed points described by suitable quartic superpotentials, based on holomorphy. The entire family exists in the perturbative regime.
Chang, Chi-Ming, Yin, Xi
core +1 more source
Clinical Insights Into Hypercalcemia of Malignancy in Childhood
Pediatric Blood &Cancer, EarlyView.ABSTRACT Hypercalcemia of malignancy (HCM) is a rare but life‐threatening metabolic emergency in children that occurs in less than 1% of pediatric cancer cases, with a reported incidence ranging from 0.4% to 1.0% across different studies. While it is observed in 10%–20% of adult malignancies, pediatric HCM remains relatively uncommon.
Hüseyin Anıl Korkmaz
wiley +1 more source
Loop checking in SLD-derivations by well-quasi-ordering of goals
Theoretical Computer Science, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
PACINI G., SESSA, Maria Immacolata
openaire +2 more sources