On the Complexity of Temporal-Logic Path Checking

Given a formula in a temporal logic such as LTL or MTL, a fundamental problem is the complexity of evaluating the formula on a given finite word. For LTL, the complexity of this task was recently shown to be in NC. In this paper, we present an NC algorithm for MTL, a quantitative (or metric) extension of LTL, and give an NCC algorithm for UTL, the unary fragment of LTL. At the time of writing, MTL is the most expressive logic with an NC path-checking algorithm, and UTL is the most expressive fragment of LTL with a more efficient path-checking algorithm than for full LTL (subject to standard complexity-theoretic assumptions). We then establish a connection between LTL path checking and planar circuits, which we exploit to show that any further progress in determining the precise complexity of LTL path checking would immediately entail more efficient evaluation algorithms than are known for a certain class of planar circuits. The connection further implies that the complexity of LTL path checking depends on the Boolean connectives allowed: adding Boolean exclusive or yields a temporal logic with P-complete path-checking problem

Structure, Deformations and Gravitational Wave Emission of Magnetars

Neutron stars can have, in some phases of their life, extremely strong magnetic fields, up to 10^15-10^16 G. These objects, named magnetars, could be powerful sources of gravitational waves, since their magnetic field could determine large deformations. We discuss the structure of the magnetic field of magnetars, and the deformation induced by this field. Finally, we discuss the perspective of detection of the gravitational waves emitted by these stars.Comment: 11 pages, 2 figures, prepared for 19th International Conference on General Relativity and Gravitation (GR19), Mexico City, Mexico, July 5-9, 201

Comparing the immune response to a novel intranasal nanoparticle PLGA vaccine and a commercial BPI3V vaccine in dairy calves

peer-reviewedBackground There is a need to improve vaccination against respiratory pathogens in calves by stimulation of local immunity at the site of pathogen entry at an early stage in life. Ideally such a vaccine preparation would not be inhibited by the maternally derived antibodies. Additionally, localized immune response at the site of infection is also crucial to control infection at the site of entry of virus. The present study investigated the response to an intranasal bovine parainfluenza 3 virus (BPI3V) antigen preparation encapsulated in PLGA (poly dl-lactic-co-glycolide) nanoparticles in the presence of pre-existing anti-BPI3V antibodies in young calves and comparing it to a commercially available BPI3V respiratory vaccine. Results There was a significant (P < 0.05) increase in BPI3V-specific IgA in the nasal mucus of the BPI3V nanoparticle vaccine group alone. Following administration of the nanoparticle vaccine an early immune response was induced that continued to grow until the end of study and was not observed in the other treatment groups. Virus specific serum IgG response to both the nanoparticle vaccine and commercial live attenuated vaccine showed a significant (P < 0.05) rise over the period of study. However, the cell mediated immune response observed didn’t show any significant rise in any of the treatment groups. Conclusion Calves administered the intranasal nanoparticle vaccine induced significantly greater mucosal IgA responses, compared to the other treatment groups. This suggests an enhanced, sustained mucosal-based immunological response to the BPI3V nanoparticle vaccine in the face of pre-existing antibodies to BPI3V, which are encouraging and potentially useful characteristics of a candidate vaccine. However, ability of nanoparticle vaccine in eliciting cell mediated immune response needs further investigation. More sustained local mucosal immunity induced by nanoparticle vaccine has obvious potential if it translates into enhanced protective immunity in the face of virus outbreak

Violent video games and morality: a meta-ethical approach

This paper considers what it is about violent video games that leads one reasonably minded person to declare "That is immoral" while another denies it. Three interpretations of video game content a re discussed: reductionist, narrow, and broad. It is argued that a broad interpretation is required for a moral objection to be justified. It is further argued that understanding the meaning of moral utterances – like "x is immoral" – is important to an understanding of why there is a lack of moral consensus when it comes to the content of violent video games. Constructive ecumenical expressivism is presented as a means of explaining what it is that we are doing when we make moral pronouncements and why, when it comes to video game content, differing moral attitudes abound. Constructive ecumenical expressivism is also presented as a means of illuminating what would be required for moral consensus to be achieved

A Natural Framework for Solar and 17 keV Neutrinos

Motivated by recent experimental claims for the existence of a 17 keV neutrino and by the solar neutrino problem, we construct a class of models which contain in their low-energy spectrum a single light sterile neutrino and one or more Nambu-Goldstone bosons. In these models the required pattern of breaking of lepton-number symmetry takes place near the electroweak scale and all mass heirarchies are technically natural. The models are compatible with all cosmological and astrophysical constraints, and can solve the solar neutrino problem via either the MSW effect or vacuum oscillations. The deficit in atmospheric muon neutrinos seen in the Kamiokande and IMB detectors can also be explained in these models.Comment: 23 page

