Logics of marginalisation in health and social care reform:integration, choice, and provider-blind provision

The period 2010–2013 was a time of far-reaching structural reforms of the National Health Service in England. Of particular interest in this paper is the way in which radical critiques of the reform process were marginalised by pragmatic concerns about how to maintain the market-competition thrust of the reforms while avoiding potential fragmentation. We draw on the Essex school of political discourse theory and develop a ‘nodal’ analytical framework to argue that widespread and repeated appeals to a narrative of choice-based integrated care served to take the fragmentation ‘sting’ out of radical critiques of the pro-competition reform process. This served to marginalise alternative visions of health and social care, and to pre-empt the contestation of a key norm in the provision of health care that is closely associated with the notions of ‘any willing provider’ and ‘any qualified provider’: provider-blind provision.

Gender differences in the sensitivity to negative stimuli:cross-modal affective priming study

Background: There is evidence showing that men and women differ with regard to the processing of emotional information. However, the mechanisms behind these differences are not fully understood. Method: The sample comprised of 275 (167 female) right-handed, healthy participants, recruited from the community. We employed a customized affective priming task, which consisted of three subtests, differing in the modality of the prime (face, written word, and sound). The targets were always written words of either positive or negative valence. The priming effect was measured as reaction time facilitation in conditions where both prime and target were emotional (of the same positive or negative valence) compared with conditions where the emotional targets were preceded by neutral primes. Results: The priming effect was observed across all three modalities, with an interaction of gender by valence: the priming effect in the emotionally negative condition in male participants was stronger compared with females. This was accounted for by the differential priming effect within the female group where priming was significantly smaller in the emotionally negative conditions compared with the positive conditions. The male participants revealed a comparable priming effect across both the emotionally negative and positive conditions. Conclusion: Reduced priming in negative conditions in women may reflect interference processes due to greater sensitivity to negative valence of stimuli. This in turn could underlie the gender-related differences in susceptibility to emotional disorders.

Defining Network Activity Patterns Using First Order Temporal Logics

Part of network management is collecting information about the activities that go on around a distributed system and analyzing it in real time, at a deferred moment, or both. The reason such information may be stored in log files and analyzed later is to data-mine it so that interesting, unusual, or abnormal patterns can be discovered. In this paper we propose defining patterns in network activity logs using a dialect of First Order Temporal Logics (FOTL), called First Order Temporal Logic with Duration Constrains (FOTLDC). This logic is powerful enough to describe most network activity patterns because it can handle both causal and temporal correlations. Existing results for data-mining patterns with similar structure give us the confidence that discovering DFOTL patterns in network activity logs can be done efficiently.

Representing "Recursive" Default Logic in Modal Logic

The "recursive" definition of Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the "recursive" fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning of the fixed-point is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original "recursive" definition of Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults.

Methods for Solving Necessary Equivalences

Nonmonotonic Logics such as Autoepistemic Logic, Reflective Logic, and Default Logic, are usually defined in terms of set-theoretic fixed-point equations defined over deductively closed sets of sentences of First Order Logic. Such systems may also be represented as necessary equivalences in a Modal Logic stronger than S5 with the added advantage that such representations may be generalized to allow quantified variables crossing modal scopes resulting in a Quantified Autoepistemic Logic, a Quantified Autoepistemic Kernel, a Quantified Reflective Logic, and a Quantified Default Logic. Quantifiers in all these generalizations obey all the normal laws of logic including both the Barcan formula and its converse. Herein, we address the problem of solving some necessary equivalences containing universal quantifiers over modal scopes. Solutions obtained by these methods are then compared to related results obtained in the literature by Circumscription in Second Order Logic since the disjunction of all the solutions of a necessary equivalence containing just normal defaults in these Quantified Logics, is equivalent to that system.

Representing Reflective Logic in Modal Logic

The nonmonotonic logic called Reflective Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Reflective Logic with an initial set of axioms and defaults if and only if the meaning of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Reflective Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since all the laws of First Order Logic hold and since both the Barcan Formula and its converse hold.

Representing Default Logic in Modal Logic

The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan Formula and its converse hold.

Representing Autoepistemic Logic in Modal Logic

The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Autoepistemic Logic with an initial set of axioms if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meaning of that initial set of sentences. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and unlike the original Autoepistemic Logic, it is easily generalized to the case where quantified variables may be shared across the scope of modal expressions thus allowing the derivation of quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan formula and its converse hold.

Volume strain sensor based on spectra analysis of in-fiber modal interferometer

