-
Article
Quantum sensing of a coherent single spin excitation in a nuclear ensemble
Accessing an ensemble of coherently interacting objects at the level of single quanta via a proxy qubit is transformative in the investigations of emergent quantum phenomena. An isolated nuclear spin ensemble ...
-
Article
Optical analogue of Dresselhaus spin–orbit interaction in photonic graphene
The concept of gauge fields plays a significant role in many areas of physics, from particle physics and cosmology to condensed-matter systems, where gauge potentials are a natural consequence of electromagnet...
-
Article
When does shared decision making is adopted in psychiatric clinical practice? Results from a European multicentric study
To identify factors associated with the use of shared decision making in routine mental health care in a large multicenter European study. Data have been collected within the study “Clinical decision making an...
-
Article
Open AccessOptical spin locking of a solid-state qubit
Quantum control of solid-state spin qubits typically involves pulses in the microwave domain, drawing from the well-developed toolbox of magnetic resonance spectroscopy. Driving a solid-state spin by optical m...
-
Article
Open AccessBackward Cherenkov radiation emitted by polariton solitons in a microcavity wire
Exciton-polaritons in semiconductor microcavities form a highly nonlinear platform to study a variety of effects interfacing optical, condensed matter, quantum and statistical physics. We show that the complex...
-
Article
Open AccessSpatial regularity of InAs-GaAs quantum dots: quantifying the dependence of lateral ordering on growth rate
The lateral ordering of arrays of self-assembled InAs-GaAs quantum dots (QDs) has been quantified as a function of growth rate, using the Hopkins-Skellam index (HSI). Coherent QD arrays have a spatial distribu...
-
Article
Open AccessQuantum dot spin coherence governed by a strained nuclear environment
The interaction between a confined electron and the nuclei of an optically active quantum dot provides a uniquely rich manifestation of the central spin problem. Coherent qubit control combines with an ultrafa...
-
Article
Open AccessChirality of nanophotonic waveguide with embedded quantum emitter for unidirectional spin transfer
Scalable quantum technologies may be achieved by faithful conversion between matter qubits and photonic qubits in integrated circuit geometries. Within this context, quantum dots possess well-defined spin stat...
-
Article
Open AccessInternational students’ experience of a western medical school: a mixed methods study exploring the early years in the context of cultural and social adjustment compared to students from the host country
Few studies have addressed the challenges associated with international students as they adapt to studying medicine in a new host country. Higher level institutions have increasing numbers of international stu...
-
Article
Patient Expectations and Attitudes Towards Specialist Genetic Eye Services
Little research has explored the views of patients referred to specialist genetic eye clinics. Future service development must be informed by the perspectives of patients to ensure services are accessible and ...
-
Article
An appraisal of the utility or futility of ENT consultant postal questionnaires
Despite an increase in ENT postal questionnaires, the quality of their methodology has been questioned (Ramphul et al. in J Laryngol Otol 119:175–178, 1). This retrospective study examined whether quality and uti...
-
Article
Open AccessComplementary and alternative medicine: knowledge, interest and attitudes of medical students
-
Article
Open AccessEvaluation of patient satisfaction with the day surgical services in an Irish teaching hospital
-
Chapter and Conference Paper
Verifying Concurrent Message-Passing C Programs with Recursive Calls
We consider the model-checking problem for C programs with (1) data ranging over very large domains, (2) (recursive) procedure calls, and (3) concurrent parallel components that communicate via synchronizing a...
-
Article
Efficient Verification of Sequential and Concurrent C Programs
There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated abstraction ...
-
Article
Management of Barrett’s oesophagus in 2001 in Ireland
Background Endoscopic surveillance of patients with Barrett’s oesophagus is recommended to detect early carcinoma. The practice patterns of endoscopists since the publication of more recent management guidelines ...
-
Chapter and Conference Paper
Using Combinatorial Optimization Methods for Quantification Scheduling
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BDDs) have significantly increa...
-
Chapter and Conference Paper
Executable Protocol Specification in ESL
Hardware specifications in English are frequently ambiguous and often self-contradictory.We propose a new logic ESL which facilitates formal specification of hardware protocols.Our logic is closely related to ...
-
Chapter and Conference Paper
NuSMV: A New Symbolic Model Verifier
-
Article
Double T cell depletion of bone marrow using sequential positive and negative cell immunoaffinity or CD34+ cell selection followed by Campath-1M; effect on CD34+ cells and progenitor cell recoveries
An advantage of CD34+ cell selection over antibody purging is that a component allograft is produced comprising a stem cell enriched and an unadsorbed fraction, the latter containing T cells which may be used for...
