Results 41 to 50 of about 396 (66)

Automated One-loop Computation in Quarkonium Process within NRQCD Framework

, 2013
In last decades, it has been realized that the next-to-leading order corrections may become very important, and sometimes requisite, for some processes involving quarkoinum production or decay, e.g., $e^+e^- \to J/\psi + \eta_c$ and $J/\psi \to 3\gamma$.
Feng, Feng
core   +1 more source

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

, 2017
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus.
A Stump, A Voronkov, CE Brown, G Alagi, G Sutcliffe, GL Martin Davis, H Nivelle, J Boudou, J McCharen, K Korovin, K Korovin, M Davis, MP Bonacina, P Baumgartner, P Baumgartner, P Baumgartner, W McCune   +16 more
core   +1 more source

3-loop Massive $O(T_F^2)$ Contributions to the DIS Operator Matrix Element $A_{gg}$

, 2014
Contributions to heavy flavour transition matrix elements in the variable flavour number scheme are considered at 3-loop order. In particular a calculation of the diagrams with two equal masses that contribute to the massive operator matrix element $A_ ...
Ablinger, J., Blümlein, J., De Freitas, A., Hasselhuhn, A., Round, M., Schneider, C., von Manteuffel, A.   +6 more
core  

Numerical Implementation of Harmonic Polylogarithms to Weight w = 8

, 2018
We present the FORTRAN-code HPOLY.f for the numerical calculation of harmonic polylogarithms up to w = 8 at an absolute accuracy of $\sim 4.9 \cdot 10^{-15}$ or better. Using algebraic and argument relations the numerical representation can be limited to
Ablinger, J., Blümlein, J., Round, M., Schneider, C.   +3 more
core   +2 more sources

The O(\alpha_s^3) Heavy Flavor Contributions to the Charged Current Structure Function xF_3(x,Q^2) at Large Momentum Transfer

, 2015
We calculate the massive Wilson coefficients for the heavy flavor contributions to the non-singlet charged current deep-inelastic scattering structure function $xF_3^{W^+}(x,Q^2)+xF_3^{W^-}(x,Q^2)$ in the asymptotic region $Q^2 \gg m^2$ to 3-loop order ...
Behring, A., Blümlein, J., De Freitas, A., Hasselhuhn, A., Schneider, C., von Manteuffel, A.   +5 more
core   +1 more source

Towards an exact adaptive algorithm for the determinant of a rational matrix

, 2007
In this paper we propose several strategies for the exact computation of the determinant of a rational matrix. First, we use the Chinese Remaindering Theorem and the rational reconstruction to recover the rational determinant from its modular images ...
Urbanska, Anna
core   +2 more sources

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part II: Applications, Cognitive Models, and Challenges

ACM Computing Surveys, 2023
Denis Kleyko, Dmitri A Rachkovskij, Evgeny Osipov   +2 more
exaly  

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part I: Models and Data Transformations

ACM Computing Surveys, 2023
Denis Kleyko, Dmitri A Rachkovskij, Evgeny Osipov   +2 more
exaly  

AI Feynman: A physics-inspired method for symbolic regression

Science Advances, 2020
Silviu-Marian Udrescu, Max Erik Tegmark
exaly  

Simple descriptor derived from symbolic regression accelerating the discovery of new perovskite catalysts

Nature Communications, 2020
Baicheng Weng, Qingde Sun, Yanfa Yan
exaly