Results 1 to 10 of about 1,862,843 (333)
Generic Modal Cut Elimination Applied to Conditional Logics [PDF]
, 2011 We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide
A. Ciabattoni and K. Terui +11 more
core +1 more source
A tale of two exponentiations in N=8 supergravity
Physics Letters B, 2019 The structure of scattering amplitudes in supergravity theories continues to be of interest. Recently, the amplitude for 2→2 scattering in N=8 supergravity was presented at three-loop order for the first time.
Paolo Di Vecchia +5 more
doaj +1 more source
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems [PDF]
, 2023 Toshiaki Aoki +9 more
openalex +1 more source
Sampling Loop Test Check Evaluation of Secondary System based on VAE-WSVM Data Mining
Zhongguo dianliAnalyze the hidden dangers existing in the sampling circuit of the secondary system, and in view of the defects that the existing methods are difficult to obtain large amount of data, based on the historical measurement data, the variational autoencoder ...
Xiangguo YIN +4 more
doaj +1 more source
Boundaries of amplituhedra and NMHV symbol alphabets at two loops
Journal of High Energy Physics, 2018 In this sequel to [3] we classify the boundaries of amplituhedra relevant for determining the branch points of general two-loop amplitudes in planar N=4 $$ \mathcal{N}=4 $$ super-Yang-Mills theory.
I. Prlina +3 more
doaj +1 more source
Non-planar one-loop Parke-Taylor factors in the CHY approach for quadratic propagators
Journal of High Energy Physics, 2018 In this work we have studied the Kleiss-Kuijf relations for the recently introduced Parke-Taylor factors at one-loop in the CHY approach, that reproduce quadratic Feynman propagators.
Naser Ahmadiniaz +2 more
doaj +1 more source
One-loop algebras and fixed flow trajectories in adjoint multi-scalar gauge theory
Journal of High Energy Physics, 2023 We study the one loop renormalisation of 4d SU(N) Yang-Mills theory with M adjoint representation scalar multiplets related by O(M) symmetry. General M are of field theoretic interest, and the 4d one loop beta function of the gauge coupling g 2 vanishes ...
Nadia Flodgren, Bo Sundborg
doaj +1 more source
Generalizing completeness results for loop checks in logic programming
Theoretical Computer Science, 1992 Loop checking is one of the fundamental problems encountered during the search of effective algorithms for logic programming. This complex problem cannot be solved in full generality (even in absence of function symbols). In \textit{R. N. Bol, K. R. Apt} and \textit{J. W. Klop} [ Theor. Comput. Sci. 86, No.
openaire +2 more sources
Two-loop infrared renormalization with on-shell methods
European Physical Journal C: Particles and Fields, 2023 Within the framework proposed by Caron-Huot and Wilhelm, we give a recipe for computing infrared anomalous dimensions purely on-shell, efficiently up to two loops in any massless theory.
Pietro Baratella +3 more
doaj +1 more source
, 2017 We define a procedure to extract the oscillating part of a given nonlinear Power Spectrum, and derive an equation describing its evolution including the leading effects at all scales.
Noda, Eugenio +2 more
core +1 more source