Marginally Deformed Starobinsky Gravity

We show that quantum-induced marginal deformations of the Starobinsky gravitational action of the form $R^{2(1 -\alpha)}$, with $R$ the Ricci scalar and $\alpha$ a positive parameter, smaller than one half, can account for the recent experimental observations by BICEP2 of primordial tensor modes. We also suggest natural microscopic (non) gravitational sources of these corrections and demonstrate that they lead generally to a nonzero and positive $\alpha$. Furthermore we argue, that within this framework, the tensor modes probe theories of grand unification with a large scalar field content.Comment: 5 pages, 1 figure, 2 column

Spontal-N: A Corpus of Interactional Spoken Norwegian

Spontal-N is a corpus of spontaneous, interactional Norwegian. To our knowledge, it is the first corpus of Norwegian in which the majority of speakers have spent significant parts of their lives in Sweden, and in which the recorded speech displays varying degrees of interference from Swedish. The corpus consists of studio quality audio- and video-recordings of four 30-minute free conversations between acquaintances, and a manual orthographic transcription of the entire material. On basis of the orthographic transcriptions, we automatically annotated approximately 50 percent of the material on the phoneme level, by means of a forced alignment between the acoustic signal and pronunciations listed in a dictionary. Approximately seven percent of the automatic transcription was manually corrected. Taking the manual correction as a gold standard, we evaluated several sources of pronunciation variants for the automatic transcription. Spontal-N is intended as a general purpose speech resource that is also suitable for investigating phonetic detail

Regional climate change and harmful algal blooms in the northeast Atlantic

We investigated long-term spatial variability in a number of Harmful Algal Blooms (HABs) in the northeast Atlantic and North Sea using data from the Continuous Plankton Recorder. Over the last four decades. some dinoflagellate taxa showed pronounced variation in the south and east of the North Sea, with the most significant increases being restricted to the adjacent waters off Norway. There was also a general decrease along the eastern coast of the United Kingdom. The most prominent feature in the interannual bloom frequencies over the last four decades was the anomalously high values recorded in the late 1980s in the northern and central North Sea areas. The only mesoscale area in the northeast Atlantic to show a significant increase in bloom formation over the last decade was the Norwegian coastal region. The changing spatial patterns of HAB taxa and the frequency of bloom formation are discussed in relation to regional climate change, in particular, changes in temperature, salinity, and the North Atlantic Oscillation (NAO). Areas highly vulnerable to the effects of regional climate change on HABs are Norwegian coastal waters and the Skagerrak. Other vulnerable areas include Danish coastal waters, and to a lesser extent, the German and Dutch Bight and the northern Irish Sea. Quite apart from eutrophication, our results give a preview of what might happen to certain HAB genera under changing climatic conditions in temperate environments and their responses to variability of climate oscillations Such as the NAO

Presence and abundance of microplastics in the Thames River Basin, UK

The global increase in plastic production has led to growing concern about the environmental impacts of plastics and their degradation products. Microplastics have been extensively observed and studied in the marine environment but little is known about their presence and abundance in freshwater environments. Although rivers are recognised as a significant source of microplastics to the oceans, they are seldom considered in studies of the environmental presence of microplastics and there are no data reported to date on microplastics in UK rivers (or indeed any freshwater bodies). This study aimed to identify and quantify the abundance and types of plastics in the Thames Basin where population densities and sewage inputs are well described. Ten sampling sites on the River Thames and its tributaries were selected, ranging from densely populated, urban areas to sparsely populated, rural areas. Sites are all downstream of sewage treatment works (STWs) serving known populations, allowing correlation between population density with plastic types and abundances found. In addition samples were collected from sites at known distances downstream of STW outfalls, as well as the effluent itself, to try and establish the proportion of plastics directly entering from STWs, and its fate and transport pathways. River sediment and water samples were collected at all sites. Sediment samples were initially searched by eye, followed by flotation and overflowing using ZnCl2 solution. Plastics collected from the sediments were subsequently identified by Raman spectroscopy. Initial observations indicate that coloured and manmade particles are obviously visible in sediments from sites with high population densities compared to few evident manmade particles in sediments from areas with low population densities. Further analysis will allow for correlation of the plastic types and abundance with population density and sewage inputs to understand the distribution of plastics in river systems

Verifying object-oriented programs with higher-order separation logic in Coq

We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces and interface inheritance. In particular, we show how to use the higher-order features of the Coq formalisation to specify and reason modularly about programs that (1) depend on some unknown code satisfying a specification or that (2) return objects conforming to a certain specification. All of our results have been formally verified in the interactive theorem prover Coq