Middle and Late Pleistocene environmental history of the Marsworth area, south-central England

To elucidate the Middle and Late Pleistocene environmental history of south-central England, we report the stratigraphy, sedimentology, palaeoecology and geochronology of some deposits near the foot of the Chiltern Hills scarp at Marsworth, Buckinghamshire. The Marsworth site is important because its sedimentary sequences contain a rich record of warm stages and cold stages, and it lies close to the Anglian glacial limit. Critical to its history are the origin and age of a brown pebbly silty clay (diamicton) previously interpreted as weathered till. The deposits described infill a river channel incised into chalk bedrock. They comprise clayey, silty and gravelly sediments, many containing locally derived chalk and some with molluscan, ostracod and vertebrate remains. Most of the deposits are readily attributed to periglacial and fluvial processes, and some are dated by optically stimulated luminescence to Marine Isotope Stage (MIS) 6. Although our sedimentological data do not discriminate between a glacial or periglacial interpretation of the diamicton, amino-acid dating of three molluscan taxa from beneath it indicates that it is younger than MIS 9 and older than MIS 5e. This makes a glacial interpretation unlikely, and we interpret the diamicton as a periglacial slope deposit. The Pleistocene history reconstructed for Marsworth identifies four key elements: (1) Anglian glaciation during MIS 12 closely approached Marsworth, introducing far-travelled pebbles such as Rhaxella chert and possibly some fine sand minerals into the area. (2) Interglacial environments inferred from fluvial sediments during MIS 7 varied from fully interglacial conditions during sub-stages 7e and 7c, cool temperate conditions during sub-stage 7b or 7a, temperate conditions similar to those today in central England towards the end of the interglacial, and cool temperate conditions during sub-stage 7a. (3) Periglacial activity during MIS 6 involved thermal contraction cracking, permafrost development, fracturing of chalk bedrock, fluvial activity, slopewash, mass movement and deposition of loess and coversand. (4) Fully interglacial conditions during sub-stage 5e led to renewed fluvial activity, soil formation and acidic weathering

Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P)

In this paper, a compressed membership problem for finite automata, both deterministic and non-deterministic, with compressed transition labels is studied. The compression is represented by straight-line programs (SLPs), i.e. context-free grammars generating exactly one string. A novel technique of dealing with SLPs is introduced: the SLPs are recompressed, so that substrings of the input text are encoded in SLPs labelling the transitions of the NFA (DFA) in the same way, as in the SLP representing the input text. To this end, the SLPs are locally decompressed and then recompressed in a uniform way. Furthermore, such recompression induces only small changes in the automaton, in particular, the size of the automaton remains polynomial. Using this technique it is shown that the compressed membership for NFA with compressed labels is in NP, thus confirming the conjecture of Plandowski and Rytter and extending the partial result of Lohrey and Mathissen; as it is already known, that this problem is NP-hard, we settle its exact computational complexity. Moreover, the same technique applied to the compressed membership for DFA with compressed labels yields that this problem is in P; for this problem, only trivial upper-bound PSPACE was known

Spectral modification of laser-accelerated proton beams by self-generated magnetic fields

Target normal measurements of proton energy spectra from ultrathin (50-200 nm) planar foil targets irradiated by 10(19) W cm(-2) 40 fs laser pulses exhibit broad maxima that are not present in the energy spectra from micron thickness targets (6 mu m). The proton flux in the peak is considerably greater than the proton flux observed in the same energy range in thicker targets. Numerical modelling of the experiment indicates that this spectral modification in thin targets is caused by magnetic fields that grow at the rear of the target during the laser-target interaction

Multi-lingual and multi-cultural information literacy; perspectives, models and good practice

Purpose This paper reviews current approaches to, and good practice, in information literacy development in multi-lingual and multi-cultural settings, with particular emphasis on provision for international students. Design/methodology/approach A selective and critical review of published literature is extended by evaluation of examples of multi-lingual information literacy tutorials and MOOCs. Findings Multi-lingual and multi-cultural information literacy are umbrella terms covering a variety of situations and issues. This provision is of increasing importance in an increasingly mobile and multi-cultural world. This article evaluates current approaches and good practice, focusing on issues of culture vis a vis language, the balance between individual and group needs, specific and generic information literacy instruction, and models for information literacy, pedagogy and culture. Recommendations for good practice and for further research are given, Originality/value This is one of very few articles critically reviewing how information literacy development is affected by linguistic and cultural factors