In remote storage services, delays in the time to retrieve data can cause economic losses to the data owners. In this paper, we address the problem of properly establishing specific clauses in the service level agreement (SLA), intended to guarantee a short and predictable retrieval time. Based on the rationale that the retrieval time mainly depends on the storage media used at the server side, we introduce the concept of Provable Storage Medium (PSM), to denote the ability of a user to efficiently verify that the provider is complying to this aspect of the SLA.

The Global Navigation Satellite System (GNSS) meteorology contribution to the comprehension of the Earth's atmosphere's global and regional variations is essential. In GNSS processing, the zenith wet delay is obtained using the difference between the zenith total delay and the zenith hydrostatic delay. The zenith wet delay can also be converted into precipitable water vapor by knowing the atmospheric weighted mean temperature profiles.

ZBTB2 is a protein belonging to the BTB/POZ zinc-finger family whose members typically contain a BTB/POZ domain at the N-terminus and several zinc-finger domains at the C-terminus. Studies have been carried out to disclose the role of ZBTB2 in cell proliferation, in human cancers and in regulating DNA methylation. Moreover, ZBTB2 has been also described as an ARF, p53 and p21 gene repressor as well as an activator of genes modulating pluripotency. In this scenario, ZBTB2 seems to play many functions likely associated with other proteins.

This work presents a methodology to monitor the dynamic behaviour of tall metallic towers based on ground-based radar interferometry, and apply it to the case of telecommunication towers. Ground-based radar displacement measurements of metallic towers are acquired without installing any Corner Reflector (CR) on the structure. Each structural element of the tower is identified based on its range distance with respect to the radar.

The dynamics of active colloids is very sensitive to the presence of boundaries and interfaces which therefore can be used to control their motion. Here we analyze the dynamics of active colloids adsorbed at a fluid-fluid interface. By using a mesoscopic numerical approach which relies on an approximated numerical solution of the Navier-Stokes equation, we show that when adsorbed at a fluid interface, an active colloid experiences a net torque even in the absence of a viscosity contrast between the two adjacent fluids.

?1-Antitrypsin (AAT) encoded by the SERPINA1 gene is an acute-phase protein synthesized in the liver and secreted into the circulation. Its primary role is to protect lung tissue by inhibiting neutrophil elastase. The Z allele of SERPINA1 encodes a mutant AAT, named ATZ, that changes the protein structure and leads to its misfolding and polymerization, which cause endoplasmic reticulum (ER) stress and liver disease through a gain-of-function toxic mechanism.

-- We prove existence and uniqueness of Radon measure-valued solutions of the Cauchy problem for a first order scalar hyperbolic conservation law in one space dimension, the initial data being a finite superposition of Dirac masses and the flux being Lipschitz continuous, bounded and suciently smooth. The novelty of the paper is the introduction of a compatibility condition which, combined with standard entropy conditions, guarantees uniqueness.

We study the formation of singularities for the problem {u(t) = [phi(u)](xx) + epsilon[psi(u)](txx) in Omega x (0, T) phi(u) + epsilon[psi(u)](t) = 0 in partial derivative Omega x(0, T) u = u(0) >= 0 in Omega x {0}, where epsilon and Tare positive constants, Omega a bounded interval, u(0) a nonnegative Radon measure on Omega, phi a nonmonotone and nonnegative function with phi(0) = phi(infinity) = 0, and psi an increasing bounded function. We show that if u(0) is a bounded or continuous function, singularities may appear spontaneously.

Sparse solvers are one of the building blocks of any technology for reliable and high-performance scientific and engineering computing. In this paper we present a software package which implements an efficient multigrid sparse solver running on Graphics Processing Units. The package is a branch of a wider initiative of software development for sparse Linear Algebra computations on emergent HPC architectures involving a large research group working in many application projects over the last ten years.

Pervasive mobile and low-end wireless technologies, such as radio-frequency identification (RFID), wireless sensor networks and the impending vehicular ad-hoc networks (VANETs), make the wireless scenario exciting and in full transformation. For all the above (and similar) technologies to fully unleash their potential in the industry and society, there are two pillars that cannot be overlooked: security and privacy. Both properties are especially relevant if we focus on ad-hoc wireless networks, where devices are required to cooperate - e.g.