Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Regulation of cellular responses by deubiquitinating enzymes:an update

The conjugation of ubiquitin as either a monomer or as a chain has long been known to regulate the stability, localisation, trafficking and/or function of many intracellular proteins. However, the recent explosion in our knowledge of the enzymes responsible for the removal of ubiquitin suggests they also play an important role in the regulation of many processes. Here we examine what is known about the role of deubiquitinating enzymes (DUBs), with particular emphasis upon their impact on cellular responses to external stimuli. In addition, we look at the evidence that although these enzymes are heavily outnumbered by those responsible for ubiquitin conjugation, that these enzymes may still be important cellular regulators, due to their ability to play multiple roles which can be cell type and cell context specific.

Update on Research Activities in the MaRINET Project

The MaRINET FP7 project aims to build a synergy in the European marine renewable energy development infrastructure network, involving a total of 28 partners across the union. Its scope extends from small to large scale testing, in both tank and field. The main activities of the project are to standardize test procedures, to provide centralized free access for European technology developers, and to innovate for improving test infrastructures and techniques.
Two years to the end of the project, this paper presents an update of the work being carried in this last part. It focuses on research objectives identified to be current challenges for industrial development. They are distributed in 6 topics. On the one hand are issues directly related to one of the 3 types of energy scoped in the project: wave, tidal, and offshore wind. On the other hand, collaborative effort is drawn on aspects that are common to those technologies: electrical components, environmental monitoring, and dedicated moorings.
Theory and validation of new test techniques are presented, for example in the case of non-intrusive wave measurements. This is done in coordination with extensive experimental analysis of the phenomena implying tests, such as nonlinearities in moorings.

An Update on Sedimentary Pigments in Victoria Land Lakes (East Antarctica)

Antarctic ice-free areas contain lakes and ponds that have interesting limnological features and are of wide global significance as early warning indicators of climatic and environmental change. However, most linmological and paleolimnological studies in continental Antarctica are limited to certain regions. There are several ice-free areas in Victoria Land that have not yet been studied well. There is therefore a need to extend limnological studies in space and time to understand how different geological and climatic features affect the composition and biological activity of freshwater communities. With the aim of contributing to a better limnological characterization of Victoria Land, this paper reports data on sedimentary pigments (used to identify the main algal taxa) obtained through a methodology that is more sensitive and selective than that of previous studies. Analyses were extended to 48 water bodies in ice-free areas with differing lithology, latitude, and altitude, and with different morphometry and physical, chemical, and biological characteristics in order to identify environmental factors affecting the distribution and composition of freshwater autotrophic communities. A wider knowledge of lakes in a limnologically important region of Antarctica was obtained. Cyanophyta was found to be the most important algal group, followed by Chlorophyta and Bacillariophyta, whereas latitude and altitude are the main factors affecting pigment distribution.

Making geography mobile: using location aware technology to improve student performance in physical geography

With the increased availability of new technologies, geography educators are revisiting their pedagogical approaches to teaching and calling for opportunities to share local and international practices which will enhance the learning experience and improve students’ performance. This paper reports on the use of handheld mobile devices, fitted with GPS, by secondary (high) school pupils in geography. Two location-aware activities were completed over one academic year (one per semester) and pre-test and post-test scores for both topics revealed a statistically significant increase in pupils’ performance as measured by the standard national assessments. A learner centred educational approach was adopted with the first mobile learning activity being created by the teacher as an exemplar of effective mobile learning design. Pupils built on their experiences of using mobile learning when they were required to created their own location aware learning task for peer use. An analysis of the qualitative data from the pupils’ journals, group diaries and focus group interviews revealed the five pillars of learner centred education are addressed when using location aware technologies and the use of handheld mobile devices offered greater flexibility and autonomy to the pupils thus altering the level of power and control away from the teacher. Due to the relatively small number of participants in the study, the results are more informative than generalisable however in light of the growing interest in geo-spatial technologies in geography education, this paper offers encouragement and insight into the use of location aware technology in a compulsory school context

Pharmacological treatments in ARDS; a state-of-the-art update

Despite its high incidence and devastating outcomes, acute respiratory distress syndrome (ARDS) has no specific treatment, with effective therapy currently limited to minimizing potentially harmful ventilation and avoiding a positive fluid balance. Many pharmacological therapies have been investigated with limited success to date. In this review article we provide a state-of-the-art update on recent and ongoing trials, as well as reviewing promising future pharmacological therapies in ARDS.

Fault Location on a Distribution Network Using a Decentralised Analysis Process

A reduction in the time required to locate and restore faults on a utility's distribution network improves the customer minutes lost (CML) measurement and hence brings direct cost savings to the operating company. The traditional approach to fault location involves fault impedance determination from high volume waveform files dispatched across a communications channel to a central location for processing and analysis. This paper examines an alternative scheme where data processing is undertaken locally within a recording instrument thus reducing the volume of data to be transmitted. Processed event fault reports may be emailed to relevant operational staff for the timely repair and restoration of the line.

Selection and Treatment of Data for Radiocarbon Calibration: An Update to the International Calibration (IntCal) Criteria

High-quality data from appropriate archives are needed for the continuing improvement of radiocarbon calibration curves. We discuss here the basic assumptions behind 14C dating that necessitate calibration and the relative strengths and weaknesses of archives from which calibration data are obtained. We also highlight the procedures, problems and uncertainties involved in determining atmospheric and surface ocean 14C/12C in these archives, including a discussion of the various methods used to derive an independent absolute timescale and uncertainty. The types of data required for the current IntCal database and calibration curve model are tabulated with examples.

Genetic basis of Congenital Erythrocytosis:mutation update and online databases

Congenital Erythrocytosis (CE), or congenital polycythemia, represents a rare and heterogeneous clinical entity. It is caused by deregulated red blood cell production where erythrocyte overproduction results in elevated hemoglobin and hematocrit levels. Primary congenital familial erythrocytosis is associated with low erythropoietin (Epo) levels and results from mutations in the Epo receptor gene (EPOR). Secondary congenital erythrocytosis arises from conditions causing tissue hypoxia and results in increased Epo production. These include hemoglobin variants with increased affinity for oxygen (HBB, HBA mutations), decreased production of 2,3-bisphosphoglycerate due to BPGM mutations, or mutations in the genes involved in the hypoxia sensing pathway (VHL, EPAS1 and EGLN1). Depending on the affected gene, CE can be inherited either in an autosomal dominant or recessive mode, with sporadic cases arising de novo. Despite recent important discoveries in the molecular pathogenesis of CE, the molecular causes remain to be identified in about 70% of the patients. With the objective of collecting all the published and unpublished cases of CE the COST action MPN&MPNr-Euronet developed a comprehensive internet-based database focusing on the registration of clinical history, hematological, biochemical and molecular data (http://www.erythrocytosis.org/). In addition, unreported mutations are also curated in the corresponding Leiden Open Variation Database (LOVD). This article is protected by copyright. All rights reserved.

The influence of assembly friction stir weld location on wing panel static strength

Finite Element simulations and mechanical tests are undertaken to assess the impact of weld joint location on stiffened panel static strength. An upper wing cover panel, with a manufacturing process of welding multiple near-net-shape multi-stiffener extrusions with a final net-shape machining phase is investigated. The 7000 series aluminium alloy extrusions and skin bay longitudinal friction stir butt welds are examined. Geometric imperfections exhibit the greatest influence on panel collapse, thus for static strength design the selection of weld joint location should minimise imperfection generation. Moreover the analysis demonstrates limited impact on panel collapse strength when an optimised welding process is employed. © 2013 Elsevier Ltd. All rights reserved.