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.

Metal organic frameworks as NO delivery materials for biological applications

Metal organic frameworks (MOFs) are highly porous materials that can store significant amounts of gas, including nitric oxide. The chemical composition and toxicology of many (but not all) of these materials makes them potentially suitable for medical applications. In this paper, we will describe how triggered release methods can be used to deliver biologically relevant amounts of NO and then show how Ni, Co and Cu-containing MOFs are biologically active materials with potential applications in several different areas (anti-thrombosis, dermatology and wound healing, anti-bacterial, vasodilation etc.). We will also discuss the pros and cons of MOFs, including their chemical and biological stability and the toxicology of MOFs in general. (C) 2009 Elsevier Inc. All rights reserved.

Modelling of poly(ethylene terephthalate) in injection stretch-blow moulding

Simulations of the injection stretch-blow moulding process have been developed for the manufacture of poly(ethylene terephthalate) bottles using the commercial finite element package ABAQUS/standard. Initially a simulation of the manufacture of a 330 mL bottle was developed with three different material models (hyperelastic, creep, and a non-linear viscoelastic model (Buckley model)) to ascertain their suitability for modelling poly(ethylene terephthalate). The Buckley model was found to give results for the sidewall thickness that matched best with those measured from bottles off the production line. Following the investigation of the material models, the Buckley model was chosen to conduct a three-dimensional simulation of the manufacture of a 2 L bottle. It was found that the model was also capable of predicting the wall thickness distribution accurately for this bottle. In the development of the three-dimensional simulation a novel approach, which uses an axisymmetric model until the material reaches the petaloid base, was developed. This resulted in substantial savings in computing time. © 2000 IoM Communication Ltd.

A lethal tetrad in diabetes:hyperglycemia, dyslipidemia, oxidative stress, and endothelial dysfunction

This paper addresses the consequences of diabetes and obesity, diseases that have become epidemic in our society, particularly in the past 20 years. Specifically, it summarizes current knowledge about some of the risk factors and mechanisms for the vascular complications of diabetes. These complications can be broadly divided into microvascular disease, such as diabetic retinopathy and diabetic nephropathy, and macrovascular disease, such as accelerated atherosclerosis, and they are the main cause for morbidity and premature mortality among diabetic patients. The roles of hyperglycemia, dyslipidemia and dyslipoproteinemia, oxidative stress, and endothelial dysfunction will be considered. Finally, the "treatment gap" will be addressed. This gap refers to our failure to achieve currently accepted goals to reduce established risk factors for complications in the clinical management of diabetic patients.

Endodontic 'Solutions'. Part 2:An audit comparing current practice in Belfast with UK and Republic of Ireland Dental Schools

Endodontic lubricants, irrigating solutions and medicaments help reduce the microbial load within root canals. Primary and secondary cases involve different microbes. Each'solution'or combinations thereof could play a significant role but no detailed guidelines exist on their use. An audit was undertaken to compare current practice in Belfast Dental School to the others across the UK and Republic of Ireland (ROI). This audit highlighted three main differences between Belfast and other dental schools. Many other institutions utilized other irrigants besides sodium hypochlorite (NaOCl), different intracanal medicaments, including calcium hydroxide, and higher concentrations of NaOCl. Having gathered this information, we ask, 'Is there sufficient evidence to change the endodontic regime currently used at Belfast Dental School?'. Using the findings from the literature review (Part 1), we introduce new evidence-based protocols for primary and secondary cases for use in Belfast Dental School. Clinical Relevance: In the absence of detailed clinical guidelines on the use of endodontic lubricants, irrigants and medicaments in primary and secondary cases, it is important to be aware of current practice in UK and ROI dental schools where dentists and specialists are trained.

Tubular cathode prepared by a dip-coating method for low temperature DMFC

A novel tubular cathode for the direct methanol fuel cell (DMFC) is proposed, based on a tubular titanium mesh. A dip-coating method has been developed for its fabrication. The tubular cathode is composed of titanium mesh, a cathode diffusion layer, a catalyst layer, and a recast Nafion® film. The titanium mesh is present at the inner circumference of the diffusion layer, while the recast Nafion® film is at the outer circumference of the catalyst layer. A DMFC single cell with a 3.5 mgPt cm tubular cathode was able to perform as well, in terms of power density, as a conventional planar DMFC. A peak power density of 9 mW cm was reached under atmospheric air at 25 °C. © 2006 WILEY-VCH Verlag GmbH & Co. KGaA.

