Several prior research contributions [15, 9] have explored the problem of distinguishing “benign” and harmful data races to make it easier for programmers to focus on a subset of the output from a data race detector. Here we argue that, although such a distinction makes sense at the machine code level, it does not make sense at the C or C++ source code level. In one sense, this is obvious: The ...

Eigenvalue analysis plays an important role in understanding physical phenomena. However, if one deals with strongly nonnormal matrices or operators, the eigen-values alone may not tell the full story. A popular tool which can be useful to get more insight in the reliability or sensitivity of eigenvalues is "-pseudospectra. Apart from "-pseudospectra we consider other tools which might help to ...

We present the C++ program library mr that allows us to reliably calculate the values of the running parameters in the Standard Model at high energy scales. The initial conditions are obtained by relating the running parameters in the MS renormalization scheme to observables at lower energies with full two-loop precision. The evolution is then performed in accordance with the renormalization gr...

A topological existence proof is presented for certain symmetrical periodic orbits of the collinear three-body problem with two equal masses, called Schubart orbits. The proof is based on the construction of a Wazewski setW in the phase space. The periodic orbits are found by a shooting argument in which symmetrical initial conditions enteringW are followed under the flow until they exit W. Top...

This lecture takes a closer look at Hermitian matrices and at their eigenvalues. After a few generalities about Hermitian matrices, we prove a minimax and maximin characterization of their eigenvalues, known as Courant–Fischer theorem. We then derive some consequences of this characterization, such as Weyl theorem for the sum of two Hermitian matrices, an interlacing theorem for the sum of two ...

These inequalities express the fact that no curve of order k and defined at the p points can meet the net in more than yok points. Coble' has conjectured that the conditions (1) and (2) are sufficient as well as necessary. In this paper we will show that the conditions (2) are actually sufficient. Indeed, the less stringent set of inequalities given in (5) will suffice. The notation and point o...