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.

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.

We present the calculation of the gradients of the profiles to be passed to ORM MTR to define the initial guess and the assumed profiles for the interfering species.

Graphics processing units (GPUs) are increasingly common on desktops, servers, and embedded platforms. In this article, we report on new security issues related to CUDA, which is the most widespread platform for GPU computing. In particular, details and proofs-of-concept are provided about novel vulnerabilities to which CUDA architectures are subject. We show how such vulnerabilities can be exploited to cause severe information leakage. As a case study, we experimentally show how to exploit one of these vulnerabilities on a GPU implementation of the AES encryption algorithm.

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.

We consider an initial-boundary value problem for a degenerate pseudoparabolic regularization of a nonlinear forward-backward-forward parabolic equation, with a bounded nonlinearity which is increasing at infinity. We prove existence of suitably defined nonnegative solutions of the problem in a space of Radon measures. Solutions satisfy several monotonicity and regularization properties; in particular, their singular part is nonincreasing and may disappear in finite time.

In this paper we consider the final distribution of fuel oil from a storage depot to a set of petrol stations faced by an oil company, which has to decide the weekly replenishment plan for each station, and determine petrol station visiting sequences (vehicle routes) for each day of the week, assuming a fleet of homogeneous vehicles (tankers). The aim is to minimize the total distance travelled by tankers during the week, while loading tankers possibly near to their capacity in order to maximize the resource utilization.

A mathematical model and the simulation of subsoil decontamination by bioventing will be presented. The bases for the model construction are the following: (1) the pollutant is considered as immobile and confined in the unsaturated zone; (2) only oxygen is injected in the subsoil by wells; (3) the bacteria acting the pollutant removal are immobile and their growth depends on oxygen and pollutant concentration.