Ricerc@Sapienza

Ci siamo resi conto di un buco nella dimostrazione del Teorema 2 (iii) e 6 (ii) di [1].

We propose a probabilistic construction for the solution of a general class of fractional high-order heat-type equations in the one-dimensional case, by using a sequence of random walks in the complex plane with a suitable scaling. A time change governed by a class of subordinated processes allows to handle the fractional part of the derivative in space. We first consider evolution equations with space fractional derivatives of any order, and later we show the extension to equations with time fractional derivative (in the sense of Caputo derivative) of order α∈ (0 , 1).

The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean.

We study the problem of unsplittable flow on a path (UFP), which arises naturally in many applications such as bandwidth allocation, job scheduling, and caching. Here we are given a path with nonnegative edge capacities and a set of tasks, which are characterized by a subpath, a demand, and a profit. The goal is to find the most profitable subset of tasks whose total demand does not violate the edge capacities. Not surprisingly, this problem has received a lot of attention in the research community.