Results
repositories = "HAL - Hyper Article on Line"
> : "Université d'Evry-Val d'Essonne"
(x)
Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques.
Author(s) :
Barbier, Fabrice
Description :
De nombreux travaux ont montré l'importance de l'interpolation de Craig pour la structuration et la modularité des spécifications de type axiomatique. En vue d'en donner des conditions suffisantes dans un cadre théorique adapté à l'informatique, nous nous sommes intéressé à une propriété équivalente...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Un cadre formel pour l'annotation experte des gènes eucaryotes
Author(s) :
Djebali, Sarah
Description :
Malgré des avancées considérables dans le domaine de l'annotation automatique de gènes, l'annotateur de référence reste l'expert humain. Nous avons donc développé Exogean, une méthode automatique qui suit le même processus que l'expert humain. Pour cela, Exogean utilise des multi-graphes orientés ac...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
L'écologie politique : une idéologie de classes moyennes.
Author(s) :
Billemont, Hubert
Description :
La thèse est consacrée aux modes de vie et aux représentations sociales et politiques des militants et sympathisants écologistes en France. L'analyse porte sur l'étude des fractions semi-intellectuelles de la classe moyenne salariée qui sont sur-représentées parmi les écologistes. Il s'agit de montr...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Production de noyaux exotiques par photofission,
Le projet ALTO : Premiers Résultats
Author(s) :
Cheikh Mhamed, Maher
Description :
Ce travail de thèse s'inscrit dans le cadre du projet ALTO (Accélérateur Linéaire Auprès du Tandem d'Orsay), projet exploitant la photofission comme mode de production de noyaux riches en neutrons pour la séparation en ligne. Nos travaux portent sur l'étude des modes d'adaptation de l'environnement ...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Méthodes Statistiques pour l'Analyse de Données Génétiques d'Association à Grande Echelle
Author(s) :
Guedj, Mickael
Description :
Les avancées en Biologie Moléculaire ont accéléré le développement de techniques de génotypage haut-débit et ainsi permis le lancement des premières études génétiques d'association à grande échelle. La dimension et la complexité des données issues de ce nouveau type d'étude posent aujourd'hui de nou...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Processus à sauts et risque de défaut
Author(s) :
Blanchet-Scalliet, Christophette
Description :
Cette thèse est constitué de deux partie : dans la première partie, nous etudions un marché complet dont l'actif risqué est un processus discontinu.
La seconde est consacrée à une modélisation du risque de défaut. Nous insistons sur la différence entre l'information liée au défaut de celle du ...
La seconde est consacrée à une modélisation du risque de défaut. Nous insistons sur la différence entre l'information liée au défaut de celle du ...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Analyse des résidus de spallation et des particules associées dans la réaction Fe+p à 1 GeV par nucléon
Author(s) :
Le Gentil, Eric
Description :
Dans le but d'améliorer la modélisation de la réaction nucléaire de spallation, un nouveau dispositif (SPALADIN) a été mis en place auprès de l'accélérateur GSI à Darmstadt afin de mesurer en coïncidence et en cinématique inverse les résidus de spallation et les fragments de désexcitation. Ce docume...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Corrélation, indépendence et modèles inverses
Applications au traitement des biosignaux.
Author(s) :
Vigneron, Vincent
Description :
Les activités que j'ai menées depuis une dizaine d'années relèvent essentiellement du domaine du traitement du signal, mais aussi de l'analyse de données et de l'analyse numérique. Ce document ne décrit pas de façon exhaustive tous mes travaux. Il a été rédigé autour d'une idée directrice : les rela...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Test à partir de spécifications axiomatiques
Author(s) :
Longuet, Delphine
Description :
Le test est l'une des méthodes les plus utilisées pour la validation du logiciel. L'activité de test consiste à exécuter le logiciel sur un sous-ensemble de ses entrées possibles de manière à déceler d'éventuelles erreurs. La présence d'erreurs est établie par confrontation du comportement du logici...
Repository :
HAL - Hyper Article on Line
Language(s) :
French
Interaction robot/environnement dans le cadre de la psychologie éco logique. Implémentation des affordances
Author(s) :
Hazan, Aurélien
Description :
Comment un robot peut-il estimer si une tâche est réalisable ou pas dans un envi ronnement donné ? De nombreux travaux en robotique s'appuient pour répondre sur les affordances de la psychologie écologique. Apprendre quelles sont les actions permises nécessite selon nous d'apprendre les relations de...
Repository :
HAL - Hyper Article on Line
Language(s) :
French