4 Contributo in Atti di Convegno (Proceeding)

4 Contributo in Atti di Convegno (Proceeding): [1255] Home page macrotipologia

Sfoglia

Prodotti recenti

Understanding and communicating risk: the case of COVID-19

In the past decades, research in cognitive science has increasingly improved our understanding of human cognition and decision-making processes. On the one hand, the “heuristics and biases” research program highlighted how human reasoners often fail to conform to normative standards of rationality, falling prey to systematic and predictable “cognitive illusions”. On the other hand, further research explored how to design communication strategies and reasoning tools that are more ergonomic - t...

“Work-in-Progress” Structuring the complexity: an ontological approach to analyze the cybersecurity of a 5G service

The transformative potential of 5G networks in reshaping industries, critical infrastructures, and society is widely recognized. Far beyond just a progressive upgrade from previous generations, 5G offers enhanced performance and introduces disruptive features grounded in a cloud-native, fully programmable, and service-oriented paradigm. However, due to the complexity and the variety of deployment and configuration options in 5G scenarios and the expanded attack surface, 5G security emerges as...

Entrepreneurship and compassion training in Italian prisons: an experimental model for inclusive rehabilitation and reintegration

High recidivism rates highlight the limitations of punitive measures and narrow vocational programs. Reintegration into society requires not only access to economic opportunities but also the development of socio-emotional skills. This study examines whether entrepreneurship and compassion training can enhance reintegration outcomes. It evaluates the independent effectiveness of each intervention and explores the role of sequencing—compassion-first versus entrepreneurship-first—in shaping soc...

Managing complexity in new product development: a framework for assessing and mitigating over featuring

Over-featuring (OVF)—the inclusion of attributes exceeding consumer needs or development capacity—remains a recurrent cause of failure in new product development (NPD). This research employs a multi-study experimental design to examine OVF from both consumer and firm perspectives. The consumer studies compare expectations of capability and usability before product use with actual experiences after interaction, identifying an inverted-U pattern in overall value as additional features lead to f...

Growing HOLMS, a HOL Light Library for Modal Systems

This paper introduces HOLMS (HOL-Light Library for Modal Systems), a new framework within the HOL Light proof assistant, designed for automated theorem proving and countermodel construction in modal logics. Building on our prior work focused on Gödel-Löb logic (GL), we generalise our approach to cover a broader range of normal modal systems, starting here with the minimal system K. HOLMS provides a flexible mechanism for automating proof search and countermodel generation by leveraging labell...

Scopri

Accesso al fulltext

no fulltext762
reserved328
open133
partially open32