Simultaneous laser-driven x-ray and two-photon fluorescence imaging of atomizing sprays

In this Letter, we report for the first time, to the best of our knowledge, the possibility of visualizing an atomizing spray by simultaneously recording x-ray absorption and two-photon laser-induced fluorescence imaging. This unique illumination/detection scheme is made possible due to the use of soft x rays emitted from a laser-driven x-ray source. An 800 mJ laser pulse of 38 fs duration is used to generate an x-ray beam with up to 4 × 108 photons ranging from 1 to 10 keV, allowing projection radiography of water jets generated by an automotive port fuel injector. In addition, a fraction of the laser pulse (∼10mJ) is employed to form a light sheet and to induce two-photon fluorescence in a dye added to the water. The resulting high-contrast fluorescence images provide fine details of the spray structure, with reduced blur from multiple light scattering, while the integrated liquid mass is extracted from the x-ray radiography. In this proof of principle, we show that the combination of these two highly complementary techniques, in both the visible and soft x-ray regimes, is very promising for future characterization of challenging spray, as well as for further understanding of the physics of liquid atomization

Extending standard testing period in honeybees to predict lifespan impacts of pesticides and heavy metals using dynamic energy budget modelling

Concern over reported honeybee (Apis mellifera spp.) losses has highlighted chemical exposure as a risk. Current laboratory oral toxicity tests in A. mellifera spp. use short-term, maximum 96 hour, exposures which may not necessarily account for chronic and cumulative toxicity. Here, we use extended 240 hour (10 day) exposures to examine seven agrochemicals and trace environmental pollutant toxicities for adult honeybees. Data were used to parameterise a dynamic energy budget model (DEBtox) to further examine potential survival effects up to 30 day and 90 day summer and winter worker lifespans. Honeybees were most sensitive to insecticides (clothianidin > dimethoate ≫ tau-fluvalinate), then trace metals/metalloids (cadmium, arsenic), followed by the fungicide propiconazole and herbicide 2,4-dichlorophenoxyacetic acid (2,4-D). LC50s calculated from DEBtox parameters indicated a 27 fold change comparing exposure from 48 to 720 hours (summer worker lifespan) for cadmium, as the most time-dependent chemical as driven by slow toxicokinetics. Clothianidin and dimethoate exhibited more rapid toxicokinetics with 48 to 720 hour LC50s changes of <4 fold. As effects from long-term exposure may exceed those measured in short-term tests, future regulatory tests should extend to 96 hours as standard, with extension to 240 hour exposures further improving realism

DYRK1a inhibitor mediated rescue of Drosophila models of Alzheimer’s disease-Down Syndrome phenotypes

Alzheimer’s disease (AD) is the most common neurodegenerative disease which is becoming increasingly prevalent due to ageing populations resulting in huge social, economic, and health costs to the community. Despite the pathological processing of genes such as Amyloid Precursor Protein (APP) into Amyloid-β and Microtubule Associated Protein Tau (MAPT) gene, into hyperphosphorylated Tau tangles being known for decades, there remains no treatments to halt disease progression. One population with increased risk of AD are people with Down syndrome (DS), who have a 90% lifetime incidence of AD, due to trisomy of human chromosome 21 (HSA21) resulting in three copies of APP and other AD-associated genes, such as DYRK1A (Dual specificity tyrosine-phosphorylation-regulated kinase 1A) overexpression. This suggests that blocking DYRK1A might have therapeutic potential. However, it is still not clear to what extent DYRK1A overexpression by itself leads to AD-like phenotypes and how these compare to Tau and Amyloid-β mediated pathology. Likewise, it is still not known how effective a DYRK1A antagonist may be at preventing or improving any Tau, Amyloid-β and DYRK1a mediated phenotype. To address these outstanding questions, we characterised Drosophila models with targeted overexpression of human Tau, human Amyloid-β or the fly orthologue of DYRK1A, called minibrain (mnb). We found targeted overexpression of these AD-associated genes caused degeneration of photoreceptor neurons, shortened lifespan, as well as causing loss of locomotor performance, sleep, and memory. Treatment with the experimental DYRK1A inhibitor PST-001 decreased pathological phosphorylation of human Tau [at serine (S) 262]. PST-001 reduced degeneration caused by human Tau, Amyloid-β or mnb lengthening lifespan as well as improving locomotion, sleep and memory loss caused by expression of these AD and DS genes. This demonstrated PST-001 effectiveness as a potential new therapeutic targeting AD and DS pathology