Millions of people use online social networks to reinforce their sense of belonging, for example by giving and asking for feedback as a form of social validation and self-recognition. It is common to observe disagreement among people beliefs and points of view when expressing this feedback. Modeling and analyzing such interactions is crucial to und...
Published in REVIEWS ON ADVANCED MATERIALS SCIENCE
Annotating data for supervised learning can be costly. When the annotation budget is limited, active learning can be used to select and annotate those observations that are likely to give the most gain in model performance. We propose an active learning algorithm that, in addition to selecting which observation to annotate, selects the precision of...
Published in Physics in Medicine & Biology
Objective. Radiation treatment planning (RTP) involves optimization over a large number of voxels, many of which carry limited information about the clinical problem. We propose an approach to reduce the large optimization problem by only using a representative subset of informative voxels. This way, we drastically improve planning efficiency while...
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics via translations to and from the $\mu$-calculus and modal logic, which allow us to transfer known upper and lowe...
Predominantly employed to tackle hardware validation challenges in the early years, formal methods have since expanded to software engineering, introducing a significant level of rigor and precision to software analysis. Its use of mathematical notations and logical reasoning allows for abstract modeling of programs, enabling researchers and engine...
Interactions between microRNAs (miRNAs) and RNA-binding proteins (RBPs) are pivotal in miRNA-mediated sorting, yet the molecular mechanisms underlying these interactions remain largely understudied. Few miRNA-binding proteins have been verified, typically requiring extensive laboratory work. This study introduces DeepMiRBP, a novel hybrid deep lear...
Published in Frontiers in Big Data
The COVID-19 pandemic has highlighted the need to take advantage of specific and effective patient telemonitoring platforms, with specific reference to the constant monitoring of vital parameters of patients most at risk. Among the various applications developed in Italy, certainly there is reCOVeryaID, a web application aimed at remotely monitorin...
We are witnessing a widespread adoption of artificial intelligence in healthcare. However, most of the advancements in deep learning in this area consider only unimodal data, neglecting other modalities. Their multimodal interpretation necessary for supporting diagnosis, prognosis and treatment decisions. In this work we present a deep architecture...
This paper presents a deep auto-encoder model and a phased framework approach to predict the next 12 h of vessel trajectories using 1 to 3 h of Automatic Identification System data as input. The strategy involves fusing spatiotemporal features from AIS messages with probabilistic features engineered from historical AIS data to reduce forecasting un...
