Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol

We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity requirements specified. Two different model checking techniques (ordered binary decision diagrams and SAT-based bounded model checking) are evaluated and compared to verify the protocols

TracMouse : A computer aided movement analysis script for the mouse inverted horizontal grid test

This work was funded by NCN grant 2014/15/B/NZ4/05041 and TauRx Therapeutics/WisTa Laboratories Ltd., Singapore and by statutory funds from the Nencki Institute of Experimental Biology.Peer reviewedPublisher PD

The First 1 1/2 Years of TOTEM Roman Pot Operation at LHC

Since the LHC running season 2010, the TOTEM Roman Pots (RPs) are fully operational and serve for collecting elastic and diffractive proton-proton scattering data. Like for other moveable devices approaching the high intensity LHC beams, a reliable and precise control of the RP position is critical to machine protection. After a review of the RP movement control and position interlock system, the crucial task of alignment will be discussed.Comment: 3 pages, 6 figures; 2nd International Particle Accelerator Conference (IPAC 2011), San Sebastian, Spain; contribution MOPO01

The influence of a virtual companion on amusement when watching funny films

We investigated the role of a virtual companion and trait cheerfulness on the elicitation of amusement. Ninety participants watched funny films in four conditions: either alone, with a virtual companion laughing or verbally expressing amusement at fixed time points (pre-scripted), or additionally joining the participant’s laughter (responsive companion). Amusement was assessed facially and vocally by coding Duchenne Displays and laughter vocalizations. Participants’ cheerful mood pre and post the film watching and positive experience were assessed. Results showed that high trait cheerful individuals generally experienced and expressed more amusement than low trait cheerful individuals. The presence of a virtual companion (compared to being alone) led to more laughter for individuals low in trait cheerfulness. Unexpectedly, the responsive companion did not elicit more amusement than the pre-scripted companion. The general disliking of virtual companions and gelotophobia related negatively to amusement. Amusement expressing virtual companions may be used in interventions aiming at eliciting positive responses, especially for individuals with higher thresholds for amusement.European Union Seventh Framework Programme (FP7/2007-2013) under Grant Agreement No. 27078

First Results from the TOTEM Experiment

The first physics results from the TOTEM experiment are here reported, concerning the measurements of the total, differential elastic, elastic and inelastic pp cross-section at the LHC energy of $\sqrt{s}$ = 7 TeV, obtained using the luminosity measurement from CMS. A preliminary measurement of the forward charged particle $\eta$ distribution is also shown.Comment: Conference Proceeding. MPI@LHC 2010: 2nd International Workshop on Multiple Partonic Interactions at the LHC. Glasgow (UK), 29th of November to the 3rd of December 201

Elastic Scattering and Total Cross-Section in p+p reactions measured by the LHC Experiment TOTEM at sqrt(s) = 7 TeV

Proton-proton elastic scattering has been measured by the TOTEM experiment at the CERN Large Hadron Collider at $\sqrt{s} = 7$ TeV in special runs with the Roman Pot detectors placed as close to the outgoing beam as seven times the transverse beam size. The differential cross-section measurements are reported in the |t|-range of 0.36 to 2.5 GeV^2. Extending the range of data to low t values from 0.02 to 0.33 GeV^2,and utilizing the luminosity measurements of CMS, the total proton-proton cross section at sqrt(s) = 7 TeV is measured to be (98.3 +- 0.2(stat) +- 2.8(syst)) mb.Comment: Proceedings of the XLI International Symposium on Multiparticle Dynamics. Accepted for publication in Prog. Theor. Phy

LHC Optics Measurement with Proton Tracks Detected by the Roman Pots of the TOTEM Experiment

Precise knowledge of the beam optics at the LHC is crucial to fulfil the physics goals of the TOTEM experiment, where the kinematics of the scattered protons is reconstructed with the near-beam telescopes -- so-called Roman Pots (RP). Before being detected, the protons' trajectories are influenced by the magnetic fields of the accelerator lattice. Thus precise understanding of the proton transport is of key importance for the experiment. A novel method of optics evaluation is proposed which exploits kinematical distributions of elastically scattered protons observed in the RPs. Theoretical predictions, as well as Monte Carlo studies, show that the residual uncertainty of this optics estimation method is smaller than 0.25 percent.Comment: 20 pages, 11 figures, 5 figures, to be submitted to New J. Phy

Double diffractive cross-section measurement in the forward region at LHC

The first double diffractive cross-section measurement in the very forward region has been carried out by the TOTEM experiment at the LHC with center-of-mass energy of sqrt(s)=7 TeV. By utilizing the very forward TOTEM tracking detectors T1 and T2, which extend up to |eta|=6.5, a clean sample of double diffractive pp events was extracted. From these events, we measured the cross-section sigma_DD =(116 +- 25) mub for events where both diffractive systems have 4.7 <|eta|_min < 6.5 .Comment: 5 pages, 1 figure, submitted for publicatio

Performance of the TOTEM Detectors at the LHC

The TOTEM Experiment is designed to measure the total proton-proton cross-section with the luminosity-independent method and to study elastic and diffractive pp scattering at the LHC. To achieve optimum forward coverage for charged particles emitted by the pp collisions in the interaction point IP5, two tracking telescopes, T1 and T2, are installed on each side of the IP in the pseudorapidity region 3.1 < = |eta | < = 6.5, and special movable beam-pipe insertions - called Roman Pots (RP) - are placed at distances of +- 147 m and +- 220 m from IP5. This article describes in detail the working of the TOTEM detector to produce physics results in the first three years of operation and data taking at the LHC.Comment: 40 pages, 31 figures, submitted to Int. J. Mod. Phys.