The local and global dimensions of metalliferous pollution derived from a reconstruction of an eight thousand year record of copper smelting and mining at a desert-mountain frontier in southern Jordan

Grattan, J.P., Gilbertson, D.D., Hunt, C.O. (2007). The local and global dimensions of metaliferrous air pollution derived from a reconstruction of an 8 thousand year record of copper smelting and mining at a desert-mountain frontier in southern Jordan. Journal of Archaeological Science 34, 83-110

The impact of short duration, high intensity exercise on cardiac troponin release

The aim of this study was to assess the appearance of cardiac troponins (cTnI and/or cTnT) after a short bout (30 s) of ‘all-out’ intense exercise and to determine the stability of any exercise-related cTnI release in response to repeated bouts of high intensity exercise separated by 7 days recovery. Eighteen apparently healthy, physically active, male university students completed two all-out 30 s cycle sprint, separated by 7 days. cTnI, blood lactate and catecholamine concentrations were measured before, immediately after and 24 h after each bout. Cycle performance, heart rate and blood pressure responses to exercise were also recorded. Cycle performance was modestly elevated in the second trial [6·5% increase in peak power output (PPO)]; there was no difference in the cardiovascular, lactate or catecholamine response to the two cycle trials. cTnI was not significantly elevated from baseline through recovery (Trial 1: 0·06 ± 0·04 ng ml−1, 0·05 ± 0·04 ng ml−1, 0·03 ± 0·02 ng ml−1; Trial 2: 0·02 ± 0·04 ng ml−1, 0·04 ± 0·03 ng ml−1, 0·05 ± 0·06 ng ml−1) in either trial. Very small within subject changes were not significantly correlated between the two trials (r = 0·06; P>0·05). Subsequently, short duration, high intensity exercise does not elicit a clinically relevant response in cTnI and any small alterations likely reflect the underlying biological variability of cTnI measurement within the participants.

Quantum Flows as Markovian Limit of Emission, Absorption and Scattering Interactions

Gough, John, (2004) 'Quantum Flows as Markovian Limit of Emission, Absorption and Scattering Interactions', Communications in Mathematical Physics 254 pp.498-512 RAE2008

The D-CIXS X-ray spectrometer on the SMART-1 mission to the Moon - First Results

Grande, Manuel; Kellett, B.; Howe, C.; Perry, C.H., 'The D-CIXS X-ray spectrometer on the SMART-1 mission to the Moon - First Results', Planetary And Space Science (2007) 55(4) pp.494-502 RAE2008

Absence of turnover and futile cycling of sucrose in leaves of Lolium temulentum L.: implications for metabolic compartmentation

Cairns, A. J., Gallagher, J. A. (2004). Absence of turnover and futile cycling of sucrose in leaves of Lolium temulentum L.: implications for metabolic compartmentation. Planta, 219 (5), 836-846. Sponsorship: BBSRC RAE2008

Construction of a Festuca pratensis BAC library for map-based cloning in IFestulolium substitution lines

Iain S. Donnison, Donal M. O Sullivan, Ann Thomas, Peter Canter, Beverley Moore, Ian Armstead, Howard Thomas, Keith J. Edwards and Ian P. King (2005). Construction of a Festuca pratensis BAC library for map-based cloning in Festulolium substitution lines. Theoretical and Applied Genetics, 110 (5) pp.846-851 Sponsorship: BBSRC;BBSRC RAE2008

A role for LH in the regulation of expression of mRNAs encoding components of the insulin-like growth factor (IGF) system in the ovine corpus luteum

P.M. Hastie and W. Haresign (2006). A role for LH in the regulation of expression of mRNAs encoding components of the insulin-like growth factor (IGF) system in the ovine corpus luteum. Animal Reproduction Science, 96(1-2), 196-209. Sponsorship: DEFRA RAE2008

An association mapping approach to identify flowering time genes in natural populations of Lolium perenne (L.)

Sk?t, L., Humphreys, M. O., Armstead, I. P., Heywood, S., Sk?t, K. P., Sanderson, R., Thomas, I. D., Chorlton, K. H., & Sackville Hamilton, N. R. (2005). An association mapping approach to identify flowering time genes in natural populations of Lolium perenne (L.). Molecular Breeding, 15(3), 233-245. Sponsorship: BBSRC RAE2008

Search/ing for missing people: families living with ambiguous absence

Families of missing people are often understood as inhabiting a particular space of ambiguity, captured in the phrase ‘living in limbo’ (Holmes, 2008). To explore this uncertain ground, we interviewed 25 family members to consider how human absence is acted upon and not just felt within this space ‘in between’ grief and loss (Wayland, 2007). In the paper, we represent families as active agents in spatial stories of ‘living in limbo’, and we provide insights into the diverse strategies of search/ing (technical, physical and emotional) in which they engage to locate either their missing member or news of them. Responses to absence are shown to be intimately bound up with unstable spatial knowledges of the missing person and emotional actions that are subject to change over time. We suggest that practices of search are not just locative actions, but act as transformative processes providing insights into how families inhabit emotional dynamism and transition in response to the on-going ‘missing situation’ and ambiguous loss (Boss, 1999, 2013).

Human papillomavirus detection in women with and without human immunodeficiency virus infection in Colombia

