04 Contributo in atti di convegno

04 Contributo in atti di convegno: [16904] Home page macrotipologia

Sfoglia

04.01 Contributo in atti di convegno 13963
04.02 Abstract in Atti di convegno 2207
04.03 Poster 734

Prodotti recenti

Comparative Assessment of GeoAI-based Frameworks for Automatic Urban Tree Cover

Accurate mapping of urban tree canopy is essential for quantifying ecosystem services and assessing the impact of green infrastructure on wellbeing and public health. This study evaluates and compares three Geospatial Artificial Intelligence (GeoAI) frameworks for the automated detection and segmentation of tree cover. The frameworks are YOLO, Detectree, and TreeEyed Utilizing high-resolution aerial imagery (0.2 m and 0.5 m ground sampling distance), the research tests different deep-learn...

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja

We present an empirical evaluation of the Tigress obfuscator, focusing on its ability to degrade the precision of static analyses performed by two state-of-the-art tools: mopsa, a source-level static analyzer, and BinaryNinja a binary-level decompiler and analysis platform. By applying a variety of lightweight yet diverse obfuscation strategies-such as control flow flattening, opaque predicates, and data encoding-we systematically assess how these transformations affect the analyzability of C...

Fairness of AI Systems in the Legal Context

The digital age has profoundly reshaped societal interactions, heavily influenced by algorithms and Artificial Intelligence (AI). This evolution introduces new challenges in understanding and addressing discrimination, which now arises from both human biases and algorithmic biases, that may cause discriminatory decisions, leading to a form of algorithmic technocracy. AI systems ensure fairness when they operate without discrimination. Legal frameworks must adapt to these changes, integ...

On the Role of Cognizance in Responsibility

A novel definition of responsibility analysis based on abstract interpretation has been recently proposed. One of the main distinguishing features of this approach with respect to the existing notions of causality in the literature, is the incorporation of the observer’s viewpoint. Responsibility considers actions as responsible based on what the observer can understand of the behaviors of interest when analyzing the execution traces and concerning the specific capabilities of the obser...

A Formal Framework to Measure the Incompleteness of Abstract Interpretations

In program analysis by abstract interpretation, completeness represents the best possible scenario where no imprecision is generated by the abstract interpreter. However, as for all approximation methods, the presence of false-alarms is unavoidable and therefore we need to deal somehow with imprecision, i.e., incompleteness. To this end, the partial completeness property has been recently formalized in order to tolerate a limited amount of imprecision when the abstract and concrete doma...

Scopri

Accesso al fulltext

no fulltext14723
open1149
restricted678
reserved349
embargoed2
partially open2
mixed1

CATALOGO DEI PRODOTTI DELLA RICERCA