Researchers commonly model deepfake detection as a binary classification problem, using an unimodal network for each type of manipulated modality (such as auditory and visual) and a final ensemble of their predictions. In this paper, we focus our attention on the simultaneous detection of...
04b Atto di convegno in volume
-
-
Audio deepfake detection is emerging as a crucial field in digital media, as distinguishing real audio from deepfakes becomes increasingly challenging due to the advancement of deepfake technologies. These methods threaten information authenticity and pose serious security risks. Addressing this...
-
Abstract—Coverage-guided fuzzers expose bugs by progressively mutating testcases to drive execution to new program locations. Code coverage is currently the most effective and popular exploration feedback. For several bugs, though, also how execution reaches a buggy program location may matter: for...
-
The growing adoption of IT solutions in the healthcare sector is accompanied by a steady increase in cybersecurity incidents. In response to this phenomenon regulations, standards, and best practices have been introduced to address cybersecurity and data protection issues in this sector. However,...
-
We consider an agent acting to fulfil tasks in a nondeterministic environment. When a strategy that fulfills the task regardless of how the environment acts does not exist, the agent should at least avoid adopting strategies that prevent from fulfilling its task. Best-effort synthesis captures this...
-
We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (LTL ). The notion of best-effort strategy has been introduced to also deal with the scenario when no agent strategy exists that fulfills the...
-
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...
-
Type 1 diabetes is one of the main issues in current medical research. If not properly managed, it can lead to serious long-term complications such as blindness, stroke, coma and, ultimately, death. In recent years, research endeavors have focused on the development of a fully automated system for...
-
Type 1 diabetes is one of the major concerns in current medical studies, as the World Health Organisation plans to reduce mortality due to such disease by one third by 2030. Standard clinical practice involves self-administered injections of insulin, while current research in the field of automatic...
-
This paper presents a model predictive control approach for the control of a grid-connected service area equipped with an electric energy storage system, and with charging stations, delivering the fast charging service to plug-in electric vehicles. We consider two different possible configurations...