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.

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.

Nowadays, Predictive Maintenance is a mandatory tool to reduce the cost of production in the semiconductor industry. This paper considers as a case study a critical part of the electrochemical deposition system, namely, the four Pins that hold a wafer inside a chamber. The aim of the study is to replace the schedule of replacement of Pins presently based on fixed timing (Preventive Maintenance) with a Hardware/Software system that monitors the conditions of the Pins and signals possible conditions of failure (Predictive Maintenance).

We present a mathematical model describing the evolution of sea ice and meltwater during summer. The system is described by two coupled partial differential equations for the ice thickness h(x,t) and pond depth w(x,t) fields. The model is similar, in principle, to the one put forward by Luthije et al. (2006), but it features i) a modified melting term, ii) a non-uniform seepage rate of meltwater through the porous ice medium and a minimal coupling with the atmosphere via a surface wind shear term, ?s (Scagliarini et al. 2020).

Networks are pervasive in computer science and in real world applications. It is often useful to leverage distinctive node features to regroup such data in clusters, by making use of a single representative node per cluster. Such contracted graphs can help identify features of the original networks that were not visible before. As an example, we can identify contiguous nodes having the same discrete property in a social network. Contracting a graph allows a more scalable analysis of the interactions and structure of the network nodes.

In this paper, we aim at developing new methods to join machine learning techniques and macroscopic differential models for vehicular traffic estimation and forecast. It is well known that data-driven and model- driven approaches have (sometimes complementary) advantages and drawbacks. We consider here a dataset with flux and velocity data of vehicles moving on a highway, collected by fixed sensors and classified by lane and by class of vehicle.

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)?

Starting from 2019, the Italian Space Agency (ASI) is supporting dedicated projects for the development of new methods, tools and competences for the interpretation and the exploitation of the future measurements of the FORUM (Far-infrared Outgoing Radiation Understanding and Monitoring) experiment. FORUM will be the ninth Earth Explorer mission of the European Space Agency, scheduled for launch on a polar orbiting satellite in 2027.