Publications
-
MEDI Workshops
MEDI Workshops
-
Mobile relays for urban rail transportation systems
Assuring an uninterrupted high Quality of Service (QoS) of railway communications between on-board terminals and base stations creates challenges for the provider. This is partly explained by the inherent mobility and the high penetration loss of carriages. Deploying mobile relays in public transportation is possible with a 100%-compatible LTE/EPC architecture. This effectively ensures that the […]
-
Generative Adversarial Networks for face generation: A survey Just Accepted
Recently, Generative Adversarial Networks (GANs) have received enormous progress, which makes them able to learn complex data distributions in particular faces. More and more efficient GAN architectures have been designed and proposed to learn the different variations of faces, such as cross pose, age, expression and style. These GAN based approaches need to be reviewed, […]
-
INTERVALES: INTERactive Virtual and Augmented framework for industriaL Environment and Scenarios
One of Industry 4.0’s greatest challenges for companies is the digitization of their processes and the integration of new related technologies such as virtual reality (VR) and augmented reality (AR), which can be used for training purposes, design, or assistance during industrial operations. Moreover, recent results and industrial proofs of concept show that these technologies […]
-
An IoT-based Framework for an Optimal Monitoring andControl of Cyber-Physical Systems: Application on BiogasProduction System
Among the possible conversion processes for biomass is AnaerobicDigestion (AD) that produces a valuable energy known as biogas.However, the instability of biogas production is challenging dueto the complex process of the AD that requires a precise environ-mental conditions as well as different bacteria populations. Hence,monitoring and controlling these conditions and tracking the bac-teria behaviour inside […]
-
Generation and verification of learned stochastic automata using k -NN and statistical model checking
Deriving an accurate behavior model from historical data of a black box for verification and feature forecasting is seen by industry as a challenging issue especially for a large featured dataset. This paper focuses on an alternative approach where stochastic automata can be learned from time-series observations captured from a set of deployed sensors. The […]
-
Markov Chain-based Algorithms for Building Occupancy Modeling: A Review
Smart buildings focus on providing optimal comfort for the occupant with reduced energy consumption. Better occupant prediction and behavior analysis can significantly reduce building energy usage. Human being is an important parameter in the building control process and his comfort is paramount. Therefore, occupant modeling is critical in improving building efficiency while maintaining indoor comfort. […]
-
From local hesitations to global impressions of the listener
The listener’s interpretation of a speaker’s utterance includes estimates about the speaker’s commitment to what they are saying. Previous works have shown that fillers (e.g. “um”) are linked to both the speaker’s metacognitive state, and the listener’s impression of a speaker’s state. However, these results are limited to contexts that may not apply to spontaneous […]
-
Authoring-By-Doing: An Event-Based Interaction Module for Virtual Reality Scenario Authoring Framework
Virtual reality (VR) and augmented reality (AR) have already shown their advantages in industrial use during these last years. Nevertheless, the authoring and editing process of virtual and augmented contents are still time-consuming and even more for complex industrial scenarios. Therefore, it is important to simplify the authoring process. For this purpose, we are working […]
-
Towards a reliable smart city through formal verification and network analysis
With the immense increase of population density, many challenges facing organizations and governments. Thus, it has become mandatory to turn up our cities to be intelligent by introducing IoT and smart grids to build smart buildings, smart communication technologies, smart healthcare systems, smart transportation, etc. Smart cities guarantee the healthy living of indoor inhabitants by […]
-
Analysis and optimization of the pharmaceutical distribution chain of NIGAPHARM company:A case study in Algeria
Pharmaceutical distribution chain represents one of the most difficult distribution chains to manage. It is made up of several intermediate links that must interact in order to satisfy customer demands. The system under study represents a real world case in Algeria; we noticed that the circuits used by delivery’s vehicles are not optimal after analyzing […]
-
Towards a Foundation of a Mutual Authentication Protocol for a Robust and Resilient PUF-Based Communication Network
Nowadays the resiliency is the main property in any system especially communication infrastructures. Unfortunately, many developers are working on making programs more resilient and reliable, facing people who want to use leaks in an unethical way, and breaking (or trying to break) largely used one-way functions such as MD5, SHA-1, or RSA based algorithms. As […]
Chargement en cours…
Erreur : tout le contenu a été chargé.