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

Contracts for Abstract Processes in Service Composition

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.Comment: In Proceedings FIT 2010, arXiv:1101.426

The toxicity and intraspecific variability of Alexandrium andersonii Balech

The toxicity of Alexandrium andersonii Balech is unclear and its intraspecific variability has yet to be studied. To address these gaps in our knowledge, in the present work five strains of A. andersonii from four different localities were characterized. The results showed that despite genetic homogeneity in the 5.8-ITS (internal transcribed spacer) and large subunit (LSU) regions and similar growth rates, strains originating from different locations varied with respect to cell size, the ratios of certain pigments, and their growth patterns. Cultures of the strains grown at 20 8C were analyzed for toxicity using four different methodologies. The two officially established methods, mouse bioassay and high-performance liquid chromatography with fluorescence detection (HPLC-FLD) and post-column reaction analysis of PSP toxins, failed to show the toxicity of any strain. Strains grown at 14 8C were also negative for PSP toxins by HPLC-FLD. However, strains grown at 20 8C exhibited both a response characteristic of the presence of toxin-inhibiting voltage-gated sodium channels, as demonstrated in a neuroblastoma neuro- 2a cell-based assay, as well as hemolytic activity in a sheep red blood cell assay

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

Spatial Distribution, Temporal Changes, and Knowledge Gaps in Basking Shark (Cetorhinus maximus) Sightings in the California Current Ecosystem

Among the largest fish species, the basking shark (Cetorhinus maximus) is found circumglobally in temperate and tropical waters. Though historical documents have recorded their presence in the California Current Ecosystem (CCE), basking sharks are now only rarely observed in this part of their range. We compiled recent and historical data from systematic surveys (1962–1997) and other sources (1973–2018) to (i) examine temporal patterns of basking shark sightings in the CCE, and (ii) determine the spatial, temporal, and environmental drivers that have affected basking shark presence and distribution here for the last 50 years. We first calculated variation in basking shark sightings and school size over time. We then generated species distribution models using the systematic survey data and evaluated the performance of these models against the more recent non-systematic sightings data. The sightings records indicated that the number of shark sightings was variable across years, but the number and probability of sightings declined in the mid-1980s. The systematic survey data showed up to nearly 4,000 sharks sighted per year until the 1990s, after which there were no sightings reported. In parallel, there was more than a 50% decline in school size from the 1960s to the 1980s (57.2 to 24.0 individuals per group). During the subsequent decades in the non-systematic data (>1990), less than 60 sharks were sighted per year. There were no schools larger than 10 reported, and the mean school size in the last decade (2010s) was 3.53 individuals per group. Low sea surface temperature and high chlorophyll a concentration increased sightings probability, and prevailing climatic oscillations (El Nino-Southern Oscillation index, North Pacific Gyre Oscillation, Pacific Decadal Oscillation) were also correlated with basking shark presence. Lastly, we observed a significant shift in the seasonality of sightings, from the fall and spring during the systematic survey period to the summer months after the 2000s. We conclude by offering suggestions for future research and conservation efforts; specifically, coordinating the documentation of fisheries mortalities and sightings throughout the Pacific basin would facilitate more robust population estimates and identify sources of mortality. Additionally, monitoring shark fin markets and developing region-specific genetic markers would help ensure that convention on international trade in endangered species (CITES) regulations are being followed

Chronic erythropoietin treatment improves diet-induced glucose intolerance in rats

Erythropoietin (EPO) ameliorates glucose metabolism through mechanisms not fully understood. In this study, we investigated the effect of EPO on glucose metabolism and insulin signaling in skeletal muscle. A 2-week EPO treatment of rats fed with a high-fat diet (HFD) improved fasting glucose levels and glucose tolerance, without altering total body weight or retroperitoneal fat mass. Concomitantly, EPO partially rescued insulin-stimulated AKT activation, reduced markers of oxidative stress, and restored heat-shock protein 72 expression in soleus muscles from HFD-fed rats. Incubation of skeletal muscle cell cultures with EPO failed to induce AKT phosphorylation and had no effect on glucose uptake or glycogen synthesis. We found that the EPO receptor gene was expressed in myotubes, but was undetectable in soleus. Together, our results indicate that EPO treatment improves glucose tolerance but does not directly activate the phosphorylation of AKT in muscle cells. We propose that the reduced systemic inflammation or oxidative stress that we observed after treatment with EPO could contribute to the improvement of whole-body glucose metabolism.Corinne Caillaud, Mie Mechta, Heidi Ainge, Andreas N Madsen, Patricia Ruell, Emilie Mas, Catherine Bisbal, Jacques Mercier, Stephen Twigg, Trevor A Mori, David Simar and Romain Barrè

Probing formation of cargo/importin-α transport complexes in plant cells using a pathogen effector

Importin-αs are essential adapter proteins that recruit cytoplasmic proteins destined for active nuclear import to the nuclear transport machinery. Cargo proteins interact with the importin-α armadillo repeat domain via nuclear localization sequences (NLSs), short amino acids motifs enriched in Lys and Arg residues. Plant genomes typically encode several importin-α paralogs that can have both specific and partially redundant functions. Although some cargos are preferentially imported by a distinct importin-α it remains unknown how this specificity is generated and to what extent cargos compete for binding to nuclear transport receptors. Here we report that the effector protein HaRxL106 from the oomycete pathogen Hyaloperonospora arabidopsidis co-opts the host cell's nuclear import machinery. We use HaRxL106 as a probe to determine redundant and specific functions of importin-α paralogs from Arabidopsis thaliana. A crystal structure of the importin-α3/MOS6 armadillo repeat domain suggests that five of the six Arabidopsis importin-αs expressed in rosette leaves have an almost identical NLS-binding site. Comparison of the importin-α binding affinities of HaRxL106 and other cargos in vitro and in plant cells suggests that relatively small affinity differences in vitro affect the rate of transport complex formation in vivo. Our results suggest that cargo affinity for importin-α, sequence variation at the importin-α NLS-binding sites and tissue-specific expression levels of importin-αs determine formation of cargo/importin-α transport complexes in plant cells

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