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

Life in the Inner City

[West J Emerg Med. 2012;13(1):57.

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

Inferior epigastric artery false aneurysm following incisional hernia repair

AbstractIntroductionWe report a case of IEA false aneurysm following a mesh repair of a large incisional hernia. We emphasize the importance to consider the diagnosis to help avoid inappropriate interventions which could increase patient morbidity.Case reportA 68-year-old male patient, who 4 weeks previously had had a mesh repair of a large incisional hernia, presented with a painful left iliac fossa swelling. This was found to be an IEA false aneurysm. This was treated successfully with percutaneous thrombin injection.ConclusionsWe feel an inferior epigastric artery false aneurysm must be included in the differential diagnosis when investigating the cause of any lateral swelling following incisional hernia repair. This would help reduce the chance of a missed diagnosis and avoid any inappropriate interventions which may cause increased patient morbidity

Estradiol, progesterone, testosterone profiles in human follicular fluid and cultured granulosa cells from luteinized pre-ovulatory follicles

BACKGROUND: The production of sex steroids by follicular cells is proposed to be influenced by the maturity of the incumbent oocyte. Thus steroid levels may reflect suitability of an oocyte for IVF. We examined follicular fluids and granulosa cell production of steroid from IVF patients in order to test the relationship between steroid levels and fertilization. METHODS: Follicular fluid and granulosa cells were extracted from 206 follicles of 35 women undergoing controlled ovarian stimulation. Follicular fluid was assayed for estradiol, progesterone and testosterone. Granulosa cells were cultured from individual follicles and their culture media assayed for production of these hormones after 24 hrs in vitro. Levels of steroids were correlated with follicular diameter, oocyte recovery and subsequent fertilization. RESULTS: Follicular fluid levels of progesterone were 6100 times higher than that of estradiol, and 16,900 times higher that of testosterone. Despite the size of follicle triggered after controlled luteinization, the levels of progesterone and testosterone were maintained at relatively constant levels (median 98.1 micromoles/L for progesterone, and 5.8 nanomoles/L for testosterone). However, estradiol levels were slightly lower in the larger follicles (follicular diameter 10-15 mm, median 25.3 nanomoles/L; follicles > = 15 mm, median 15.1 nanomoles/L; linear correlation r = -0.47, p < 0.0001). With respect to oocyte recovery, no steroid showed a significant association in follicular fluid levels. Similarly no difference in follicular fluid steroid levels was found for those oocytes that did or did not fertilize. Significant quantities of progesterone were produced by the granulosa cells but production was constant regardless of the size of follicle from which the cells originated. Estradiol levels were only detectable in 10 of 121 cultures examined, and testosterone in none. Interestingly, when an oocyte was present follicular estradiol levels correlated with progesterone levels. However, when absent, follicular estradiol levels correlated with testosterone levels but not with progesterone. CONCLUSIONS: The principle steroid product of luteinized pre-ovulatory granulosa is progesterone, a differentiation triggered by the gonadotropin surge. However, absolute steroid levels are associated with follicular size, not oocyte maturation/ability to fertilize