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

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

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

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

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

Perspectives of people in Mali toward genetically-modified mosquitoes for malaria control

Background: Genetically-modified (GM) mosquitoes have been proposed as part of an integrated vector control strategy for malaria control. Public acceptance is essential prior to field trials, particularly since mosquitoes are a vector of human disease and genetically modified organisms (GMOs) face strong scepticism in developed and developing nations. Despite this, in sub-Saharan Africa, where the GM mosquito effort is primarily directed, very little data is available on perspectives to GMOs. Here, results are presented of a qualitative survey of public attitudes to GM mosquitoes for malaria control in rural and urban areas of Mali, West Africa between the months of October 2008 and June 2009. Methods: The sample consisted of 80 individuals - 30 living in rural communities, 30 living in urban suburbs of Bamako, and 20 Western-trained and traditional health professionals working in Bamako and Bandiagara. Questions were asked about the cause of malaria, heredity and selective breeding. This led to questions about genetic alterations, and acceptable conditions for a release of pest-resistant GM corn and malaria-refractory GM mosquitoes. Finally, participants were asked about the decision-making process in their community. Interviews were transcribed and responses were categorized according to general themes. Results: Most participants cited mosquitoes as one of several causes of malaria. The concept of the gene was not widely understood; however selective breeding was understood, allowing limited communication of the concept of genetic modification. Participants were open to a release of pest-resistant GM corn, often wanting to conduct a trial themselves. The concept of a trial was reapplied to GM mosquitoes, although less frequently. Participants wanted to see evidence that GM mosquitoes can reduce malaria prevalence without negative consequences for human health and the environment. For several participants, a mosquito control programme was preferred; however a transgenic release that satisfied certain requirements was usually acceptable. Conclusions: Although there were some dissenters, the majority of participants were pragmatic towards a release of GM mosquitoes. An array of social and cultural issues associated with malaria, mosquitoes and genetic engineering became apparent. If these can be successfully addressed, then social acceptance among the populations surveyed seems promising

Reviewing research evidence and the case of participation in sport and physical recreation by black and minority ethnic communities

The paper addresses the implications of using the process of systematic review in the many areas of leisure where there is a dearth of material that would be admitted into conventional Cochrane Reviews. This raises important questions about what constitutes legitimate knowledge, questions that are of critical import not just to leisure scholars, but to the formulation of policy. The search for certainty in an area that lacks conceptual consensus results in an epistemological imperialism that takes a geocentric form. While clearly, there is a need for good research design whatever the style of research, we contend that the wholesale rejection of insightful research is profligate and foolhardy. A mechanism has to be found to capitalise on good quality research of whatever form. In that search, we draw upon our experience of conducting a review of the material available on participation in sport and physical recreation by people from Black and minority ethnic groups. The paper concludes with a proposal for a more productive review process that makes better use of the full panoply of good quality research available. © 2012 © 2012 Taylor & Francis

Evaluating 'Prefer not to say' Around Sensitive Disclosures

As people's offline and online lives become increasingly entwined, the sensitivity of personal information disclosed online is increasing. Disclosures often occur through structured disclosure fields (e.g., drop-down lists). Prior research suggests these fields may limit privacy, with non-disclosing users being presumed to be hiding undesirable information. We investigated this around HIV status disclosure in online dating apps used by men who have sex with men. Our online study asked participants (N=183) to rate profiles where HIV status was either disclosed or undisclosed. We tested three designs for displaying undisclosed fields. Visibility of undisclosed fields had a significant effect on the way profiles were rated, and other profile information (e.g., ethnicity) could affect inferences that develop around undisclosed information. Our research highlights complexities around designing for non-disclosure and questions the voluntary nature of these fields. Further work is outlined to ensure disclosure control is appropriately implemented around online sensitive information disclosures

Motivations for innovation in the built environment: new directions for research

Innovation in the built environment involves multiple actors with diverse motivations. Policy-makers find it difficult to promote changes that require cooperation from these numerous and dispersed actors and to align their sometimes divergent interests. Established research traditions on the economics and management of innovation pay only limited attention to stakeholder choices, engagement and motivation. This paper reviews the insights that emerge as research in these traditions comes into contact with work on innovation from sociological and political perspectives. It contributes by highlighting growing areas of research on user involvement in complex innovation, collective action, distributed innovation and transition management. To differing extents, these provide approaches to incorporate the motivations of different actors into theoretical understanding. These indicate new directions for research that promise to enrich understanding of innovation