Related papers: A tutorial for the MAPLE ETA package
We present Quantum MASALA, a compact package that implements different electronic structure methods in Python using the plane-wave basis. Within just 8100 lines of pure Python code, we have implemented Density Functional Theory (DFT),…
Presentation of set matrices and demonstration of their efficiency as a tool using the path/cycle problem.
This is the manual of the first version of QEDtool, an object-oriented Python package that performs numerical quantum electrodynamics calculations, with focus on full state reconstruction in the internal degrees of freedom, correlations and…
Deductive verification has become a mature paradigm for the verification of industrial software. Applying deductive verification, however, requires that every function in the code base is annotated with a function contract specifying its…
Although Extract Method is a key refactoring for improving program comprehension, refactoring tools for such purpose are often underused. To address this shortcoming, we present JExtract, a recommendation system based on structural…
Test time adaptation (TTA) equips deep learning models to handle unseen test data that deviates from the training distribution, even when source data is inaccessible. While traditional TTA methods often rely on entropy as a confidence…
$\tt DsixTools$ is a Mathematica package for the handling of the Standard Model Effective Field Theory (SMEFT) and the Low-energy Effective Field Theory (LEFT) with operators up to dimension six, both at the algebraic and numerical level.…
We assume some standard choices for the branch cuts of a group of functions and consider the problem of then calculating the branch cuts of expressions involving those functions. Typical examples include the addition formulae for inverse…
DDSCAT.5a is a freely available software package which applies the "discrete dipole approximation" (DDA) to calculate scattering and absorption of electromagnetic waves by targets with arbitrary geometries and complex refractive index. The…
We introduce real induction, a proof technique analogous to mathematical induction but applicable to statements indexed by an interval on the real line. More generally we give an inductive principle applicable in any Dedekind complete…
Let F be a local non-archimedean field. We prove a formula relating orbital integrals in GL(n,F) (for the unit Hecke function) and the generating series counting ideals of a certain ring. Using this formula, we give an explicit estimate for…
In the era of the Big Data revolution, methods for the automatic discovery of regularities in large datasets are becoming essential tools in applied sciences. This article presents an open software package, named MODULO (MODal mULtiscale…
Electromagnetic (EM) simulation plays a crucial role in analyzing and designing devices with sub-wavelength scale structures such as solar cells, semiconductor devices, image sensors, future displays and integrated photonic devices.…
The comparison of numerical data with published plots is a frequently occurring task. In this article I present a short computer program written in Java(TM) helping in those cases where someone wants to get the numbers out of a plot but is…
This paper is devoted to the function introduced by M. P. Appell in connection with decomposition of elliptic functions of the third kind into simple elements. We show that this function (which appeared as a Fukaya triple product in…
We study idempotent analogs of topological tensor products in the sense of A. Grothendieck. The basic concepts and results are simulated on the algebraic level. This is one of a series of papers on idempotent functional analysis.
A package of Maple 5.3 commands for doing calculations with anticommutative variables is presented.
In this paper we study multiple Dedekind symbols and the associated multiple reciprocity functions. There is a bijection between the two sets of them after a normalization. By this bijection we define products of multiple reciprocity…
The main objective of this paper is to give a summary of our recent work on recursion formulae for intersection numbers on moduli spaces of curves and their applications. We also present a conjectural relation between tautological rings and…
Test-Time Augmentation (TTA) is a very powerful heuristic that takes advantage of data augmentation during testing to produce averaged output. Despite the experimental effectiveness of TTA, there is insufficient discussion of its…