Multiple verification in computational modeling of bone pathologies

Details Multiple verification in computational modeling of bone pathologies Multiple verification in computational modeling of bone pathologies

2011-09-07

arxiv.org/abs/1109.1368v1

EPTCS 67, 2011, pp. 82-96

Computer Science

Logic in Computer Science

In Proceedings CompMod 2011, arXiv:1109.1044

Scientific paper

10.4204/EPTCS.67.8

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.

Affiliated with

Also associated with

No associations

Rating

Multiple verification in computational modeling of bone pathologies does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Multiple verification in computational modeling of bone pathologies, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Multiple verification in computational modeling of bone pathologies will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-305717