• Publicationsclose
• Research softwareclose
• Open Access close
• EC|H2020|MSCA-COFUND-DP close
• IT close

We perform a search for light sterile neutrinos using the data from the T2K far detector at a baseline of 295 km, with an exposure of 14.7(7.6)×1020 protons on target in neutrino (antineutrino) mode. A selection of neutral-current interaction samples is also used to enh...

Given a model and a specification, the fundamental model-checking problem asks for algorithmic verification of whether the model satisfies the specification. We consider graphs and Markov decision processes (MDPs), which are fundamental models for reactive systems. One ...

Single-cell RNA-seq (scRNAseq) is a powerful tool to study heterogeneity of cells. Recently, several clustering based methods have been proposed to identify distinct cell populations. These methods are based on different statistical models and usually require to perform...

The design of three-dimensional materials with multiscale pore architecture currently represents a relevant challenge for tissue engineering. In the last three decades, degradable and resorbable biomaterials have been variously manipulated to generate macro/micro/mesopo...

Over the last decade, we have witnessed momentous technological developments in unmanned aircraft systems (UAS) and in lightweight sensors operating at various wavelengths, at and beyond the visible spectrum, which can be integrated with unmanned aerial platforms. These...

We present the optical transmission spectrum of the hot Jupiter WASP-104b based on one transit observed by the blue and red channels of the DBSP spectrograph at the Palomar 200-inch telescope and 14 transits observed by the MuSCAT2 four-channel imager at the 1.52 m Tele...

This work has made use of CosmoHub (see Carretero et al. 2017). CosmoHub has been developed by the Port d’Informacio Cient ´ ´ıfica (PIC), maintained through a collaboration of the Institut de F´ısica d’Altes Energies (IFAE) and the Centro de Investigaciones Energeticas...

Neurodegenerative diseases are closely related to inflammatory and autoimmune events, suggesting that the dysregulation of the immune system is a key pathological factor. Both multiple sclerosis (MS) and Alzheimer's disease (AD) are characterized by infiltrating immune ...

Abstract Background Biological networks are representative of the diverse molecular interactions that occur within cells. Some of the commonly studied biological networks are modeled through protein-protein interactions, gene regulatory, and metabolic pathways. Among th...

The KM3NeT research infrastructure being built at the bottom of the Mediterranean Sea will host water-Cherenkov telescopes for the detection of cosmic neutrinos. The neutrino telescopes will consist of large volume three-dimensional grids of optical modules to detect th...