This manuscript relates to the exploiting of the abstract calculus pattern (ACP) for the (numerical) solution of ordinary differential equation (ODEs) systems, which are ubiquitous mathematical formulations of many physical (dynamical) phenomena. We present FOODIE, a software suite aimed to numerically solve ODE problems by means of a clear, concise, and efficient abstract interface.

Preservation of the angle of reflection when an internal gravity wave hits a sloping boundary generates a focusing mechanism if the angle between the direction of propagation of the incident wave and the horizontal is close to the slope inclination (near-critical reflection). This paper provides an explicit description of the leading approximation of the unique Leray solution to the near-critical reflection of internal waves from a slope in the form of a beam wave.

A new, highly parallelized, adaptive mesh refinement (AMR) library, equipped with an accurate immersed boundary (IB) method for solving the compressible Navier-Stokes system is presented. The library, named ADAM, is designed to efficiently exploit modern exascale GPU-accelerated supercomputers and it is implemented with a highly modular structure in order to make easy to leverage it for a wide range of CFD applications.

Advanced persistent threats (APTs) have rocketed over the last years. Unfortunately, their technical characterization is incomplete--it is still unclear if they are advanced usages of regular malware or a different form of malware. This is key to develop an effective cyberdefense. To address this issue, in this paper we analyze the techniques and tactics at stake for both regular and APT-linked malware. To enable reproducibility, our approach leverages only publicly available datasets and analysis tools. Our study involves 11,651 regular malware and 4686 APT-linked ones.

We prove the nonlinear asymptotic stability of stably stratified solutions to the Incompressible Porous Media equation (IPM) for initial perturbations in ?H1- (R2) ? ?H s(R2) with s > 3 and for any 0 < < 1. Such result improves the existing literature, where the asymptotic stability is proved for initial perturbations belonging at least to H20(R2). More precisely, the aim of the article is threefold. First, we provide a simplified and improved proof of global-in-time well-posedness of the Boussinesq equations with strongly damped vorticity in H1- (R2)?

In a subsoil bioremediation intervention air or oxygen is injected in the polluted region and then a model for unsaturated porous media it is required, based on the theory of the dynamics of multiphase fluids in porous media. In order to optmize the costs of the intervention it is useful to consider the gas as compressible and this fact introduces nonlinearity in the mathematical model. The physical problem is described by a system of equations and the unknowns are: pollutant; bacteria concentration; oxygen saturation and oxygen pressure.

The IMAGO project aims to develop an innovative system that utilizes Multispectral Imaging and Augmented Reality (AR) techniques for studying and preserving cultural heritage.