Publications
-
An Enhanced Interface-Based Probabilistic Compositional Verification Approach
In this paper, we aim to advance the state of the art in the verification process of systems, predominantly modeled as Probabilistic Automata (PA). This model accommodates both nondeterministic and probabilistic behaviors. Our primary strategy to address the notorious state space explosion problem inherent in model checking is the adoption of abstraction and compositional verification […]
-
A Conceptual Framework for MaturityEvaluation BIM-based AR/VR Systems
Maturity evaluation of BIM-based Augmented Reality (AR) and Virtual Reality (VR) systems is a challenging issue that requires ensuring their effectiveness and reliability. However, the lack of appropriate evaluation methods, tools, and standards for these systems makes this task even more complex. In this context, this paper proposes a conceptual framework for evaluating the maturity […]
-
Investigation of Input Feature Combinations Considering Occupant Behavior for Modelling Indoor Air Temperature in a Classroom
This study investigated the performance of artificial neural networks and random forests with various combinations of input variables in modelling indoor air temperature in a classroom. The data collection methodology was designed to investigate key input parameters, including indoor air data, classroom occupancy, and occupant behavior factors such as windows, doors, blind operation, and occupant […]
-
D-STGCNT: A Dense Spatio-Temporal Graph Conv-GRU Network based on Transformer for Assessment of Patient Physical Rehabilitation
This paper tackles the challenge of automatically assessing physical rehabilitation exercises for patients who perform the exercises without clinician supervision. The objective is to provide a quality score to ensure correct performance and achieve desired results. To achieve this goal, a new graph-based model, the Dense Spatio-Temporal Graph Conv-GRU Network with Transformer, is introduced. This […]
-
Insights Into the Importance of Linguistic Textual Features on the Persuasiveness of Public Speaking
In both professional and private life, there is a growing need for public speaking skills. With this background, our research project’s long-term aims are to develop tools that can analyse public speeches and provide useful feedback. The impact of audio and visual characteristics on the automatic analysis of speech quality has been widely explored in […]
-
Fault Prediction in a Smart Building Lighting System
With the advances in many areas such as sensing technologies, new connectivity options and improved IoT architectures, predictive maintenance is considered as a promising solution for the maintenance of Smart Buildings (SBs). However, because of the lack of failure data for these systems, the approaches in the literature, which are mostly data-based approaches, are not […]
-
ACE: how Artificial Character Embodiment shapes user behaviour in multi-modal interactions
The ACE -how Artifcial Character Embodiment shapes user behavior in multi-modal interactions -workshop aims to bring together researchers, practitioners and experts on the topic of embodiment, to analyze and foster discussion on its efects on user behavior in multi-modal interaction. ACE is aimed at stimulating multidisciplinary discussions on the topic, sharing recent progress, and providing […]
-
CAPSULE TRANSFORMER NETWORK FOR DYNAMIC HAND GESTURE RECOGNITION USING MULTIMODAL DATA
In recent years, deep learning techniques have achieved remarkable success in video analysis and more especially in action and gesture recognition. Even though convolutional neural networks (CNNs) remain the most widely used models, they have difficulty in capturing the global contextual information involving spatial and temporal domains or intermodality due to the local feature learning […]
-
Digital Twin of an education modular smart building
As described by Nguyen and Adhikari [1], the digital twin (DT) is a tool that is expected to address issues link to the interactions between building monitored data and decisions to manage effectively the building during its entire life cycle. Nevertheless, the development and the use of the DT is not always natural since it […]
-
A Secured Blockchain Framework for Healthcare Data Management System
In the healthcare system, electronic medical records are very critical, and they must be authenticated and verified. During the medical check-up, a large amount of patient medical data is generated which includes reports related to blood, lifethreatening diseases, and personal information such as credit card numbers and addresses. Any privacy breach in patient medical records […]
-
Guaranteeing information integrity and access control in smart cities through blockchain
The distributed devices in a smart city are characterized by different degrees of sensitivity. Some of them can be accessed by everyone whereas others are limited to a specific class of users (subjects). Therefore, we created an access control system named (Subject-Object-Task System) supported by blockchains that sort processes applied by subjects on smart devices. […]
-
Interoperable IoMT Approach for Remote Diagnosis with Privacy-Preservation Perspective in Edge Systems
The emergence of the Internet of Medical Things (IoMT) has brought together developers from the Industrial Internet of Things (IIoT) and healthcare providers to enable remote patient diagnosis and treatment using mobile-device-collected data. However, the utilization of traditional AI systems raises concerns about patient privacy. To address this issue, we present a privacy-enhanced approach for […]
Loading…
Erreur : tout le contenu a été chargé.