Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in contrast to pure PDL. For regular, visibly pushdown and deterministic context-free languages, the separation of the respective PDLs can be proven by automata-theoretic techniques. However, these techniques introduce non-determinism on the automata side. As non-determinism is also the difference between DCFL and CFL, these techniques seem to be inappropriate to separate PDL[DCFL] from PDL[CFL]. Nevertheless, this separation is shown but for programs without test operators.Comment: In Proceedings GandALF 2011, arXiv:1106.081

Green Production of Anionic Surfactant Obtained from Pea Protein

A pea protein isolate was hydrolyzed by a double enzyme treatment method in order to obtain short peptide sequences used as raw materials to produce lipopeptides-based surfactants. Pea protein hydrolysates were prepared using the combination of Alcalase and Flavourzyme. The influence of the process variables was studied to optimize the proteolytic degradation to high degrees of hydrolysis. The average peptide chain lengths were obtained at 3–5 amino acid units after a hydrolysis of 30 min with the mixture of enzymes. Then, N-acylation in water, in presence of acid chloride (C12 and C16), carried out with a conversion rate of amine functions of 90%, allowed to obtain anionic surfactant mixtures (lipopeptides and sodium fatty acids). These two steps were performed in water, in continuous and did not generate any waste. This process was therefore in line with green chemistry principles. The surface activities (CMC, foaming and emulsifying properties) of these mixtures were also studied. These formulations obtained from natural renewable resources and the reactions done under environmental respect, could replace petrochemical based surfactants for some applications

Sea Ice and Substratum Shape Extensive Kelp Forests in the Canadian Arctic

The coastal zone of the Canadian Arctic represents 10% of the world’s coastline and is one of the most rapidly changing marine regions on the planet. To predict the consequences of these environmental changes, a better understanding of how environmental gradients shape coastal habitat structure in this area is required. We quantified the abundance and diversity of canopy forming seaweeds throughout the nearshore zone (5–15 m) of the Eastern Canadian Arctic using diving surveys and benthic collections at 55 sites distributed over 3,000 km of coastline. Kelp forests were found throughout, covering on average 40.4% (±29.9 SD) of the seafloor across all sites and depths, despite thick sea ice and scarce hard substrata in some areas. Total standing macroalgal biomass ranged from 0 to 32 kg m–2 wet weight and averaged 3.7 kg m–2 (±0.6 SD) across all sites and depths. Kelps were less abundant at depths of 5 m compared to 10 or 15 m and distinct regional assemblages were related to sea ice cover, substratum type, and nutrient availability. The most common community configuration was a mixed assemblage of four species: Agarum clathratum (14.9% benthic cover ± 12.0 SD), Saccharina latissima (13% ± 14.7 SD), Alaria esculenta (5.4% ± 1.2 SD), and Laminaria solidungula (3.7% ± 4.9 SD). A. clathratum dominated northernmost regions and S. latissima and L. solidungula occurred at high abundance in regions with more open water days. In southeastern areas along the coast of northern Labrador, the coastal zone was mainly sea urchin barrens, with little vegetation. We found positive relationships between open water days (days without sea ice) and kelp biomass and seaweed diversity, suggesting kelp biomass could increase, and the species composition of kelp forests could shift, as sea ice diminishes in some areas of the Eastern Canadian Arctic. Our findings demonstrate the high potential productivity of this extensive coastal zone and highlight the need to better understand the ecology of this system and the services it provides.publishedVersio

Chandra Spectral and Timing Analysis of Sgr A*'s Brightest X-ray Flares

