We study the analogue of a convex interpolant two sets on Sierpinski gaskets and an associated notion measure transport. The structure natural family interpolating measures is described interpolation inequality established. A key tool good description geodesics these gaskets, some results which have previously appeared in literature.

System Invariant properties at various locations play a critical role in enhancing confidence in the reliability of system behavior, be it software, hardware and hybrid systems. While there has recently been considerable interest in researching heuristics for generating loops invariants, almost all developments have focused on generating invariants typically handled using SMT solvers including ...

Statistical inference in nonlinear differential equations (DE) is challenging. The log-likelihood landscape is typically multimodal and every parameter adaptation, e.g. in an MCMC simulation, requires a computationally expensive numerical integration of the DEs. Using numerical methods to solve the equations results in prohibitive computational cost; particularly when one adopts a Bayesian appr...

We discuss brieey various phenomena to be tested when designing a robust code for delay diierential equations: choice of interpolant; tracking of discontinuities; vanishing delays; and problems arising from oating-point arithmetic.