This paper introduces Behavioral QLTL, a “behavioral” variant of Linear Temporal Logic (ltl) with second-order quantifiers. Behavioral qltl is characterized by the fact that the functions that assign the truth value of the quantified propositions along the trace can only depend on the past. In...
04b Atto di convegno in volume
-
-
Breast cancer is a heterogeneous and complex disease as witnessed by the existence of different subtypes with distinct morphologies and clinical implications. Despite the remarkable advances in understanding the mechanisms underlying breast cancer, this disease is still a major public health...
-
SAveRUNNER is a recently developed network-based tool to efficiently identify novel medical indications for currently approved drugs (known as drug repurposing strategy). Up to now, SAveRUNNER has been gainfully applied to unveil repurposable solutions for several diseases, including viral...
-
SWIM is a recently developed network-based tool that fulfils the criteria of the new quickly emerging field of Network Medicine in finding disease-associated genes, called switch genes. The phenotype-specific applications of SWIM are broad and include the identification of switch genes in grapevine...
-
The opaque reasoning of Graph Neural Networks induces a lack of human trust. Existing graph network explainers attempt to address this issue by providing post-hoc explanations, however, they fail to make the model itself more interpretable. To fill this gap, we intro- duce the Concept Distillation...
-
The use of virtual reality in motor rehabilitation has gained significant interest in recent years. To track a subject's motion in a virtual reality environment, a real time estimation of his/her movement is necessary. Wearable inertial measurement units represent one of the most suitable...
-
In this paper, we propose a real-time multi-class detection system for the NAO V6 robot in the context of RoboCup SPL (Standard Platform League) using state-of-the-art structural pruning techniques on neural networks derived from YOLOv7-tiny. Our approach combines structural pruning and fine-tuning...
-
Robots playing soccer often rely on hard-coded behaviors that struggle to generalize when the game environment change. In this paper, we propose a temporal logic based approach that allows robots’ behaviors and goals to adapt to the semantics of the environment. In particular, we present a...
-
Enriching the robot representation of the operational environment is a challenging task that aims at bridging the gap between low-level sensor readings and high-level semantic understanding. Having a rich representation often requires computationally demanding architectures and pure point cloud...
-
Motion analysis is a fundamental methodology for examining upper-limb function. The objective of this study is to find a kinematic index for objectively evaluating the motor impairment caused by a stroke, during the execution of the Box and Block Test (BBT). We tracked trunk and upper limb motion...