616 research outputs found
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
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
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
Disentangling molecular and clinical stratification patterns in beta-galactosidase deficiency
INTRODUCTION: This study aims to define the phenotypic and molecular spectrum of the two clinical forms of β-galactosidase (β-GAL) deficiency, GM1-gangliosidosis and mucopolysaccharidosis IVB (Morquio disease type B, MPSIVB). METHODS: Clinical and genetic data of 52 probands, 47 patients with GM1-gangliosidosis and 5 patients with MPSIVB were analysed. RESULTS: The clinical presentations in patients with GM1-gangliosidosis are consistent with a phenotypic continuum ranging from a severe antenatal form with hydrops fetalis to an adult form with an extrapyramidal syndrome. Molecular studies evidenced 47 variants located throughout the sequence of the GLB1 gene, in all exons except 7, 11 and 12. Eighteen novel variants (15 substitutions and 3 deletions) were identified. Several variants were linked specifically to early-onset GM1-gangliosidosis, late-onset GM1-gangliosidosis or MPSIVB phenotypes. This integrative molecular and clinical stratification suggests a variant-driven patient assignment to a given clinical and severity group. CONCLUSION: This study reports one of the largest series of b-GAL deficiency with an integrative patient stratification combining molecular and clinical features. This work contributes to expand the community knowledge regarding the molecular and clinical landscapes of b-GAL deficiency for a better patient management
- …