An Explicit Framework for Interaction Nets

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on elementary properties of graph theory. We give here a more explicit presentation based on notions borrowed from Girard's Geometry of Interaction: interaction nets are presented as partial permutations and a composition of nets, the gluing, is derived from the execution formula. We then define contexts and reduction as the context closure of rules. We prove strong confluence of the reduction within our framework and show how interaction nets can be viewed as the quotient of some generalized proof-nets

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.

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

Investigation of Statistical and Imaging Methods for Luminescence Detection of Irradiated Ingredients

This project investigated two potential approaches to improving the reliability of lumines-cence methods for detecting minor irradiated ingredients in foods. Whereas in the 1980’s there were no validated methods for laboratory detection of irradiated foods, work conducted in the UK and elsewhere by the mid 1990’s had resulted in the development of a series of physical, chemical and biological methods capable of detecting a range of irradiated food classes. Of these the luminescence methods embodied in EN1788 (Thermoluminescence) and EN13751 (Photostimulated luminescence) standards have been applied to detection of a vari-ety of products including herbs and spices, and seafood. In common with the other EN stan-dard methods almost all validation work had been originally conducted using pure irradiated or unirradiated ingredients. Yet application experience had shown the presence of mixed products containing both irradiated and unirradiated ingredients. A short study was commis-sioned by MAFF to investigate the impact of blending on standard EN1788 methods, and on the provisional draft EN13751 (the standard having been published in the meantime) method. This showed the impact of dilution of irradiated material between 10% and 0.1% concentra-tions on detection rates, which unsurprisingly are reduced by extreme dilution. UK labelling regulation, both before and after adoption of the European Directive on Food Irradiation, call for labelling of all irradiated ingredients regardless of concentration or origin within the final product. This study was therefore motivated by the recognition of the long term need for im-proved methods to improve reliability at low concentrations. Two complementary approaches were investigated. The project first examined whether TL data collected using the EN1788 method could be enhanced using advanced statistical proce-dures. Data sets from the SURRC TL archive, and from project CSA4790 were used both to define the characteristics of irradiated and unirradiated end members, and to assess classifica-tion methods using the controlled blending experimental data sets of CSA 4790. Multivariate analyses, based on principal components analysis and discriminant analysis of glow curve data; kinetic deconvolution approaches coupled to PCA and DA, and neural analyses were investigated and compared with detection rates achieved using expert visual classification. To complement this experiments were undertaken to explore the potential of using focussed laser stimulation to produce spatially resolved measurements from mineral grains separated from foods. Two systems were evaluated based on IR and visible band lasers. Work was under-taken to explore sample presentation and to assess the ability of this approach to distinguish mixtures of irradiated and unirradiated grains. The statistical work was successful in developing three approaches which could be used for objective identification of irradiated materials. Pure irradiated and unirradiated data sets from 150 sample pairs were obtained having searched the SUERC archive of more than 3500 lu-minescence analyses. These were used to set up multivariate analyses based on the ap-proaches outlined above. Performance in recognising irradiated ingredients using these meth-ods was then assessed with data drawn from the MAFF blending investigation, comprising 160 permutations of irradiated and unirradiated herbs and spices at 10%, 1% and 0.1% con-centrations. It was possible to achieve good detection rates with alatistical approaches, the best approaches inigated being the use of glow curve deconvolution coupwith li discrimination, and the use of neural appros. The absolute performance achieved matched that opert visual clfication utilising the revised EN1788 criterwhich were adopted within the international standauring course of this project. The use of ad-vancedtistical methods, while not adding performance, can pde objective support to visual classifications. During performance assessment it was aloted that theformance of all methods wasficiently close to infer that detections rates are most dependent on the statistical presence or absence of irradiated grains within the extracted samples used for TL analysis. This raises practical suggestions for improving detection rates at low concentrations based on the use of larger samples and more specific mineral separation approaches. These may be worth investigating further. Laser scanning approaches were also investigated using highly focussed laser beams to stimulated luminescence sequentially from different parts of separated mineral samples. Work was conducted using a system which had been developed in earlier work at SUERC, and then followed by additional investigation using an improved instrument built during the project. Initial work confirmed the feasibility of using laser scanning approaches to obtain spatially resolved luminescence data at or near the dimensions of individual mineral grains. Practical obstacles included the recognition that laser scattering from surfaces coated with mineral grains introduced an element of cross-talk between different parts of the sample, and difficulties in accurate re-positioning of the sample using the first generation prototype in-strument. Work was conducted to investigate a series of different sample presentation media to improve the former, and to incorporate high precision mechanical and optoelectronic means of re-positioning samples between initial measurements, external irradiation, and sub-sequent re-measurement. Both IR and visible band semiconductor lasers were investigated with successful production of single grain images. The short and medium term reliability of the lasers used was acceptable. The lasers used both however eventually failed, which sug-gests that long term lifetime may be an issue for further work. Of the two lasers the IR laser in particular gave a good signal to background ratio for discriminating between irradiated and unirradiated grains. Quantitative analysis of the grain resolved images confirms the potential of this approach in identifying minor irradiated components. The overall conclusions of the work are that both statistical approaches and imaging instru-ments are able to enhance current methods. The observation that visual classification can match the performance even of deconvolution or neural approaches suggests that future effort should be directed more towards improvement of grain statistics in conventional measure-ments, and in further development and investigation of imaging approaches. In these ways it can anticipated that the performance of standard luminescence methods for detecting dilute mixtures of irradiated and unirradiated food ingredients could be significantly improved. To do so would further enhance work conducted by FSA and other bodies to ensure that regula-tions governing the use of irradiation in food processing and the labelling of imported foods are followed

Physically fit or physically literate? Children with special educational needs understanding of physical education

