3,733 research outputs found
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures
Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols
Polarization dependence of four-wave mixing in a degenerate two-level system
Nearly degenerate four-wave mixing (NDFWM) within a closed degenerate
two-level atomic transition is theoretically and experimentally examined. Using
the model presented by A. Lezama et al [Phys. Rev. A 61, 013801 (2000)] the
NDFWM spectra corresponding to different pump and probe polarization cases are
calculated and discussed. The calculated spectra are compared to the
observation of NDFWM within the transition of
cesium in a phase conjugation experiment using magneto optically cooled atomsComment: 10 pages, 13 figures; submitted to Phys. Rev.
Tangential retinal displacement increases after macular pucker surgery: An apparent nonsense
Purpose: To measure the tangential retinal displacement and vision before and after macular pucker surgery and study if pars plana vitrectomy with epiretinal membrane peeling allows the reconstitution of previous anatomy or else it results in a different configuration. Methods: Retrospective series of patients undergoing pars plana vitrectomy for epiretinal membrane, with >6-month follow-up before and after surgery, complete with best-corrected visual acuity, optical coherence tomography, M-Charts, and infrared retinography. Tangential retinal displacement between earliest visit (T E ), time of surgery (T 0 ), and latest available visit (T L ) of the examined retina, concentric circles at 0.5, 1.5, and 4.5 mm radii, and the central horizontal and vertical meridians were measured. Tangential displacement was calculated as the optical flow of consecutive infrared photographs. Results: The study comprised 32 patients: 15 men and 17 women. Average preoperative and postoperative follow-up were 23.4 ± 27.9 months and 19.2 ± 11.8 months, respectively. Best-corrected visual acuity reduced before surgery (0.69 ± 0.16 Snellen to 0.46 ± 0.17; P < 0.001) and increased after (0.866 ± 0.16 Snellen; P < 0.001). Horizontal and vertical metamorphopsia increased between before surgery but only horizontal metamorphopsia significantly reduced after. Average tangential displacement before surgery was 35.6 ± 29.9 μ m versus 56.6 ± 41.3 μ m after ( P = 0.023). Preoperative and postoperative displacement within the fovea was less than over the entire area ( P < 0.001). Conclusion: Retinal tangential displacement between diagnosis and surgery (T E - T 0 ) is less than the displacement occurring after surgery (T 0 - T L ). Postoperative displacement does not represent the restoration of the anatomy existing before the disease ensued but rather the resulting equilibrium of newly deployed forces
Non-equilibrium dynamics: Studies of reflection of Bose-Einstein condensates
The study of the non-equilibrium dynamics in Bose-Einstein condensed gases
has been dominated by the zero-temperature, mean field Gross-Pitaevskii
formalism. Motivated by recent experiments on the reflection of condensates
from silicon surfaces, we revisit the so-called {\em classical field}
description of condensate dynamics, which incorporates the effects of quantum
noise and can also be generalized to include thermal effects. The noise is
included in a stochastic manner through the initial conditions. We show that
the inclusion of such noise is important in the quantitative description of the
recent reflection experiments
Double marking revisited
In 2002, the Qualifications and Curriculum Authority (QCA) published the report of an independent panel of experts into maintaining standards at Advanced Level (A-Level). One of its recommendations was for: ‘limited experimental double marking of scripts in subjects such as English to determine whether the strategy would signi-ficantly reduce errors of measurement’ (p. 24). This recommendation provided the impetus for this paper which reviews the all but forgotten literature on double marking and considers its relevance now
Recommended from our members
Effective elements of cognitive behaviour therapy for psychosis: results of a novel type of subgroup analysis based on principal stratification
Background. Meta-analyses show that cognitive behaviour therapy for psychosis (CBT-P) improves distressing positive symptoms. However, it is a complex intervention involving a range of techniques. No previous study has assessed the delivery of the different elements of treatment and their effect on outcome. Our aim was to assess the differential effect of type of treatment delivered on the effectiveness of CBT-P, using novel statistical methodology.
Method. The Psychological Prevention of Relapse in Psychosis (PRP) trial was a multi-centre randomized controlled trial (RCT) that compared CBT-P with treatment as usual (TAU). Therapy was manualized, and detailed evaluations of therapy delivery and client engagement were made. Follow-up assessments were made at 12 and 24 months. In a planned analysis, we applied principal stratification (involving structural equation modelling with finite mixtures) to estimate intention-to-treat (ITT) effects for subgroups of participants, defined by qualitative and quantitative differences in receipt of therapy, while maintaining the constraints of randomization.
Results. Consistent delivery of full therapy, including specific cognitive and behavioural techniques, was associated with clinically and statistically significant increases in months in remission, and decreases in psychotic and affective symptoms. Delivery of partial therapy involving engagement and assessment was not effective.
Conclusions. Our analyses suggest that CBT-P is of significant benefit on multiple outcomes to patients able to engage in the full range of therapy procedures. The novel statistical methods illustrated in this report have general application to the evaluation of heterogeneity in the effects of treatment
Coherent spin control by electromagnetic vacuum fluctuations
In coherent control, electromagnetic vacuum fluctuations usually cause
coherence loss through irreversible spontaneous emission. However, since the
dissipation via emission is essentially due to correlation of the fluctuations,
when emission ends in a superposition of multiple final states, correlation
between different pathways may build up if the "which-way" information is not
fully resolved (i.e., the emission spectrum is broader than the transition
energy range). Such correlation can be exploited for spin-flip control in a
-type three-level system, which manifests itself as an all-optical
spin echo in nonlinear optics with two orders of optical fields saved as
compared with stimulated Raman processes. This finding represents a new class
of optical nonlinearity induced by electromagnetic vacuum fluctuations.Comment: 7 pages including 5 figure
Systematic effects and a new determination of the primordial abundance of 4He and dY/dZ from observations of blue compact galaxies
We use spectroscopic observations of a sample of 82 HII regions in 76 blue
compact galaxies to determine the primordial helium abundance Yp and the slope
dY/dZ from the Y-O/H linear regression. To improve the accuracy of the dY/dZ
measurement, we have included new spectrophotometric observations of 33 HII
regions which span a large metallicity range, with oxygen abundance 12+log(O/H)
varying between 7.43 and 8.30 (Zsun/30<Z<Zsun/4). For a subsample of 7 HII
regions, we derive the He mass fraction taking into account known systematic
effects, including collisional and fluorescent enhancements of HeI emission
lines, collisional excitation of hydrogen emission, underlying stellar HeI
absorption and the difference between the temperatures Te(HeII) in the He^+
zone and Te(OIII) derived from the collisionally excited [OIII] lines. We find
that the net result of all the systematic effects combined is small, changing
the He mass fraction by less than 0.6%. By extrapolating the Y vs. O/H linear
regression to O/H=0 for 7 HII regions of this subsample, we obtain
Yp=0.2421+/-0.0021 and dY/dO=5.7+/-1.8, which corresponds to dY/dZ=3.7+/-1.2,
assuming the oxygen mass fraction to be O=0.66Z. In the framework of the
standard Big Bang nucleosynthesis theory, this Yp corresponds to Omega_b h^2 =
0.012^+0.003_-0.002, where h is the Hubble constant in units of 100 km/s/Mpc.
This is smaller at the 2sigma level than the value obtained from recent
deuterium abundance and microwave background radiation measurements. The linear
regression slope dY/dO=4.3+/-0.7 (corresponding to dY/dZ=2.8+/-0.5) for the
whole sample of 82 HII regions is similar to that derived for the subsample of
7 HII regions, although it has a considerably smaller uncertainty.Comment: 53 pages, 3 Postscript figures, accepted for publication in the
Astrophysical Journa
Wavelength modulation spectroscopy of single quantum dots
We demonstrate that external cavity diode lasers with large mode-hop-free tuning ranges (up to 80 GHz) together with wavelength modulation spectroscopy can be used to study excitonic transitions in semiconductor nanostructures. Such transitions are characterized by homogeneous linewidths typically on the order of a few GHz. Wavelength modulation spectroscopy offers a high signal-to-noise method for the determination of resonance line shapes. We have used this technique to accurately measure dipole moments and dephasing rates of single semiconductor quantum dot eigenstates. These measurements are important for the use of quantum dots in semiconductor cavities and quantum logic gates, and for an improved understanding of the physics of exciton confinement. © 2002 American Institute of Physics.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/70029/2/APPLAB-80-11-1876-1.pd
- …