50+ open-access research outputs.
We extend the coopetition index introduced by Aleandri and Dall'Aglio (2025) for simple games to the broader class of monotone transferable utility (TU) games and to all non-empty coalitions, includin…
This study outlines a light gradient boosted model aimed at predicting shot outcomes in the NHL. The model uses the NHL's spatiotemporal data to account for both the skill of shooters and goaltenders.…
We introduce a new topological encoding of executions of round-based, full-information distributed protocols via spectral spaces. Such protocols constitute a model of distributed computations which ar…
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, Ia\c{s}i, Romania on September 17-19, 2025.…
Employment inclusion of people with disabilities remains critically low in Italy, with only 3.5% employed nationally despite mandatory hiring quotas. Traditional manual matching processes require 30-6…
We characterize the GPU energy usage of two widely adopted exascale-ready applications representing two classes of particle and mesh solvers: (i) QMCPACK, a quantum Monte Carlo package, and (ii) AMReX…
Tourist crowding degrades the visitor experience and negatively impacts the environment and the local population, potentially making tourism in popular destinations unsustainable. This motivated us to…
Embedding-based neural retrieval (EBR) is an effective search retrieval method in product search for tackling the vocabulary gap between customer search queries and products. The initial launch of our…
As part of the Digital Working Group (GTnum) #Scol_IA "Renewal of digital practices and creative uses of digital and AI" we are pleased to present the white paper "Teaching and learning in the era of …
We generalize the classical nuts and bolts problem to a setting where the input is a collection of $n$ nuts and $m$ bolts, and there is no promise of any matching pairs. It is not allowed to compare a…
The present work investigates the modeling of pre-exascale input/output (I/O) workloads of Adaptive Mesh Refinement (AMR) simulations through a simple proxy application. We collect data from the AMReX…
The design of Microprocessors Computer Architectures remains as a fundamental course in Computer Science and Computer Engineering. The technology and organization inside microprocessors have changed q…
A well established agenda on the research output, impact, and structure of global scientific elites such as Nobel Prize laureates has generated interest in the scientific elites from developing countr…
We introduce a method for jointly registering ensembles of partitioned datasets in a way which is both geometrically coherent and partition-aware. Once such a registration has been defined, one can gr…
Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the aetiological factor of COVID-19 infection, poses problems in providing medical assistance at sea. Ships are in an isolated environment…
The GETAFIX trial will test the hypothesis that favipiravir is a more effective treatment for COVID-19 infection in patients who have early stage disease, compared to current standard of care. This st…
The primary objective of the presented study is to analyze the respiratory and functional effects of a rehabilitation program in patients affected by hospitalization in Intensive Care Unit (ICU) due t…
The novel coronavirus disease (COVID-19) pandemic is the second global health emergency the world has faced in less than two decades, after the H1N1 Influenza pandemic in 2009-2010. Spread of pandemic…
Most children affected by SARS-CoV-2 are reported to be asymptomatic, and COVID-19-related mortality in them is low; in Mexico, there is a lack of information on the subject in this population group. …
Five years ago, with the editorial board of Frontiers in Nutrition, we took a leap of faith to outline the Goals for Nutrition Science - the way we see it (1). Now, in 2020, we can put ourselves to th…
Free open-access publishing with Google Scholar indexing.
Submission Guide →