Détail de l'auteur
Auteur Zohra Hamidi |
Documents disponibles écrits par cet auteur (6)



![]()
Monographie imprimée
Khadidja MAKHLOUF, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2021Articial Intelligence has lately begun to be used into medicine to improve patient care by speeding up processes and increasing accuracy, paving the way for improved healthcare in general. On the other hand, temperature is an important health f[...]![]()
Monographie imprimée
Abdelnaim Dikki, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2022Blockchains have lately found a use for themselves in practically every field, either in finance, health or data management and many more. This spread is due to their impeccable ability to store data securely and prevent any tampering or attem[...]![]()
Monographie imprimée
Aymen Rouagha, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2022Blockchain networks are based on cryptographic notions that include asymmetric-key encryption, hash functions, and consensus protocols. Consensus protocols can be considered the backbone of a blockchain network as they enforce consistency and [...]![]()
Monographie imprimée
Aouatef Abid, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2019Internet of Things (IoT) is a technology used to provide smarter services to users by connecting various devices to the Internet and allowing these devices to exchange information with each other. This connections run out depending on certain [...]![]()
Monographie imprimée
Mohamed Salah Guedjiba, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2017Model checking est une méthode de vérification formelle automatique. Le système étudié est décrit sous forme de modèle à états-transitions qui représente sa spécification. A partir de ce premier modèle est généré un second modèle qui est une i[...]![]()
Monographie imprimée
Mariem Saighi, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2017