Related papers: TSIL: a program for the calculation of two-loop se…
We present MaRTIn, an extendable all-in-one package for calculating amplitudes up to two loops in an expansion in external momenta or using the method of infrared rearrangement. Renormalizable and non-renormalizable models can be supplied…
The theory of self-reciprocal functions is applied to the study Mordell type integrals. We find two particular eigenfunctions of the double cosine Fourier transform and then use them to evaluate certain one- and two-dimensional Mordell type…
We introduce Spiral, a third-order integration algorithm for the rotational motion of extended bodies. It requires only one force calculation per time step, does not require quaternion normalization at each time step, and can be formulated…
We explore the combination of deterministic and Monte Carlo methods to facilitate efficient automatic numerical computation of multidimensional integrals with singular integrands. Two adaptive algorithms are presented that employ recursion…
SecDec is a program which can be used for the factorisation of poles and subsequent numerical evaluation of multi-loop integrals, in particular massive two-loop integrals. We show applications to two-loop master integrals entering the…
The $\epsilon$-expansion of several two-loop self-energy diagrams with different thresholds and one mass are calculated. On-shell results are reduced to multiple binomial sums which values are presented in analytical form.
The Semi-Implicit Root solver (SIR) is an iterative method for globally convergent solution of systems of nonlinear equations. Since publication, SIR has proven robustness for a great variety of problems. We here present MATLAB and MAPLE…
In this paper the reversibility of executable Interval Temporal Logic (ITL) specifications is investigated. ITL allows for the reasoning about systems in terms of behaviours which are represented as non-empty sequences of states. It allows…
In this paper a library for spin--angular integration in LS-coupling for many-electron atoms is presented. The software is an implementation of a methodology based on the second quantization in coupled tensorial form, the angular momentum…
Hard thermal loops describe how soft gauge fields are screened and damped in hot plasmas. As such they are used to calculate transport coefficients, Sphaleron rates, equations of state, and particle production. However, most calculations…
Energy disaggregation, known in the literature as Non-Intrusive Load Monitoring (NILM), is the task of inferring the energy consumption of each appliance given the aggregate signal recorded by a single smart meter. In this paper, we propose…
Based on the previously developed Energy Conserving Semi Implicit Method (ECsim) code, we present its cylindrical implementation, called ECsim-CYL, to be used for axially symmetric problems. The main motivation for the development of the…
We consider one-loop tensor and scalar integrals, which occur in a massless quantum field theory and we report on the implementation into a numerical program of an algorithm for the automated computation of these one-loop integrals. The…
We present ShinRL, an open-source library specialized for the evaluation of reinforcement learning (RL) algorithms from both theoretical and practical perspectives. Existing RL libraries typically allow users to evaluate practical…
We propose an interval extension of Signal Temporal Logic (STL) called Interval Signal Temporal Logic (\ISTL). Given an STL formula, we consider an interval inclusion function for each of its predicates. Then, we use minimal inclusion…
We employ a thermodynamic integration method (TIM) to establish the values of the residual entropy for the geometrically frustrated spin-s triangular Ising antiferromagnet, with the spin values s = 1/2, 1, 3/2, 2 and 5/2. The case of s =…
Symbolic integration deals with the evaluation of integrals in closed form. We present an overview of Risch's algorithm including recent developments. The algorithms discussed are suited for both indefinite and definite integration. They…
Scientific applications consist of large and computationally-intensive loops. Dynamic loop scheduling (DLS) techniques are used to load balance the execution of such applications. Load imbalance can be caused by variations in loop iteration…
We compute the electron self-energy in Quantum Electrodynamics to three loops in terms of iterated integrals over kernels of elliptic type. We make use of the differential equations method, augmented by an $\epsilon$-factorized basis, which…
We study model confidence calibration in class-incremental learning, where models learn from sequential tasks with different class sets. While existing works primarily focus on accuracy, maintaining calibrated confidence has been largely…