Devolution as process: institutional structures, state personnel and transport policy in the United Kingdom

Devolution has been described as a key ‘global trend’ over recent decades as governments have decentralised power and responsibilities to subordinate regional institutions (Rodriguez-Pose and Gill, 2003). UK devolution is characterised by its asymmetrical nature with different territories granted different institutional arrangements and powers. In this paper, we seek examine the role of state personnel in mobilising the new institutional machinery and managing the process of devolution, focusing on transport policy. Our research shows a clear contrast between London and Northern Ireland, on the one hand, and Scotland and Wales, on the other, in terms of the effectiveness of political leaders in creating clear policy priorities and momentum in transport

Intuitionistic layered graph logic

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic that gives an account of layering. As in bunched systems, the logic includes the usual intuitionistic connectives, together with a non-commutative, non-associative conjunction (used to capture layering) and its associated implications. We give soundness and completeness theorems for labelled tableaux and Hilbert-type systems with respect to a Kripke semantics on graphs. To demonstrate the utility of the logic, we show how to represent a range of systems and security examples, illuminating the relationship between services/policies and the infrastructures/architectures to which they are applied

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because — in addition to elegant abstraction — they strengthen soundness and completeness to a categorical equivalence, yielding a framework through which both algebraic and topological methods can be brought to bear on a logic. We give a systematic treatment of Stone-type duality theorems for the structures that interpret bunched logics, starting with the weakest systems, recovering the familiar Boolean BI, and concluding with Separation Logic. Our results encompass all the known existing algebraic approaches to Separation Logic and prove them sound with respect to the standard store-heap semantics. We additionally recover soundness and completeness theorems of the specific truth-functional models of these logics as presented in the literature. This approach synthesises a variety of techniques from modal, substructural and categorical logic and contextualises the ‘resource semantics’ interpretation underpinning Separation Logic amongst them. As a consequence, theory from those fields — as well as algebraic and topological methods — can be applied to both Separation Logic and the systems of bunched logics it is built upon. Conversely, the notion of indexed resource frame (generalizing the standard model of Separation Logic) and its associated completeness proof can easily be adapted to other non-classical predicate logics

The 2007 Provincial Election and Electoral System Referendum in Ontario

Ontario’s general election in Oct. 10, 2007, was unprecedented for several reasons. The election was held on a date fixed by legislation and not one set by the premier or his caucus, something new to Ontario and relatively new to Canadian politics. Turnout declined to 53%, the lowest ever in Ontario history. The incumbent Liberals won a second consecutive majority government, something the party had not achieved since 1937. And finally, the election featured a referendum question that asked voters in Ontario to approve reforms to the electoral system, a proposal that was overwhelmingly rejected. This article explores each of the above-stated elements as they unfolded in the election

Exit Polling in Canada: An Experiment

Although exit polling has not been used to study Canadian elections before, such polls have methodological features that make them a potentially useful complement to data collected through more conventional designs. This paper reports on an experiment with exit polling in one constituency in the 2003 Ontario provincial election. Using student volunteers, a research team at Wilfrid Laurier University conducted an exit poll in the bellwether constituency of Kitchener Centre to assess the feasibility of mounting this kind of study on a broader scale. The experiment was successful in a number of respects. It produced a sample of 653 voters that broadly reflected the partisan character of the constituency, and which can hence be used to shed light on patterns of vote-switching and voter motivations in that constituency. It also yielded insights about best practices in mounting an exit poll in the Ontario context, as well as about the potential for using wireless communication devices to transmit respondent data from the field. The researchers conclude that exit polling on a limited basis (selected constituencies) is feasible, but the costs and logistics associated with this methodology make a province-wide or country-wide study unsupportable at present

Analytical sun synchronous low-thrust manoeuvres

Article describes analytical sun synchronous low-thrust manoeuvres

Priorities, policies and (time)scales : the delivery of emissions reductions in the UK transport sector

Peer reviewedPreprin

Tactile acuity, body schema and motor control and clinical outcome measures – A comparison study of adults with chronic low back pain and matched controls.

