We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (LTLf). The notion of best-effort strategy has been introduced to also deal with the scenario when no agent strategy exists that fulfills the...
04b Atto di convegno in volume
-
-
Deep image inpainting is a computer vision task that uses Deep Neural Networks to generate plausible content to complete an image, for example for the restoration of a damaged image or the removal of unwanted elements captured in the picture. This paper uses deep image inpainting to restore...
-
In digital transformation, Industrial Data Space (IDS) is a key enabler for industry 4.0 to improve the industrial process, efficiency, and energy consumption by exploiting learning-based techniques. The present paper focuses on improving the decision-making process in complex industrial...
-
The climatic change that we are experiencing in these last years, due to a huge set of causes in particular related to human activities, is leading to an increase of catastrophic natural phenomena. This clearly leads a direct impact not only on ecosystem equilibria but also on flora, fauna and...
-
Multi-party business processes rely on the collaboration of various players in a decentralized setting. Blockchain technology can facilitate the automation of these processes, even in cases where trust among participants is limited. Transactions are stored in a ledger, a replica of which is...
-
Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no longer possible for them to control how their data are used....
-
The study of Human Immunodeficiency Virus (HIV) and of its progression to Acquired Immune Deficiency Syndrome (AIDS) has been a challenge by scientists since the early 1980s; the improvements in the knowledge of its transmission and of the evolution of the disease have strongly reduced the...
-
The breast cancer represents one of the most frequent disease diagnosed worldwide; with the modern im- provements in medicine and technology a fast detection of tumor could allow a total recovery. In this paper, it is proposed a compartmental epidemiological model in which the female population is...
-
Genetic instability is one of the hallmarks of cancer, however mutations can occur for different causes and induce different effects. Mutational signatures are characteristic patterns of somatic mutations in cancer genomes, reflecting the underlying mutational processes. A mutational signature can...
-
An advanced Fuzzy Logic Controller (FLC) that considers all the states of the brain tumor system is designed for the chemotherapy treatment. A Mamdani-type FLC is proposed for dynamically controlling the chemotherapy drug for the tumor system; the chemotherapy treatment of brain tumors requires...