SPEIR: Scottish Portals for Education, Information and Research. Final Project Report: Elements and Future Development Requirements of a Common Information Environment for Scotland

The SPEIR (Scottish Portals for Education, Information and Research) project was funded by the Scottish Library and Information Council (SLIC). It ran from February 2003 to September 2004, slightly longer than the 18 months originally scheduled and was managed by the Centre for Digital Library Research (CDLR). With SLIC's agreement, community stakeholders were represented in the project by the Confederation of Scottish Mini-Cooperatives (CoSMiC), an organisation whose members include SLIC, the National Library of Scotland (NLS), the Scottish Further Education Unit (SFEU), the Scottish Confederation of University and Research Libraries (SCURL), regional cooperatives such as the Ayrshire Libraries Forum (ALF)1, and representatives from the Museums and Archives communities in Scotland. Aims; A Common Information Environment For Scotland The aims of the project were to: o Conduct basic research into the distributed information infrastructure requirements of the Scottish Cultural Portal pilot and the public library CAIRNS integration proposal; o Develop associated pilot facilities by enhancing existing facilities or developing new ones; o Ensure that both infrastructure proposals and pilot facilities were sufficiently generic to be utilised in support of other portals developed by the Scottish information community; o Ensure the interoperability of infrastructural elements beyond Scotland through adherence to established or developing national and international standards. Since the Scottish information landscape is taken by CoSMiC members to encompass relevant activities in Archives, Libraries, Museums, and related domains, the project was, in essence, concerned with identifying, researching, and developing the elements of an internationally interoperable common information environment for Scotland, and of determining the best path for future progress

Measurement of the fraction of t-tbar production via gluon-gluon fusion in p-pbar collisions at sqrt(s)=1.96 TeV

We present a measurement of the ratio of t-tbar production cross section via gluon-gluon fusion to the total t-tbar production cross section in p-pbar collisions at sqrt{s}=1.96 TeV at the Tevatron. Using a data sample with an integrated luminosity of 955/pb recorded by the CDF II detector at Fermilab, we select events based on the t-tbar decay to lepton+jets. Using an artificial neural network technique we discriminate between t-tbar events produced via q-qbar annihilation and gluon-gluon fusion, and find Cf=(gg->ttbar)/(pp->ttbar)<0.33 at the 68% confidence level. This result is combined with a previous measurement to obtain the most precise measurement of this quantity, Cf=0.07+0.15-0.07.Comment: submitted to Phys. Rev.

Measurement of Resonance Parameters of Orbitally Excited Narrow B^0 Mesons

We report a measurement of resonance parameters of the orbitally excited (L=1) narrow B^0 mesons in decays to B^{(*)+}\pi^- using 1.7/fb of data collected by the CDF II detector at the Fermilab Tevatron. The mass and width of the B^{*0}_2 state are measured to be m(B^{*0}_2) = 5740.2^{+1.7}_{-1.8}(stat.) ^{+0.9}_{-0.8}(syst.) MeV/c^2 and \Gamma(B^{*0}_2) = 22.7^{+3.8}_{-3.2}(stat.) ^{+3.2}_{-10.2}(syst.) MeV/c^2. The mass difference between the B^{*0}_2 and B^0_1 states is measured to be 14.9^{+2.2}_{-2.5}(stat.) ^{+1.2}_{-1.4}(syst.) MeV/c^2, resulting in a B^0_1 mass of 5725.3^{+1.6}_{-2.2}(stat.) ^{+1.4}_{-1.5}(syst.) MeV/c^2. This is currently the most precise measurement of the masses of these states and the first measurement of the B^{*0}_2 width.Comment: 7 pages, 1 figure, 1 table. Submitted to Phys.Rev.Let

Search for lepton flavor violating decays of a heavy neutral particle in p-pbar collisions at root(s)=1.8 TeV

We report on a search for a high mass, narrow width particle that decays directly to e+mu, e+tau, or mu+tau. We use approximately 110 pb^-1 of data collected with the Collider Detector at Fermilab from 1992 to 1995. No evidence of lepton flavor violating decays is found. Limits are set on the production and decay of sneutrinos with R-parity violating interactions.Comment: Figure 2 fixed. Reference 4 fixed. Minor changes to tex

Does Gender Discrimination Impact Regular Mammography Screening? Findings from the Race Differences in Screening Mammography Study

Objective: To determine if gender discrimination, conceptualized as a negative life stressor, is a deterrent to adherence to mammography screening guidelines. Methods: African American and white women (1451) aged 40–79 years who obtained an index screening mammogram at one of five urban hospitals in Connecticut between October 1996 and January 1998 were enrolled in this study. This logistic regression analysis includes the 1229 women who completed telephone interviews at baseline and follow-up (average 29.4 months later) and for whom the study outcome, nonadherence to age-specific mammography screening guidelines, was determined. Gender discrimination was measured as lifetime experience in seven possible situations. Results: Gender discrimination, reported by nearly 38% of the study population, was significantly associated with non-adherence to mammography guidelines in women with annual family incomes of $50,000 or greater (or 1.99, 95% CI 1.33, 2.98) and did not differ across racial/ethnic groups. Conclusions: Our findings suggest that gender discrimination can adversely influence regular mammography screening in some women. With nearly half of women nonadherent to screening mammography guidelines in this study and with decreasing mammography rates nationwide, it is important to address the complexity of nonadherence across subgroups of women. Life stressors, such as experiences of gender discrimination, may have considerable consequences, potentially influencing health prevention prioritization in women