Participatory Action Research with and within community activist groups: capturing the collective experience of Ireland's Community and Voluntary Pillar

The inclusion of community activists in policy planning is increasingly recognized at the highest international level. This article shows how the use of Participatory Action Research (PAR) can present a deeper and more holistic picture of the experiences of Civil Society Organizations (CSOs) in shaping national-level social policy. By utilizing action-based research, the Community and Voluntary Pillar (CVP) of Ireland’s system of social partnership is shown to be an important agent in deliberating national bargaining outcomes (known as the Towards 2016 national agreement). The key contribution of this research is the reflective methodological considerations in terms of PAR design, execution and participant integration in the research process as a way to enrich and develop a deeper and more informed community of practice.

Validation of a regional Indonesian seas model based on a comparison between model and INSTANT transports

The International Nusantara Stratification and Transport (INSTANT) program measured currents through multiple Indonesian Seas passages simultaneously over a three-year period (from January 2004 to December 2006). The Indonesian Seas region has presented numerous challenges for numerical modelers - the Indonesian Throughflow (ITF) must pass over shallow sills, into deep basins, and through narrow constrictions on its way from the Pacific to the Indian Ocean. As an important region in the global climate puzzle, a number of models have been used to try and best simulate this throughflow. In an attempt to validate our model, we present a comparison between the transports calculated from our model and those calculated from the INSTANT in situ measurements at five passages within the Indonesian Seas (Labani Channel, Lifamatola Passage, Lombok Strait, Ornbai Strait, and Timor Passage). Our Princeton Ocean Model (POM) based regional Indonesian Seas model was originally developed to analyze the influence of bottom topography on the temperature and salinity distributions in the Indonesian seas region, to disclose the path of the South Pacific Water from the continuation of the New Guinea Coastal Current entering the region of interest up to the Lifamatola Passage, and to assess the role of the pressure head in driving the ITF and in determining its total transport. Previous studies found that this model reasonably represents the general long-term flow (seasons) through this region. The INSTANT transports were compared to the results of this regional model over multiple timescales. Overall trends are somewhat represented but changes on timescales shorter than seasonal (three months) and longer than annual were not considered in our model. Normal velocities through each passage during every season are plotted. Daily volume transports and transport-weighted temperature and salinity are plotted and seasonal averages are tabulated.

Creating an Inclusive Society… How Close are We in Relation to Autism Spectrum Disorder? A General Population Survey

BackgroundChildren with autism spectrum disorder are increasingly educated in mainstream classrooms in the United Kingdom (Wilkinson & Twist, Autism and Educational Assessment: UK Policy and Practice. NFER, Slough, 2010), and some employers are now specifically seeking out staff on the autism spectrum. Does that mean that we are living in an inclusive society' [United Nations Department of Economic and Social Affairs (UNDESA), Creating an Inclusive Society: Practical Strategies to Promote Social Integration 2008], in the sense that inequalities are reduced and full economic, social and cultural participation is advanced for individuals with autism?

MethodsA general population survey was conducted to assess how close we, as a society, are to an inclusive society for individuals with autism in Northern Ireland. Public attitudes were examined to (i) visibility and social interaction, (ii) aetiology, needs and interventions, and (iii) rights and resources.

ResultsA stratified, representative sample of 1204 adults took part in the survey; of these, 989 were aware of autism and their attitudes and behavioural projections reflected a mix of acceptance and denunciation. The level of confusion with regard to interventions reflected the general uncertainty within UK policy regarding meeting the needs of individuals on the autism spectrum (International Journal of Disability, Development and Education 61, 134, 2014a).

ConclusionTherefore, it seems that inclusion is working to an extent, but more clarity is needed with regard to adequate education, intervention and support for individuals with autism.

IPPro: FPGA based Image Processing Processor

The paper presents IPPro which is a high performance, scalable soft-core processor targeted for image processing applications. It has been based on the Xilinx DSP48E1 architecture using the ZYNQ Field Programmable Gate Array and is a scalar 16-bit RISC processor that operates at 526MHz, giving 526MIPS of performance. Each IPPro core uses 1 DSP48, 1 Block RAM and 330 Kintex-7 slice-registers, thus making the processor as compact as possible whilst maintaining flexibility and programmability. A key aspect of the approach is in reducing the application design time and implementation effort by using multiple IPPro processors in a SIMD mode. For different applications, this allows us to exploit different levels of parallelism and mapping for the specified processing architecture with the supported instruction set. In this context, a Traffic Sign Recognition (TSR) algorithm has been prototyped on a Zedboard with the colour and morphology operations accelerated using multiple IPPros. Simulation and experimental results demonstrate that the processing platform is able to achieve a speedup of 15 to 33 times for colour filtering and morphology operations respectively, with a reduced design effort and time.

