On the correctness of a branch displacement algorithm

The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions, of different sizes, for jumps of different displacements. The problem, which is provably NP-hard, is then to select the instructions such that one ends up with the smallest possible program. During our research with the CerCo project on formally verifying a C compiler, we have implemented and proven correct an algorithm for this problem. In this paper, we discuss the problem, possible solutions, our specific solutions and the proofs

A search for neutral Higgs bosons in the MSSM and models with two scalar field doublets

A search is described for the neutral Higgs bosons h^0 and A^0 predicted by models with two scalar field doublets and, in particular, the Minimal Supersymmetric Standard Model (MSSM). The search in the Z^0 h^0 and h^0 A^0 production channels is based on data corresponding to an integrated luminosity of 25 pb^{-1} from e^+e^- collisions at centre-of-mass energies between 130 and 172GeV collected with the OPAL detector at LEP. The observation of a number of candidates consistent with Standard Model background expectations is used in combination with earlier results from data collected at the Z^0 resonance to set limits on m_h and m_A in general models with two scalar field doublets and in the MSSM. For example, in the MSSM, for tan(beta) > 1, minimal and maximal scalar top quark mixing and soft SUSY-breaking masses of 1 TeV, the 95% confidence level limits m_h > 59.0 GeV and m_A > 59.5 GeV are obtained. For the first time, the MSSM parameter space is explored in a detailed scan.A search is described for the neutral Higgs bosons h^0 and A^0 predicted by models with two scalar field doublets and, in particular, the Minimal Supersymmetric Standard Model (MSSM). The search in the Z^0 h^0 and h^0 A^0 production channels is based on data corresponding to an integrated luminosity of 25 pb^{-1} from e^+e^- collisions at centre-of-mass energies between 130 and 172 GeV collected with the OPAL detector at LEP. The observation of a number of candidates consistent with Standard Model background expectations is used in combination with earlier results from data collected at the Z^0 resonance to set limits on m_h and m_A in general models with two scalar field doublets and in the MSSM. For example, in the MSSM, for tan(beta) > 1, minimal and maximal scalar top quark mixing and soft SUSY-breaking masses of 1 TeV, the 95% confidence level limits m_h > 59.0 GeV and m_A > 59.5 GeV are obtained. For the first time, the MSSM parameter space is explored in a detailed scan

Spin alignment of leading K∗(892)0K^{*}(892)^{0} mesons in hadronic Z0Z^0 decays

Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K ∗ (892) 0 mesons from hadronic Z 0 decays have been measured over the full range of K ∗ 0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x p values above 0.3, with the matrix element ϱ 00 rising to 0.66 ± 0.11 for x p > 0.7. The values of the real part of the off-diagonal element ϱ 1 - 1 are negative at large x p , with a weighted average value of −0.09 ± 0.03 for x p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the q q system from the Z 0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x p range. The K ∗ 0 fragmentation function has also been measured and the total rate determined to be 0.74 ± 0.02 ± 0.02 K ∗ (892) 0 mesons per hadronic Z 0 decay

Long-range Angular Correlations On The Near And Away Side In P-pb Collisions At √snn=5.02 Tev

7191/Mar294

Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time

This paper introduces a mechanism for combining unbounded lookahead exploration with linear time complexity in a deterministic parser. The ide