Home page

Scopri

Prodotti recenti

Smart technology and multibody simulation for skier safety: a structured narrative review and research roadmap

This structured narrative review examines how smart equipment, wearable and environmental sensing, digital twins, and multibody simulation can contribute to skier safety and prevention of ski-injury. The Scopus® search produced 58,919 aggregate query returns; after excluding two deliberately broad searches, 1,285 targeted-query records were screened and 74 sources were retained. The backward and the forward search for citation searches supported by Google Scholar™ identified another 76 source...

Verification of Configurable SRA Systems

Many digital systems are designed as collections of asynchronous processes orchestrated by a domain-specific scheduler. The verification of such scheduler-restricted asynchronous systems (SRA) is challenging due to process-process and process-scheduler interactions. In this paper, we tackle the problem of verifying configurable SRA. A configurable SRA describes an unbounded family of possible SRA, each resulting from an instantiation satisfying given configuration constraints; our goal is pro...

A Multi-Armed Bandit Framework for Personalized Sustainability Goal Assignment

In recent years, environmental sustainability has emerged as a critical issue for society, prompting governments, local authorities, and private organizations to promote initiatives that encourage more sustainable lifestyles. One such initiative is the AWorld application, which leverages gamification to educate, raise awareness, and inspire positive behavioral changes. The app engages users through personalized challenges, or missions, that require interaction with its features and reward par...

The phenomenon of abortion in foreign women living in Northern Italy: a retrospective cohort epidemiological study

Aim To assess the phenomenon of abortion, both spontaneous and voluntary, in the Trentino population of women to detect any possible differences between women having Italian or foreign citizenship. Subject and Methods Retrospective epidemiological study, based on monitoring current informational flows. The assessed population includes all women who had a spontaneous abortion or a voluntary termination of pregnancy at a Trentino hospital between 2012 and 2023. Results The analyses wer...

Quantum circuit-based learning models: bridging quantum computing and machine learning

Machine Learning (ML) has been widely applied across numerous domains due to its ability to automatically identify informative patterns from data for various tasks. The availability of large-scale data and advanced computational power enables the development of sophisticated models and training strategies, leading to state-of-the-art performance, but it also introduces substantial challenges. Quantum Computing (QC), which exploits quantum mechanisms for computation, has attracted growing atte...

CINECA IRIS Institutional Research Information System

Scopri

Tipologia

Rivista

Serie

Data di pubblicazione

Prodotti recenti

Smart technology and multibody simulation for skier safety: a structured narrative review and research roadmap

Verification of Configurable SRA Systems

A Multi-Armed Bandit Framework for Personalized Sustainability Goal Assignment

The phenomenon of abortion in foreign women living in Northern Italy: a retrospective cohort epidemiological study

Quantum circuit-based learning models: bridging quantum computing and machine learning

Prodotti più scaricati

22.103

pubblicazioni

1.294

open-access

350.880

downloads

2.895

fulltext

2.198

autori