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

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

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

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

Prevalence and association of asthma and allergic sensitization with dietary factors in schoolchildren: data from the french six cities study

International audienceBackground: The prevalence of asthma and allergy has recently risen among children. This increase in prevalence might be related to various factors, particularly diet. The aim of this study is to assess the prevalence and association of asthma and allergic sensitization with dietary factors in the French Six Cities Study. Methods: Cross-sectional studies were performed among 7432 schoolchildren aged 9-11 years in Bordeaux, Clermont-Ferrand, Creteil, Marseille, Reims, and Strasbourg. Parental questionnaires, based on the International Study on Asthma and Allergies in Childhood (ISAAC), were used to collect information on allergic diseases and potential exposure factors including a food frequency questionnaire to evaluate dietary habits. Skin prick testing to common allergens for allergic sensitization and bronchial hyper-responsiveness (BHR) testing to exercise were performed. Confounders control was performed with multiple logistic regressions. Results: Asthma symptoms, asthma and allergic sensitization were more prevalent in boys than in girls and were more prevalent in the South than in the North of France. After adjustment for confounders, fruit juice intake was associated with a low prevalence of lifetime asthma (ORa [95 % CI]; 0.73 [0.56-0.97]), butter intake was positively associated with atopic wheeze (1.48 [1.07-2.05]) and having lunch at the canteen 1-2 times/week compared to never or occasionally was associated with a lower prevalence of past year wheeze (0.71 [0.52-0.96]), lifetime asthma (0.76 [0.60-0.96]) and allergic sensitization (0.80 [0.67-0.95]). Meat intake was inversely related to past year wheeze among atopic children (0.68 [0.50-0.98]) while fast food consumption and butter intake were associated with an increase prevalence of asthma (2.39 [1.47-3.93] and 1.51 [1.17-2.00] respectively). Fish intake was associated with a lower prevalence of asthma among non-atopic children (0.61 [0.43-0.87]. None of the dietary factors was associated with BHR. Conclusions: Diet is associated with wheeze, asthma and allergic sensitization but not with BHR in children. These results provide further evidence that adherence to a healthy diet including fruits, meat and fish seems to have a protective effect on asthma and allergy in childhood. However, prospective and experimental studies are needed to provide causal evidence concerning the effect of diet on asthma and atopy

Expression profiling during arabidopsis/downy mildew interaction reveals a highly-expressed effector that attenuates responses to salicylic acid

Plants have evolved strong innate immunity mechanisms, but successful pathogens evade or suppress plant immunity via effectors delivered into the plant cell. Hyaloperonospora arabidopsidis (Hpa) causes downy mildew on Arabidopsis thaliana, and a genome sequence is available for isolate Emoy2. Here, we exploit the availability of genome sequences for Hpa and Arabidopsis to measure gene-expression changes in both Hpa and Arabidopsis simultaneously during infection. Using a high-throughput cDNA tag sequencing method, we reveal expression patterns of Hpa predicted effectors and Arabidopsis genes in compatible and incompatible interactions, and promoter elements associated with Hpa genes expressed during infection. By resequencing Hpa isolate Waco9, we found it evades Arabidopsis resistance gene RPP1 through deletion of the cognate recognized effector ATR1. Arabidopsis salicylic acid (SA)-responsive genes including PR1 were activated not only at early time points in the incompatible interaction but also at late time points in the compatible interaction. By histochemical analysis, we found that Hpa suppresses SA-inducible PR1 expression, specifically in the haustoriated cells into which host-translocated effectors are delivered, but not in non-haustoriated adjacent cells. Finally, we found a highly-expressed Hpa effector candidate that suppresses responsiveness to SA. As this approach can be easily applied to host-pathogen interactions for which both host and pathogen genome sequences are available, this work opens the door towards transcriptome studies in infection biology that should help unravel pathogen infection strategies and the mechanisms by which host defense responses are overcome

Setting Fees in Competing Double Auction Marketplaces: An Equilibrium Analysis

In this paper, we analyse competing double auction marketplaces that vie for traders and need to set appropriate fees to make a profit. Specifically, we show how competing marketplaces should set their fees by analysing the equilibrium behaviour of two competing marketplaces. In doing so, we focus on two different types of market fees: registration fees charged to traders when they enter the marketplace, and profit fees charged to traders when they make transactions. In more detail, given the market fees, we first derive equations to calculate the marketplaces expected profits. Then we analyse the equilibrium charging behaviour of marketplaces in two different cases: where competing marketplaces can only charge the same type of fees and where competing marketplaces can charge different types of fees. This analysis provides insights which can be used to guide the charging behaviour of competing marketplaces. We also analyse whether two marketplaces can co-exist in equilibrium. We find that, when both marketplaces are limited to charging the same type of fees, traders will eventually converge to one marketplace. However, when different types of fees are allowed, traders may converge to different marketplaces (i.e. multiple marketplaces can co-exist). © 2012 Springer-Verlag