The role of faith-based health professions schools in Cameroon’s health system

Faith-based health professions schools contribute to the training of staff in many Sub-Saharan African countries. Yet little is known about these actors, their role in the health system, potential comparative advantages and challenges faced. This is a qualitative study drawing on 24 qualitative interviews and 3 focus group discussions. Participants included faith-based health professions schools, staff at faith-based health professions schools, Ministry of Health officials and donors. Thematic analysis was used to analyse the data. The findings reveal that understanding of faith-based health professions schools held by donors and the Ministry of Health rest on a set of assumptions rather than evidence-backed knowledge and that knowledge on key aspects is missing (not least on the market share of such actors). This suggests that collaboration with and oversight of these non-state schools is limited, raising questions about the balance of state regulation and control in the public-private mix for training health workers. Linked to this weak oversight, the findings also raise concerns over a number of problematic activities at these schools, unaccredited training programmes and the presence of missionary volunteers whose presence and actions are rarely interrogated

Alternative axiomatics and complexity of deliberative STIT theories

We propose two alternatives to Xu's axiomatization of the Chellas STIT. The first one also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of the Chellas STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and the Chellas' STIT.Comment: Submitted to the Journal of Philosophical Logic; 13 pages excluding anne

Single-photon-emitting optical centers in diamond fabricated upon Sn implantation

The fabrication of luminescent defects in single-crystal diamond upon Sn implantation and annealing is reported. The relevant spectral features of the optical centers (emission peaks at 593.5 nm, 620.3 nm, 630.7 nm and 646.7 nm) are attributed to Sn-related defects through the correlation of their photoluminescence (PL) intensity with the implantation fluence. Single Sn-related defects were identified and characterized through the acquisition of their second-order auto-correlation emission functions, by means of Hanbury-Brown-Twiss interferometry. The investigation of their single-photon emission regime as a function of excitation laser power revealed that Sn-related defects are based on three-level systems with a 6 ns radiative decay lifetime. In a fraction of the studied centers, the observation of a blinking PL emission is indicative of the existence of a dark state. Furthermore, absorption dependence from the polarization of the excitation radiation with about 45 percent contrast was measured. This work shed light on the existence of a new optical center associated with a group-IV impurity in diamond, with similar photo-physical properties to the already well-known Si-V and Ge-V emitters, thus providing results of interest from both the fundamental and applicative points of view.Comment: 10 pages, 4 figure

Colloid-stabilized emulsions: behaviour as the interfacial tension is reduced

We present confocal microscopy studies of novel particle-stabilized emulsions. The novelty arises because the immiscible fluids have an accessible upper critical solution temperature. The emulsions have been created by beginning with particles dispersed in the single-fluid phase. On cooling, regions of the minority phase nucleate. While coarsening these nuclei become coated with particles due to the associated reduction in interfacial energy. The resulting emulsion is arrested, and the particle-coated interfaces have intriguing properties. Having made use of the binary-fluid phase diagram to create the emulsion we then make use of it to study the properties of the interfaces. As the emulsion is re-heated toward the single-fluid phase the interfacial tension falls and the volume of the dispersed phase drops. Crumpling, fracture or coalescence can follow. The results show that the elasticity of the interfaces has a controlling influence over the emulsion behaviour.Comment: Submitted for the proceedings of the 6th Liquid Matter Conference, held in Utrecht (NL) in July 200

Optical properties of an ensemble of G-centers in silicon

We addressed the carrier dynamics in so-called G-centers in silicon (consisting of substitutional-interstitial carbon pairs interacting with interstitial silicons) obtained via ion implantation into a silicon-on-insulator wafer. For this point defect in silicon emitting in the telecommunication wavelength range, we unravel the recombination dynamics by time-resolved photoluminescence spectroscopy. More specifically, we performed detailed photoluminescence experiments as a function of excitation energy, incident power, irradiation fluence and temperature in order to study the impact of radiative and non-radiative recombination channels on the spectrum, yield and lifetime of G-centers. The sharp line emitting at 969 meV ($\sim$1280 nm) and the broad asymmetric sideband developing at lower energy share the same recombination dynamics as shown by time-resolved experiments performed selectively on each spectral component. This feature accounts for the common origin of the two emission bands which are unambiguously attributed to the zero-phonon line and to the corresponding phonon sideband. In the framework of the Huang-Rhys theory with non-perturbative calculations, we reach an estimation of 1.6$\pm$0.1 \angstrom for the spatial extension of the electronic wave function in the G-center. The radiative recombination time measured at low temperature lies in the 6 ns-range. The estimation of both radiative and non-radiative recombination rates as a function of temperature further demonstrate a constant radiative lifetime. Finally, although G-centers are shallow levels in silicon, we find a value of the Debye-Waller factor comparable to deep levels in wide-bandgap materials. Our results point out the potential of G-centers as a solid-state light source to be integrated into opto-electronic devices within a common silicon platform

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents, and nested sequents. Here we adapt the method to a more general external formalism of labelled sequents and provide sufficient criteria on the Kripke-frame characterization of a logic that guarantee the IPs. In particular, we show that classes of frames definable by quantifier-free Horn formulas correspond to logics with the IPs. These criteria capture the modal cube and the infinite family of transitive Geach logics

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate