Morphological Analysis of White Cement Clinker Minerals: Discussion on the Crystallization-Related Defects

Autor: Mohamed Benmohamed, Rabah Alouani, Amel Jmayai, Abdesslem Ben Haj Amara, Hafsia Ben Rhaiem

Publikováno v: International Journal of Analytical Chemistry, Vol 2016 (2016)

The paper deals with a formation of artificial rock (clinker). Temperature plays the capital role in the manufacturing process. So, it is useful to analyze a poor clinker to identify the different phases and defects associated with their crystallizat

Externí odkaz: https://doaj.org/article/5a913c462132460cb3d22fdcefc9a7e5

Evolutionist approach and MFCC modeling for Arabic automatic recognition

Autor: Fadila, Maouche, Mohamed, Benmohamed

Publikováno v: Revue d'Information Scientifique et Technique; Vol 18, No 1 (2010)

In this article, we suggest a system for automatic recognition of isolated Arabic words, it is a multi-speaker system, even independent of speaker and robust in a noisy environment, it uses a genetic algorithm for recognition, and the Mel frequency c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=78975075580c::6817431c3862aacae4a72cb61849fdfe
https://www.ajol.info/index.php/rist/article/view/171022

Morphological Analysis of White Cement Clinker Minerals: Discussion on the Crystallization-Related Defects

Autor: Rabah Alouani, Amel Jmayai, Hafsia Ben Rhaiem, Mohamed Benmohamed, Abdesslem Ben Haj Amara

Publikováno v: International Journal of Analytical Chemistry
International Journal of Analytical Chemistry, Vol 2016 (2016)

The paper deals with a formation of artificial rock (clinker). Temperature plays the capital role in the manufacturing process. So, it is useful to analyze a poor clinker to identify the different phases and defects associated with their crystallizat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd78893883ef9a3c1cb25aeacaafc7a4
https://pubmed.ncbi.nlm.nih.gov/27313617

Predicate Abstraction and Refinement for Model Checking VHDL State Machines

Autor: Mustapha Bourahla, Mohamed Benmohamed

Publikováno v: Electronic Notes in Theoretical Computer Science. 66:1-16

In this paper we present an automatic combination of abstraction-refinement by which we translate a VHDL model describing a state system to an initial equivalent abstract system described by SMV to explore its state space to verify CTL properties. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::149f3b99ef25387d3373a7023baa930f
https://doi.org/10.1016/s1571-0661(04)80400-6

Ingénierie des indicateurs d'activités à partir de traces modélisées pour un Environnement Informatique d’Apprentissage Humain

Autor: Tarek Djouad, Alain Mille, Christophe Reffay, Mohamed Benmohamed

Publikováno v: STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation)
STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), ATIEF, 2009, 16, 28 p
HAL

Concevoir et exploiter des indicateurs d’activités constitue un enjeu fort pour l’apprentissage avec un EIAH. Nous proposons une approche de conception guidée par les modèles des traces d’interaction et exploitant un système de gestion de trac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::befe13bcf278d23593ac4a0ee8d0a8f2
https://hal.archives-ouvertes.fr/hal-00696324/file/DJOUAD-TAREK-2009.pdf