Timed Transition Automata as Numerical Planning Domain

A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The language of timed words accepted by a timed automaton, the possible sequences of system or agent behaviour, can be described in term of an appropriate planning domain encapsulating the timed actions patterns and constraints. The time words recognition problem is then posed as a planning problem where the goal is to reach a final state by a sequence of actions, which corresponds to the timed symbols labeling the automaton transitions. The transformation is proved to be correct and complete and it is space/time linear on the automaton size. Experimental results shows that the performance of the planning domain obtained by transformation is scalable for real world applications. A major advantage of the planning based approach, beside of the solving the parsing problem, is to represent in a single automated reasoning framework problems of plan recognitions, plan synthesis and plan optimisation.

The devil is in the detail:tobacco industry political influence in the Dutch implementation of the 2001 EU Tobacco Products Directive

Introduction - The Dutch implementation of the black border provision in the 2001 European Union Tobacco Products Directive (TPD) is studied to examine the implications of tobacco industry involvement in the implementation phase of the policy process. Methods - A qualitative analysis was conducted of Dutch government documents obtained through Freedom of Information Act requests, triangulated with in-depth interviews with key informants and secondary data sources (publicly available government documents, scientific literature, and news articles). Results - Tobacco manufacturers’ associations were given the opportunity to set implementation specifications via a fast-track deal with the government. The offer of early implementation of the labelling section of the TPD was used as political leverage by the industry, and underpinned by threats of litigation and arguments highlighting the risks of additional public costs and the benefits to the government of expediency and speed. Ultimately, the government agreed to the industry's interpretation, against the advice of the European Commission. Conclusions - The findings highlight the policy risks associated with corporate actors’ ability to use interactions over technical product specifications to influence the implementation of health policy and illustrate the difficulties in limiting industry interference in accordance with Article 5.3 of the Framework Convention on Tobacco Control (FCTC). The implementation phase is particularly vulnerable to industry influence, where negotiation with industry actors may be unavoidable and the practical implications of relatively technical considerations are not always apparent to policymakers. During the implementation of the new TPD 2014/40/EU, government officials are advised to take a proactive role in stipulating technical specifications.

CD4+ T cell surface alpha enolase is lower in older adults

To identify novel cell ageing markers in order to gain insight into ageing mechanisms, we adopted membrane enrichment and comparison of the CD4+ T cell membrane proteome (purified by cell surface labelling using Sulfo-NHS-SS-Biotin reagent) between healthy young (n=9, 20-25y) and older (n=10; 50-70y) male adults. Following two-dimensional gel electrophoresis (2DE) to separate pooled membrane proteins in triplicates, the identity of protein spots with age-dependent differences (p<0.05 and >1.4 fold difference) was determined using liquid chromatography-mass spectrometry (LC-MS/MS). Seventeen protein spot density differences (ten increased and seven decreased in the older adult group) were observed between young and older adults. From spot intensity analysis, CD4+ T cell surface α-enolase was decreased in expression by 1.5 fold in the older age group; this was verified by flow cytometry (n=22) and qPCR with significantly lower expression of cellular α-enolase mRNA and protein compared to young adult CD4+ T cells (p<0.05). In an independent age-matched case-control study, lower CD4+ T cell surface α-enolase expression was observed in age-matched patients with cardiovascular disease (p<0.05). An immune-modulatory role has been proposed for surface α-enolase and our findings of decreased expression suggest that deficits in surface α-enolase merit investigation in the context of immune dysfunction during ageing and vascular disease.

Effect of leaf-cutting ant nests on plant growth in an oligotrophic Amazon rain forest

This study examined whether high nutrient concentrations associated with leaf-cutting ant nests influence plant growth and plant water relations in Amazon rain forests. Three nests of Atta cephalotes were selected along with 31 Amaioua guianensis and Protium sp. trees that were grouped into trees near and distant (>10 m) from nests. A 15N leaf-labelling experiment confirmed that trees located near nests accessed nutrients from nests. Trees near nests exhibited higher relative growth rates (based on stem diameter increases) on average compared with trees further away; however this was significant for A. guianensis (near nest 0.224 y−1 and far from nest 0.036 y−1) but not so for Protium sp. (0.146 y−1 and 0.114 y−1 respectively). Water relations were similarly species-specific; for A. guianensis, near-nest individuals showed significantly higher sap flow rates (16 vs. 5 cm h−1), higher predawn/midday water potentials (−0.66 vs. −0.98 MPa) and lower foliar δ13C than trees further away indicating greater water uptake in proximity to the nests while the Protium sp. showed no significant difference except for carbon isotopes. This study thus shows that plant response to high nutrient concentrations in an oligotrophic ecosystem varies with species. Lower seedling abundance and species richness on nests as compared with further away suggests that while adult plants access subterranean nutrient pools, the nest surfaces themselves do not encourage plant establishment and growth.

