Results 31 to 40 of about 1,862,843 (333)
Consistency check on the fundamental and alternative flux operators in loop quantum gravity [PDF]
Chinese Physics C, High Energy Physics & Nuclear Physics, 2019 There are different constructions of the flux of triad in loop quantum gravity, namely the fundamental and alternative flux operators. In parallel to the consistency check on the two versions of operator by the algebraic calculus in the literature, we ...
Jinsong Yang, Yongge Ma
semanticscholar +1 more source
Cosmological scattering equations at tree-level and one-loop [PDF]
Journal of High Energy Physics, 2021 We recently proposed a formula for tree-level n-point correlators of massive ϕ4 theory in de Sitter momentum space which consists of an integral over n punctures on the Riemann sphere and differential operators in the future boundary dubbed the ...
Humberto Gomez +2 more
semanticscholar +1 more source
Efficient decision procedure for Belief modality
Lietuvos Matematikos Rinkinys, 2005 This paper defines decision algorithm for subclass of BKD45DKDIKD logic which is based on known algorithm for temporal BKD45DKDIKD logic [2]. BDI logics are widely used in agent based systems. Such usage of BDI logic can be found in [1].
Adomas Birštunas
doaj +3 more sources
Advanced Loop Thermosiphon With Check Valve (ALT/CV): Thermal Performance and Behavior
International Journal of Renewable Energy Development, 2021 Nanofluids (NFs) are an attractive alternative to traditional working fluids for thermosiphons, but the solid nanoparticles (NPs) within the NF can agglomerate and reduce the thermal performance.
Khridsadakhon Booddachan +2 more
doaj +1 more source
Rapid SARS-CoV-2 Detection Using the Lucira™ Check It COVID-19 Test Kit
Diagnostics, 2022 The need for the early identification of SARS-CoV-2 has let to a quest for reliable tests that meet the standards of polymerase chain reaction (PCR) tests, on the one hand, and are low-cost, easy-to-use, and fast, on the other hand.
Maya Zahavi +4 more
semanticscholar +1 more source
Target tracking mission system design and application
Hangkong gongcheng jinzhan, 2023 Man-aircraft closed-loop characteristics is very important for the high precision flight mission.In order to check man-aircraft closed-loop characteristics under the condition of shortage of flight test resources, a visual target tracking system is ...
ZHANG Ying +3 more
doaj +1 more source
Liouville field theory with heavy charges. II. The conformal boundary case [PDF]
, 2006 We develop a general technique for computing functional integrals with fixed area and boundary length constraints. The correct quantum dimensions for the vertex functions are recovered by properly regularizing the Green function.
A. Erdelyi +13 more
core +2 more sources
Loop checking and negation [PDF]
The Journal of Logic Programming, 1991 AbstractIn this paper we extend the concept of loop checking from positive programs (as described in [1]) to locally stratified programs. Such an extension is not straightforward: the introduction of negation requires a (re)consideration of the choice of semantics, the description of a related search space, and new soundness and completeness results ...
openaire +1 more source
Calculation of Feynman loop integration and phase-space integration via auxiliary mass flow [PDF]
, 2020 We extend the auxiliary-mass-flow (AMF) method originally developed for Feynman loop integration to calculate integrals involving also phase-space integration.
Xiao Liu +3 more
semanticscholar +1 more source
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