Simulation is a powerful tool to study distributed systems. It allows researchers to evaluate different scenarios in a reproducible manner, which is hardly possible in real experiments. However, the realism of simulations is rarely investigated in the literature, leading to a questionable accuracy of the simulated metrics. In this context, the main...
Les travaux de Maurice Merleau-Ponty ont essentiellement porté sur l’expérience, la vie vécue et le rôle de la corporéité. Si les gestes, les perceptions, la chair, l’intercorporéité sont omniprésents dans l’œuvre du philosophe, la technologie semble particulièrement invisible. Est-ce parce qu’elle se fond dans le geste et dans l’expérience ? Rien ...
Depuis plusieurs décennies, on observe une utilisation croissante des systèmes d'information, ce qui provoque une augmentation exponentielle des données textuelles. Bien que l'aspect volumétrique de ces données textuelles soit résolu, sa dimension hétérogène reste un défi pour la communauté scientifique. La maitrise de ces données hétérogènes offre...
Bacterial pathogens have evolved numerous strategies to corrupt, hijack or mimic cellular processes in order to survive and proliferate. Among those strategies, Type IV effectors (T4Es) are proteins secreted by pathogenic bacteria to manipulate host cell processes during infection. They are delivered into eukaryotic cells in an ATP-dependent manner...
Le Centre Régional des Métiers de l'Education et de la Formation Casablanca - Settat (Section d'El Jadida), les départements des Mathématiques et d’Informatique CRMEF Casablanca - Settat ont organisé la deuxième édition duColloque International CIFEM’2018 sur le thème : « Avenir de la formation et de l’enseignement des mathématiques et des sciences...
Transport has become fundamental in the cities to the well functioning of the economy and the welfare of the city population. For several years, transportation faces many issues such as traffic jamming, high accidents rate, unhealthy life due to smoke and dust, air pollution as a result of carbon emission, etc. To deal with these matters, researche...
The rapid growth of fixed and mobile smart objects raises the issue of their integration in everyday environment, e.g. in e-health or home-automation contexts. The main challenges of these objects are the interoperability, the handling of the massive amount of data that they generate, and their limited resources. Our goal is to take a bottom-up app...
Enterprise Resource Planning (ERP) systems are essential for industrial companies to automatize and monitor their business processes in order to boost their competitiveness. ERP systems are generic software designed to serve a large variety of companies with different business processes. Therefore, they have many configuration options to support va...
The goal of this thesis is to add to the efforts toward the long-sought objective of secure and safe robots with predictable and a priori known behavior. For the reasons given above, formal methods are used to model and verify crucial properties, with a focus on the functional level of robotic systems. The approach relies on automatic generation of...
