Contributo in atti di convegno

An Integrated Decision Support System to Solve Multi-Criteria Orienteering Problem

In this work we proposed an integrated support system combining a meta-heuristic algorithm and a multicriteria decision analysis method to solve an orienteering problem applied to car-pooling system. For this purpose a Genetic Algorithm (GA), an Analytical Hierarchy Process (AHP) are implemented.…

HyBIS: Advanced introspection for effective windows guest protection

Effectively protecting the WindowsTM OS is a challenging task, since most implementation details are not publicly known. Windows OS has always been the main target of malware that have exploited numerous bugs and vulnerabilities exposed by its implementations. Recent trusted boot and additional…

Assessment of cumulative discriminant analysis for cloud detection in the ESA PROBA-V Round Robin exercise

Cloud detection is a critical issue for satellite optical remote sensing, since potential errors in cloud masking can be translated directly into significant uncertainty in the retrieved downstream geophysical products. The problem is particularly challenging when only of a limited number of…

Beyond Fact-Checking: Network Analysis Tools for Monitoring Disinformation in Social Media

Operated by the H2020 SOMA Project, the recently established Social Observatory for Disinformation and Social Media Analysis supports researchers, journalists and fact-checkers in their quest for quality information. At the core of the Observatory lies the DisInfoNet Toolbox, designed to help a…

Approach to iron corrosion via the numerical simulation of a galvanic cell

A mathematical model of the galvanic iron corrosion is, here, presented. The iron(III)-hydroxide formation is considered together with the redox reaction. The PDE system, assembled on the basis of the fundamental holding electro-chemistry laws, is numerically solved by a locally refined FD method.…

An evolutive model for magnetostrictive interacions: existence of weak solutions

Mixed Algebraic Methods Based on Locally Tensor Product Functions

Electrical RLC Networks and Semiconductor Devices

Modelling of mass convection-diffusion in stent-based drug delivery

Bayesian methods for time course microarray analysis: from genes’ detection to clustering