We analyze the two brightest Chandra X-ray flares detected from Sagittarius A*, with peak luminosities more than 600 x and 245 x greater than the quiescent X-ray emission. The brightest flare has a distinctive double-peaked morphology --- it lasts 5.7 ksec ($\sim 2$ hours), with a rapid rise time of 1500 sec and a decay time of 2500 sec. The second flare lasts 3.4 ksec, with rise and decay times of 1700 sec and 1400 sec. These luminous flares are significantly harder than quiescence: the first has a power law spectral index $\Gamma = 2.06\pm 0.14$ and the second has $\Gamma = 2.03\pm 0.27$, compared to $\Gamma = 3.0\pm0.2$ for the quiescent accretion flow. These spectral indices (as well as the flare hardness ratios) are consistent with previously-detected Sgr A* flares, suggesting that bright and faint flares arise from similar physical processes. Leveraging the brightest flare's long duration and high signal-to-noise, we search for intraflare variability and detect excess X-ray power at a frequency of $\nu \approx 3$ mHz, but show that it is an instrumental artifact and not of astrophysical origin. We find no other evidence (at the 95% confidence level) for periodic or quasi-periodic variability in either flares' time series. We also search for non-periodic excess power but do not find compelling evidence in the power spectrum. Bright flares like these remain our most promising avenue for identifying Sgr A*'s short timescale variability in the X-ray, which may probe the characteristic size scale for the X-ray emission region.Comment: Updated to match published version; 19 pages, 7 figures, 3 table

High intensity neutrino oscillation facilities in Europe

The EUROnu project has studied three possible options for future, high intensity neutrino oscillation facilities in Europe. The first is a Super Beam, in which the neutrinos come from the decay of pions created by bombarding targets with a 4 MW proton beam from the CERN High Power Superconducting Proton Linac. The far detector for this facility is the 500 kt MEMPHYS water Cherenkov, located in the Fréjus tunnel. The second facility is the Neutrino Factory, in which the neutrinos come from the decay of μ+ and μ− beams in a storage ring. The far detector in this case is a 100 kt magnetized iron neutrino detector at a baseline of 2000 km. The third option is a Beta Beam, in which the neutrinos come from the decay of beta emitting isotopes, in particular He6 and Ne18, also stored in a ring. The far detector is also the MEMPHYS detector in the Fréjus tunnel. EUROnu has undertaken conceptual designs of these facilities and studied the performance of the detectors. Based on this, it has determined the physics reach of each facility, in particular for the measurement of CP violation in the lepton sector, and estimated the cost of construction. These have demonstrated that the best facility to build is the Neutrino Factory. However, if a powerful proton driver is constructed for another purpose or if the MEMPHYS detector is built for astroparticle physics, the Super Beam also becomes very attractive

The attitudes, beliefs and behaviours of GPs regarding exercise for chronic knee pain: a systematic review

<p>Abstract</p> <p>Background</p> <p>Joint pain, specifically chronic knee pain (CKP), is a frequent cause of chronic pain and limitation of function and mobility among older adults. Multiple evidence-based guidelines recommend exercise as a first-line treatment for all patients with CKP or knee osteoarthritis (KOA), yet healthcare practitioners' attitudes and beliefs may limit their implementation. This systematic review aims to identify the attitudes, beliefs and behaviours of General Practitioners (GPs) regarding the use of exercise for CKP/KOA.</p> <p>Methods</p> <p>We searched four electronic databases between inception and January 2008, using subject headings to identify studies examining the attitudes, beliefs or behaviours of GPs regarding the use of exercise for the treatment of CKP/KOA in adults aged over 45 years in primary care. Studies referring to patellofemoral pain syndrome or CKP secondary to other causes or that occurring in a prosthetic joint were excluded. Once inclusion and exclusion criteria were applied, study data were extracted and summarised. Study quality was independently reviewed using two assessment tools.</p> <p>Results</p> <p>From 2135 potentially relevant articles, 20 were suitable for inclusion. A variety of study methodologies and approaches to measuring attitudes beliefs and behaviours were used among the studies. Quality assessment revealed good reporting of study objective, type, outcome factors and, generally, the sampling frame. However, criticisms included use of small sample sizes, low response rates and under-reporting of non-responder factors. Although 99% of GPs agreed that exercise should be used for CKP/KOA and reported ever providing advice or referring to a physiotherapist, up to 29% believed that rest was the optimum management approach. The frequency of actual provision of exercise advice or physiotherapy referral was lower. Estimates of provision of exercise advice and physiotherapy referral were generally higher for vignette-based studies (exercise advice 9%-89%; physiotherapy referral 44%-77%) than reviews of actual practice (exercise advice 5%-52%; physiotherapy referral 13-63%). <it>A</it><it>dvice to exercise </it>and exercise <it>prescription </it>were not clearly differentiated.</p> <p>Conclusions</p> <p>Attitudes and beliefs of GPs towards exercise for CKP/KOA vary widely and exercise appears to be underused in the management of CKP/KOA. Limitations of the evidence base include the paucity of studies directly examining attitudes of GPs, poor methodological quality, limited generalisability of results and ambiguity concerning GPs' expected roles. Further investigation is required of the roles of GPs in using exercise as first-line management of CKP/KOA.</p

