Much work has been devoted to analysing thermodynamic models for solid dispersions with a view to identifying regions in the phase diagram where amorphous phase separation or drug recrystallization can occur. However, detailed partial differential equation non-equilibrium models that track the evolution of solid dispersions in time and space are lacking. Hence theoretical predictions for the timescale over which phase separation occurs in a solid dispersion are not available.

In this study, we developed a predictive model of in vivo stent based drug release and distribution that is capable of providing useful insights into performance. In a combined mathematical modelling and experimental approach, we created two novel sirolimus-eluting stent coatings with quite distinct doses and release kinetics. Using readily measurable in vitro data, we then generated parameterised mathematical models of drug release. These were then used to simulate in vivo drug uptake and retention.

Predicting the release performance of a drug delivery device is an important challenge in pharmaceutics and biomedical science. In this paper, we consider a multi-layer diffusion model of drug release from a composite spherical microcapsule into an external surrounding medium. Based on this model, we present two approaches for estimating the release time, i.e. the time required for the drug-filled capsule to be depleted.

Cardiovascular disease is the leading cause of mortality worldwide. Atherosclerosis, one of the most common forms of the disease, is characterized by a gradual formation of atherosclerotic plaque, hardening, and narrowing of the arteries. Nanomaterials can serve as powerful delivery platforms for atherosclerosis treatment. However, their therapeutic efficacy is substantially limited in vivo due to nonspecific clearance by the mononuclear phagocytic system.

In this paper we describe how to swap two 2 × 2 blocks in a real Schur form and a generalized real Schur form. We pay special attention to the numerical stability of the method. We also illustrate the stability of our approach by a series of numerical tests.

Presentazione delle attività di ricerca su computational immunology e network medicine al workshop "Hot Topics in Systems" all'interno della conferenza PLACE2019

Two conflicting high-level goals govern the enforcement of security policies, abridged in the phrase ``high security at a low cost''. While these drivers seem irreconcilable, formal modelling languages and automated verification techniques can facilitate the task of finding the right balance. We propose a modelling language and a framework in which security checks can be relaxed or strengthened to save resources or increase protection, on the basis of trust relationships among communicating parties.

The migration of endothelial cells (ECs) is critical for various processes including vascular wound healing, tumor angiogenesis, and the development of viable endovascular implants. EC migration is regulated by intracellular ATP and recent observations in our laboratory on ECs cultured on line patterns - surfaces where cellular adhesion is limited to 15 m-wide lines that physically confine the cells - have demonstrated very different migration behavior from cells on control unpatterned surfaces.