Background: HIV infection leads to a decreasing immune response, thereby facilitating the appearance of other infections, one of the most important ones being HPV. However, studies are needed for determining associations between immunodeficiency caused by HIV and/or the presence of HPV during the course of cervical lesions and their degree of malignancy. This study describes the cytological findings revealed by the Papanicolaou test, laboratory characteristics and HPV molecular profile in women with and without HIV infection. Methods: A total of 216 HIV-positive and 1,159 HIV-negative women were invited to participate in the study; PCR was used for the molecular detection of HPV in cervical samples. Statistical analysis (such as percentages, Chi-square test and Fisher's exact test when applicable) determined human papillomavirus (HPV) infection frequency (single and multiple) and the distribution of six types of high-risk-HPV in women with and without HIV infection. Likewise, a logistic regression model was run to evaluate the relationship between HIV-HPV infection and different risk factors. Results: An association was found between the frequency of HPV infection and infection involving 2 or more HPV types (also known as multiple HPV infection) in HIV-positive women (69.0% and 54.2%, respectively); such frequency was greater than that found in HIV-negative women (44.3% and 22.7%, respectively). Statistically significant differences were observed between both groups (p = 0.001) regarding HPV presence (both in infection and multiple HPV infection). HPV-16 was the most prevalent type in the population being studied (p = 0.001); other viral types had variable distribution in both groups (HIV-positive and HIV-negative). HPV detection was associated with <500 cell/mm(3) CD4-count (p = 0.004) and higher HIV-viral-load (p = 0.001). HPV-DNA detection, <200 cell/mm(3) CD4-count (p = 0.001), and higher HIV-viral-load (p = 0.001) were associated with abnormal cytological findings. Conclusions: The HIV-1 positive population in this study had high multiple HPV infection prevalence. The results for this population group also suggested a greater association between HPV-DNA presence and cytological findings. HPV detection, together with low CD4 count, could represent useful tools for identifying HIV-positive women at risk of developing cervical lesions.

Non-anonymous ballot aggregation: an axiomatic generalization of Approval Voting

We study axiomatically situations in which the society agrees to treat voters with different characteristics distinctly. In this setting, we propose a set of intuitive axioms and show that they jointly characterize a new class of voting procedures, called Type-weighted Approval Voting. According to this family, each voter has a strictly positive and finite weight (the weight is necessarily the same for all voters with the same characteristics) and the alternative with the highest number of weighted votes is elected. The implemented voting procedure reduces to Approval Voting in case all voters are identical or the procedure assigns the same weight to all types. Using this idea, we also obtain a new characterization of Approval Voting.

Proceedings of Sixth International Workshop on Unification

Swiss National Science Foundation; Austrian Federal Ministry of Science and Research; Deutsche Forschungsgemeinschaft (SFB 314); Christ Church, Oxford; Oxford University Computing Laboratory

A Hybrid GLR Algorithm for Parsing with Epsilon Grammars

We give a hybrid algorithm for parsing epsilon grammars based on Tomita's non-ϵ-grammar parsing algorithm ([Tom86]) and Nozohoor-Farshi's ϵ-grammar recognition algorithm ([NF91]). The hybrid parser handles the same set of grammars handled by Nozohoor-Farshi's recognizer. The algorithm's details and an example of its use are given. We also discuss the deployment of the hybrid algorithm within a GB parser, and the reason an ϵ grammar parser is needed in our GB parser.

Cryptographic Tamper Evidence

We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div can determine whether one of them was generated by the forger. Surprisingly, this is possible even after the adversary has inconspicuously learned (exposed) some-or even all-the secrets in the system. In this case, it might be impossible to tell which signature is generated by the legitimate signer and which by the forger. But at least the fact of the tampering will be made evident. We define several variants of tamper-evidence, differing in their power to detect tampering. In all of these, we assume an equally powerful adversary: she adaptively controls all the inputs to the legitimate signer (i.e., all messages to be signed and their timing), and observes all his outputs; she can also adaptively expose all the secrets at arbitrary times. We provide tamper-evident schemes for all the variants and prove their optimality. Achieving the strongest tamper evidence turns out to be provably expensive. However, we define a somewhat weaker, but still practical, variant: α-synchronous tamper-evidence (α-te) and provide α-te schemes with logarithmic cost. Our α-te schemes use a combinatorial construction of α-separating sets, which might be of independent interest. We stress that our mechanisms are purely cryptographic: the tamper-detection algorithm Div is stateless and takes no inputs except the two signatures (in particular, it keeps no logs), we use no infrastructure (or other ways to conceal additional secrets), and we use no hardware properties (except those implied by the standard cryptographic assumptions, such as random number generators). Our constructions are based on arbitrary ordinary signature schemes and do not require random oracles.

Programming Examples Needing Polymorphic Recursion

Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic recursion using for all-types has been proved undecidable. This report presents several programming examples involving polymorphic recursion and determines their typability under various type systems, including the Hindley-Milner system, an intersection-type system, and extensions of these two. The goal of this report is to show that many of these examples are typable using a system of intersection types as an alternative form of polymorphism. By accomplishing this, we hope to lay the foundation for future research into a decidable intersection-type inference algorithm. We do not provide a comprehensive survey of type systems appropriate for polymorphic recursion, with or without type annotations inserted in the source language. Rather, we focus on examples for which types may be inferred without type annotations.