Software Model Checking with Explicit Scheduler and Symbolic Threads

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal verification of such software poses significant challenges. On the one side, each thread may have infinite state space, and might call for abstraction. On the other side, the scheduling policy is often important for correctness, and an approach based on abstracting the scheduler may result in loss of precision and false positives. Unfortunately, the translation of the problem into a purely sequential software model checking problem turns out to be highly inefficient for the available technologies. We propose a software model checking technique that exploits the intrinsic structure of these programs. Each thread is translated into a separate sequential program and explored symbolically with lazy abstraction, while the overall verification is orchestrated by the direct execution of the scheduler. The approach is optimized by filtering the exploration of the scheduler with the integration of partial-order reduction. The technique, called ESST (Explicit Scheduler, Symbolic Threads) has been implemented and experimentally evaluated on a significant set of benchmarks. The results demonstrate that ESST technique is way more effective than software model checking applied to the sequentialized programs, and that partial-order reduction can lead to further performance improvements.Comment: 40 pages, 10 figures, accepted for publication in journal of logical methods in computer scienc

Racah coefficients and extended HOMFLY polynomials for all 5-, 6- and 7-strand braids

Basing on evaluation of the Racah coefficients for SU_q(3) (which supported the earlier conjecture of their universal form) we derive explicit formulas for all the 5-, 6- and 7-strand Wilson averages in the fundamental representation of arbitrary SU(N) group (the HOMFLY polynomials). As an application, we list the answers for all 5-strand knots with 9 crossings. In fact, the 7-strand formulas are sufficient to reproduce all the HOMFLY polynomials from the katlas.org: they are all described at once by a simple explicit formula with a very transparent structure. Moreover, would the formulas for the relevant SU_q(3) Racah coefficients remain true for all other quantum groups, the paper provides a complete description of the fundamental HOMFLY polynomials for all braids with any number of strands.Comment: 16 pages + Tables and Appendice

Training emergency services’ dispatchers to recognise stroke: an interrupted time-series analysis

Background: Stroke is a time-dependent medical emergency in which early presentation to specialist care reduces death and dependency. Up to 70% of all stroke patients obtain first medical contact from the Emergency Medical Services (EMS). Identifying ‘true stroke’ from an EMS call is challenging, with over 50% of strokes being misclassified. The aim of this study was to evaluate the impact of the training package on the recognition of stroke by Emergency Medical Dispatchers (EMDs). Methods: This study took place in an ambulance service and a hospital in England using an interrupted time-series design. Suspected stroke patients were identified in one week blocks, every three weeks over an 18 month period, during which time the training was implemented. Patients were included if they had a diagnosis of stroke (EMS or hospital). The effect of the intervention on the accuracy of dispatch diagnosis was investigated using binomial (grouped) logistic regression. Results: In the Pre-implementation period EMDs correctly identified 63% of stroke patients; this increased to 80% Post-implementation. This change was significant (p=0.003), reflecting an improvement in identifying stroke patients relative to the Pre-implementation period both the During-implementation (OR=4.10 [95% CI 1.58 to 10.66]) and Post-implementation (OR=2.30 [95% CI 1.07 to 4.92]) periods. For patients with a final diagnosis of stroke who had been dispatched as stroke there was a marginally non-significant 2.8 minutes (95% CI −0.2 to 5.9 minutes, p=0.068)reduction between Pre- and Post-implementation periods from call to arrival of the ambulance at scene. Conclusions: This is the first study to develop, implement and evaluate the impact of a training package for EMDs with the aim of improving the recognition of stroke. Training led to a significant increase in the proportion of stroke patients dispatched as such by EMDs; a small reduction in time from call to arrival at scene by the ambulance also appeared likely. The training package has been endorsed by the UK Stroke Forum Education and Training, and is free to access on-line

HOMFLY and superpolynomials for figure eight knot in all symmetric and antisymmetric representations

Explicit answer is given for the HOMFLY polynomial of the figure eight knot $4_1$ in arbitrary symmetric representation R=[p]. It generalizes the old answers for p=1 and 2 and the recently derived results for p=3,4, which are fully consistent with the Ooguri-Vafa conjecture. The answer can be considered as a quantization of the \sigma_R = \sigma_{[1]}^{|R|} identity for the "special" polynomials (they define the leading asymptotics of HOMFLY at q=1), and arises in a form, convenient for comparison with the representation of the Jones polynomials as sums of dilogarithm ratios. In particular, we construct a difference equation ("non-commutative A-polynomial") in the representation variable p. Simple symmetry transformation provides also a formula for arbitrary antisymmetric (fundamental) representation R=[1^p], which also passes some obvious checks. Also straightforward is a deformation from HOMFLY to superpolynomials. Further generalizations seem possible to arbitrary Young diagrams R, but these expressions are harder to test because of the lack of alternative results, even partial.Comment: 14 page

The effect of tidal flow directionality on tidal turbine performance characteristics

With many Tidal Energy Conversion (TEC) devices at full scale prototype stage there are two distinct design groups for Horizontal Axis Tidal Turbines (HATTs). Devices with a yaw mechanism allowing the turbine to always face into the flow, and devices with blades that can rotate through 180° to harness a strongly bi-directional flow. As marine turbine technology verges on the realm of economic viability this paper reveals the performance of Cardiff University's concept tidal turbine with its support structure either upstream or downstream and with various proximities between the rotating plane of the turbine and its support stanchion. Through the use of validated Computational Fluid Dynamics (CFD) modelling this work shows the optimal proximity between rotor plane and stanchion as well as establishing, in the given context, the use of a yaw mechanism to be superior to a bi-directional system from a performance perspective