Information inequalities and Generalized Graph Entropies

In this article, we discuss the problem of establishing relations between information measures assessed for network structures. Two types of entropy based measures namely, the Shannon entropy and its generalization, the R\'{e}nyi entropy have been considered for this study. Our main results involve establishing formal relationship, in the form of implicit inequalities, between these two kinds of measures when defined for graphs. Further, we also state and prove inequalities connecting the classical partition-based graph entropies and the functional-based entropy measures. In addition, several explicit inequalities are derived for special classes of graphs.Comment: A preliminary version. To be submitted to a journa

Are CT-Based Finite Element Model Predictions of Femoral Bone Strengthening Clinically Useful?

Purpose of Review: This study reviews the available literature to compare the accuracy of areal bone mineral density derived from dual X-ray absorptiometry (DXA-aBMD) and of subject-specific finite element models derived from quantitative computed tomography (QCT-SSFE) in predicting bone strength measured experimentally on cadaver bones, as well as their clinical accuracy both in terms of discrimination and prediction. Based on this information, some basic cost-effectiveness calculations are performed to explore the use of QCT-SSFE instead of DXA-aBMD in (a) clinical studies with femoral strength as endpoint, (b) predictor of the risk of hip fracture in low bone mass patients. Recent Findings: Recent improvements involving the use of smooth-boundary meshes, better anatomical referencing for proximal-only scans, multiple side-fall directions, and refined boundary conditions increase the predictive accuracy of QCT-SSFE. Summary: If these improvements are adopted, QCT-SSFE is always preferable over DXA-aBMD in clinical studies with femoral strength as the endpoint, while it is not yet cost-effective as a hip fracture risk predictor, although pathways that combine both QCT-SSFE and DXA-aBMD are promising

Contract-based modeling and verification of timed safety requirements within SysML

International audienceIn order to cope with the growing complexity of critical real-time embedded systems, systems engineering has adopted a component-based design technique driven by requirements. Yet, such an approach raises several issues since it does not explicitly prescribe how system requirements can be decomposed on components nor how components contribute to the satisfaction of requirements. The envisioned solution is to design, with respect to each requirement and for each involved component, an abstract specification, tractable at each design step, that models how the component is concerned by the satisfaction of the requirement and that can be further refined toward a correct implementation. In this paper, we consider such specifications in the form of contracts. A contract for a component consists in a pair (assumption, guarantee) where the assumption models an abstract behavior of the component’s environment and the guarantee models an abstract behavior of the component given that the environment behaves according to the assumption. Therefore, contracts are a valuable asset for the correct design of systems, but also for mapping and tracing requirements to components, for tracing the evolution of requirements during design and, most importantly, for compositional verification of requirements. The aim of this paper is to introduce contract-based reasoning for the design of critical real-time systems made of reactive components modeled with UML and/or SysML. We propose an extension of UML and SysML languages with a syntax and semantics for contracts and the refinement relations that they must satisfy. The semantics of components and contracts is formalized by a variant of timed input/output automata on top of which we build a formal contract-based theory. We prove that the contract-based theory is sound and can be applied for a relatively large class of SysML system models. Finally, we show on a case study extracted from the automated transfer vehicle (http://www.esa.int/ATV) that our contract-based theory allows to verify requirement satisfaction for previously intractable models

Patient-Specific Biomechanical Modeling of Bone Strength Using Statistically-Derived Fabric Tensors.

Low trauma fractures are amongst the most frequently encountered problems in the clinical assessment and treatment of bones, with dramatic health consequences for individuals and high financial costs for health systems. Consequently, significant research efforts have been dedicated to the development of accurate computational models of bone biomechanics and strength. However, the estimation of the fabric tensors, which describe the microarchitecture of the bone, has proven to be challenging using in vivo imaging. On the other hand, existing research has shown that isotropic models do not produce accurate predictions of stress states within the bone, as the material properties of the trabecular bone are anisotropic. In this paper, we present the first biomechanical study that uses statistically-derived fabric tensors for the estimation of bone strength in order to obtain patient-specific results. We integrate a statistical predictive model of trabecular bone microarchitecture previously constructed from a sample of ex vivo micro-CT datasets within a biomechanical simulation workflow. We assess the accuracy and flexibility of the statistical approach by estimating fracture load for two different databases and bone sites, i.e., for the femur and the T12 vertebra. The results obtained demonstrate good agreement between the statistically-driven and micro-CT-based estimates, with concordance coefficients of 98.6 and 95.5% for the femur and vertebra datasets, respectively