Weak refinement in Z

An important aspect in the specification of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the user interface (i.e. the user cannot invoke them), however, they are essential to our understanding and correct modelling of the system. Various conventions have been employed to model internal operations when specifying distributed systems in Z. If internal operations are distinguished in the specification notation, then refinement needs to deal with internal operations in appropriate ways. However, in the presence of internal operations, standard Z refinement leads to undesirable implementations. In this paper we present a generalization of Z refinement, called weak refinement, which treats internal operations differently from observable operations when refining a system. We illustrate some of the properties of weak refinement through a specification of a telecommunications protocol

The ACIGA Data Analysis programme

The Data Analysis programme of the Australian Consortium for Interferometric Gravitational Astronomy (ACIGA) was set up in 1998 by the first author to complement the then existing ACIGA programmes working on suspension systems, lasers and optics, and detector configurations. The ACIGA Data Analysis programme continues to contribute significantly in the field; we present an overview of our activities.Comment: 10 pages, 0 figures, accepted, Classical and Quantum Gravity, (Proceedings of the 5th Edoardo Amaldi Conference on Gravitational Waves, Tirrenia, Pisa, Italy, 6-11 July 2003

Optimizing Stimulation and Analysis Protocols for Neonatal fMRI

The development of brain function in young infants is poorly understood. The core challenge is that infants have a limited behavioral repertoire through which brain function can be expressed. Neuroimaging with fMRI has great potential as a way of characterizing typical development, and detecting abnormal development early. But, a number of methodological challenges must first be tackled to improve the robustness and sensitivity of neonatal fMRI. A critical one of these, addressed here, is that the hemodynamic response function (HRF) in pre-term and term neonates differs from that in adults, which has a number of implications for fMRI. We created a realistic model of noise in fMRI data, using resting-state fMRI data from infants and adults, and then conducted simulations to assess the effect of HRF of the power of different stimulation protocols and analysis assumptions (HRF modeling). We found that neonatal fMRI is most powerful if block-durations are kept at the lower range of those typically used in adults (full on/off cycle duration 25-30s). Furthermore, we show that it is important to use the age-appropriate HRF during analysis, as mismatches can lead to reduced power or even inverted signal. Where the appropriate HRF is not known (for example due to potential developmental delay), a flexible basis set performs well, and allows accurate post-hoc estimation of the HRF

Educational interventions to improve people's understanding of key concepts in assessing the effects of health interventions: a systematic review

Abstract Background Health information is readily accessible but is of variable quality. General knowledge about how to assess whether claims about health interventions are trustworthy is not common, so people’s health decisions can be ill-informed, unnecessarily costly and even unsafe. This review aims to identify and evaluate studies of educational interventions designed to improve people’s understanding of key concepts for evaluating claims about the effects of health interventions. Methods/Design We searched multiple electronic databases and sources of grey literature. Inclusion criteria included all study types that included a comparison, any participants (except health professionals or health professional students) and educational interventions aimed at improving people’s understanding of one or more of the key concepts considered necessary for assessing health intervention claims. Knowledge and/or understanding of concepts or skills relevant to evaluating health information were our primary outcome measures. Secondary outcomes included behaviour, confidence, attitude and satisfaction with the educational interventions. Two authors independently screened search results, assessed study eligibility and risk of bias and extracted data. Results were summarised using descriptive synthesis. Results Among 24 eligible studies, 14 were randomised trials and 10 used other study designs. There was heterogeneity across study participants, settings and educational intervention type, content and delivery. The risk of bias was high in at least one domain for all randomised studies. Most studies measured outcomes immediately after the educational intervention, with few measuring later. In most of the comparisons, measures of knowledge and skills were better among those who had received educational interventions than among controls, and some of these differences were statistically significant. The effects on secondary outcomes were inconsistent. Conclusions Educational interventions to improve people’s understanding of key concepts for evaluating health intervention claims can improve people’s knowledge and skills, at least in the short term. Effects on confidence, attitude and behaviour are uncertain. Many of the studies were at moderate or greater risk of bias. Improvements in study quality, consistency of outcome measures and measures of longer-term effects are needed to improve confidence in estimates of the effects of educational interventions to improve people’s understanding of key concepts for evaluating health intervention claims. Systematic review registration PROSPERO CRD4201603310

Best Practice Description Document

This work received support and funding from • The BOHAB project (Biological Oceanography of Harmful Algal Blooms off the west coast of Ireland) through the National Development Plan 2000 – 2006 with the support of the Marine Institute and the Marine RTDI (Research, Technology, Development and Innovation) Measure, Productive Sector Operational Programme, Grant-aid Agreement No. ST/02/01. • the ASIMUTH project (Applied simulations and Integrated modelling for the understanding of toxic and harmful algal blooms) through the European Research Council under the European Union's Seventh Framework Programme (FP7/2007-2013) for Research and Technological Development - EC FP7 Programme, Space Theme, Grant Agreement No. 261860 • the MyOcean 2 project through the EC FP7 Programme, Space Theme, Grant Agreement No. 283367 • the AtlantOS project through the European Union's Horizon 2020 research and innovation programme, Grant Agreement No. 633211 • The PRIMROSE (Predicting the impact of regional scale events on the aquaculture sector) project, co-financed by the European Regional Development Fund through the Interreg Atlantic Area Programme, EAPA_182/2016 • The CoCliME (Co-development of climate services for adaptation to changing marine ecosystems) project is part of the European Research Area for Climate Services (ERA4CS), an ERA-NET initiated by JPI Climate, and funded by EPA (IE), ANR (FR), BMBF (DE), UEFISCDI (RO), RCN (NO) and FORMAS (SE), with co-funding by the European Union (Grant Agreement No. 690462).This document describes the procedural steps in creating an information product focused on toxic and harmful phytoplankton. The product is an online Harmful Algal Bloom (HAB) bulletin for aquaculturists, who can face serious operational challenges in the days after a HAB event. Data from satellite, numerical hydrodynamic models and In-situ ocean observations are organised and presented into visual information products. These products are enhanced through local expert evaluation and their interpretation is summarised in the bulletin. This document aims to provide both process overviews (the “what” of the Best Practice in producing the bulletins) and detail procedures (the “how” of the Best Practice”) so that the bulletins may be replicated in other geographic regions.European Commissio

Mutational Analysis of Merkel Cell Carcinoma

Merkel cell carcinoma (MCC) is an aggressive cutaneous neuroendocrine malignancy that is associated with a poor prognosis. The pathogenesis of MCC is not well understood, and despite a recent plethora of mutational analyses, we have yet to find a set of signature mutations implicated in the majority of cases. Mutations, including TP53, Retinoblastoma and PIK3CA, have been documented in subsets of patients. Other mechanisms are also likely at play, including infection with the Merkel cell polyomavirus in a subset of patients, dysregulated immune surveillance, epigenetic alterations, aberrant protein expression, posttranslational modifications and microRNAs. In this review, we summarize what is known about MCC genetic mutations and chromosomal abnormalities, and their clinical significance. We also examine aberrant protein function and microRNA expression, and discuss the therapeutic and prognostic implications of these findings. Multiple clinical trials designed to selectively target overexpressed oncogenes in MCC are currently underway, though most are still in early phases. As we accumulate more molecular data on MCC, we will be better able to understand its pathogenic mechanisms, develop libraries of targeted therapies, and define molecular prognostic signatures to enhance our clinicopathologic knowledge

Quantum atomic delocalization vs. structural disorder in amorphous silicon

Quantum effects on the atom delocalization in amorphous silicon have been studied by path-integral Monte Carlo simulations from 30 to 800 K. The quantum delocalization is appreciable vs. topological disorder, as seen from structural observables such as the radial distribution function (RDF). At low temperatures, the width of the first peak in the RDF increases by a factor of 1.5 due to quantum effects. The overall anharmonicity of the solid vibrations at finite temperatures in amorphous silicon is clearly larger than in the crystalline material. Low-energy vibrational modes are mainly located on coordination defects in the amorphous material.Comment: 5 pages, 5 PS figures, REVTE

Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

Source apportionment and Elemental Composition of Atmospheric total Suspended Particulates (TSP) Over the Red Sea Coast of Saudi Arabia

This work presents a comprehensive study on concentrations and elemental composition of total suspended atmospheric particulates for a semi-urban site on the Red Sea coast, and on-board a research vessel, which collected off-shore samples along the Red Sea. We conducted one of the most extended measurement campaigns of atmospheric particulates ever for the region, with continuous measurements over 27 months. The overall mean concentrations (± st. dev.) of TSP were 125 ± 197 µg m−3 for the permanent semi-urban site, and 108 ± 193 µg m−3 for the off-shore mobile site. The region is frequently severely impacted by both localised and widespread dust storms, which on occasion, can increase atmospheric particulate concentrations to levels above mg m−3 (> 1000 µg m−3). Median concentrations were not as variable between seasons, indicating a stable, permanent presence of atmospheric particulates independent of the time of year. The primary chemical elements contributing to particulate mass were Na, Ca, S, Al and Fe. We employed Positive Matrix Factorisation (EPA PMF v5.0.14) to identify different major sources of particulates, which were crustal, marine, fuel oil combustion/secondary sulphate and mixed anthropogenic. The crustal source was characterised by tracers Al, Fe, K, Mg and Sn, and was present to some extent in the other identified sources due to the permanent presence of dust particles in the atmosphere. The fuel oil combustion/secondary sulphate source was identifiable by the almost exclusive presence of S, and to a lesser extent V, emitted from oil combustion as primary emissions and also secondary sulphate formation following the release of S to the atmosphere. A mixed anthropogenic source was characterised by Zn, Ni, Cr, Cu and Pb, emitted from traffic, industry, power generation and water desalination. This study highlights that the natural sources of particulates in this desert region give rise to frequent episodes of extremely poor air quality, and this problem is compounded by significant emissions of anthropogenic pollution, which has an impact across the entire Red Sea basin. Further stringent measures should be adopted to improve air quality across the region and prevent long-term damage to the health of the local population and ecosystems.En prens