Data compilation on the biological response to ocean acidification: environmental and experimental context of data sets and related literature

The exponential growth of studies on the biological response to ocean acidification over the last few decades has generated a large amount of data. To facilitate data comparison, a data compilation hosted at the data publisher PANGAEA was initiated in 2008 and is updated on a regular basis (doi:10.1594/PANGAEA.149999). By January 2015, a total of 581 data sets (over 4 000 000 data points) from 539 papers had been archived. Here we present the developments of this data compilation five years since its first description by Nisumaa et al. (2010). Most of study sites from which data archived are still in the Northern Hemisphere and the number of archived data from studies from the Southern Hemisphere and polar oceans are still relatively low. Data from 60 studies that investigated the response of a mix of organisms or natural communities were all added after 2010, indicating a welcomed shift from the study of individual organisms to communities and ecosystems. The initial imbalance of considerably more data archived on calcification and primary production than on other processes has improved. There is also a clear tendency towards more data archived from multifactorial studies after 2010. For easier and more effective access to ocean acidification data, the ocean acidification community is strongly encouraged to contribute to the data archiving effort, and help develop standard vocabularies describing the variables and define best practices for archiving ocean acidification data.

Last-step enzymatic [18F]-fluorination of cysteine-tethered RGD peptides using modified Barbas linkers

Acknowledgements We thank the Engineering and Physical Sciences Research Council, UK, for a research grant. Funded by Engineering and Physical Sciences Research Council, UK

Vivre avec un statut « dangereux » : l’expérience pénale d’hommes déclarés « délinquants dangereux » ou « délinquants à contrôler »

Cette recherche qualitative a comme objectif de comprendre et d’analyser l’expérience pénale d’individus ayant été déclarés « délinquants dangereux » ou « délinquants à contrôler », en vertu des dispositions légales prévues à la Partie XXIV (articles 752 et suivantes) du Code criminel canadien. Plus spécifiquement, nous avons voulu mettre en lumière comment se vit l’apposition de ce statut « dangereux » au plan personnel et social au moment des procédures judiciaires, lors de l’exécution de leur peine d’incarcération et dans le cadre de leur liberté surveillée, le cas échéant. Pour ce faire, nous avons rencontré dix-neuf hommes visés par ces dispositions légales afin de restituer en profondeur leur expérience pénale par rapport à ce « statut » légalement imposé, et ce, à partir de leur point de vue. Il en ressort que les individus faisant l’objet d’une déclaration spéciale traversent un grand bouleversement émotif, d’une part, en lien avec les délits qu’ils ont commis et d’autre part, relativement à la peine leur ayant été imposée. Ces sentiments complexes semblent se positionner en paradoxe entre un sentiment de culpabilité pour les gestes commis et l’impression d’avoir été traités injustement. Les hommes rencontrés partagent également un parcours pénal difficile marqué par de l’exclusion, du rejet ainsi que des mauvais traitements physiques ou psychologiques. Ils rapportent beaucoup d’impuissance à pouvoir faire évoluer leur situation, soit de se défaire de leur statut « dangereux ». Enfin, l’analyse des propos rapportés montre que l’imposition d’une déclaration spéciale ne constitue pas une « simple » peine puisqu’elle induit un processus de stigmatisation immédiat, discréditant et permanent qui a des implications importantes au niveau social et personnel. Ces implications ont de fait, engendré une transformation à l’égard de la perception qu’ils ont d’eux-mêmes ainsi que dans leurs façons de se comporter socialement.

Quantifying Aflatoxin B1 in peanut oil using fabricating fluorescence probes based on upconversion nanoparticles