Modelling fatigue of bone cement

Accurate models of cement and interface fatigue are essential if computationally assessing risk of aseptic loosening of cemented joint replacements is to become clinically relevant. A series of approaches will be presented that attempt to model several aspects of bone cement fatigue relevant to predicting cemented joint replacement failure. Failure models for homogeneous (bulk) bone cement and its interface with implant and host tissue are reviewed. Variability introduced by porosity and interaction between fatigue and creep are also considered. Finally, some current and potential future developments are discussed.

Isolating Informational Masking in Both Pure and Complex Tone Sequences

Objectives: Interference between a target and simultaneous maskers occurs both at the cochlear level through energetic masking and more centrally through informational masking (IM). Hence, quantifying the amount of IM requires a strict control of the energetic component. Presenting target and maskers on different sides (i.e., dichotically) reduces energetic masking but provides listeners with important lateralization cues that also drastically reduce IM. The main purpose of this study (Experiment 1) was to evaluate a "switch" manipulation aiming at restoring most of the IM despite dichotic listening. Experiment 2 was designed to investigate the source of the difficulty induced by this switching dichotic condition.

Design: In Experiment 1, the authors presented 60 normal-hearing young adults with a detection task in which a regularly repeating target was embedded in a randomly varying background masker. The authors evaluated spatial masking release induced by three different dichotic listening conditions in comparison with a diotic baseline. Dichotic stimuli were presented in either a nonswitching or a switching condition. In the latter case, the presentation sides of dichotic target and maskers alternated several times throughout 10 sec sequences. The impact of the number of switches on IM was investigated parametrically, with both pure and complex tone sequences. In Experiment 2, the authors compared performance of 13 young, normal-hearing listeners in a monotic and dichotic version of the rapidly switching condition, using pure-tone sequences.

Results: When target and maskers switched rapidly within sequences, IM was significantly stronger than in nonswitching dichotic sequences and was comparable with the masking effect induced by diotic sequences. Furthermore, Experiment 2 suggests that rapidly switching target and maskers prevent listeners from relying on lateralization cues inherent to the dichotic condition, hence preserving important amounts of IM.

Conclusions: This paradigm thus provides an original tool to isolate IM in signal and maskers having overlapping spectra.

Release of β-galactosidase from poloxamine/α-cyclodextrin hydrogels

All mammals lose their ability to produce lactase (β-galactosidase), the enzyme that cleaves lactose into galactose and glucose, after weaning. The prevalence of lactase deficiency (LD) spans from 2 to 15% among northern Europeans, to nearly 100% among Asians. Following lactose consumption, people with LD often experience gastrointestinal symptoms such as abdominal pain, bowel distension, cramps and flatulence, or even systemic problems such as headache, loss of concentration and muscle pain. These symptoms vary depending on the amount of lactose ingested, type of food and degree of intolerance. Although those affected can avoid the uptake of dairy products, in doing so, they lose a readily available source of calcium and protein. In this work, gels obtained by complexation of Tetronic 90R4 with α-cyclodextrin loaded with β-galactosidase are proposed as a way to administer the enzyme immediately before or with the lactose-containing meal. Both molecules are biocompatible, can form gels in situ, and show sustained erosion kinetics in aqueous media. The complex was characterized by FTIR that evidenced an inclusion complex between the polyethylene oxide block and α-cyclodextrin. The release profiles of β-galactosidase from two different matrices (gels and tablets) of the in situ hydrogels have been obtained. The influence of the percentage of Tetronic in media of different pH was evaluated. No differences were observed regarding the release rate from the gel matrices at pH 6 (t50 = 105 min). However, in the case of the tablets, the kinetics were faster and they released a greater amount of 90R4 (25%, t50 = 40–50 min). Also, the amount of enzyme released was higher for mixtures with 25% Tetronic. Using suitable mathematical models, the corresponding kinetic parameters have been calculated. In all cases, the release data fit quite well to the Peppas–Sahlin model equation, indicating that the release of β-galactosidase is governed by a combination of diffusion and erosion processes. It has been observed that the diffusion mechanism prevails over erosion during the first 50 minutes, followed by continued release of the enzyme due to the disintegration of the matrix.