Formal methods and validation techniques for ensuring automotive systems security

M Krichen - Information, 2023 - mdpi.com
The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

Road Condition Monitoring Using Vehicle Built-in Cameras and GPS Sensors: A Deep Learning Approach

C Ruseruka, J Mwakalonge, G Comert, S Siuhi… - Vehicles, 2023 - mdpi.com
Road authorities worldwide can leverage the advances in vehicle technology by
continuously monitoring their roads' conditions to minimize road maintenance costs. The …

Using Machine Learning for Earthquakes and Quarry Blasts Discrimination

MS Abdalzaher, M Krichen… - 2023 20th ACS/IEEE …, 2023 - ieeexplore.ieee.org
The effects of explosions and other manmade seismic sources pose a threat to humanity.
One of the most pressing issues currently confronting seismologists is contamination of …

Security and Privacy Challenges of Participatory Sensing in Natural Disaster Management

M Alswailim - 2023 20th ACS/IEEE International Conference on …, 2023 - ieeexplore.ieee.org
Collecting and analyzing data from a large number of people through the use of mobile
devices is known as" participatory sensing." Participatory sensing has emerged as a …

Vérification et validation formelles pour l'Internet des objets

M Krichen - 2024 - hal.science
Résumé L'Internet des objets (IdO) a ouvert une nouvelle ère de dispositifs et de systèmes
connectés, avec des applications allant des soins de santé au transport. Cependant, la …

Avancées Algorithmiques et Accélération Matérielle: Catalyseurs de la Révolution de l'Intelligence Artificielle

M Krichen - 2024 - hal.science
Résumé Cet article explore les progrès significatifs réalisés dans les domaines des
algorithmes d'intelligence artificielle (IA) et de l'accélération matérielle, soulignant leur rôle …

L'intelligence artificielle dans l'industrie des semences: une enquête

M Krichen - 2024 - hal.science
Résumé Le secteur agricole joue un rôle vital dans l'économie, en particulier pour le pays
agricole. La sécurité alimentaire devient une menace et un défi majeur dans l'ère à venir. Si …

Affinement des Données pour l'Excellence en IA: Techniques Avancées de Prétraitement et d'Ingénierie des Caractéristiques

M Krichen - 2024 - hal.science
Résumé La qualité des données et l'ingéniosité de l'ingénierie des caractéristiques sont
cruciales pour le succès des modèles d'intelligence artificielle (IA). Ce document explore …

Stratégies de Compression et d'Optimisation des Modèles d'Intelligence Artificielle

M Krichen - 2024 - hal.science
Résumé Dans un contexte où la complexité et la taille des modèles d'intelligence artificielle
(IA) augmentent de manière exponentielle, l'optimisation et la compression des modèles …

Accélération des Systèmes d'IA: Stratégies de Calcul Distribué et Parallélisation

M Krichen - 2024 - hal.science
Résumé L'évolution rapide des systèmes d'intelligence artificielle (IA) souligne la nécessité
d'approches efficaces pour gérer la croissance exponentielle du volume de données et la …