Rare earth doped upconversion nanoparticles convert near-infrared excitation light into visible emission light. Compared to organic fluorophores and semiconducting nanoparticles, upconversion nanoparticles (UCNPs) offer high photochemical stability, sharp emission bandwidths, and large anti-Stokes shifts. Along with the significant light penetration depth and the absence of autofluorescence in biological samples under infrared excitation, these UCNPs have attracted more and more attention on toxin detection and biological labelling. Herein, the fluorescence probe based on UCNPs was developed for quantifying Aflatoxin B₁ (AFB₁) in peanut oil. Based on a specific immunity format, the detection limit for AFB₁ under optimal conditions was obtained as low as 0.2 ng·ml^{- 1}, and in the effective detection range 0.2 to 100 ng·ml^{- 1}, good relationship between fluorescence intensity and AFB₁ concentration was achieved under the linear ratios up to 0.90. Moreover, to check the feasibility of these probes on AFB₁ measurements in peanut oil, recovery tests have been carried out. A good accuracy rating (93.8%) was obtained in this study. Results showed that the nanoparticles can be successfully applied for sensing AFB₁ in peanut oil.

Parametric CAD model based shape optimization using adjoint functions

Adjoint methods have proven to be an efficient way of calculating the gradient of an objective function with respect to a shape parameter for optimisation, with a computational cost nearly independent of the number of the design variables [1]. The approach in this paper links the adjoint surface sensitivities (gradient of objective function with respect to the surface movement) with the parametric design velocities (movement of the surface due to a CAD parameter perturbation) in order to compute the gradient of the objective function with respect to CAD variables.
For a successful implementation of shape optimization strategies in practical industrial cases, the choice of design variables or parameterisation scheme used for the model to be optimized plays a vital role. Where the goal is to base the optimization on a CAD model the choices are to use a NURBS geometry generated from CAD modelling software, where the position of the NURBS control points are the optimisation variables [2] or to use the feature based CAD model with all of the construction history to preserve the design intent [3]. The main advantage of using the feature based model is that the optimized model produced can be directly used for the downstream applications including manufacturing and process planning.
This paper presents an approach for optimization based on the feature based CAD model, which uses CAD parameters defining the features in the model geometry as the design variables. In order to capture the CAD surface movement with respect to the change in design variable, the “Parametric Design Velocity” is calculated, which is defined as the movement of the CAD model boundary in the normal direction due to a change in the parameter value.
The approach presented here for calculating the design velocities represents an advancement in terms of capability and robustness of that described by Robinson et al. [3]. The process can be easily integrated to most industrial optimisation workflows and is immune to the topology and labelling issues highlighted by other CAD based optimisation processes. It considers every continuous (“real value”) parameter type as an optimisation variable, and it can be adapted to work with any CAD modelling software, as long as it has an API which provides access to the values of the parameters which control the model shape and allows the model geometry to be exported. To calculate the movement of the boundary the methodology employs finite differences on the shape of the 3D CAD models before and after the parameter perturbation. The implementation procedure includes calculating the geometrical movement along a normal direction between two discrete representations of the original and perturbed geometry respectively. Parametric design velocities can then be directly linked with adjoint surface sensitivities to extract the gradients to use in a gradient-based optimization algorithm.
The optimisation of a flow optimisation problem is presented, in which the power dissipation of the flow in an automotive air duct is to be reduced by changing the parameters of the CAD geometry created in CATIA V5. The flow sensitivities are computed with the continuous adjoint method for a laminar and turbulent flow [4] and are combined with the parametric design velocities to compute the cost function gradients. A line-search algorithm is then used to update the design variables and proceed further with optimisation process.

Outcome of the Public Consultation on the Draft Opinion of the Scientific Panel on Dietetic Products, Nutrition, and Allergies (NDA) on Dietary Reference Values for Fats, Including Saturated Fatty Acids, Polyunsaturated Fatty Acids, Monounsaturated Fatty Acids, Trans Fatty Acids, and Cholesterol

On 2 July 2009, the EFSA Panel on Dietetic products, Nutrition and Allergies (NDA) endorsed a draft Opinion on Dietary Reference Values for fats to be released for public consultation. This Scientific Report summarises the comments received through the public consultation and outlines how these were taken into account in the final opinion. EFSA had received contributions from 40 interested parties (individuals, non-governmental organisations, industry organisations, academia and national assessment bodies). The main comments which were received during the public consultation related to: the availability of more recent data, the nomenclature used, the use of a non-European food composition data base, the impact of genetic factors in modulating the absorption, metabolism and health effects of different fatty acids, the definition of “nutritionally adequate diet”, the use of Dietary Reference Values in the labelling of foods, the translation of advice into food-based dietary guidelines, nutrient goals and recommendations, certain risk management issues, and to Dietary Reference Values of fats, individual fatty acids, and cholesterol. All the public comments received that related to the remit of EFSA were assessed and the Opinion on Dietary Reference Values for fats has been revised taking relevant comments into consideration.

Evaluation of Tottenham Thinking Space Pilot: Final Report. Research Report 11.

