We consider the Erdös-Rényi random graph G(n,p) and we analyze the simple irreversible epidemic process on the graph, known in the literature as bootstrap percolation. We give a quantitative version of some results by Janson et al. (2012), providing a fine asymptotic analysis of the final size A_n of active nodes, under a suitable super-critical regime. More specifically, we establish large deviation principles for the sequence of random variables n-A_n/f (n) with explicit rate functions and allowing the scaling function f to vary in the widest possible range.

The sparse multivariate method of simulated quantiles (S-MMSQ) is applied to solve a portfolio optimization problem under value-at-risk constraints where the joint returns follow a multivariate skew-elliptical stable distribution. The S-MMSQ is a simulation-based method that is particularly useful for making parametric inference in some pathological situations where the maximum likelihood estimator is difficult to compute.

The Wigner rotations arising from the combination of boosts along two different directions arc rederived from a relative boost point of view and applied to study gyroscope spin precession along timelike geodesics in a Kerr spacetime. First this helps to clarify the geometrical properties of Marck's recipe for reducing the equations of parallel transport along such world lines expressed in terms of the constants of the motion to a single differential equation for the essential planar rotation.

We propose an approach to the numerical simulation of thin-film flows based on the lattice Boltzmann method. We outline the basic features of the method, show in which limits the expected thin-film equations are recovered, and perform validation tests. The numerical scheme is applied to the viscous Rayleigh-Taylor instability of a thin film and to the spreading of a sessile drop toward its equilibrium contact angle configuration. We show that the Cox-Voinov law is satisfied and that the effect of a tunable slip length on the substrate is correctly captured.

We investigate the motion of uncharged particles scattered by a binary system consisting of extremely charged black holes in equilibrium as described by the Majumdar-Papapetrou solution. We focus on unbound orbits confined to the plane containing both black holes. We consider the two complementary situations of particles approaching the system along a direction parallel to the axis where the black holes are displaced and orthogonal to it.

We analytically compute the gravitational self-force correction to the gyroscope precession along slightly eccentric equatorial orbits in the Kerr spacetime, generalizing previous results for the Schwarzs-child spacetime. Our results are accurate through the 9.5 post-Newtonian order and to second order in both eccentricity and rotation parameter. We also provide a post-Newtonian check of our results based on the currently known Hamiltonian for spinning binaries.

Spinning neutron stars acquire a quadrupole moment due to their own rotation. This quadratic-in-spin, self-spin effect depends on the equation of state (EOS) and affects the orbital motion and rate of inspiral of neutron star binaries. Building upon circularized post-Newtonian results, we incorporate the EOS-dependent self-spin (or monopole-quadrupole) terms in the spin-aligned effective-one-body (EOB) waveform model TEOBResumS at next-to-next-to-leading (NNLO) order, together with other (bilinear, cubic and quartic) nonlinear-in-spin effects (at leading order, LO).

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.

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.