The role of physical literacy within physical education (PE) has become a widely debated topic in recent years. Its role in educating children about physicality through embodiment, skill acquisition and reading the environment is argued to be of great benefit to children. However, whether children understand the role of PE in the development of these competencies is not clear, and this is even truer for children who have special educational needs (SEN). Drawing on qualitative phenomenological data from 30 children in key stages 2 and three (7 to 14 years of age) who have SEN, this paper explores notions of physical fitness and physical literacy as understood by children in PE lessons. It aims to gain insight into the ways that children understand the purpose of PE, and places these perceptions within a physical literacy framework, using the National Curriculum for PE (NCPE) as a foundation. Findings demonstrate that children with SEN perceive PE as a means for improving physical fitness, whereas concepts surrounding physical literacy appear to be lost. The paper concludes by making recommendations for factoring physical literacy components more forcibly into the PE curriculum, and through initial teacher training and continued professional development

Integrating Western and non-Western cultural expressions to further cultural and creative tourism: a case study

The term cultural industries was coined more than half a century ago, but at the beginning of the twenty-first century, the broader concept of creative industries, covering a wide range of cultural, design and digital activity, captured the imagination of public policymakers at national and city levels. Paralleling these developments has been the recognition of the phenomenon of cultural tourism and, more recently, the emergence of the idea of creative tourism, that is, tourism programmes designed to engage tourists actively in cultural activity. This paper presents a case study of a creative tourism event which took place in 2012 in the City of Manchester in the UK. The festival, which celebrated West African culture, utilised existing cultural institutions of the city and drew on the talents of local and visiting members of West African community to engage not only tourists but also indigenous and Black and Minority Ethnic (BME) residents of Manchester in a variety of cultural activities. It thus used the focus of creative tourism to seek to foster community and cultural development as well as tourism

Learning from sustainable development: education in the light of public issues

Education for sustainable development (ESD) is increasingly affecting environmental education policy and practice. In this article we show how sustainable development is mainly seen as a problem that can be tackled by applying the proper learning processes and how this perspective translates sustainability issues into learning problems of individuals. We present a different perspective on education in the context of sustainable development based on novel ways of thinking about citizenship education and emphasizing the importance of presenting issues of sustainable development as ‘public issues’, as matters of public concern. From this point of view, the focus is no longer on the competences that citizens must achieve, but on the democratic nature of the spaces and practices in which participation and citizenship can develop

Connecting does not necessarily mean learning: Course handbooks as mediating tools in school-university partnerships

This is the author's accepted manuscript (titled "Course handbooks as mediating tools in learning to teach"). The final published article is available from the link below. Copyright @ 2011 American Association of Colleges for Teacher Education.Partnerships between schools and universities in England use course handbooks to guide student teacher learning during long field experiences. Using data from a yearlong ethnographic study of a postgraduate certificate of education programme in one English university, the function of course handbooks in mediating learning in two high school subject departments (history and modern foreign languages) is analyzed. Informed by Cultural Historical Activity Theory, the analysis focuses on the handbooks as mediating tools in the school-based teacher education activity systems. Qualitative differences in the mediating functions of the handbooks-in-use are examined and this leads to a consideration of the potential of such tools for teacher learning in school–university partnerships. Following Zeichner’s call for rethinking the relationships between schools and universities, the article argues that strong structural connections between different institutional sites do not necessarily enhance student teacher learning

Furthering alternative cultures of valuation in higher education research

The value of higher education is often implicit or assumed in educational research. The underlying and antecedent premises that shape and influence debates about value remain unchallenged which perpetuates the dominant, but limiting, terms of the debate and fosters reductionism. I proceed on the premise that analyses of value are not self–supporting or self-referential but are embedded within prevailing cultures of valuation. I contend that challenging, and providing alternatives to, dominant narratives of higher education requires an appreciation of those cultures. I therefore highlight some of the existing cultures of valuation and their influence. I then propose Sayer’s concept of lay normativity as a culture of valuation and discuss how it translates into the practices of research into higher education, specifically the practice of analysis. I animate the discussion by detecting the presence of lay normativity in the evaluative space of the capability approach

Influenza surveillance among children with pneumonia admitted to a district hospital in coastal Kenya, 2007-2010

Background: Influenza data gaps in sub-Saharan Africa include incidence, case fatality, seasonal patterns, and associations with prevalent disorders. Methods: Nasopharyngeal samples from children aged <12 years who were admitted to Kilifi District Hospital during 2007–2010 with severe or very severe pneumonia and resided in the local demographic surveillance system were screened for influenza A, B, and C viruses by molecular methods. Outpatient children provided comparative data. Results: Of 2002 admissions, influenza A virus infection was diagnosed in 3.5% (71), influenza B virus infection, in 0.9% (19); and influenza C virus infection, in 0.8% (11 of 1404 tested). Four patients with influenza died. Among outpatients, 13 of 331 (3.9%) with acute respiratory infection and 1 of 196 without acute respiratory infection were influenza positive. The annual incidence of severe or very severe pneumonia, of influenza (any type), and of influenza A, was 1321, 60, and 43 cases per 100 000 <5 years of age, respectively. Peak occurrence was in quarters 3–4 each year, and approximately 50% of cases involved infants: temporal association with bacteremia was absent. Hypoxia was more frequent among pneumonia cases involving influenza (odds ratio, 1.78; 95% confidence interval, 1.04–1.96). Influenza A virus subtypes were seasonal H3N2 (57%), seasonal H1N1 (12%), and 2009 pandemic H1N1 (7%). Conclusions: The burden of influenza was small during 2007–2010 in this pediatric hospital in Kenya. Influenza A virus subtype H3N2 predominated, and 2009 pandemic influenza A virus subtype H1N1 had little impact