Distributed System Contract Monitoring

The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.Comment: In Proceedings FLACOS 2011, arXiv:1109.239

The Impact of Simulated Sulfate Deposition on Peatland Testate Amoebae

Peatlands subjected to sulfate deposition have been shown to produce less methane, believed to be due to competitive exclusion of methanogenic archaea by sulfate-reducing bacteria. Here, we address whether sulfate deposition produces impacts on a higher microbial group, the testate amoebae. Sodium sulfate was applied to experimental plots on a Scottish peatland and samples extracted after a period of more than 10 years. Impacts on testate amoebae were tested using redundancy analysis and Mann-Whitney tests. Results showed statistically significant impacts on amoebae communities particularly noted by decreased abundance of Trinema lineare, Corythion dubium, and Euglypha rotunda. As the species most reduced in abundance are all small bacterivores we suggest that our results support the hypothesis of a shift in dominant prokaryotes, although other explanations are possible. Our results demonstrate the sensitivity of peatland microbial communities to sulfate deposition and suggest sulfate may be a potentially important secondary control on testate amoebae communities

Genetic characterisation of Echinocephalus spp. (Nematoda: Gnathostomatidae) from marine hosts in Australia

We genetically characterised larval and adult specimens of species of Echinocephalus Molin, 1858 (Gnathostomatidae) collected from various hosts found within Australian waters. Adult specimens of Echinocephalus were collected from a dasyatid stingray [Pastinachus ater (Macleay); n = 2] from Moreton Bay, Queensland and larvae from a hydrophiine sea snake [Hydrophis peronii (Duméril); n = 3] from Cape York Peninsula, Queensland, from an octopus (Octopus djinda Amor & Hart; n = 3) from Fremantle, Western Australia and from a lucinid bivalve [Codakia paytenorum (Iredale); n = 5] from Heron Island, Queensland Australia. All nematode samples were identified morphologically and genetically characterised using the small subunit nuclear ribosomal DNA (SSU). Some morphological differences were identified between previous studies of Echinocephalus spp. and those observed herein but the significance of these differences remains unresolved. Molecular phylogenetic analyses revealed that larval Echinocephalus sp. from H. peronii and C. paytenorum in Australia were very similar (with strong nodal support) to larval Echinocephalus sp. infecting two fish species from Egypt, Saurida undosquamis (Richardson) (Synodontidae) and Pagrus pagrus (Linnaeus) (Sparidae). The SSU sequences of larval Echinocephalus sp. from O. djinda and adults from P. ater formed a well-supported clade with that of adult E. overstreeti Deardorff and Ko, 1983 from the Port Jackson shark, Heterodontus portusjacksoni (Meyer), as well as that of the larval Echinocephalus sp., from the common carp (Cyprinus carpio Linnaeus) from Egypt. This study extends the intermediate host range of Echinocephalus larvae by including a sea snake for the first time. Findings of this study highlight the importance of genetic characterisation of larval and adult specimens of Echinocephalus spp. to resolve the current difficulties in the taxonomy of this genus

Molecular detection of Strongyloides sp. in Australian thoroughbred foals

Background Strongyloides westeri is found in the small intestine of young horses, mainly in foals up to about 16 weeks of age. The main source of infection for foals is through transmammary transmission, and foals can develop acute diarrhoea, weakness, dermatitis and respiratory signs. The epidemiology of S. westeri in Australia is largely unknown. Further, molecular techniques have never been employed for detection of S. westeri in horses. This pilot study aimed to assess the utility of a molecular phylogenetic method for the detection of S. westeri in the faeces of foals. Methods Faecal samples were collected from a foal of less than 2 months of age, and eggs of Strongyloides sp. were detected using the modified McMaster technique. DNA was extracted from purified eggs, and a partial fragment of the small subunit of the nuclear ribosomal DNA (18S) was characterised using polymerase chain reaction, DNA sequencing and phylogenetic methods. Results Microscopic examination of faeces revealed small ellipsoidal eggs typical of Strongyloides sp. The 18S sequence generated by PCR in this study revealed 98.4% identity with that of a reference sequence of S. westeri available from GenBank. Phylogenetic analyses revealed a polyphyletic clustering of S. westeri sequences. Conclusion This is the first study reporting the detection of DNA of Strongyloides sp. in faeces of a foal using a molecular phylogenetic approach targeting the variable region of 18S rDNA. It is anticipated that this study will allow future molecular epidemiological studies on S. westeri in horses

Comparative studies on faecal egg counting techniques used for the detection of gastrointestinal parasites of equines: A systematic review

