Home page

Prodotti recenti

Ten years of spatial model checking

Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. When addressing more complex systems, such as large-scale collective adaptive systems, it quickly becomes clear that a focus on spatial aspects of such systems is as much relevant as the behavioural aspects. We provide a guided tour through the various research directions that this new focus on space has generated and is about to generate in the future.

Evaluating the impact of injected mobility data on measuring data coverage in crowdsensing scenarios

A major weakness of Mobile CrowdSensing Platforms (MCS) is the willingness of users to participate, as this implies disclosing their private data (for example, concerning mobility) to the MCS platform. In the effort to enforce data privacy in the creation of mobility coverage maps using an MCS platform, recent work proposes the use of a spatially distributed approach that, however, is vulnerable to data injection attacks. In this contribution, we define and implement a progressive attacker mo...

Upgrading the waste Acrylonitrile-Butadiene-Styrene into crude oil and highly efficient electrocatalysts for oxygen reduction reaction

Acrylonitrile butadiene styrene (ABS) is a thermoplastic copolymer that is used in a variety of applications due to its unique physicochemical properties, however, there is not yet an established recycling scheme for this material. This work presents the transformation of waste ABS into efficient platinum group metal-free electrocatalysts for the oxygen reduction reaction (ORR) in alkaline media and crude oil. Waste ABS was pyrolyzed at three different temperatures and subsequently functional...

Resveratrol and grape pomace extract incorporated in modified phospholipid vesicles: A potential strategy to mitigate cigarette smoke-induced oxidative stress

In this study, the extraction process of grape pomace from the Lebanese autochthonous cultivar Asswad Karech was enhanced through the selection of specific parameters, yielding an antioxidant extract (20 mg/mL) that was co-loaded with resveratrol (5 mg/mL) into phospholipid vesicles containing penetration enhancers (PEVs). Propylene glycol (PG) was incorporated as a penetration enhancer at concentrations of 10, 20, and 30 % to obtain 10 PG-PEVs, 20 PG-PEVs, and 30 PG-PEVs. Vesicle preparation...

Coupling water sources and carbon metabolism of natural vegetation at integrated time and space scales

The linkage between water utilization and photosynthetic processes is investigated using stable isotopes and eddy covariance techniques, allowing integration of physiological processes both at time and space scales, respectively. Using the ratio of the stable isotopes of hydrogen (hydrogen vs. deuterium) and discrimination of 13C vs. 12C, the relationship between water sources (rain water vs. ground water) utilization and intercellular carbon dioxide concentration is analysed for various spec...

Scopri

Prodotti più visti

Voce RUDDURA s.f. del Tesoro della Lingua Italiana delle Origini
Linee guida per l'inserimento dei prodotti in IRIS
Queuosine-tRNA promotes sex-dependent learning and memory formation by maintaining codon-biased translation elongation speed
"Siamo tutti fatti così: il DNA ci unisce"
Functional and clinical studies reveal pathophysiological complexity of CLCN4-related neurodevelopmental condition
Discovery of drug-omics associations in type 2 diabetes with generative deep-learning models
High-Yield Separation of Extracellular Vesicles Using Programmable Zwitterionic Coacervates
An optimized SpCas9 high-fidelity variant for direct protein delivery
The Akt/mTOR and MNK/eIF4E pathways rewire the prostate cancer translatome to secrete HGF, SPP1 and BGN and recruit suppressive myeloid cells
QSCL. Questionario sullo Sviluppo Comunicativo e Linguistico nel secondo anno di vita

Prodotti più scaricati

Linee guida per l'inserimento dei prodotti in IRIS
Neurologia pediatrica- Neuroanatomia
Deep Learning for Human Mobility: a Survey on Data and Models
Identification of microRNA target sites: in-silico screening on NGS data
Practices and images of research communication by Italian scientists over the past five years
Recent advances in the treatment of irritable bowel syndrome
Transfer Network Analysis: evoluzione del calciomercato dal dopoguerra ai giorni nostri
BaTiO3-Based Ceramics: Fundamentals, Properties and Applications
Capacitive touch sensing on general 3D surfaces
A Comparative Analysis of UNECE WP.29 R155 and ISO/SAE 21434

Esplora il catalogo della ricerca

IRIS Institutional research information system

Prodotti recenti

Ten years of spatial model checking

Evaluating the impact of injected mobility data on measuring data coverage in crowdsensing scenarios

Upgrading the waste Acrylonitrile-Butadiene-Styrene into crude oil and highly efficient electrocatalysts for oxygen reduction reaction

Resveratrol and grape pomace extract incorporated in modified phospholipid vesicles: A potential strategy to mitigate cigarette smoke-induced oxidative stress

Coupling water sources and carbon metabolism of natural vegetation at integrated time and space scales

Scopri

Tipologia

Organizzazione

Rivista

Data di pubblicazione

Prodotti più visti

Prodotti più scaricati

490.945

pubblicazioni

48.533

open-access

445.636

downloads

102.540

fulltext

19.659

autori