Tactile acuity, body schema and motor control and clinical outcome measures – A comparison study of adults with chronic low back pain and matched controls Chronic low back pain (CLBP) is common, often lacks discernible aetiology and contributes to morbidity and low quality of life. Treatments often focus on pain relief and improving motor function but outcomes remain moderate and many experience ongoing pain. In Complex Regional Pain Syndrome and Phantom Limb Pain, the cortical neurophysiology and specific sensory outputs are altered. Interventions to reverse these impairments coincide with a reduction in pain intensity. Sharing similar neurophysiological characteristics, it’s plausible that similar approaches may improve CLBP outcomes so identification of similar features in this group is needed. We conducted a systematic review regarding the questions: Are two-point discrimination threshold (TPDT) and body schema (BS) altered in adults with CLBP and do they relate to impaired lumbopelvic motor control (LMC)? This review initiated stage two; data collection to investigate TPDT, BS, LMC, back-perception, disability, kinesiophobia and clinical outcome measures in adults with CLBP and matched controls. Following a systematic review to guide our study, we aimed to identify differences in tactile acuity, body schema, lumbopelvic motor function and association with clinical outcome measures when measured in adults with chronic low back pain and matched controls. Using a systematic search strategy, a literature search of 12 bibliographic databases, grey literature, Google Scholar and the reference lists of included articles was undertaken over 5 months to Feb 2016. Studies involving adults aged 18 or older with CLBP longer than 3 months duration were included. Pregnancy, 6 months post-partum, central neurological conditions and nerve root pathologies were exclusion criteria. Two independent reviewers’ assessed for quality using an adapted Downs and Black Quality Index Score. Studies of high (≥70%) or medium (60-69%) quality involving adults with CLBP ≥3 month’s duration were included. Varied research designs led to a narrative data synthesis. In stage two, data collection was undertaken in two matched groups (CLBP and control) using established measures of TPDT and tactile threshold on the low back and finger-tip of dominant hand, low back laterality discrimination, lumbopelvic motor control and outcome measures such as disability, kinesiophobia, back-perception and pain. The review identified 335 studies. Following inclusion and exclusion screening, nine met the selection criteria and were included in the data extraction process. Assessment revealed similar quality strengths with eight of high and one of medium quality. Only one reported power. Sample sizes ranged from six to 51 with a total of 398 participants. All included male and female participants with a mean age of 44.2 years. The studies utilised different techniques and populations to explore tactile discrimination, body schema and motor function but critically; none explored all three. Stage two data collection has been completed in 62 adults (31 per group) and data analysis is underway. Preliminary results reveal significant between group differences for TPDT, disability, kinesiophobia, back-perception and motor-function. Lateral discrimination and associations have yet to be analysed and results will be presented in the final poster as; a) differences between groups and b) relationships to outcome measures. Our systematic review revealed TPDT to be altered in those with CLBP and is related to altered LMC. Body schema tasks may also be altered but the evidence is limited. The relationship between BS and LMC remains unknown and the relationships to other clinical measures are unclear. Data analysis is underway and some of our results correspond with the systematic review (TPDT, LMC) but others do not (BS). Association analysis continue and further results and conclusions will be presented on the poster once complete

Origins and composition of fine atmospheric carbonaceous aerosol in the Sierra Nevada Mountains, California

In this paper we report chemically resolved measurements of organic aerosol (OA) and related tracers during the Biosphere Effects on Aerosols and Photochemistry Experiment (BEARPEX) at the Blodgett Forest Research Station, California from 15 August–10 October 2007. OA contributed the majority of the mass to the fine atmospheric particles and was predominately oxygenated (OOA). The highest concentrations of OA were during sporadic wildfire influence when aged plumes were impacting the site. In situ measurements of particle phase molecular markers were dominated by secondary compounds and along with gas phase compounds could be categorized into six factors or sources: (1) aged biomass burning emissions and oxidized urban emissions, (2) oxidized urban emissions (3) oxidation products of monoterpene emissions, (4) monoterpene emissions, (5) anthropogenic emissions and (6) local methyl chavicol emissions and oxidation products. There were multiple biogenic components that contributed to OA at this site whose contributions varied diurnally, seasonally and in response to changing meteorological conditions, e.g. temperature and precipitation events. Concentrations of isoprene oxidation products were larger when temperatures were higher during the first half of the campaign (15 August–12 September) due to more substantial emissions of isoprene and enhanced photochemistry. The oxidation of methyl chavicol, an oxygenated terpene emitted by ponderosa pine trees, contributed similarly to OA throughout the campaign. In contrast, the abundances of monoterpene oxidation products in the particle phase were greater during the cooler conditions in the latter half of the campaign (13 September–10 October), even though emissions of the precursors were lower, although the mechanism is not known. OA was correlated with the anthropogenic tracers 2-propyl nitrate and carbon monoxide (CO), consistent with previous observations, while being comprised of mostly non-fossil carbon (>75%). The correlation between OA and an anthropogenic tracer does not necessarily identify the source of the carbon as being anthropogenic but instead suggests a coupling between the anthropogenic and biogenic components in the air mass that might be related to the source of the oxidant and/or the aerosol sulfate. Observations of organosulfates of isoprene and α-pinene provided evidence for the likely importance of aerosol sulfate in spite of neutralized aerosol although acidic plumes might have played a role upwind of the site. This is in contrast to laboratory studies where strongly acidic seed aerosols were needed in order to form these compounds. These compounds together represented only a minor fraction (<1%) of the total OA mass, which may be the result of the neutralized aerosol at the site or because only a small number of organosulfates were quantified. The low contribution of organosulfates to total OA suggests that other mechanisms, e.g. NO_x enhancement of oxidant levels, are likely responsible for the majority of the anthropogenic enhancement of biogenic secondary organic aerosol observed at this site