Modules
Algorithmique 1
22 document
View
Algorithmique 2
7 document
View
Mécanique du point matériel
12 document
View
Structure Machine
20 document
View
Calcul formel
5 document
View
Electricité
16 document
View
Chimie
1 document
View
Histoire de la science
1 document
View
Algorithmique et structures de données 1
17 document
View
Algorithmique et structures de données 2
4 document
View
Système d'information
7 document
View
Base de données
4 document
View
Analyse numérique
4 document
View
Probabilité et statistiques
3 document
View
Programmation linéaire
10 document
View
Architecture des ordinateurs
7 document
View
Logique mathématique
3 document
View
Système d'exploitation 1
9 document
View
Théorie des langages
5 document
View
Génie de logiciel
7 document
View
Système d'exploitation 2
1 document
View
compilation
1 document
View
Réseaux
0 document
View
Programmation logic
1 document
View
Théorie de graphe
3 document
View
Ingénierie des connaissance
0 document
View
Thèse de licence
0 document
View
Thèse de Master
171 document
View
Thèse de doctorat
38 document
View

Thesis
Master
Méthodes et outils pour la construction de scènes multimédia distribuées
Read
Master
Méthodologie de vérification formelle pour les microarchitectures RISC.Approche fonctionnelle
Read
Master
Mise en oeuvre de la confiance et de l'adaptabilité pour la protection de l'agent mobile
Read
Master
Un modèle de transmission de design pattern vers des programmes orientés aspects
Read
Master
Modèles formels pour la conception des systèmes temps réel
Read
Master
modèles et outils formels pour l'intégration d'applications d'entreprises
Read
Master
Modeles pour les systemes complexes adaptatifs pour la resolution de problemes
Read
Master
Modèles de temps et leur intér¼t à la vérification formelle des systèmes temps-réel
Read
Master
Modèlisation multi-agent du processus logiciel
Read
Master
Modélisation multi-paradigme
Read
Master
Modélisation numérique de terrains
Read
Master
De la modélisation produit dans les technologies XAO au PLM
Read
Master
Modélisation et stratégies de recherche sémantique dans les bases de données XML natives
Read
Master
Modélisation et vérification des processus métiers dans les entreprises virtuelles
Read
Master
Les Ontologies spaciales
Read
Master
Optimisation multi-objectif pour l"alignement multiple de séquences
Read
Master
Optimisation multiobjectif par un nouveau schéma de coopération Méta/Exacte
Read
Master
Optimisation par écosystèmes artificiels
Read
Master
Personnalisation de l'information et gestion des profils utilisateurs
Read
Master
Prise en compte de la notion de flou pour la représentation d'ontologies multi-points de vue en logique de descriptions
Read
Master
Un processus d'intégration d'applications intra et inter-entreprises
Read
Master
Proposition d'un métamodèle pour l'intégration des systèmes d'information hétérogènes fédérés
Read
Master
Proposition d'un système immunitaire artificiel pour la détection d'intrusions
Read
Master
Protection de l'agent mobile
Read
Master
Protection de l'agent mobile via une politique d'adaptabilité dynamique
Read
Master
Protocole de routage avec prise en compte de la consommation d'énergie pour les réseaux mobiles ad-hoc
Read
Master
Le raisonnement qualitatif dans les systèmes multi agents
Read
Master
Recherche d'images par le contenu
Read
Master
Recherche d’information contextuelle et semantique sur le web
Read
Master
Recherche sur la résolution des Problèmes Complexes d’Affectation de fréquences Basses Bandes pour les opérateurs de la Téléphonie Mobile
Read
Master
Reconnaissance des expressions faciales à base d'informations video; estimation de l'intensité des expressions faciales
Read
Master
Reconnaissance de formes par les systèmes auto-organisés
Read
Master
Redocumentation des traces d'utilisation d'un environnement informatique
Read
Master
Réflexion sur la modélisation et les approches des ontologies spatiales pour la mise en oeuvre des systèmes à prévention des risques naturels
Read
Master
Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2
Read
Master
Résolution du probléme de l'emploi du temps
Read
Master
Résolution de problèmes d'optimisation combinatoire par systèmes artificiels auto-organisés
Read
Master
Routage dans les réseaux mobiles ad hoc par une approche à base d'agents
Read
Master
Sélection d'attributs basée sur un algorithme génétique neuronal
Read
Master
Sur le raisonnement qualitatif; une approche à base d'agents dialogiques pour l'explication de la simulation qualitative
Read
Master
Un système d'aide au diagnostic médical dans un environnement temps-réel et critique
Read
Master
systèmes adaptatifs et apprentissage incrémental
Read
Master
systèmes complexes adaptatifs. Application au traitement des images
Read
Master
Les systemes multi-agents dynamiquement adaptables
Read
Master
Test des systèmes multi-agents
Read
Master
Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel
Read
Master
Utilisation des design Patterns et des méthodes formelles dans le développement des systèmes d'information
Read
Master
Validation des requetes de mise à jour dans les bases de données XML natives
Read
Master
Vérification des équivalences de comportements des systèmes concurrents
Read
Master
Vérification symbolique des systèmes critiques
Read
Master
Vers une architecture d'un système de dialogue mult-agents basé sur l'argumentation . Application à la négociation dans le domaine de e-commerce
Read
Master
Vers une méthode pour la conception et l'adaptation de situations d'apprentissage collaboratif
Read
Master
Vers un nouveau langage mobile
Read
Master
Vers un système d'information coopératif pour la prise en charge des soins à domicile
Read
Master
Vie artificielle,analyse,traitement et fouille de donnees
Read
Master
Adaptation des techniques de l'extraction des connaissances à partir des données (ECD) pour prendre en charge la qualité des données
Read
Master
Agents autonomes pour construire des systèmes adaptatifs
Read
Master
Aide à la conception des systèmes multiprocesseurs mono-puce à partir de spécification de haut niveau
Read
Master
Algorithmes évolutionnaires pour la ségmentation d'images basée sur les champs aléatoires de Markov
Read
Master
Algorithmes évolutionnaires quantiques pour le recalage et la ségmentation multiobjectif d'images
Read
Master
Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata)
Read
Master
Analyse du cache des routeurs actifs dans les protocoles multicast fiable
Read
Master
Annotation sémantique de documents
Read
Master
Appariement sémantique des CVs/Offres d'emploi dans le cadre du E-Recrutement
Read
Master
Apprentissage automatique dans un Agent
Read
Master
Une approche d'annotation sémantique à partir d'une ontologie multi-points de vue
Read
Master
Une approche Basée-Agent pour le developpement d'entreprises virtuelles
Read
Master
Une approche basée annotation sémantique de documents pour la gestion d’une mémoire d’entreprise
Read
Master
Une approche basée architecture pour la spécification formelle des systèmes embarqués
Read
Master
Une approche hybride d’intégration de sources de données hétérogènes dans les datawarehouses
Read
Master
Une approche hybride pour la segmentation d’images
Read
Master
Une approche hybride pour le transfert Multicast fiable dans un environnement actif
Read
Master
Une approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles
Read
Master
Une approche de mapping pour l'intégration des ontologies
Read
Master
Approche de maximalité pour un test formel des applications temporisées
Read
Master
Approche mixte de modélisation par les réseaux de Petri et SMA
Read
Master
Une approche pour l’amélioration de la flexibilité des processus métier basée sur les techniques du process mining
Read
Master
Approche quantique évolutionnaire pour l'alignement multiple de séquences en bioinformatique
Read
Master
Une approche de transformation de la notation BPMN vers BPEL basée sur la transformation de graphe
Read
Master
Approches bio-inspirées pour la reconnaissance de formes
Read
Master
Approches incrémentales pour l'apprentissage en reconnaissance de formes
Read
Master
Une Architecture d'intégration des applications d'entreprise basée sur l'interopérabilité sémantique de l'EbXML et la mobilité des agents
Read
Master
Atelier de génie logiciel à base d'agents
Read
Master
Un cadre formel basé logique de tuiles pour les ADL
Read
Master
Un cadre générique pour la détection et la résolution des interactions entre les aspects
Read
Master
Calcul amorphe pour la classification des données par GNG
Read
Master
Le Clustering des données
Read
Master
Composition sémantique des services web dans un contexte d’ebXML
Read
Master
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
Read
Master
Conception d'un ADL pour les applications distribuées et mobiles, basé logique de réécriture
Read
Master
Conception d'une architecture basée agent pour la création d'un marché virtuel
Read
Master
Conception d'un serveur de politiques (QoS) via le système MAUDE
Read
Master
Concepts d'informatique quantique pour la résolution des problèmes d'optimisation multiobjectif combinatoire
Read
Master
Construction d'une ontologie d'application dans le cadre de l'EAI
Read
Master
Construction d'une ontologie pour l'annotation des CVS/offres d'emploi
Read
Master
Construction d'une ontologie pour le domaine de la sécurité
Read
Master
Construction d'une ontologie pour la prise en charge des patients à domicile
Read
Master
Contribution à l'authentification souple d'images digitales par des techniques de marquage numérique . Application aux images médicales
Read
Master
Contribution à la coopération dans les systèmes d'information basés WEB
Read
Master
Entrepôt de données et fouille de données un modèle binaire et arborescent dans le processus de génération des règles d'association
Read
Master
Estimation du mouvement pour la réalité augmentée
Read
Master
Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes
Read
Master
Evolution d'automates cellulaires par algorithmes génétiques quantiques sur un environnement parallèle
Read
Master
Exploration multi-robots dans des environnements partiellement connus
Read
Master
Expression et vérification des contraintes non fonctionnelles d'une architecture SADL
Read
Master
Extraction et traitement de l'information
Read
Master
Formalisation des systèmes temps-réel avec durées d'actions
Read
Master
Gestion de la qualité de service lors du développement des logiciels orientés aspect
Read
Master
Incremental learning using probabilistic neural networks and its application to face recognition
Read
Master
Incrustation d'objets virtuels dans les séquences vidéo pour la réalité augmentée temps réel
Read
Master
Ingénierie des Exigences pour les Processus Inter-organisationnels
Read
Master
Ingénierie des indicateurs d'activités à partir de traces modélisées pour un environnement informatique d’apprentissage humain
Read
Master
Intégration des applications d’entreprises
Read
Master
Intégration d'ontologies dans le cadre du web sémantique
Read
Master
Intégration des points de vue dans les bases de données à objets
Read
Master
Intégration des ressources Web dans un environnement P2P, basée sur les ontoloigies et la gestion de la confiance
Read
Master
Intégration de XML dans le cadre de la logique de réécriture
Read
Master
Interopérabilité des modèles de Workflow
Read
Master
L’interopérabilité des systèmes d’information médicaux
Read
Master
Islam : Système d’information pour l’aide à la décision spatiale basé sur une ontologie
Read
Master
Logique floue et SMA
Read
Master
De M-UML vers les réseaux de Petri << Nested Nets
Read
Master
Manipulation d'objets réels et virtuels dans un environnement de réalité augmentée collaboratif
Read
Master
REPRESENTATION A BASE D'IMPOSTEURS POUR LE RENDU TEMPS REEL DES FORETS.
Read
Master
Une approche basée agent pour le web sémantique.
Read
PhD
Une approche agent mobile pour les réseaux de capteurs.
Read
Master
Une approche basée agents pour la découverte sémantique des services web.
Read
PhD
Emergence des Structures Evolutionnistes à Base de Robots Cellulaires Auto-Organisés.
Read
PhD
Une approche sémantique pour les documents numériques.
Read
Master
Une approche pour la planification dans les systèmes multi-agent.
Read
PhD
Une approche pour la découverte sémantique des services Web dans les réseaux mobiles ad-hoc.
Read
PhD
Toward an Efficient Approach for Selecting VPLs in Global Illumination.
Read
PhD
Une approche basée agents pour l'adaptation des services web.
Read
Master
RESOLUTION DE PROBLEMES D'OPTIMISATION PAR LES SYSTEMES MULTI-AGENTS ET LES APPROCHES EVOLUTIONNAIRES.
Read
Master
Texturation et déformation interactive de nuages de points.
Read
Master
Approche coopérative d'un éditeur de documents pédagogiques adaptatifs pour l'apprentissage à distance.
Read
PhD
Modélisation d'un comportement coopératif d'un agent.
Read
Master
IMPLÉMENTATION D'UNE MÉTHODE D'INTÉGRATION DE LA MULTIRESOLUTION DANS UN SYSTÈME MASSE-RESSORT.
Read
Master
Une nouvelle approche de modélisation des structures de groupe d'une foule de piétons.
Read
Master
Une approche basée algorithme génétique pour l'apprentissage chez un agent.
Read
Master
Conception d'une plateforme multi agent pour la collecte de données dans une base de données distribuée.
Read
PhD
Probabilistic Model-Based Diagnosis of Distributed Systems.
Read
Master
Accélération par l'utilisation du matériel graphique pour la représentation et le rendu volumique .
Read
Master
Modélisation topologique et sémantique de l'environnement.
Read
Master
Approche agent mobile pour l'adaptation des réseaux mobiles ad hoc.
Read
PhD
Ombrage volumique basé occultation ambiante pour une visualisation interactive de volume de données scientifiques.
Read
Master
Une approche basée agent pour le processus génération d'ontologie de domaine.
Read
Master
Une approche formelle pour l'adaptabilité d'un agent.
Read
Master
Une approche système multi-agents mobiles pour des systèmes répartis.
Read
PhD
Exploitation des potentialités des cartes graphiques à l'optimisation des algorithmes évolutionnaires.
Read
PhD
Animation multi-résolution de vêtements.
Read
PhD
Un Framework à base d'agent mobile, méta-donnée et profil utilisateur pour service Web.
Read
PhD
Édition interactive de mouvement pour le placement des caméras.
Read
Master
Une plateforme e-business à base d'agents.
Read
PhD
Une approche à base d'agents mobiles pour la sécurité des systèmes d'informations sur le web.
Read
Master
Une approche basée agent pour la formation à distance.
Read
Master
Détection des virus informatiques par les techniques de datamining.
Read
PhD
Un environnement sémantique à base d'agents pour la formation à distance (E-Learning).
Read
Master
Animation des phénomènes collectifs cellulaires par modèle physique particulaire.
Read
PhD
Problèmes de sécurité dans les systèmes embarqués.
Read
PhD
Métaheuristique hybride pour l'optimisation multi-objectif.
Read
Master
Utilisation des GPUs pour la reconstruction 3D en imagerie médicale.
Read
PhD
Utilisation des méthodes Support Vector Machine (SVM) dans l'analyse des bases de données.
Read
PhD
Apprentissage et adaptation dans les SystŁmes bio-inspirés.
Read
Master
Une approche basée agents pour l'allocation des ressources dans le Cloud Computing.
Read
Master
Reconfiguration et évolution des morphologies de robots modulaires.
Read
Master
Représentation et rendu multi échelle d'arbres réalistes pour la synthèse de paysages naturels.
Read
Master
Rendu Volumique Efficace par une Représentation à Base de Couches D'images.
Read
Master
Une approche basée agent pour Le E-recrutement.
Read
PhD
Une approche basée agent mobile pour le m-service web sémantique.
Read
Master
Communication Multi-Canaux Économe en Consommation d'Énergie dans les Réseaux de Capteurs Sans Fils.
Read
Master
Modélisation du comportement de piétons en milieu urbain.
Read
PhD
Des composants Web aux Web services : ouvrir le développement aux tierces parties.
Read
PhD
Une approche de specification des changements de besoins basée transformations de graphes.
Read
PhD
MISE EN ŒUVRE D'UN MODELE DE DONNEES A BASE D'AGENTS POUR OPTIMISER LE PROCESSUS DE LA GENERALISATION AUTOMATIQUE DES DONNEES GEOGRAPHIQUES.
Read
PhD
Fusion et fouille de donnees guidees par les connaissances.
Read
Master
Une approche BPM (Business Process Managment) par composition d'applications dans le cloud computing.
Read
PhD
TECHNIQUE BASEE HITS/SVM POUR LA REDUCTION ET LA PONDERATION DES CARACTERISTIQUES DES PAGES WEB.
Read
PhD
Une approche formelle pour les applications web 2.0.
Read
Master
Approche agent Pour L'alignement d'ontologies :équivalence sémentiqhe.
Read
Master
Réseaux de Pétri Avancés pour la modélisation des agents mobiles pour la synchronisation des workflows.
Read
Master
Approche quantique pour l'appariement de formes.
Read
PhD
Sécurité Basée Agent Mobile Dans Les Réseaux Sans Fils.
Read
PhD
UNE NOUVELLE APPROCHE POUR LA SÉMANTIQUE DES ENVIRONNEMENTS VIRTUELS.
Read
Master
Appariements Des formes Avec Points Descripteurs.
Read
PhD
Appariement de formes, recherche par forme clef.
Read
Master
Logiciel à base de composant servant au partage des connaissances pour le développement, le déploiement, l'évolution et le soutien des applications Web.
Read
Master
Evitement d'obstacles pour un robot dans un environnement TR.
Read
Master
Fouille et apprentissage automatique dans les réseaux sociaux dynamique.
Read
PhD
Un modèle de raisonnement pour un système de recherche sémantique d'informations sur le web basé agents.
Read
Master
Un Framework pour la gestion et l'interaction des processus métiers intra et inter entreprises.
Read
Master
Animation d'un humanoïde virtuel par une méthode de capture de Mouvement.
Read
PhD
Evolution et adaptation de comportements de créatures artificielles dans un écosystème simulé.
Read
PhD
Découverte des services dans les systèmes d'information géographiques répartis sous réseau ad-hoc.
Read
Master
UNE METHODE MULTI-VUE POUR LA RECONSTRUCTION 3D.
Read
PhD
Une approche formelle pour la négociation automatique d'un e-commerce à base d'agent.
Read
Master
Simulation réaliste et temps réel de nuages.
Read
Master
Un cadre formel pour la vérification des modèles UML.
Read
Master
Une approche formelle pour la négociation automatique entre agents (application e-commerce).
Read
PhD
Découverte de services web via le cloud computing à base d'agent mobile.
Read
PhD
Techniques de contrôle bio-inspirées : application à la simulation réaliste des comportements de créatures artificielles.
Read
Master
Une approche basée agent pour la recherche de document numérique.
Read
Master
Comportement adaptatif d'agents dans des environnements virtuels.
Read
PhD
Orchestration de web services fiables.
Read
Master
Les Supports Vecteurs Machines (SVM) pour la reconnaissance des caractères manuscrits arabes.
Read
PhD
Technique basée puzzle/SVM pour l'amélioration de la reconnaissance du texte arabe manuscrit.
Read
Master
VOLUME D'OMBRE EN RENDU TEMPS RÉEL.
Read
PhD
Une approche à base de patrons pour l'intégration de la qualité dans les systèmes à base de services.
Read
Master
Simulation réaliste de croisement de flux de piétons par intégration de la capture de mouvement.
Read