An optical in-fiber modal interferometer-based volume strain sensor for earthquake prediction is proposed and experimentally demonstrated. The sensing element is formed by wrapping a multimode-singlemode-multimode fiber structure onto a polyurethane hollow column. Due to the modal interference between the excited guided modes in the fiber, strong interference pattern could be observed in the transmission spectrum. Theoretical analysis verifies that the resonant wavelength shifts as a result of the volume strain variation caused by the column deformation with square root relationship. Sensitivity > 3.93 pm/με within the volume strain ranging from 0 to 1300 με is also experimentally demonstrated. By taking the response of bidirectional change of volume strain and the sluggish character of the employed sensing material into consideration, the sensing system presents good repeatability and stability. © 2001-2012 IEEE.

Impact of inter-modal four-wave mixing on the performance of mode- and wavelength-division-multiplexing systems

In this paper, we investigate the impact of inter-modal four-wave mixing on mode- and wavelength-division-multiplexing systems. A set of coupled nonlinear Schrödinger equations, including linear mode coupling, is derived allowing to isolate the inter-modal four-wave mixing terms. The efficiency of inter-modal four-wave mixing between degenerate LP modes is found to be significantly higher than the intra-modal four-wave mixing efficiency. However, it is shown that the inter-modal four-wave mixing efficiency between degenerate modes is significantly reduced by the linear mode coupling.

Simultaneous measurement for liquid level and refractive index based on all-fiber modal interferometer

A simple fiber sensor capable of simultaneous measurement of liquid level and refractive index (RI) is proposed and experimentally demonstrated. The sensing head is an all-fiber modal interferometer manufactured by splicing an uncoated single-mode fiber with two short sections of multimode fiber. The interference pattern experiences blue shift along with an increase of axial strain and surrounding RI. Owing to the participation of multiple cladding modes with different sensitivities, the height and RI of the liquid could be simultaneously measured by monitoring two dips of the transmission spectrum. Experimental results show that the liquid level and RI sensitivities of the two dips are 245.7 pm/mm, -38 nm/RI unit (RIU), and 223.7 pm/mm, -62 nm/RIU, respectively. The approach has distinctive advantages of easy fabrication, low cost, and high sensitivity for liquid level detection with the capability of distinguishing the RI variation simultaneously. © 2013 Copyright Taylor and Francis Group, LLC.

Pd/C catalysts based on synthetic carbons with bi- and tri-modal pore-size distribution:applications in flow chemistry

Two new types of phenolic resin-derived synthetic carbons with bi-modal and tri-modal pore-size distributions were used as supports for Pd catalysts. The catalysts were tested in chemoselective hydrogenation and hydrodehalogenation reactions in a compact multichannel flow reactor. Bi-modal and tri-modal micro-mesoporous structures of the synthetic carbons were characterised by N2 adsorption. HR-TEM, PXRD and XPS analyses were performed for characterising the synthesised catalysts. N2 adsorption revealed that tri-modal synthetic carbon possesses a well-developed hierarchical mesoporous structure (with 6.5 nm and 42 nm pores), contributing to a larger mesopore volume than the bi-modal carbon (1.57 cm3 g-1versus 1.23 cm3 g-1). It was found that the tri-modal carbon promotes a better size distribution of Pd nanoparticles than the bi-modal carbon due to presence of hierarchical mesopore limitting the growth of Pd nanoparticles. For all the model reactions investigated, the Pd catalyst based on tri-modal synthetic carbon (Pd/triC) show high activity as well as high stability and reproducibility. The trend in reactivities of different functional groups over the Pd/triC catalyst follows a general order alkyne ≫ nitro > bromo ≫ aldehyde.

Experimental investigation into amplitude-dependent modal properties of an eleven-span motorway bridge

The authors would like to thank their supporters. New Zealand Earthquake Commission (EQC) Research Foundation provided financial support for experimental work (Grant No. UNI/578). New Zealand Transport Agency (NZTA) provided access to the bridge. Piotr Omenzetter’s work within the LRF Centre for Safety and Reliability Engineering at the University of Aberdeen is supported by Lloyd’s Register Foundation. The Foundation helps to protect life and property by supporting engineering-related education, public engagement and the application of research. Ge-Wei Chen’s doctoral study is supported by China Scholarship Council (CSC) (Grant No. 2011637065).

Modal identification of a twelve span viaduct in two different construction stages via ambient dynamic testing

Peer reviewed

Comparison of output-only methods for modal identification of a twelve-span viaduct

Peer reviewed