Contextualising the pervasive impact of macroeconomic austerity on prison health in England: A qualitative study among international policymakers

Background: Prisons offer the state the opportunity to gain access to a population that is at particularly high risk of ill-health. Despite the supportive legal and policy structures surrounding prison rehabilitation, the oppressive nature of the austerity policy in England threatens its advanced improvement.Methods: Using grounded theory methodology, this is the first interdisciplinary qualitative study to explore the impact of macroeconomic austerity on prison health in England from the perspective of 29 international prison policymakers.Results: The far-reaching impact of austerity in England has established a regressive political system that shapes the societal attitude towards social issues, which has exacerbated the existing poor health of the prisoners. Austerity has undermined the notion of social collectivism, imposed a culture of acceptance among prison bureaucrats and the wider community, and normalised the devastating impacts of prison instability. These developments are evidenced by the increasing levels of suicide, violence, radicalisation and prison gangs among prisoners, as well as the imposition of long working hours and the high levels of absenteeism among prison staff.Conclusions: This study underscores an important and yet unarticulated phenomenon that despite being the fifth largest economy in the world, England’s poorest, marginalised and excluded population continues to bear the brunt of austerity. Reducing the prison population, using international obligations as minimum standards to protect prisoners’ right to health and providing greater resources would create a more positive and inclusive system, in line with England’s international and domestic commitments to the humane treatment of all people

Accreting Millisecond X-Ray Pulsars

Accreting Millisecond X-Ray Pulsars (AMXPs) are astrophysical laboratories without parallel in the study of extreme physics. In this chapter we review the past fifteen years of discoveries in the field. We summarize the observations of the fifteen known AMXPs, with a particular emphasis on the multi-wavelength observations that have been carried out since the discovery of the first AMXP in 1998. We review accretion torque theory, the pulse formation process, and how AMXP observations have changed our view on the interaction of plasma and magnetic fields in strong gravity. We also explain how the AMXPs have deepened our understanding of the thermonuclear burst process, in particular the phenomenon of burst oscillations. We conclude with a discussion of the open problems that remain to be addressed in the future.Comment: Review to appear in "Timing neutron stars: pulsations, oscillations and explosions", T. Belloni, M. Mendez, C.M. Zhang Eds., ASSL, Springer; [revision with literature updated, several typos removed, 1 new AMXP added

Contemporary research in minoritized and diaspora languages of Europe

This volume provides a collection of research reports on multilingualism and language contact ranging from Romance, to Germanic, Greco and Slavic languages in situations of contact and diaspora. Most of the contributions are empirically-oriented studies presenting first-hand data based on original fieldwork, and a few focus directly on the methodological issues in such research. Owing to the multifaceted nature of contact and diaspora phenomena (e.g. the intrinsic transnational essence of contact and diaspora, and the associated interplay between majority and minoritized languages and multilingual practices in different contact settings, contact-induced language change, and issues relating to convergence) the disciplinary scope is broad, and includes ethnography, qualitative and quantitative sociolinguistics, formal linguistics, descriptive linguistics, contact linguistics, historical linguistics, and language acquisition. Case studies are drawn from Italo-Romance varieties in the Americas, Spanish-Nahuatl contact, Castellano Andino, Greko/Griko in Southern Italy, Yiddish in Anglophone communities, Frisian in the Netherlands, Wymysiöryś in Poland, Sorbian in Germany, and Pomeranian and Zeelandic Flemish in Brazil