Probabilistic Anonymity

The concept of anonymity comes into play in a wide range of situations, varying from voting and anonymous donations to postings on bulletin boards and sending mails. A formal definition of this concept has been given in literature in terms of nondeterminism. In this paper, we investigate a notion of anonymity based on probability theory, and we we discuss the relation with the nondeterministic one. We then formulate this definition in terms of observables for processes in the probabilistic $pi$-calculus, and propose a method to verify automatically the anonymity property. We illustrate the method by using the example of the dining cryptographers

Learning by Teaching SimStudent: Technical Accomplishments and an Initial Use with Students

The purpose of the current study is to test whether we could create a system where students can learn by teaching a live machine-learning agent, called SimStudent. SimStudent is a computer agent that interactively learns cognitive skills through its own tutored-problem solving experience. We have developed a game-like learning environment where students learn algebra equations by tutoring SimStudent. While Simulated Students, Teachable Agents and Learning Companion systems have been created, our study is unique that it genuinely learns skills from student input. This paper describes the overview of the learning environment and some results from an evaluation study. The study showed that after tutoring SimStudent, the students improved their performance on equation solving. The number of correct answers on the error detection items was also significantly improved. On average students spent 70.0 minutes on tutoring SimStudent and used an average of 15 problems for tutoring. © Springer-Verlag Berlin Heidelberg 2010

A measurement of the tau mass and the first CPT test with tau leptons

We measure the mass of the tau lepton to be 1775.1+-1.6(stat)+-1.0(syst.) MeV using tau pairs from Z0 decays. To test CPT invariance we compare the masses of the positively and negatively charged tau leptons. The relative mass difference is found to be smaller than 3.0 10^-3 at the 90% confidence level.Comment: 10 pages, 4 figures, Submitted to Phys. Letts.

First Measurement of Z/gamma* Production in Compton Scattering of Quasi-real Photons

We report the first observation of Z/gamma* production in Compton scattering of quasi-real photons. This is a subprocess of the reaction e+e- to e+e-Z/gamma*, where one of the final state electrons is undetected. Approximately 55 pb-1 of data collected in the year 1997 at an e+e- centre-of-mass energy of 183 GeV with the OPAL detector at LEP have been analysed. The Z/gamma* from Compton scattering has been detected in the hadronic decay channel. Within well defined kinematic bounds, we measure the product of cross-section and Z/gamma* branching ratio to hadrons to be (0.9+-0.3+-0.1) pb for events with a hadronic mass larger than 60 GeV, dominated by (e)eZ production. In the hadronic mass region between 5 GeV and 60 GeV, dominated by (e)egamma* production, this product is found to be (4.1+-1.6+-0.6) pb. Our results agree with the predictions of two Monte Carlo event generators, grc4f and PYTHIA.Comment: 18 pages, LaTeX, 5 eps figures included, submitted to Physics Letters

Measurement of the B0 Lifetime and Oscillation Frequency using B0->D*+l-v decays

The lifetime and oscillation frequency of the B0 meson has been measured using B0->D*+l-v decays recorded on the Z0 peak with the OPAL detector at LEP. The D*+ -> D0pi+ decays were reconstructed using an inclusive technique and the production flavour of the B0 mesons was determined using a combination of tags from the rest of the event. The results t_B0 = 1.541 +- 0.028 +- 0.023 ps, Dm_d = 0.497 +- 0.024 +- 0.025 ps-1 were obtained, where in each case the first error is statistical and the second systematic.Comment: 17 pages, 4 figures, submitted to Phys. Lett.

Search for Higgs Bosons in e+e- Collisions at 183 GeV

The data collected by the OPAL experiment at sqrts=183 GeV were used to search for Higgs bosons which are predicted by the Standard Model and various extensions, such as general models with two Higgs field doublets and the Minimal Supersymmetric Standard Model (MSSM). The data correspond to an integrated luminosity of approximately 54pb-1. None of the searches for neutral and charged Higgs bosons have revealed an excess of events beyond the expected background. This negative outcome, in combination with similar results from searches at lower energies, leads to new limits for the Higgs boson masses and other model parameters. In particular, the 95% confidence level lower limit for the mass of the Standard Model Higgs boson is 88.3 GeV. Charged Higgs bosons can be excluded for masses up to 59.5 GeV. In the MSSM, mh > 70.5 GeV and mA > 72.0 GeV are obtained for tan{beta}>1, no and maximal scalar top mixing and soft SUSY-breaking masses of 1 TeV. The range 0.8 < tanb < 1.9 is excluded for minimal scalar top mixing and m{top} < 175 GeV. More general scans of the MSSM parameter space are also considered.Comment: 49 pages. LaTeX, including 33 eps figures, submitted to European Physical Journal

A Measurement of the Product Branching Ratio f(b->Lambda_b).BR(Lambda_b->Lambda X) in Z0 Decays

The product branching ratio, f(b->Lambda_b).BR(Lambda_b->Lambda X), where Lambda_b denotes any weakly-decaying b-baryon, has been measured using the OPAL detector at LEP. Lambda_b are selected by the presence of energetic Lambda particles in bottom events tagged by the presence of displaced secondary vertices. A fit to the momenta of the Lambda particles separates signal from B meson and fragmentation backgrounds. The measured product branching ratio is f(b->Lambda_b).BR(Lambda_b->Lambda X) = (2.67+-0.38(stat)+0.67-0.60(sys))% Combined with a previous OPAL measurement, one obtains f(b->Lambda_b).BR(Lambda_b->Lambda X) = (3.50+-0.32(stat)+-0.35(sys))%.Comment: 16 pages, LaTeX, 3 eps figs included, submitted to the European Physical Journal

WW Production Cross Section and W Branching Fractions in e+e- Collisions at 189 GeV

From a data sample of 183 pb^-1 recorded at a center-of-mass energy of roots = 189 GeV with the OPAL detector at LEP, 3068 W-pair candidate events are selected. Assuming Standard Model W boson decay branching fractions, the W-pair production cross section is measured to be sigmaWW = 16.30 +- 0.34(stat.) +- 0.18(syst.) pb. When combined with previous OPAL measurements, the W boson branching fraction to hadrons is determined to be 68.32 +- 0.61(stat.) +- 0.28(syst.) % assuming lepton universality. These results are consistent with Standard Model expectations.Comment: 22 pages, 5 figures, submitted to Phys. Lett.

Genuine Correlations of Like-Sign Particles in Hadronic Z0 Decays

Correlations among hadrons with the same electric charge produced in Z0 decays are studied using the high statistics data collected from 1991 through 1995 with the OPAL detector at LEP. Normalized factorial cumulants up to fourth order are used to measure genuine particle correlations as a function of the size of phase space domains in rapidity, azimuthal angle and transverse momentum. Both all-charge and like-sign particle combinations show strong positive genuine correlations. One-dimensional cumulants initially increase rapidly with decreasing size of the phase space cells but saturate quickly. In contrast, cumulants in two- and three-dimensional domains continue to increase. The strong rise of the cumulants for all-charge multiplets is increasingly driven by that of like-sign multiplets. This points to the likely influence of Bose-Einstein correlations. Some of the recently proposed algorithms to simulate Bose-Einstein effects, implemented in the Monte Carlo model PYTHIA, are found to reproduce reasonably well the measured second- and higher-order correlations between particles with the same charge as well as those in all-charge particle multiplets.Comment: 26 pages, 6 figures, Submitted to Phys. Lett.