相关论文: OPUCEM: A Library with Error Checking Mechanism fo…

This is a pedagogical and self-contained review on obtaining electroweak precision constraints on TeV scale new physics using the effective theory method. We identify a set of relevant effective operators in the standard model and calculate…

In this talk, using deconstruction, we analyze the form of the corrections to the electroweak interactions in a large class of ``Higgsless'' models of electroweak symmetry breaking, allowing for arbitrary 5-D geometry, position-dependent…

We perform a comprehensive analysis of electroweak, QED and mixed QCD-electroweak corrections underlying the precise measurement of the W-boson mass M_W at hadron colliders. By applying a template fitting technique, we detail the impact on…

The Projection on Proper elements (PoPe) is a novel method of code control dedicated to 1) checking the correct implementation of models, 2) determining the convergence of numerical methods and 3) characterizing the residual errors of any…

We introduce a new technique for solving uni-parametric versions of linear programs, convex quadratic programs, and linear complementarity problems in which a single parameter is permitted to be present in any of the input data. We…

Storage systems have a strong need for substantially improving their error correction capabilities, especially for long-term storage where the accumulating errors can exceed the decoding threshold of error-correcting codes (ECCs). In this…

The presence of measurement error is a widespread issue which, when ignored, can render the results of an analysis unreliable. Numerous corrections for the effects of measurement error have been proposed and studied, often under the…

The need to estimate a positive definite solution to an overdetermined linear system of equations with multiple right hand side vectors arises in several process control contexts. The coefficient and the right hand side matrices are…

The systematic uncertainty on the W mass and width measurement resulting from the imperfect knowledge of electroweak radiative corrections is discussed. The intrinsic uncertainty in the 4-f generator used by the DELPHI Collaboration is…

We discuss the development of the theory of electroweak radiative corrections and its role in testing the Standard Model, predicting the top quark mass, constraining the Higgs boson mass, and searching for deviations that may signal the…

Theories can be represented as statistical models for empirical testing. There is a vast literature on model selection and multimodel inference that focuses on how to assess which statistical model, and therefore which theory, best fits the…

This paper focuses on integer linear programs where solutions are binary matrices, and the corresponding symmetry group is the set of all column permutations. Orbitopal fixing, as introduced by Kaibel et al., is a technique designed to…

This dissertation addresses a topic that I have worked on over the past decade: the automation of next-to-leading order electroweak corrections in the Standard Model of particle physics. After introducing the basic concepts and techniques…

Statistical models can involve implicitly defined quantities, such as solutions to nonlinear ordinary differential equations (ODEs), that unavoidably need to be numerically approximated in order to evaluate the model. The approximation…

We obtain the bounds on arbitrary linear combinations of operators of dimension 6 in the Standard Model. We consider a set of 21 flavor and CP conserving operators. Each of our 21 operators is tightly constrained by the standard set of…

In recent months, large language models (LLMs) have made significant progress in mathematical proof generation, but further advancement is hindered by the lack of a large-scale, high-quality dataset of human-evaluated proofs. While…

Parity-violating Moller scattering measurements are a powerful probe of new physics effects, and the upcoming high-precision experiments will require a new level of accuracy for electroweak radiative corrections (EWC). First, we perform the…

Inexact computing also referred to as approximate computing is a style of designing algorithms and computing systems wherein the accuracy of correctness of algorithms executing on them is deliberately traded for significant resource…

It is well known that exact notions of model abstraction and reduction for dynamical systems may not be robust enough in practice because they are highly sensitive to the specific choice of parameters. In this paper we consider this problem…

Electroweak precision observables allow stringent tests of the Standard Model at the quantum level and imply interesting bounds on the mass of the Higgs boson through higher-order loop effects. Very significant constraints come especially…