Faecal egg counting techniques (FECT) form the cornerstone for the detection of gastrointestinal parasites in equines. For this purpose, several flotation, centrifugation, image- and artificial intelligence-based techniques are used, with varying levels of performance. This review aimed to critically appraise the literature on the assessment and comparison of various coprological techniques and/or modifications of these techniques used for equines and to identify the knowledge gaps and future research directions. We searched three databases for published scientific studies on the assessment and comparison of FECT in equines and included 27 studies in the final synthesis. Overall, the performance parameters of McMaster (81.5%), Mini-FLOTAC® (33.3%) and simple flotation (25.5%) techniques were assessed in most of the studies, with 77.8% of them comparing the performance of at least two or three methods. The detection of strongyle, Parascaris spp. and cestode eggs was assessed for various FECT in 70.4%, 18.5% and 18.5% studies, respectively. A sugar-based flotation solution with a specific gravity of ≥1.2 was found to be the optimal flotation solution for parasitic eggs in the majority of FECT. No uniform or standardised protocol was followed for the comparison of various FECT, and the tested sample size (i.e. equine population and faecal samples) also varied substantially across all studies. To the best of our knowledge, this is the first systematic review to evaluate studies on the comparison of FECT in equines and it highlights important knowledge gaps in the evaluation and comparison of such techniques

The EG95 Antigen of Echinococcus spp. Contains Positively Selected Amino Acids, which May Influence Host Specificity and Vaccine Efficacy

Echinococcosis is a worldwide zoonotic parasitic disease of humans and various herbivorous domestic animals (intermediate hosts) transmitted by the contact with wild and domestic carnivores (definitive hosts), mainly foxes and dogs. Recently, a vaccine was developed showing high levels of protection against one parasite haplotype (G1) of Echinococcus granulosus, and its potential efficacy against distinct parasite variants or species is still unclear. Interestingly, the EG95 vaccine antigen is a secreted glycosylphosphatydilinositol (GPI)-anchored protein containing a fibronectin type III domain, which is ubiquitous in modular proteins involved in cell adhesion. EG95 is highly expressed in oncospheres, the parasite life cycle stage which actively invades the intermediate hosts. After amplifying and sequencing the complete CDS of 57 Echinococcus isolates belonging to 7 distinct species, we uncovered a large amount of genetic variability, which may influence protein folding. Two positively selected sites are outside the vaccine epitopes, but are predicted to alter protein conformation. Moreover, phylogenetic analyses indicate that EG95 isoform evolution is convergent with regard to the number of beta-sheets and alpha-helices. We conclude that having a variety of EG95 isoforms is adaptive for Echinococcus parasites, in terms of their ability to invade different hosts, and we propose that a mixture of isoforms could possibly maximize vaccine efficacy

Sentinel surveillance system for early outbreak detection in Madagascar

<p>Abstract</p> <p>Background</p> <p>Following the outbreak of chikungunya in the Indian Ocean, the Ministry of Health directed the necessary development of an early outbreak detection system. A disease surveillance team including the Institut Pasteur in Madagascar (IPM) was organized to establish a sentinel syndromic-based surveillance system. The system, which was set up in March 2007, transmits patient data on a daily basis from the various voluntary general practitioners throughout the six provinces of the country to the IPM. We describe the challenges and steps involved in developing a sentinel surveillance system and the well-timed information it provides for improving public health decision-making.</p> <p>Methods</p> <p>Surveillance was based on data collected from sentinel general practitioners (SGP). The SGPs report the sex, age, visit date and time, and symptoms of each new patient weekly, using forms addressed to the management team. However, the system is original in that SGPs also report data at least once a day, from Monday to Friday (number of fever cases, rapid test confirmed malaria, influenza, arboviral syndromes or diarrhoeal disease), by cellular telephone (encrypted message SMS). Information can also be validated by the management team, by mobile phone. This data transmission costs 120 ariary per day, less than US$1 per month.</p> <p>Results</p> <p>In 2008, the sentinel surveillance system included 13 health centers, and identified 5 outbreaks. Of the 218,849 visits to SGPs, 12.2% were related to fever syndromes. Of these 26,669 fever cases, 12.3% were related to Dengue-like fever, 11.1% to Influenza-like illness and 9.7% to malaria cases confirmed by a specific rapid diagnostic test.</p> <p>Conclusion</p> <p>The sentinel surveillance system represents the first nationwide real-time-like surveillance system ever established in Madagascar. Our findings should encourage other African countries to develop their own syndromic surveillance systems.</p> <p>Prompt detection of an outbreak of infectious disease may lead to control measures that limit its impact and help prevent future outbreaks.</p

