A Few Considerations on Structural and Logical Composition in Specification Theories

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.Comment: In Proceedings FIT 2010, arXiv:1101.426

The barriers to and facilitators of physical activity and sport for Oceania with Non-European, Non-Asian (ONENA) ancestry children and adolescents : A mixed studies systematic review

Background: Participation in sport and physical activity (PA) leads to better overall health, increased life expectancy, and decreased mortality rates across the lifespan; however, there may be a range of individual, family, and community factors that influence PA participation among ONENA children and adolescents residing in the 22 Pacific Island Countries and Territories (PICT) and Australia. This review aimed to synthesise existing quantitative and qualitative literature regarding barriers to and facilitators of PA and sport among ONENA youth. Methods: The literature was systematically searched to include studies reporting barriers to and facilitators of PA and sports participation among ONENA children and adolescents aged 0–18 years residing in the 22 PICT and Australia. Using a pre-established taxonomy based on the social-ecological model, a deductive analysis was performed. Quality appraisal was performed using the mixed methods appraisal tool. Results: Of 1388 articles, 14 studies were included, with 128 ONENA children and adolescent participants across the four qualitative studies; 156,581 ONENA children and adolescents across the seven quantitative studies; 801 parents, children, and adolescents in one quantitative study; and 642 parents in two quantitative studies. Of the 14 included studies, none were based in Australia and only 10 of the 22 PICT were reported as the participants’ residence: Palau, New Zealand, Tonga, Cook Islands, Kiribati, Samoa, Solomon Islands, Tuvalu, Vanuatu, and Fiji. Four studies reported barriers, and another four studies reported facilitators of PA and sport, with the remaining studies reporting both barriers and facilitators. Overall, there were more barriers reported (30 in total) than facilitators (27 in total). Conclusions: Research in this area is lacking, with ONENA youth living in Australia and 12 PICT not represented. Overall, there were a larger number of facilitators experienced at individual and interpersonal levels, while barriers were highest at the community level, with the policy level having facilitators and barriers equally represented. Programs that offer PA and sport participation options with embedded SDT-informed strategies for all family members; that are accessible through existing transport and related social, cultural, and physical infrastructure; and that are committed to communities through formal co-design partnerships are needed, to enhance the PA and sport participation of ONENA youth residing in PICT

ISOGAL-DENIS detection of red giants with weak mass loss in the Galactic Bulge

The ISOGAL project is a survey of the stellar populations, structure, and recent star formation history of the inner disk and bulge of the Galaxy. ISOGAL combines 15 and 7micron ISOCAM observations with DENIS IJKs data to determine the nature of a source and the interstellar extinction. In this paper we report an ISOGAL study of a small field in the inner Galactic Bulge (l=0deg, b=1.0deg, area=0.035 sq. deg) as a prototype of the larger area ISOGAL survey of the inner Galaxy. The five wavelengths of ISOGAL+DENIS, together with the relatively low and constant extinction in front of this specific field, allow reliable determination of the nature of the sources. The primary scientific result of this paper is evidence that the most numerous class of ISOGAL 15micron sources are Red Giants in the Galactic bulge and central disk, with luminosities just above or close to the RGB tip and weak mass-loss rates. They form loose sequences in the magnitude-colour diagrams [15]/Ks-[15] and [15]/[7]-[15]. Their large excesses at 15micron with respect to 2micron and 7micron is due to circumstellar dust produced by mass-loss at low rates. These ISOGAL results are the first systematic evidence and study of dust emission at this early stage (''Intermediate'' AGB), before the onset of the large mass-loss phase. It is thus well established that efficient dust formation is already associated with such low mass-loss rates during this early phase.Comment: 15 pages, 9 figures, accepted for publication in Astronomy and Astrophysics Journa

Identification of Antigenic Proteins from Lichtheimia corymbifera for Farmer's Lung Disease Diagnosis.

The use of recombinant antigens has been shown to improve both the sensitivity and the standardization of the serological diagnosis of Farmer's lung disease (FLD). The aim of this study was to complete the panel of recombinant antigens available for FLD serodiagnosis with antigens of Lichtheimia corymbifera, known to be involved in FLD. L. corymbifera proteins were thus separated by 2D electrophoresis and subjected to western blotting with sera from 7 patients with FLD and 9 healthy exposed controls (HEC). FLD-associated immunoreactive proteins were identified by mass spectrometry based on a protein database specifically created for this study and subsequently produced as recombinant antigens. The ability of recombinant antigens to discriminate patients with FLD from controls was assessed by ELISA performed with sera from FLD patients (n = 41) and controls (n = 43) recruited from five university hospital pneumology departments of France and Switzerland. Forty-one FLD-associated immunoreactive proteins from L. corymbifera were identified. Six of them were produced as recombinant antigens. With a sensitivity and specificity of 81.4 and 77.3% respectively, dihydrolipoyl dehydrogenase was the most effective antigen for discriminating FLD patients from HEC. ELISA performed with the putative proteasome subunit alpha type as an antigen was especially specific (88.6%) and could thus be used for FLD confirmation. The production of recombinant antigens from L. corymbifera represents an additional step towards the development of a standardized ELISA kit for FLD diagnosis

Arboreal monkeys facilitate foraging of terrestrial frugivores

