3.Faculté des Science Exactes et des Sciences de la Nature et de la Vie

Permanent URI for this collectionhttp://172.16.2.43:4000/handle/123456789/5811

Browse

Now showing 1 - 20 of 37

Renforcement de la Robustesse des Applications Distribuées sur Réseaux Mobiles avec Infrastructure
(Université Larbi-Tébessi.Tebessa, 2015-01-29) Toualbia, Lotfi
L’intérêt procuré par les réseaux mobiles de divers types n’est plus à démontrer. Cependant, un tel environnement engendre de nouvelles contraintes : des ressources de calcul et de stockage moins importantes, une bande passante faible, une source d’énergie limitée, des fréquentes déconnexions, une vulnérabilité aux dommages physiques, etc. Ces particularités rendent les protocoles de tolérance aux fautes par reprise traditionnels inadéquats. Par conséquent, ces protocoles doit être adaptés à ce contexte afin d’assurer la continuité de délivrance des services d’une application distribuée mobile en dépit de défaillances de processus. Dans ce mémoire, nous présentons un protocole de tolérance aux fautes d’une application distribuée dans un environnement mobile basé sur un réseau mobile avec infrastructure à couverture discontinue. Notre objectif est d’assurer à une application distribuée mobile une exécution non-stop et minimiser ainsi l’overhead temporel affectant la délivrance de ses services. A cet effet, nous identifions en premier lieu les différents types de fautes matérielles transitoires et permanentes affectant un nœud mobile dans cet environnement. Ensuite, des mesures adéquates doit être prises en compte pour tolérer ces fautes. Le protocole proposé se base sur la sauvegarde asynchrone de points de reprise et la journalisation pessimiste de messages afin de fournir un recouvrement asynchrone aux processus défaillants. La station de base fournit un support stable pour enregistrer les points de reprise d’un processus ainsi que ses messages reçus. L’exécution non stop est assurée par la migration des processus d’un nœud mobile défaillant vers la station de base ou vers un autre nœud mobile robuste. Enfin, les performances de notre protocole sont évaluées.
Fusion des données pour un raisonneur par région pour l’identification du visage humain
(Université Cheikh Larbi-Tebessi -Tébessa, 2009) Djellab, Issam
La reconnaissance automatique des visages humains demeure toujours un réel challenge dans le domaine de la recherche, ceci est dû essentiellement à la nature même de cette biométrie qu’est le visage très riche en informations sociales, et fortement dynamique à la fois à cause des variations de l’environnement, le vieillissement, la pilosité….chose qui rend la tâche de reconnaissance plus complexe; De ce fait, une multitude de méthodes ont été déployées pour résoudre ce problème, mais malgré la pléthore de techniques élaborées et les énormes progrès atteints, il n’existe pas une méthode qui soit à elle seule invariante à toutes les variations que peut subir ce stimulus. Pour essayer de cerner le maximum de ces changements, une nouvelle tendance a vu le jour visant à faire participer plusieurs classifieurs, et à combiner leurs raisonnements et leurs résultats en vue d’augmenter le taux de reconnaissance. Le travail proposé dans ce mémoire s’inscrit dans le cadre de la reconnaissance des visages humains. Le codage des caractéristiques se base sur un principe d’extraction de distances. Autrement dit, ayant une image contenant un visage, d’abord nous cherchons à localiser des points d’intérêts sur lesquels reposent les formules de calcul des distances. Ces dernières représentent les caractéristiques permettant d’identifier une personne. Selon notre système, nous attribuons une identité à un individu ou nous le déclarons inconnu. La méthode de reconnaissance adoptée est celle des k plus proches voisins (KPPV). La distance utilisée est celle de la somme des valeurs absolues appelée aussi distance de Minkowski de degré 1 ou distance City-Block, elle est équivalente aux autres distances (ex. la distance euclidienne,...) mais elle nécessite moins de calculs (à ne pas confondre avec les distances AD, BC,…,SM), Avec l’approche de fusion des données proposée, plusieurs méthodes de calcule des k-ppv sont également mises au point pour optimiser la reconnaissance, cela veut dire une liste de kppv pour chaque méthode (k-ppv avec tout le visage, k-ppv pour chaque région du visage, kppv pour les yeux avec le nez, k-ppv pour les yeux avec la bouche, k-ppv pour le nez avec la bouche). Les images de la base d’apprentissage ont été sujet à une série d’opérations (normalisation, clique) afin d’extraire le vecteur des caractéristique représentant chaque visage.
Approche hydrogeologique et hydrochimique des eaux souterraines dans une zone semi aride. Cas de la nappe mio-plio-quaternaire du synclinal de djelfa
(Université Cheikh Larbi-Tebessi -Tébessa, 2016-01-25) Rahmani, Badreddine
La zone étudiée (synclinal de Djelfa) fait parti des zones semi arides avec des précipitations 334mm Cette zone comprend l’aquifère Mio-Plio-Quaternaire, qui joue un rôle très important dans l'approvisionnement en eau d'irrigation et l’eau potable dans la région d’étude. L’objectif de ce travail est l’étude piézométrique ainsi que l’étude hydrochimique des eaux souterraine de l’aquifère Mio-Plio-Quaternaire. Les résultats obtenue de l’étude piézométrique permettant en mettre en évidence que le sens d’écoulement général est dirigé vers le Nord Est avec un gradient hydraulique varie entre 0.5 et 2%. D’autre part, l’étude hydrochimique fait apparaitre que la quasi-totalité des points d’eau étudiés présentent un faciès bicarbonaté calcique et sulfaté calcique. L’examen des cartes d’iso teneurs chimiques ; traduisant la variation spatiale des différents paramètres physico-chimiques. Cette cartographie permet de constater un degré de minéralisation élevée au niveau de la partie Nord Ouest et l’extrême Nord Est de la zone d’étude. Enfin, l’étude de l’aptitude des eaux souterraines à l’irrigation des terres agricoles, montre que la majorité des points d’eau présentent une qualité acceptable pour l’irrigation, sauf pour certaines zones du Nord-Ouest et l'extrême Nord-Est.
Adaptation des méthodes d'optimisation par les Essaims de particules aux problèmes multiobjectifs
(Université Larbi-Tébessi.Tebessa, 2011) Khamer, Lazhar
Les méta-heuristiques sont une famille d'algorithmes stochastiques destinés à résoudre des problèmes d' ''optimisation difficile ''. Utilisées dans de nombreux domaines, ces méthodes présentent l'avantage d'être généralement efficaces, sans pour autant que l'utilisateur ait à modifier la structure de base de l'algorithme qu'il utilise. Parmi celles-ci, l'Optimisation par Essaim Particulaire (OEP) est une nouvelle classe d'algorithmes proposée pour résoudre les problèmes à variables continues. Les algorithmes d'OEP s'inspirent du comportement social des animaux évoluant en essaim, tels que les oiseaux migrateurs ou les poissons. Les '' particules '' d'un même essaim communiquent de manière directe entre elles tout au long de la recherche pour construire une solution au problème posé, en s'appuyant sur leur expérience collective. Reconnues depuis de nombreuses années pour leur efficacité, les métaheuristiques présentent des défauts qui rebutent encore certains utilisateurs. Le réglage des paramètres des algorithmes est un de ceux-ci. Il est important, pour chaque problème posé, de trouver le jeu de paramètres qui conduise à des performances optimales de l'algorithme. Cependant, cette tâche est fastidieuse et coûteuse en temps, surtout pour les utilisateurs novices. Pour s'affranchir de ce type de réglage, des recherches ont été menées pour proposer des algorithmes dits '' adaptatifs ''. Avec ces algorithmes, les valeurs des paramètres ne sont plus figées, mais sont modifiées, en fonction des résultats collectés durant le processus de recherche. Dans cette optique-là, Maurice Clerc a proposé TRIBES, qui est un algorithme d'OEP monoobjectif sans aucun paramètre de contrôle. Cet algorithme fonctionne comme une '' boîte noire '', pour laquelle l'utilisateur n'a qu'à définir le problème à traiter et le critère d'arrêt de l'algorithme. Nous proposons dans ce sujet une étude sur le réglage des paramètres pour PSO afin de corriger certains de ces défauts. Le besoin croissant de méthodes de résolution de problèmes multi-objectifs a conduit les concepteurs à adapter leurs méthodes pour résoudre ce type de problème. La complexité de cette opération provient du fait que les objectifs à optimiser sont souvent contradictoires. Nous proposons aussi dans ce sujet d'appliquer les versions d'algorithmes d'optimisation multi-objectifs sur quelque problèmes d'optimisation tel que traitement d’image (le problème de seuillage d'images médicales, segmentation des images, recalage des images médicales).
Aspect Quantitatif Et Qualitatif Des Eaux Des Nappes Profondes (Cas Du Complexe Terminale Et Du Continentale Intercalaire De La Vallee D'oued Souf Sud-Est Algerien)
(Université Larbi-Tébessi.Tebessa, 2016-01-25) Nesrat, Ali
La région d’Oued-Souf est une unitée de ressource en eau située au sud-est algérien. Elle possède un réservoir très important présentant sous forme de deux nappes : la nappe du complexe Terminal (Pontien), la nappe du Contionetal Intercalaire (Albien). dont la quasi-totalité des eaux destinées à la l’alimentation de la population sont des eaux du complexe Terminal . La qualité chimique de ces eaux (Pontien) pose un grand problème, tel que la salinité, la minéralisation forte et la concentration de certains éléments qui dépassent les normes recommandées par l'OMS. L'objectif de cette étude est de déterminer la qualité des eaux (Pontien) de cette région et leur impact sur l'environnement. Les résultats obtenus et traités par différentes méthodes, diagramme et outil statistique permettent de conclure que la minéralisation des eaux est d'origine géologique. Le problème essentiel des eaux du complexe Terminal de la vallée d’Oued-Souf est un problème de qualité, pour cela il faut exiger des critères rigoureux pour améliorer la qualité chimique des eaux et garantir sa potabilité selon les normes internationales, avant de la mobiliser aux consommateurs.
Routage et Conservation d’Energie dans les Réseaux Mobiles Ad hoc utilisant OLSR
(Université Larbi-Tébessi.Tebessa, 2010-01-10) Chanem, Nabil
L'informatique mobile exige beaucoup de traitements. Mises à part les activités de communication, la consommation d'énergie est l'un des problèmes les plus critiques pour les dispositifs mobiles à pile. Notamment, dans les réseaux ad hoc où chaque noeud est responsable de la transmission des paquets de données des noeuds voisins, une précaution particulière doit être prise non seulement pour minimiser la consommation d'énergie de tous les noeuds pertinents mais également pour équilibrer les niveaux individuels des piles. Un déséquilibre dans l'utilisation de l'énergie peut provoquer un échec sur l'un des noeuds surchargés et conduire au partitionnement et à la réduction de la durée de vie du réseau. Dans ce mémoire, nous présentons d'abord l'algorithme du routage OLSR (Optimized Link State Routing) standard. Ensuite, nous intégrons à OLSR le critère de consommation d'énergie en tant que critère de QoS. Dans cet objectif, nous apportons une amélioration au niveau de l'heuristique du choix des noeuds relais multipoints MPR (Multipoint Relays) car elle représente le point fort du routage OLSR. Trois algorithmes sont proposés pour le processus de sélection des MPR selon la contrainte d'énergie.
Compression des images par l’algorithme SPIHT : Applications aux images fixes contenant des régions d’intérêt
(Université Cheikh Larbi-Tebessi -Tébessa, 2010) Saadi, Souad
Le sujet central de ce mémoire est l’application de la méthode de codage SPIHT à la compression d’images fixes. Dans la plupart des applications, surtout en imageries biomédicale ou satellitaire, L’utilisateur s'intéresse à l'extraction de l'information de certaines régions de l'image uniquement. Ceci suggère la localisation précise de ces régions que l'on qualifie de régions d'intérêt pour des fins de transmission, d'interprétation, etc. Nous proposons dans le cadre de compression des images fixes une méthode de codage sélective. La sélection des régions d'intérêt utilise des techniques de segmentation par région. Ces régions subissent une compression en appliquant des techniques réversibles tel que SPIHT sans pertes. L'arrière plan, qui ne nécessite pas d'être codé en plaine résolution, est compressé à l'aide de JPEG2000 irréversible. Le but de la méthode est d'améliorer le taux de compression tout en conservant l'information qui se trouve dans les zones d’intérêt. La méthode a été testée sur un ensemble d'images incluant des régions d'intérêt de différentes natures et elle a montré des performances supérieures aux méthodes classiques telles que les méthodes définies dans la norme de JPEG2000 et JPEG.
Formalisation des Besoins Fonctionnels des Systèmes Multi-Agents à l’aide de Maude
(Université Larbi-Tébessi.Tebessa, 2009) Hamidane, Fathi
Ce mémoire présente une approche systématique permettant de translater les besoins fonctionnels d’un système multi-agents décrits par les diagrammes de cas d’utilisation UML étendus et, les diagrammes de séquences AUML dans une spécification formelle Maude. Notre approche propose dans un premier temps d’étendre les cas d’utilisation UML en utilisant les stéréotypes UML pour tenir compte de spécificités de SMAs. Dans un second temps, nous associons à chaque cas d’utilisation un ou plusieurs diagrammes de séquences AUML réalisant les différents scénarios possibles de la fonctionnalité décrite par le cas d’utilisation proprement-dit. Une fois élaborés les différents diagrammes subissent une validation afin d’assurer la cohérence inter et intra modèles. Le langage Maude, basé sur la logique de réécriture, offre des bases formelles et solides pour la spécification et la programmation des systèmes concurrents. Les principales motivations de ce travail sont : (1) la formalisation des besoins fonctionnels d’un système multi-agents à l’aide de Maude, et (2) l’intégration de la validation formelle de la cohérence des modèles, dès la phase d’élicitation des besoins, dans un processus de développement des SMAs.
Peuplement automatisé dans un environnement urbain
(Université Larbi-Tébessi.Tebessa, 2011-01-06) Difallah, Saloua
Une animation comportementale est constituée d'acteurs autonomes (conducteur de voiture ou de camion, piéton, cycliste) évoluant dans un environnement virtuel (la ville). Ces acteurs sont capables de percevoir, de décider et d'agir. L'immersion d'acteurs autonomes dans des environnements virtuels nécessite une représentation de l'environnement qui ne se limite pas à la géométrie. La représentation de l'environnement doit contenir les informations nécessaires au fonctionnement des modèles perceptifs et décisionnels des entités. Ce mémoire présente une architecture complète pour effectuer des simulations de foules dans un environnement virtuel urbain. Chaque entité est simulée de manière autonome. Nous présentons l’ensemble des étapes nécessaires à un tel processus. Premièrement, nous proposons une représentation de l’environnement urbain. Ensuite, nous proposons un moteur de description des objets interactifs de la simulation, permettant d’enrichir le potential comportemental des entités simulées. Nous mettons l’accent sur ces interactions par l’intégration des objets interactifs directement dans la procédure de planification de chemin de l’humain virtuel. Cette dernière, basée sur une connaissance de l’environnement, prend en compte plusieurs critères de décisions simultanément. Finalement, nous montrons comment l’ensemble de ces modules s’intègre dans notre architecture pour obtenir une plateforme de simulation de foules d’humains virtuels dans un environnement urbain, formé principalement de piétons et de véhicules.
Perception de l’environnement par stéréovision : Application à la sécurité dans les systèmes de transports terrestres
(Université Larbi-Tébessi.Tebessa, 2011-09) Kerboua, Adlen
Spécification et vérification de code pour plate-forme embarquée
(Université Larbi-Tébessi.Tebessa, 2015-02-12) Chenna, Abdelbassette
La vérification est une procédure qui vise à assurer le bon fonctionnement d’un système, en général automatisé et critique, en garantissant qu’il vérifie certaines propriétés. De nos jours, les systèmes automatisés sont omniprésent : processus industriels, automobile, avionique, ferroviaire, énergie atomique... La présence de tels systèmes dans des applications critiques, couplée à leur complexité croissante, rend indispensable leur vérification de façon automatique afin de garantir la sûreté de leur fonctionnement. En plus, les contraintes économiques imposent souvent un temps de développement court, ce qui rend accru le besoin de méthodes de vérification efficaces et à coût réduit. Les méthodes formelles, incluant la méthode du ”Model-Checking”, ont été appliquées avec succès dans plusieurs domaines, entre autres, réseaux, protocoles de sécurité, protocoles de télécommunication et contrôle automatique. Ils permettent de produire une description, dite spécification du système en question, puis, à partir de la spécification, vérifier automatiquement les propriétés désirées avant d’implémenter le système. Les algorithmes de Model-Checking sont, en général, conçus pour la vérification totale du système considéré. Lorsque le graphe modélisant le système est de taille raisonnable, c’est à dire qu’il peut être géré par la mémoire principale, les méthodes de model-checking sont très efficaces dans l’exploration de ce graphe et la détection des erreurs éventuelles. Cependant, la plupart des systèmes logiciels réels, possèdent des graphes d’états de très grande taille. En effet, l’espace d’états, représentant tous les comportements possibles d’un système ou d’un protocole complexe est habituellement exponentiel en le nombre de processus le comportant. Cette évolution importante dans la taille du graphe connue sous le nom d’explosion combinatoire de la taille de l’espace d’états, constitue encore, même après plusieurs années de travail, l’obstacle principal de la vérification automatique par model checking.
Une approche bayésienne à base d’agents pour la reconnaissance d’objets visuels
(Université Cheikh Larbi-Tebessi -Tébessa, 2011) Zahrouri, Ahmed
La vision artificielle cherche de nouvelles approches pour rendre la reconnaissance d’objets plus performante. Parmi les différentes méthodes proposées, les système multi-agents, et le framework bayésiens pour l’inférence de la meilleure interprétation du contenu d’une image. Le présent travail de thèse propose une approche bayésienne à base d’agents pour la reconnaissance d’objets polyédriques, à partir d’images de profondeur. Dans un premier temps une population d’agents dits agents détecteurs repartis dans l’image pour suivre les points de contour issus d’une segmentation collective d’images de profondeur, afin de former des segments de droite et les enregistrer dans une structure de données. Cette dernière a été exploitée par un autre agent nommé agent bayésien pour inférer une meilleure représentation des objets. Du fait des incertitudes dans les mesures et les observations, nous avons utilisé une approche probabiliste reposant sur l’utilisation de réseaux bayésiens. Ces réseaux permettent d’émettre des hypothèses sur l’existence et la localisation des segments d’objets, puis confirmer ou infirmer cette hypothèse. Enfin, en fonction du résultat de l’étape de vérification, de compléter le modèle 3-D de la scène.
Nouveaux π-donneurs a systeme etendu : synthese, caracterisation et etude preliminaire de materiaux organiques
(Université Larbi-Tébessi.Tebessa, 2008) Zitouni, Amel
L'observation d'un état métallique et même supraconducteur dans les composés organiques a poussé les chimistes à rechercher de nouveaux précurseurs pour synthétiser des matériaux possédant ces propriétés. Dans ce but l’augmentation de la dimensionnalité électronique et structurale de ces solides organiques semble un facteur capital. Afin d’atteindre ces objectifs, deux familles de précurseurs originaux dérivés du TTF ont été développées. Une première série de molécules plus particulièrement intéressante pour la préparation des matériaux associant des propriétés électrique et magnétique, concerne des donneurs de type TTF liés directement avec un groupement pyridine, bien connus pour leur aptitude à complexer des métaux de transition. La deuxième famille de molécules riche en hétéroatomes et dotés d’une grande extension spatiale sélectionnée comme précurseurs potentiels de matériaux de haute dimensionnalité. Pour l’obtention de nos molécules cibles, nous avons employé, selon le cas considéré, les stratégies de synthèse suivantes : couplage croisé, condensation de type Wittig et déprotection-alkylation. Le caractère donneur de l’ensemble des précurseurs obtenus, ainsi que la stabilité de leurs états oxydés sont vérifiés par voltammétrie cyclique. Enfin, ces nouveaux donneurs ont été utilisés pour préparer des matériaux de type complexes de transfert de charge. Les mesures de la conductivité de ces solides ont été réalisées.
Modélisation des propriétés électriques du GaAs dopé par implantation ionique
(Université Larbi-Tébessi.Tebessa, 2012-06-18) Abdi, Naima
Dans ce travail, les propriétés électriques et électroniques du semiconducteur composé l’arséniure de gallium (GaAs), sont étudiées suite à sa performance élevée, ses propriétés semiconductrices uniques et pour son utilisation dans un large domaine de température. Une étude élargie des mécanismes d’activation électrique des différents ions dans le GaAs, a permis d’utiliser un modèle thermodynamique qui prévoit strictement les propriétés électriques après le traitement thermique rapide. Ce travail est basé sur l’étude de la technique de l’implantation ionique, et la simulation des chocs provoqués, la trajectoire des ions, l’énergie des ions réfléchis et la variation des profiles de concentration atomique des différents éléments choisis, et implantés dans le GaAs avec différentes énergies d’insertion et différentes doses de dopages, en utilisant la méthode de Monté Carlo, et les programmes SRIM. L’accord entre les résultats obtenus et les donnés disponibles théoriques et expérimentales est généralement bon.
Étude numérique d’identification d’une frontière d’un système parabolique
(Université Larbi-Tébessi.Tebessa, 2012) Sidhoum, Bariza
Dans ce travail nous avons appliqué les techniques de la méthode de sentinelle introduite par J. L. Lions [8] et A. Ayadi [1] et [2] pour identifier une partie inconnue de la frontière d’un domaine. Cette technique a permis de construire un processus itératif convergent de déformation de du domaine 0 et de sa frontière 􀀀0. La partie de la frontière inconnue a été identifiée par ce processus à partir d’une observation placée sur la partie connue de la fronitère.
Structure et fonctionnement du karst Maastrichtien du synclinal de Dyr (Tébessa) par application des méthodes de l'approche fonctionnelle
(Université Larbi-Tébessi.Tebessa, 2012-07-04) Djoulah, Bilel
Dans le cadre des travaux de recherche dans le domaine d’étude des aquifères fissurés et karstiques de la wilaya de Tébessa, il m’a été confié un travail de caractérisation du karst maestrichtien du synclinal de Dyr (Tébessa). La tache principale est donc l’identification de la structure et du comportement hydraulique du karst en question par application des méthodes de l’approche fonctionnelle. Sur la base de traitement de nos données de mesure in situ et des nouvelles données hydrométriques et pluviométriques enregistrées à Ain Zerga sur une période de dix cycles hydrologiques, allant de 2000/2001 à 2010/2011, nous avons pu:  Définir le fonctionnement du principal exutoire de l’aquifère karstique et sa variabilité temporelle en fonction des conditions hydro climatiques propres à la région,  Identifier d’une façon approximative le comportement des deux sous systèmes qui constituent le système karstique : la zone non saturée ou sous système infiltration et la zone saturée ou sous système karst noyé,  Déterminer l’importance des fonctions transmissives et capacitives qui sont assurées par le drain (axe de drainage) et les sous systèmes annexes au drainage (S.AD.) au travers de l’inertie propre du système karstique.
Influence Des Conditions Hydrogeologiques Et Geotechniques Du Systeme Karstique De Cheria Sur La Stabilite Et L'amenagement
(Université Larbi-Tébessi.Tebessa, 2011) Azizi, Yacine
Contribution à l’étude écologique de la reproduction des Cigognes blanches Ciconia ciconia dans la Wilaya de Tébessa (Est de l’Algérie)
(Université Larbi-Tébessi.Tebessa, 2012-06-13) Khelili, Nadjette
Le respect de la biodiversité est souvent en relation directe avec la Cigogne blanche Ciconia ciconia est considérée parmi les espèces en large expansion mondiale. Elle est sensible et représente un bon bio-indicateur de la qualité naturelle de son environnement. La présente étude à porté sur la contribution à l’étude écologique des cigognes blanches dans la région d’El-Merdja (wilaya de Tébessa) qui abrite une colonie assez importante. Ce travail a été réalisé entre décembre 2010 et août 2011. Trois principaux aspects été abordés : la biologie de la reproduction, l’écologie trophique de l’espèce et l’effet des fientes sur le développement da la microflore tellurique. De point de vue phénologie, la décortication des pelotes des réjections a relevée un type carnassier à tendance insectivore, alors que les résultats des analyses microbiologiques; signalées par les fortes concentrations en coliformes fécaux, streptocoques fécaux, nous ont exposés une contamination fécale des sols sous les nids. L’étude de l’arsenal enzymatique et biochimique des bactéries ont permet d’identifier quatre espèces : Enterobacteriaceae Kluvreo spp, Serratia odorifera, Klebsiella ornithinolytica, Pantoea spp.
La Validation des Besoins Dans le Processus Ingenierie des Besoins Application Aux Environements cooperatifs
(Université Cheikh Larbi-Tebessi -Tébessa, 2010-05-09) Maalem Derdour, Sourour
La validation des besoins est un problème dans les systèmes d'information traditionnels notamment plus complexe dans les systèmes coopératifs , pour la simple raison qu'il n'y a aucune méthode ou démarche de validation rigoureuse à utiliser quand a la spécification .
Etude sédimentologique et paléoenvironnementale des formations quaternaires alluvionnaires de l'Oued Zeïet, Ain Zerga W de Tébessa. N-E Algérie
(Université Larbi-Tébessi.Tebessa, 2010) Belfar, Dalila

Browse

Recent Submissions