9,649 research outputs found
Multiscale Soil Investigations: Physical Concepts And Mathematical Techniques
Soil variability has often been considered to be composed of “functional” (explained) variations plus random fl uctuations or noise. However, the distinction between these two components is scale dependent because increasing the scale of observation almost always reveals structure in the noise (Burrough, 1983). Soils can be seen as the result of spatial variation operating over several scales, indicating that factors infl uencing spatial variability differ with scale. Th is observation points to variability as a key soil attribute that should be studied
Mechanical and Systems Biology of Cancer
Mechanics and biochemical signaling are both often deregulated in cancer,
leading to cancer cell phenotypes that exhibit increased invasiveness,
proliferation, and survival. The dynamics and interactions of cytoskeletal
components control basic mechanical properties, such as cell tension,
stiffness, and engagement with the extracellular environment, which can lead to
extracellular matrix remodeling. Intracellular mechanics can alter signaling
and transcription factors, impacting cell decision making. Additionally,
signaling from soluble and mechanical factors in the extracellular environment,
such as substrate stiffness and ligand density, can modulate cytoskeletal
dynamics. Computational models closely integrated with experimental support,
incorporating cancer-specific parameters, can provide quantitative assessments
and serve as predictive tools toward dissecting the feedback between signaling
and mechanics and across multiple scales and domains in tumor progression.Comment: 18 pages, 3 figure
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
- …