Terrestrial animals feed on fruit dropped by arboreal frugivores in tropical forests around the world, but it remains unknown whether the resulting spatial associations of these animals are coincidental or intentionally maintained. On Barro Colorado Island, Panama, we used a combination of acoustic playback experiments, remote camera monitoring, and GPS tracking to quantify the frequency of such interactions, determine who initiates and maintains spatial associations, and test whether terrestrial animals adopt a strategy of acoustic eavesdropping to locate fruit patches created by foraging primates. Indeed, 90% of fruits collected in fruit fall traps had tooth marks of arboreal frugivores, and terrestrial frugivores visited fruit trees sooner following visits by GPS-collared monkeys. While our play back experiments were insufficient to support the hypothesis that terrestrial frugivores use auditory cues to locate food dropped by arboreal primates, analyses of movement paths of capuchin monkeys (Cebus capucinus), spider monkeys (Ateles geoffroyi), and coatis (Nasua narica) reveal that observed patterns of interspecific attraction are not merely a byproduct of mutual attraction to shared resources. Coatis were significantly more likely to initiate close encounters with arboreal primates than vice versa and maintained these associations by spending significantly longer periods at fruiting trees when collared primates were present. Our results demonstrate that terrestrial frugivores are attracted to arboreal primates, likely because they increase local resource availability. Primates are often among the first species in a habitat to be extirpated by hunting; our results suggest that their loss may have unanticipated consequences for the frugivore community

An RxLR effector from phytophthora infestans prevents re-localisation of two plant NAC transcription factors from the endoplasmic reticulum to the nucleus

The plant immune system is activated following the perception of exposed, essential and invariant microbial molecules that are recognised as non-self. A major component of plant immunity is the transcriptional induction of genes involved in a wide array of defence responses. In turn, adapted pathogens deliver effector proteins that act either inside or outside plant cells to manipulate host processes, often through their direct action on plant protein targets. To date, few effectors have been shown to directly manipulate transcriptional regulators of plant defence. Moreover, little is known generally about the modes of action of effectors from filamentous (fungal and oomycete) plant pathogens. We describe an effector, called Pi03192, from the late blight pathogen Phytophthora infestans, which interacts with a pair of host transcription factors at the endoplasmic reticulum (ER) inside plant cells. We show that these transcription factors are released from the ER to enter the nucleus, following pathogen perception, and are important in restricting disease. Pi03192 prevents the plant transcription factors from accumulating in the host nucleus, revealing a novel means of enhancing host susceptibility

Estimating encounter location distributions from animal tracking data

1. Ecologists have long been interested in linking individual behaviour with higher level processes. For motile species, this ‘upscaling’ is governed by how well any given movement strategy maximizes encounters with positive factors and minimizes encounters with negative factors. Despite the importance of encounter events for a broad range of ecological processes, encounter theory has not kept pace with developments in animal tracking or movement modelling. Furthermore, existing work has focused primarily on the relationship between animal movement and encounter rates while the relationship between individual movement and the spatial locations of encounter events in the environment has remained conspicuously understudied. 2. Here, we bridge this gap by introducing a method for describing the long-term encounter location probabilities for movement within home ranges, termed the conditional distribution of encounters (CDE). We then derive this distribution, as well as confidence intervals, implement its statistical estimator into open-source software and demonstrate the broad ecological relevance of this distribution. 3. We first use simulated data to show how our estimator provides asymptotically consistent estimates. We then demonstrate the general utility of this method for three simulation-based scenarios that occur routinely in biological systems: (a) a population of individuals with home ranges that overlap with neighbours; (b) a pair of individuals with a hard territorial border between their home ranges; and (c) a predator with a large home range that encompassed the home ranges of multiple prey individuals. Using GPS data from white-faced capuchins Cebus capucinus, tracked on Barro Colorado Island, Panama, and sleepy lizards Tiliqua rugosa, tracked in Bundey, South Australia, we then show how the CDE can be used to estimate the locations of territorial borders, identify key resources, quantify the potential for competitive or predatory interactions and/or identify any changes in behaviour that directly result from location-specific encounter probability. 4. The CDE enables researchers to better understand the dynamics of populations of interacting individuals. Notably, the general estimation framework developed in this work builds straightforwardly off of home range estimation and requires no specialized data collection protocols. This method is now openly available via the ctmm R package

ISOGAL: A deep survey of the obscured inner Milky Way with ISO at 7 and 15 micron and with DENIS in the near-infrared

The ISOGAL project is an infrared survey of specific regions sampling the Galactic Plane selected to provide information on Galactic structure,stellar populations,stellar mass-loss and the recent star formation history of the inner disk and Bulge of the Galaxy. ISOGAL combines 7 and 15 micron ISOCAM observations - with a resolution of 6'' at worst - with DENIS IJKs data to determine the nature of the sources and theinterstellar extinction. We have observed about 16 square degrees with a sensitivity approaching 10-20mJy, detecting ~10^5 sources,mostly AGB stars,red giants and young stars. The main features of the ISOGAL survey and the observations are summarized in this paper,together with a brief discussion of data processing and quality. The primary ISOGAL products are described briefly (a full description is given in Schuller et al. 2003, astro-ph/0304309): viz. the images and theISOGAL-DENIS five-wavelength point source catalogue. The main scientific results already derived or in progress are summarized. These include astrometrically calibrated 7 and 15um images,determining structures of resolved sources; identification and properties of interstellar dark clouds; quantification of the infrared extinction law and source dereddening; analysis of red giant and (especially) AGB stellar populations in the central Bulge,determining luminosity,presence of circumstellar dust and mass--loss rate,and source classification,supplemented in some cases by ISO/CVF spectroscopy; detection of young stellar objects of diverse types,especially in the inner Bulge with information about the present and recent star formation rate; identification of foreground sources with mid-IR excess. These results are the subject of about 25 refereed papers published or in preparation.Comment: A&A in press. 19 pages,10 Ps figures; problems with figures fixe