Volterra Integral Equations (VIEs) arise in many problems of real life, as, for example, feedback control theory, population dynamics and fluid dynamics. A reliable numerical simulation of these phenomena requires a careful analysis of the long time behavior of the numerical solution. Here we develop a numerical stability theory for Direct Quadrature (DQ) methods which applies to a quite general and representative class of problems. We obtain stability results under some conditions on the stepsize and, in particular cases, unconditional stability for DQ methods of whatever order.

We discuss the well-posedness of the "transient eddy current" magneto-quasi-static approximation of Maxwell's initial value problem with bounded and measurable conductivity, with sources, on a domain. We prove the existence and uniqueness of weak solutions, and we provide global Hölder estimates for the magnetic part.

Starting from recent experimental observations of starlings and jackdaws, we propose a minimal agent-based mathematical model for bird flocks based on a system of second-order delayed stochastic differential equations with discontinuous (both in space and time) right-hand side. The model is specifically designed to reproduce self-organized spontaneous sudden changes of direction, not caused by external stimuli like predator's attacks. The main novelty of the model is that every bird is a potential turn initiator, thus leadership is formed in a group of indistinguishable agents.

We present a mesoscale representation of near-contact interactions between colliding droplets which permits one to reach up to the scale of full microfluidic devices, where such droplets are produced. The method is demonstrated for the case of colliding droplets and the formation of soft flowing crystals in flow-focusing microfluidic devices. This model may open up the possibility of multiscale simulation of microfluidic devices for the production of new droplet and bubble-based mesoscale porous materials.

Reputation systems are nowadays widely used to support decision making in networked systems. Parties in such systems rate each other and use shared ratings to compute reputation scores that drive their interactions. The existence of reputation systems with remarkable differences calls for formal approaches to their analysis. We present a verification methodology for reputation systems that is based on the use of the coordination language Klaim and related analysis tools.