FLOW LAMINARIZATION AND ACCELERATION BY SUSPENDED PARTICLES

In [Comm. Appl. Math. Comput. Sci., 4 (2009), pp. 153-175], Barenblatt presents a model for partial laminarization and acceleration of shear flows by the presence of suspended particles of different sizes, and provides a formal asymptotic analysis of the resulting velocity equation. In the present paper we revisit the model. In particular we allow for a continuum of particle sizes, rewrite the velocity equation in a form which involves the Laplace transform of a given function or measure, and provide several rigorous asymptotic expansions for the velocity.

AntiCheetah: Trustworthy computing in an outsourced (cheating) environment

The increasing need for performing expensive computations has motivated outsourced computing, as in crowdsourced applications leveraging worker cloud nodes. However, these outsourced computing nodes can potentially misbehave or fail. Exploiting the redundancy of nodes can help guaranteeing correctness and availability of results. This entails that reliable distributed computing can be achieved at the expense of convenience.

Alterdroid: Differential fault analysis of obfuscated smartphone malware

Malware for smartphones has rocketed over the last years. Market operators face the challenge of keeping their stores free from malicious apps, a task that has become increasingly complex as malware developers are progressively using advanced techniques to defeat malware detection tools. One such technique commonly observed in recent malware samples consists of hiding and obfuscating modules containing malicious functionality in places that static analysis tools overlook (e.g., within data objects).

Novel risk predictor for thrombus deposition in abdominal aortic aneurysms

The identification of the basic mechanisms responsible for cardiovascular diseases stands as one of the most challenging problems in modern medical research including various mechanisms which encompass a broad spectrum of space and time scales. Major implications for clinical practice and pre-emptive medicine rely on the onset and development of intraluminal thrombus in which effective clinical therapies require synthetic risk predictors/indicators capable of informing real-time decision-making protocols.

AntiCheetah: an Autonomic Multi-round Approach for Reliable Computing

Outsourced computing is increasingly popular thanks to the effectiveness and convenience of cloud computing *-as-a-Service offerings. However, cloud nodes can potentially misbehave in order to save resources. As such, some guarantee over the correctness and availability of results is needed. Exploiting the redundancy of cloud nodes can be of help, even though smart cheating strategies render the detection and correction of fake results much harder to achieve in practice.

FRoDO: Fraud Resilient Device for Off-line micropayments

Credit and debit card data theft is one of the earliest forms of cybercrime. Still, it is one of the most common nowadays. Attackers often aim at stealing such customer data by targeting the Point of Sale (for short, PoS) system, i.e. the point at which a retailer first acquires customer data. Modern PoS systems are powerful computers equipped with a card reader and running specialized software. Increasingly often, user devices are leveraged as input to the PoS. In these scenarios, malware that can steal card data as soon as they are read by the device has flourished.

Three-Dimensional Lattice Pseudo-Potentials for Multiphase Flow Simulations at High Density Ratios

It is shown that the combination of generalized Van der Waals equations of state with high-order discrete velocity lattices, permits to simulate the dynamics of liquid droplets at air-water density ratios, with very moderate levels of spurious currents near the droplet interface. Satisfactory agreement with experimental data on droplet collisions at density ratios of order thousand is reported.

Travelling wave solutions of a parabolic-hyperbolic system for contact inhibition of cell-growth

We consider a cell growth model involving a nonlinear system of partial differential equations which describes the growth of two types of cell populations with contact inhibition. Numerical experiments show that there is a parameter regime where, for a large class of initial data, the large time behaviour of the solutions is described by a segregated travelling wave solution with positive wave speed c.

De Finetti e Picone: la nascita dell'informatica in Italia

Bruno de Finetti è senza dubbio una delle figure più importanti per la storia della Statistica e del Calcolo delle Probabilità in Italia. Però i suoi interessi furono molto più ampi e compresero molti settori della cosiddetta matematica applicata. In particolare giocò un ruolo importante nella nascita del calcolo numerico e dell'informatica in Italia, settori che peraltro costituiscono importanti strumenti per l'applicazione dei suoi studi principali.