The pervasiveness of objects equipped with sensors and actuators and characterised by the possibility of communicating over the Internet in daily environments has steadily increased in recent years. They make possible the creation of several types of...
Automations in the context of smart homes have been adopted more and more frequently; thus, users should be able to control them and create automations most suitable to their needs. Current solutions for this purpose are based on visual apps with...
This is the proposal of the 4th International Workshop on ’Empowering People in Dealing with Internet of Things Ecosystems’ (EMPATHY 2023). Link: https://ceur-ws.org/Vol-3408/short-s4-00.pdf
The pervasiveness in daily environments of objects equipped with sensors and actuators and characterized by the possibility of communicating over the Internet has steadily increased in recent years. In this scenario, smart home automations are becoming...
Several tools have been put forward for creating automations in smart homes both at a research and commercial level. However, often people still encounter difficulties in specifying them in order to obtain the desired behaviour. To design authoring...
The continuously increasing number of connected objects and sensors is opening up the possibility of introducing automations in many domains to better support people in their activities. However, such automations to be effective should be under the...
Smart homes are becoming a widespread reality given the increasingly available number of connected objects and sensors. However, it is still unclear what people expect from automations that are made possible by this technological evolution. In...
ABSTRACT In the dynamic fields of semiconductor design and digital system development, effective verification procedures are in high demand. In particular, functional verification is essential for space systems to guarantee mission success, prevent...
ABSTRACT - In recent years, optical communications have gained a foothold in satellite communications because of their high bandwidth data transmission capability and the capacity to cover much greater distances than radio systems. Recently, the...
Abstract — This paper describes how different IP Cores for on-board high-speed data interfaces have been developed and verified by IngeniArs S.r.l. These are the CODECs and Routers implementing SpaceWire and SpaceFibre communication protocols, i.e.,...
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards such...
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards such...
A. Berti, R. Buongiorno, G. Carloni, et al., 4th National Conference on Artificial Intelligence, CINI Labs AIIS, May 2024.
S. Colantonio, A. Berti, G. Carloni et al. 32nd Symposium On Advanced Database Systems (SEBD) 2024, May 2024.
Deep learning image classifiers often struggle with domain shift, leading to significant performance degradation in real-world applications. In this paper, we introduce our CROCODILE framework, showing how tools from causality can foster a model’s...
Deep learning image classifiers often struggle with domain shift, leading to significant performance degradation in real-world applications. In this paper, we introduce our CROCODILE framework, showing how tools from causality can foster a model’s...
Deep learning image classifiers often struggle with domain shift, leading to significant performance degradation in real-world applications. In this paper, we introduce our CROCODILE framework, showing how tools from causality can foster a model’s...
The aim of this paper is threefold. We inform the AI practitioner about the human visual system with an extensive literature review; we propose a novel biologically motivated neural network for image classification; and, finally, we present a new...
The aim of this paper is threefold. We inform the AI practitioner about the human visual system with an extensive literature review; we propose a novel biologically motivated neural network for image classification; and, finally, we present a new...
Conferenza: Italian Workshop on Neural Networks (WIRN) 2024 Date: 05-07/06/2024 Autori: Andrea Berti (1,2), Valentina Giannini (3,4), Simone Mazzetti (3), Maria Antonietta Pascali (2), Daniele Regge (3), Sara Colantonio (2) Affiliazioni: 1) Department...