This reports summarises research that began in March 2014 and was completed in October 2015 by an experienced inter-disciplinary research team from the Centre for Social Justice and Change and Psycho-Social Research Group, School of Social Sciences, the University of East London (UEL) and included Dr Yang Li from the Centre for Geo-Information Studies, UEL, for the first phase of the study. Tottenham ‘Thinking Space’ (TTS) was a pilot therapeutic initiative based in local communities and delivered by the Tavistock & Portman NHS Foundation Trust and funded by the London Borough of Haringey Directorate of Public Health. TTS aimed to improve mental health and enable and empower local communities. TTS was situated within a mental health agenda that was integral to Haringey’s Health and Wellbeing Strategy 2012-2015 and aimed to encourage people to help themselves and each other and develop confident communities. On the one hand TTS was well-suited to this agenda, but, on the other, participants were resistant to, and were trying to free themselves from labelling that implied ‘mental health difficulties’. A total of 243 meetings were held and 351 people attended 1,716 times. The majority of participants attended four times or less, and 33 people attended between 5 and 10 times and 39 people attended over 10 times. Attending a small number of times does not necessarily mean that the attendee was not helped. Attendees reflected the ethnic diversity of Tottenham; 29 different ethnic groups attended. The opportunity to meet with people from different cultural backgrounds in a safe space was highly valued by attendees. Similarly, participants valued the wide age range represented and felt that they benefited from listening to inter-generational experiences. The majority of participants were women (72%) and they were instrumental in initiating further Thinking Spaces, topic specific meetings, the summer programme of activities for mothers and young children and training to meet their needs. The community development worker had a key role in implementing the initiative and sustaining its growth throughout the pilot period. We observed that TTS attracted those whose life experiences were marked by personal struggle and trauma. Many participants felt safe enough to disclose mental health difficulties (85% of those who completed a questionnaire). Participants also came seeking a stronger sense of community in their local area. Key features of the meetings are that they are democratic, non-judgemental, respectful, and focussed on encouraging everyone to listen and to try to understand. We found that the therapeutic method was put in place by high quality facilitators and health and personal outcomes for participants were consistent with those predicted by the underpinning psychoanalytical and systemic theories. Outcomes included a reduction in anxieties and improved personal and social functioning; approximately two thirds of those who completed a questionnaire felt better understood, felt more motivated and more hopeful for the future. The overwhelming majority of survey respondents also felt good about contributing to their community, said that they were more able to cooperate with others and accepting of other cultures, and had made new friends. Participants typically had a better understanding of their current situation and how to take positive action; of those who completed a questionnaire, over half felt more confident to seek support for a personal issue and to contact services. Members of TTS supported each other and instilled hope and build community-mindedness that reduced social isolation.

Efficient delivery of Cre-recombinase to neurons in vivo and stable transduction of neurons using adeno-associated and lentiviral vectors

BACKGROUND: Inactivating genes in vivo is an important technique for establishing their function in the adult nervous system. Unfortunately, conventional knockout mice may suffer from several limitations including embryonic or perinatal lethality and the compensatory regulation of other genes. One approach to producing conditional activation or inactivation of genes involves the use of Cre recombinase to remove loxP-flanked segments of DNA. We have studied the effects of delivering Cre to the hippocampus and neocortex of adult mice by injecting replication-deficient adeno-associated virus (AAV) and lentiviral (LV) vectors into discrete regions of the forebrain. RESULTS: Recombinant AAV-Cre, AAV-GFP (green fluorescent protein) and LV-Cre-EGFP (enhanced GFP) were made with the transgene controlled by the cytomegalovirus promoter. Infecting 293T cells in vitro with AAV-Cre and LV-Cre-EGFP resulted in transduction of most cells as shown by GFP fluorescence and Cre immunoreactivity. Injections of submicrolitre quantities of LV-Cre-EGFP and mixtures of AAV-Cre with AAV-GFP into the neocortex and hippocampus of adult Rosa26 reporter mice resulted in strong Cre and GFP expression in the dentate gyrus and moderate to strong labelling in specific regions of the hippocampus and in the neocortex, mainly in neurons. The pattern of expression of Cre and GFP obtained with AAV and LV vectors was very similar. X-gal staining showed that Cre-mediated recombination had occurred in neurons in the same regions of the brain, starting at 3 days post-injection. No obvious toxic effects of Cre expression were detected even after four weeks post-injection. CONCLUSION: AAV and LV vectors are capable of delivering Cre to neurons in discrete regions of the adult mouse brain and producing recombination