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

Convex relaxations of the AC Optimal Power Flow (OPF) problem are essential not only for identifying the globally optimal solution but also for enabling the use of OPF formulations in Bilevel Programming and Mathematical Programs with…

According to the modern paradigms of software engineering, standard tasks are best accomplished by reusable open source libraries. We describe OpenOrbitalOptimizer: a reusable open source C++ library for the iterative solution of coupled…

We propose a practical tool for evaluating and comparing the accuracy of FDMs for the Helmholtz equation. The tool based on Fourier analysis makes it easy to find wavenumber explicit order of convergence, and can be used for rigorous proof.…

Due to the fragility of quantum mechanical effects, real quantum computers are plagued by frequent noise effects that cause errors during computations. Quantum error-correcting codes address this problem by providing means to identify and…

We present a parameter estimation method in Ordinary Differential Equation (ODE) models. Due to complex relationships between parameters and states the use of standard techniques such as nonlinear least squares can lead to the presence of…

The calculation of the full electroweak O(alpha) corrections to the charged-current four-fermion production processes e+e- --> nu_tau tau+ mu- anti-nu_mu, u anti-d mu- anti-nu_mu, and u anti-d s anti-c is briefly reviewed. The calculation…

Ordinary Differential Equations are widespread tools to model chemical, physical, biological process but they usually rely on parameters which are of critical importance in terms of dynamic and need to be estimated directly from the data.…

In this paper, we discuss numerical methods for the eigenvalue decomposition of real symmetric matrices. While many existing methods can compute approximate eigenpairs with sufficiently small backward errors, the magnitude of the resulting…

In this paper we introduce the data from mineral water probe with errors in both variables. For this case we apply our orthonormal polynomial expansion(OPEM) method to describe the data in the new error corridor. It receives the…

Verifying properties of object-oriented software requires a method for handling references in a simple and intuitive way, closely related to how O-O programmers reason about their programs. The method presented here, a Calculus of Object…

Precision electroweak physics can provide fertile ground for uncovering new physics beyond the Standard Model (SM). One area in which new physics can appear is in so-called "oblique corrections", i.e., next-to-leading order expansions of…

We present precise predictions for the processes e+ e- -> WW -> 4f(gamma) at LEP2 and future Linear-Collider (LC) energies obtained with the Monte Carlo generator RacoonWW. The program RacoonWW includes the complete O(alpha) electroweak…

For users to trust model predictions, they need to understand model outputs, particularly their confidence - calibration aims to adjust (calibrate) models' confidence to match expected accuracy. We argue that the traditional calibration…

Electroweak radiative corrections form a crucial ingredient in modern precision calculations for particle processes at high-energy colliders such as the Large Hadron Collider. The salient features of electroweak corrections as well as…

A new recalibration post-processing method is presented to improve the quality of the posterior approximation when using Approximate Bayesian Computation (ABC) algorithms. Recalibration may be used in conjunction with existing…

Several reasonably model-independent formulations of the implications of new physics for precision electroweak measurements have been developed over the past years, most notably by Peskin and Takeuchi, and by Altarelli \etal. These…

We update our analysis of precision electroweak measurements using the latest data announced at Moriond, March 1998. Possible oblique corrections from new physics are parametrized using the STU formalism of Ref.[1], and non-oblique…

Probabilistic model checking computes probabilities and expected values related to designated behaviours of interest in Markov models. As a formal verification approach, it is applied to critical systems; thus we trust that probabilistic…

We present the version 2.0 of the program package GoSam for the automated calculation of one-loop amplitudes. GoSam is devised to compute one-loop QCD and/or electroweak corrections to multi-particle processes within and beyond the Standard…

Precision measurements of electroweak observables provide stringent tests of the Standard Model structure and an accurate determination of its parameters. An overview of the present experimental status is presented.