Multiple verification in computational modeling of bone pathologies

We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic measure focuses on the level of bone mineral density, which is currently used in medical practice. In addition, we have introduced a novel diagnostic estimator which uses the full patient clinical record, here simulated using the modeling framework. This estimator detects rapid (months) negative changes in bone mineral density. Independently of the actual bone mineral density, when the decrease occurs rapidly it is important to alarm the patient and monitor him/her more closely to detect insurgence of other bone co-morbidities. A third estimator takes into account the variance of the bone density, which could address the investigation of metabolic syndromes, diabetes and cancer. Our implementation could make use of different logical combinations of these statistical estimators and could incorporate other biomarkers for other systemic co-morbidities (for example diabetes and thalassemia). We are delighted to report that the combination of stochastic modeling with formal methods motivate new diagnostic framework for complex pathologies. In particular our approach takes into consideration important properties of biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could be further expanded, inching towards the complexity of human diseases. Finally, we briefly introduce self-adaptiveness in formal methods which is a key property in the regulative mechanisms of biological systems and well known in other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104

Have Anglo-Saxon concepts really influenced the development of European qualifications policy?

This paper considers how far Anglo-Saxon conceptions of have influenced European Union vocational education and training policy, especially given the disparate approaches to VET across Europe. Two dominant approaches can be identified: the dual system (exemplified by Germany); and output based models (exemplified by the NVQ ‘English style’). Within the EU itself, the design philosophy of the English output-based model proved in the first instance influential in attempts to develop tools to establish equivalence between vocational qualifications across Europe, resulting in the learning outcomes approach of the European Qualifications Framework, the credit-based model of European VET Credit System and the task-based construction of occupation profiles exemplified by European Skills, Competences and Occupations. The governance model for the English system is, however, predicated on employer demand for ‘skills’ and this does not fit well with the social partnership model encompassing knowledge, skills and competences that is dominant in northern Europe. These contrasting approaches have led to continual modifications to the tools, as these sought to harmonise and reconcile national VET requirements with the original design. A tension is evident in particular between national and regional approaches to vocational education and training, on the one hand, and the policy tools adopted to align European vocational education and training better with the demands of the labour market, including at sectoral level, on the other. This paper explores these tensions and considers the prospects for the successful operation of these tools, paying particular attention to the European Qualifications Framework, European VET Credit System and European Skills, Competences and Occupations tool and the relationships between them and drawing on studies of the construction and furniture industries

Primary Hyperparathyroidism Influences the Expression of Inflammatory and Metabolic Genes in Adipose Tissue

Background: Primary hyperparathyroidism (PHPT) is characterised by increased production of parathyroid hormone (PTH) resulting in elevated serum calcium levels. The influence on bone metabolism with altered bone resorption is the most studied clinical condition in PHPT. In addition to this, patients with PHPT are at increased risk of non-skeletal diseases, such as impaired insulin sensitivity, arterial hypertension and increased risk of death by cardiovascular diseases (CVD), possibly mediated by a chronic low-grade inflammation. The aim of this study was to investigate whether adipose tissue reflects the low-grade inflammation observed in PHPT patients. Methodology/Principal Findings: Subcutaneous fat tissue from the neck was sampled from 16 non-obese patients with PHPT and from 16 patients operated for benign thyroid diseases, serving as weight-matched controls. RNA was extracted and global gene expression was analysed with Illumina BeadArray Technology. We found 608 differentially expressed genes (q-value,0.05), of which 347 were up-regulated and 261 were down-regulated. Gene ontology analysis showed that PHPT patients expressed increased levels of genes involved in immunity and defense (e.g. matrix metallopeptidase 9, S100 calcium binding protein A8 and A9, CD14, folate receptor 2), and reduced levels of genes involved in metabolic processes. Analysis of transcription factor binding sites present in the differentially expressed genes corroborated the up-regulation of inflammatory processes. Conclusions/Significance: Our findings demonstrate that PHPT strongly influences gene regulation in fat tissue, which may result in altered adipose tissue function and release of pathogenic factors that increase the risk of CVD

Bone turnover markers in sheep and goat: a review of the scientific literature

Bone turnover markers (BTMs) are product of bone cell activity and are generally divided in bone formation and bone resorption markers. The purpose of this review was to structure the available information on the use of BTMs in studies on small ruminants, especially for monitoring their variations related to diet, exercise, gestation and metabolic lactation state, circadian and seasonal variations, and also during skeletal growth. Pre-clinical and translational studies using BTMs with sheep and goats as animal models in orthopaedic research studies to help in the evaluation of the fracture healing process and osteoporosis research are also described in this review. The available information from the reviewed studies was systematically organized in order to highlight the most promising BTMs in small ruminant research, as well as provide a wide view of the use of sheep and goat as animal models in orthopaedic research, type of markers and commercial assay kits with cross-reactivity in sheep and goat, method of sample and storage of serum and urine for bone turnover markers determination and the usefulness and limitations of bone turnover markers in the different studies, therefore an effective tool for researchers that seek answers to different questions while using BTMs in small ruminants.José Arthur de A. Camassa acknowledges to the Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil, for his PhD scholarship 202248/2015-1.info:eu-repo/semantics/publishedVersio

HMG CoA reductase inhibitors (statins) to treat Epstein–Barr virus-driven lymphoma

While statins have been highly effective for lowering serum cholesterol and reducing the incidence of coronary events, they have multiple other effects. Certain statins block the interaction of adhesion molecules that are important for cell–cell interactions including those between EBV-transformed B cells. These same statins inhibit NF-κB activation in the cells and induce apoptosis of transformed B cells. Studies in severe combined immunodeficiency mice show that simvastatin delays the development of EBV-lymphomas in these animals. These statins might be considered for the treatment of EBV-lymphomas in selected patients

A multiscale model to predict current absolute risk of femoral fracture in a postmenopausal population

Osteoporotic hip fractures are a major healthcare problem. Fall severity and bone strength are important risk factors of hip fracture. This study aims to obtain a mechanistic explanation for fracture risk in dependence of these risk factors. A novel modelling approach is developed that combines models at different scales to overcome the challenge of a large space–time domain of interest and considers the variability of impact forces between potential falls in a subject. The multiscale model and its component models are verified with respect to numerical approximations made therein, the propagation of measurement uncertainties of model inputs is quantified, and model predictions are validated against experimental and clinical data. The main results are model predicted absolute risk of current fracture (ARF0) that ranged from 1.93 to 81.6% (median 36.1%) for subjects in a retrospective cohort of 98 postmenopausal British women (49 fracture cases and 49 controls); ARF0 was computed up to a precision of 1.92 percentage points (pp) due to numerical approximations made in the model; ARF0 possessed an uncertainty of 4.00 pp due to uncertainties in measuring model inputs; ARF0 classified observed fracture status in the above cohort with AUC = 0.852 (95% CI 0.753–0.918), 77.6% specificity (95% CI 63.4–86.5%) and 81.6% sensitivity (95% CI 68.3–91.1%). These results demonstrate that ARF0 can be computed using the model with sufficient precision to distinguish between subjects and that the novel mechanism of fracture risk determination based on fall dynamics, hip impact and bone strength can be considered validated