The Confrontation between General Relativity and Experiment

The status of experimental tests of general relativity and of theoretical frameworks for analysing them is reviewed. Einstein's equivalence principle (EEP) is well supported by experiments such as the Eotvos experiment, tests of special relativity, and the gravitational redshift experiment. Future tests of EEP and of the inverse square law are searching for new interactions arising from unification or quantum gravity. Tests of general relativity at the post-Newtonian level have reached high precision, including the light deflection, the Shapiro time delay, the perihelion advance of Mercury, and the Nordtvedt effect in lunar motion. Gravitational-wave damping has been detected in an amount that agrees with general relativity to better than half a percent using the Hulse-Taylor binary pulsar, and other binary pulsar systems have yielded other tests, especially of strong-field effects. When direct observation of gravitational radiation from astrophysical sources begins, new tests of general relativity will be possible.Comment: 89 pages, 8 figures; an update of the Living Review article originally published in 2001; final published version incorporating referees' suggestion

Basic Science Considerations in Primary Total Hip Replacement Arthroplasty

Total Hip Replacement is one of the most common operations performed in the developed world today. An increasingly ageing population means that the numbers of people undergoing this operation is set to rise. There are a numerous number of prosthesis on the market and it is often difficult to choose between them. It is therefore necessary to have a good understanding of the basic scientific principles in Total Hip Replacement and the evidence base underpinning them. This paper reviews the relevant anatomical and biomechanical principles in THA. It goes on to elaborate on the structural properties of materials used in modern implants and looks at the evidence base for different types of fixation including cemented and uncemented components. Modern bearing surfaces are discussed in addition to the scientific basis of various surface engineering modifications in THA prostheses. The basic science considerations in component alignment and abductor tension are also discussed. A brief discussion on modular and custom designs of THR is also included. This article reviews basic science concepts and the rationale underpinning the use of the femoral and acetabular component in total hip replacement

Using an equity-based framework for evaluating publicly funded health insurance programmes as an instrument of UHC in Chhattisgarh State, India

Universal health coverage (UHC) has provided the impetus for the introduction of publicly funded health insurance (PFHI) schemes in the mixed health systems of India and many other low- and middle-income countries. There is a need for a holistic understanding of the pathways of impact of PFHI schemes, including their role in promoting equity of access. Methods: This paper applies an equity-oriented evaluation framework to assess the impacts of PFHI schemes in Chhattisgarh State by synthesising literature from various sources and highlighting knowledge gaps. Data were collected from an extensive review of publications on PFHI schemes in Chhattisgarh since 2009, including empirical studies from the first author's PhD and grey literature such as programme evaluation reports, media articles and civil society campaign documents. The framework was constructed using concepts and frameworks from the health policy and systems research literature on UHC, access and health system building blocks, and is underpinned by the values of equity, human rights and the right to health

Anterolateral Ligament Expert Group consensus paper on the management of internal rotation and instability of the anterior cruciate ligament - deficient knee

Purpose of this paper is to provide an overview of the latest research on the anterolateral ligament (ALL) and present the consensus of the ALL Expert Group on the anatomy, radiographic landmarks, biomechanics, clinical and radiographic diagnosis, lesion classification, surgical technique and clinical outcomes. A consensus on controversial subjects surrounding the ALL and anterolateral knee instability has been established based on the opinion of experts, the latest publications on the subject and an exchange of experiences during the ALL Experts Meeting (November 2015, Lyon, France). The ALL is found deep to the iliotibial band. The femoral origin is just posterior and proximal to the lateral epicondyle; the tibial attachment is 21.6 mm posterior to Gerdy's tubercle and 4-10 mm below the tibial joint line. On a lateral radiographic view the femoral origin is located in the postero-inferior quadrant and the tibial attachment is close to the centre of the proximal tibial plateau. Favourable isometry of an ALL reconstruction is seen when the femoral position is proximal and posterior to the lateral epicondyle, with the ALL being tight upon extension and lax upon flexion. The ALL can be visualised on ultrasound, or on T2-weighted coronal MRI scans with proton density fat-suppressed evaluation. The ALL injury is associated with a Segond fracture, and often occurs in conjunction with acute anterior cruciate ligament (ACL) injury. Recognition and repair of the ALL lesions should be considered to improve the control of rotational stability provided by ACL reconstruction. For high-risk patients, a combined ACL and ALL reconstruction improves rotational control and reduces the rate of re-rupture, without increased postoperative complication rates compared to ACL-only reconstruction. In conclusion this paper provides a contemporary consensus on all studied features of the ALL. The findings warrant future research in order to further test these early observations, with the ultimate goal of improving the long-term outcomes of ACL-injured patients. Level of evidence Level V-Expert opinion

On The Expression Of Interaction Properties Within An Interactor Model

This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constructively for building specifications of interfaces as compositions of interactors. Changes are brought about to two aspects of the model: firstly, a modularised representation of control information is achieved which supports the independent description of the data transforming behaviour of the interactor and of the temporal constraints imposed on that behaviour. Secondly, distinct representations of `result' and `display' data handled by an interactor are related within a process algebraic framework, allowing the expression of usability related properties of interaction

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

International audienceThis paper reports our experience for developing Human-Machine Interface (HMI) complying with ARINC 661 specification standard for interactive cockpits applications using formal methods. This development relies on the FLUID modelling language, we have proposed and formally defined in the FORMEDICIS project. FLUID contains essential features required for specifying HMI. To develop the Multi-Purpose Interactive Applications (MPIA) use case, we follow the following steps: an abstract model of MPIA is written using the FLUID language; this MPIA FLUID model is used to produce an Event-B model for checking the functional behaviour, user interactions, safety properties, and interaction related to domain properties; the Event-B model is also used to check temporal properties and possible scenario using the ProB model checker; and finally, the MPIA FLUID model is translated to Interactive Cooperative Objects (ICO) using the PetShop CASE tool to validate the dynamic behaviour, visual properties and task analysis. These steps rely on different tools to check internal consistency along with possible HMI properties. Finally, the formal development of the MPIA case study using FLUID and its embedding into other formal techniques, demonstrates reliability, scalability and feasibility of our approach defined in the FORMEDICIS project