Home page | IRIS Fondazione Bruno Kessler

Prodotti recenti

Autonomous 3D Reconstruction, Mapping, and Exploration of Indoor Environments With a Robotic Arm

We propose a novel information gain metric that combines hand-crafted and data-driven metrics to address the next best view problem for autonomous 3-D mapping of unknown indoor environments. For the hand-crafted metric, we propose an entropy-based information gain that accounts for the ...

Certifying proofs for SAT-based model checking

In the context of formal verification, certifying proofs are evidences of the correctness of a model in a deduction system produced automatically as outcome of the verification. They are quite appealing for high-assurance systems because they can be verified independently by proof check...

Use of eHealth Platforms and Apps to Support Monitoring and Management of Home-Quarantined Patients With COVID-19 in the Province of Trento, Italy: App Development and Implementation

Italy was the first country to largely experience the COVID-19 epidemic among other Western countries during the so-called first wave of the COVID-19 pandemic. Proper management of an increasing number of home-quarantined individuals created a significant challenge for health care authorities...

A General Framework for Change Detection Using Multi-modal Remote Sensing Data

A general framework for change detection is proposed to analyze multimodal remotely sensed data utilizing the Kronecker product between two data representations (vectors or matrices). The proposed method is sensor independent and provides comparable results to techniques that exist for specific&#...

Trace-element XAFS sensitivity: a stress test for a new XRF multi-detector

X-ray absorption fine-structure (XAFS) spectroscopy can assess the chemical speciation of the elements providing their coordination and oxidation state, information generally hidden to other techniques. In the case of trace elements, achieving a good quality XAFS signal poses several challenges, ...

CINECA IRIS Institutional Research Information System

Prodotti recenti

Autonomous 3D Reconstruction, Mapping, and Exploration of Indoor Environments With a Robotic Arm

Certifying proofs for SAT-based model checking

Use of eHealth Platforms and Apps to Support Monitoring and Management of Home-Quarantined Patients With COVID-19 in the Province of Trento, Italy: App Development and Implementation

A General Framework for Change Detection Using Multi-modal Remote Sensing Data

Trace-element XAFS sensitivity: a stress test for a new XRF multi-detector

Scopri