相关论文: OPUCEM: A Library with Error Checking Mechanism fo…
In many problems in Computational Physics and Chemistry, one finds a special kind of sparse matrices, termed "banded matrices". These matrices, which are defined as having non-zero entries only within a given distance from the main…
Increasing the penetration of variable generation has a substantial effect on the operational reliability of power systems. The higher level of uncertainty that stems from this variability makes it more difficult to determine whether a…
The cross-section for $\gamma\gamma\to W^+ W^-$ with arbitrary polarized photons and W bosons is calculated within the electroweak Standard Model including the complete virtual and soft-photonic ${\cal O}(\alpha)$ corrections. We present a…
The widespread adoption of complex machine learning models in high-stakes domains has brought the "black-box" problem to the forefront of responsible AI research. This paper aims at addressing this issue by improving the Explainable…
Electroweak precision tests of the Standard Model of the fundamental interactions are reviewed ranging from the lowest to the highest energy experiments. Results from global fits are presented with particular emphasis on the extraction of…
We present the open source distributed software package Poisson-Boltzmann Analytical Method (PB-AM), a fully analytical solution to the linearized Poisson Boltzmann equation, for molecules represented as non-overlapping spherical cavities.…
Climate models are generally calibrated manually by comparing selected climate statistics, such as the global top-of-atmosphere energy balance, to observations. The manual tuning only targets a limited subset of observational data and…
Because of the infrared renormalons, it is difficult to get power accuracy in the traditional approach to the Wilson's operator product expansion. Based on a new perturbative renormalization scheme for power-divergent operators, I propose a…
Uncertainty quantification by ensemble learning is explored in terms of an application from computational optical form measurements. The application requires to solve a large-scale, nonlinear inverse problem. Ensemble learning is used to…
Linear approximations of the AC power flow equations are of great significance for the computational efficiency of large-scale optimal power flow (OPF) problems. Put differently, the feasibility of the obtained solution is essential for…
In this article, a software package code named OPSIAL (Optical Plasma Spectral Calculation And Parameters Retrieval) for rigorously calculating optical plasma spectra and for automatically retrieving plasma parameters is presented. OPSIAL…
Cosmological parameter estimation from forthcoming experiments promise to reach much greater precision than current constraints. As statistical errors shrink, the required control over systematic errors increases. Therefore, models or…
The oblique part of the radiative corrections to the Left-Right model is described. The leading non-logarithmic terms are explicitly written. It is argued, on the basis of a comparison with the Standard Model, that one cannot use the loop…
In this paper, we further develop the approach, originating in [14 (arXiv:1311.6765),20 (arXiv:1604.02576)], to "computation-friendly" hypothesis testing and statistical estimation via Convex Programming. Specifically, we focus on…
Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC…
We provide tools to help automate the error analysis of algorithms that evaluate simple functions over the floating-point numbers. The aim is to obtain tight relative error bounds for these algorithms, expressed as a function of the unit…
In this note is presented a method, given nodal values on multidimensional nonconforming spectral elements, for calculating global Fourier-series coefficients. This method is ``exact'' in that given the approximation inherent in the…
In these lectures we give a discussion of the structure of the electroweak standard model and its quantum corrections for tests of the electroweak theory. The predictions for the vector boson masses, neutrino scattering cross sections and…
Eclipsing binaries provide one of the most direct mechanisms for measuring stellar properties such as mass and radius, but historically, determining these properties has been non-trivial and computationally prohibitive. As such, only a…
Formula-based debugging techniques are becoming increasingly popular, as they provide a principled way to identify potentially faulty statements together with information that can help fix such statements. Although effective, these…