4 Contributo Atto di Convegno (ex Proceeding)

4 Contributo Atto di Convegno (ex Proceeding): [5980] Home page macrotipologia

Sfoglia

4.1 Contributo Atti di Convegno (Proceeding) 5093
4.2 Abstract 743
4.3 Poster 144

Prodotti recenti

Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study

We study the dynamics of the Terra-Luna collapse occurred in May 2022 by creating a simulation environment that embodies both the free market buying-selling transactions and the Terra-Luna protocol exchange features. The parameters used during the simulation generate the conditions necessary for triggering the deviation from the peg of the stablecoin UST, along with the subsequent collapse of its value to almost zero. Then we present three proposals to increase the stability of algorithmic s...

Reversibility in Process Calculi with Nondeterminism and Probabilities

A reversible system features not only forward computations, but also backward computations along which the effects of forward ones can be undone by starting from the last performed action. According to causal reversibility, an executed action can be undone provided that all the actions it caused have been undone already. We investigate causal reversibility in a nondeterministic and probabilistic setting by adapting the framework of Phillips and Ulidowski to define a reversible calculus in whi...

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings

Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via forward-reverse bisimilarity as well as its two components, i.e., forward bisimilarity and reverse bisimilarity. The congruence, equational, and logical properties of these equivalences have already been studied in the setting of sequential processes. In this paper we address concurrent processes and investigate comp...

Advanced Carbon-engineered Organs-on-a-Chip: Innovative Nanotools-based platforms for Brain Injury Repair

Advanced Carbon-engineered Organs-on-a-Chip: Innovative Nanotools-based platforms for Brain Injury Repair A. Sartini 1 , D. Lattanzi 1 , S. Sartini 1 , A. Turco 2 , R. Rauti 1 ¹Department of Biomolecular Sciences, University of Urbino 2 CNR Nanotec, Lecce Disorders of the Central Nervous System (CNS) are one of the grand health challenges of this century. Therapeutic development, however, remains limited by poor understanding of the brain. The Neurovascular Unit (NVU) is a comple...

Evaluating Machine Learning Models against Clinical Protocols for Enhanced Interpretability and Continuity of Care

In clinical practice, decision-making relies heavily on established protocols, often formalised as rules. Concurrently, machine learning (ML) models, trained on clinical data, aspire to integrate into medical decision-making processes. However, despite the growing number of ML applications, their adoption into clinical practice remains limited. Two critical concerns arise, relevant to the notions of consistency and continuity of care: (a) accuracy – the ML model, albeit more accurate, might i...

Scopri

Accesso al fulltext

no fulltext5912
restricted36
open25
reserved7