Zebrafish Model for Functional Screening of Flow-Responsive Genes

OBJECTIVE: Atherosclerosis is initiated at branches and bends of arteries exposed to disturbed blood flow that generates low shear stress. This mechanical environment promotes lesions by inducing endothelial cell (EC) apoptosis and dysfunction via mechanisms that are incompletely understood. Although transcriptome-based studies have identified multiple shear-responsive genes, most of them have an unknown function. To address this, we investigated whether zebrafish embryos can be used for functional screening of mechanosensitive genes that regulate EC apoptosis in mammalian arteries. APPROACH AND RESULTS: First, we demonstrated that flow regulates EC apoptosis in developing zebrafish vasculature. Specifically, suppression of blood flow in zebrafish embryos (by targeting cardiac troponin) enhanced that rate of EC apoptosis (≈10%) compared with controls exposed to flow (≈1%). A panel of candidate regulators of apoptosis were identified by transcriptome profiling of ECs from high and low shear stress regions of the porcine aorta. Genes that displayed the greatest differential expression and possessed 1 to 2 zebrafish orthologues were screened for the regulation of apoptosis in zebrafish vasculature exposed to flow or no-flow conditions using a knockdown approach. A phenotypic change was observed in 4 genes; p53-related protein (PERP) and programmed cell death 2-like protein functioned as positive regulators of apoptosis, whereas angiopoietin-like 4 and cadherin 13 were negative regulators. The regulation of perp, cdh13, angptl4, and pdcd2l by shear stress and the effects of perp and cdh13 on EC apoptosis were confirmed by studies of cultured EC exposed to flow. CONCLUSIONS: We conclude that a zebrafish model of flow manipulation coupled to gene knockdown can be used for functional screening of mechanosensitive genes in vascular ECs, thus providing potential therapeutic targets to prevent or treat endothelial injury at atheroprone sites

Incidence and risk factors for community-acquired acute gastroenteritis in north-west Germany in 2004

In developed countries, acute gastroenteritis (AGE) is a major source of morbidity. However, only a few studies have estimated its incidence and the associated medical burden. This population-based study determined the incidence of community-acquired AGE patients seeking medical care and the relative role of various pathogens. Stool samples from patients with AGE presenting to a general practitioner (GP), pediatrician, or specialist in internal medicine for that reason were screened for various bacterial and viral enteropathogens. A control group was established as well. Incidences were calculated by the number of positive patients divided by the general population. The study was performed in north-west Germany in 2004. The incidence of AGE patients requiring medical consultation was 4,020/100,000 inhabitants. Children (<5 years of age) were at the highest risk (13,810/100,000 inhabitants). Of the patients, 6.6% were tested positive for an enteropathogenic bacteria and 17.7% for a viral agent. The predominant pathogens were norovirus (626/100,000) and rotavirus (270/100,000). Salmonella was the most frequently detected bacteria (162/100,000). The results presented confirm AGE and, specifically, AGE of viral origin as a major public health burden in developed countries

Assessing inter-beach differences in semi-terrestrial arthropod assemblages on Maltese pocket sandy beaches (Central Mediterranean)

The distinctiveness of macrofaunal assemblages on different sandy beaches in the Maltese Islands was previously suggested by different single-season studies. A multi-seasonal sampling programme using pitfall trapping was implemented on four Maltese beaches to test the occurrence of this phenomenon. A total of 29,302 individuals belonging to 191 species were collected over a 2-year period, during which the beaches were sampled once per calendar season. A total of 77 species were recorded from single Maltese beaches only, of which nine were psammophiles. Non-metric multidimensional scaling analyses of pitfall trap species-abundance data resulted in a weak separation pattern, with samples grouping mainly in terms of beach and island rather than in terms of season or year of sampling, No physical variable could conclusively explain these patterns. It is concluded that although operating on Maltese beaches, macrofaunal assemblage distinctiveness is weaker than originally thought and can be attributed to the presence/absence or abundance of just a few psammophilic species. It is postulated that this phenomenon may be related to the ‘pocket beach’ nature of Maltese beaches, where headlands on either side of the beach to a large extent prevent the occurrence of longshore currents, resulting in semi-isolation of the populations of psammophilic species. A large number of single-beach records reported in this study highlight the high degree of beta diversity and spatial heterogeneity of Maltese beaches, and the conservation importance of the individual beach macrofaunal assemblages.peer-reviewe