STRUCTURE AND FUNCTION OF ABCG2-RICH EXTRACELLULAR VESICLES MEDIATING MULTIDRUG RESISTANCE.


The golden retriever model of Duchenne muscular dystrophy

Abstract Duchenne muscular dystrophy (DMD) is an X-linked disease caused by mutations in the DMD gene and loss of the protein dystrophin.The absence of dystrophin leads to myofiber membrane fragility and necrosis, with eventual muscle atrophy and contractures.Affected boys typically die in their second or third decade due to either respiratory fail

read more

SoS contract verification using statistical model checking

Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale.In this paper we propose to use statistical model checking for efficient verification of SoS.We address three relevant aspects for systems of systems: 1) the model of the SoS, which includes stochastic aspects; 2) the formalization of t

read more