Log in

Relevant bibliographies by topics / Methode informatique / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Methode informatique.

Dissertations / Theses on the topic 'Methode informatique'

Author: Grafiati

Published: 4 June 2021

Last updated: 28 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Methode informatique.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

LE, GOUIC CHRISTIANE. "Evaluation d'une methode informatique utilisant l'indice a. I. S. De gravite traumatologique." Bordeaux 2, 1988. http://www.theses.fr/1988BOR25208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

BABILLOTTE, ANITA. "Evaluation clinique d'une methode informatisee de reperage en stereotaxie cerebrale diagnostique et therapeutique." Lille 2, 1992. http://www.theses.fr/1992LIL2M093.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

LEMPIDAKIS, MICHEL. "Etude de la distribution des contraintes dans un genou par la methode des elements finis." Aix-Marseille 2, 1990. http://www.theses.fr/1990AIX20713.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

ASPIAZU-FABIAN, JUAN-ANDRES. "Mise au point d'un programme informatique pour l'analyse quantitative par la methode pixe (particle induced x-ray emission)." Strasbourg 1, 1991. http://www.theses.fr/1991STR13094.

Full text

Abstract:

Le travail concerne le developpement d'un programme informatique destine a l'analyse elementaire par l'intermediaire des rayons x induits lors du bombardement d'un echantillon par des protons d'energie comprise entre 1 et 4 mev. Les bases theoriques et experimentales sur lesquelles repose l'emission, la transmission et la detection des rayons x sont decrites en detail de meme que le modele utilise pour le calcul des concentrations elementaires a partir des intensites des raies x caracteristiques observees dans les spectres. Le programme est teste par l'intermediaire d'echantillons standards de

APA, Harvard, Vancouver, ISO, and other styles

5

Meyrand, Gil. "Apport de l'informatique à l'étude de l'age osseux : comparaison des méthodes usuelles à la méthode de Sempé informatisée." Montpellier 1, 1993. http://www.theses.fr/1993MON11061.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Aïmeur, Esma. "Metis : un systeme et une methode d'explication de taxinomies destinees a l'identification de structures conceptuelles." Paris 6, 1994. http://www.theses.fr/1994PA066005.

Full text

Abstract:

Dans les sciences d'observation telles que l'archeologie, la mineralogie ou la zoologie, de grandes quantites d'objets sont repertoriees sous forme de taxinomies et exprimees dans des catalogues au moyen d'un langage de description textuel, varie et nuance. La lourde gestion de ces catalogues et les problemes lies a la description et a la caracterisation des classes d'objets, ont fait naitre le besoin de construire d'une part une base de connaissances permettant d'integrer des informations coherentes, homogenes et non redondantes, d'autre part une structure de discrimination fiable, permettant

APA, Harvard, Vancouver, ISO, and other styles

7

Dufour, Laurent. "Class oriented algorithmic creation (coac) : methode orientee objet de developpement de programmes a forte composante algorithmique. application a la classification de donnees satellites par reseaux de neurones." Paris 6, 1999. http://www.theses.fr/1999PA066169.

Full text

Abstract:

Les cartographes s'interessent de plus en plus a la classification automatique de donnees satellites par reseaux de neurones. Mais les programmes utilises sont concus d'une telle facon qu'il est impossible de manipuler correctement ces reseaux. La solution proposee est de definir un nouvel outil methodologique adapte au developpement d'applications a forte presence algorithmique. Nous presentons la methode coac (class oriented algorithmic creation) incluant hbds (hypergraph based data structure), un modele de structuration des connaissances, et adl (algorithmic description language), un puissa

APA, Harvard, Vancouver, ISO, and other styles

8

Kerisit, Jean-Marc. "La methode d'alexandre : une technique de deduction." Paris 7, 1988. http://www.theses.fr/1988PA077188.

Full text

Abstract:

Formalisation, preuve et differences extensions de la methode d'alexandre. Son algorithme, les preuves de terminaison, correction et completude sont proposes. L'extension de la methode aux programmes avec negation stratifies est etudiee

APA, Harvard, Vancouver, ISO, and other styles

9

NEDELEC, ALEXIS. "Application, en imagerie spatiale informatique, d'une methode et d'un systeme de multiplexage holographique, avec prise en compte de phenomenes perceptifs." Université Louis Pasteur (Strasbourg) (1971-2008), 1989. http://www.theses.fr/1989STR13186.

Full text

Abstract:

Nous avons etudie, a partir de considerations psycho-physiques et neurophysiologiques, une methode de creation et visualisation tridimensionnelle d'images synthetiques realisees par ordinateur. Nous avons defini un logiciel de modelisation prenant en compte les notions de rigidite et homogeneite 3d sur les representations informatiques des objets et scenes crees. Un module d'operations booleennes permet de construire des scenes evoluees spatialement coherentes par utilisation d'operateurs d'euler. La restitution spatiale des images ainsi realisees s'effectue par interfacage avec un systeme hol

APA, Harvard, Vancouver, ISO, and other styles

10

Royer, Véronique. "Compilation dirigee par la semantique : une methode constructive." Toulouse 3, 1986. http://www.theses.fr/1986TOU30170.

Full text

Abstract:

Dans le cadre de la generation de compilateurs dirigee par la semantique, se pose le probleme de transformer une semantique source d'un langage de programmation en une semantique objet equivalente, plus proche d'une implementation. La plupart des travaux dans ce domaine resolvent ce probleme de facon non constructive: une semantique objet est d'abord exhibee, ensuite prouvee correcte vis-a-vis de la semantique source. Le but de cette these est de montrer qu'on peut deriver une semantique objet a partir d'une semantique source d'un langage, de maniere constructive, tout en preservant certains c

APA, Harvard, Vancouver, ISO, and other styles

11

Cialdea, Marta. "Une methode de deduction automatique en logique modale." Toulouse 3, 1986. http://www.theses.fr/1986TOU30179.

Full text

Abstract:

Le but de ce travail consiste a etendre au calcul des predicats la methode de resolution pour la logique propositionnelle modale qui a ete definie par m. Luis farinas del cerro. Le systeme modal considere, appele q, est un sous-systeme de ceux plus connus, t, s4 et s5. Nous considerons toutefois que les resultats obtenus dans ce travail peuvent facilement etre etendus a ceux-ci. Nous definissons une propriete de herbrand modale pour le systeme q et en donnons la preuve. Cette propriete nous permet ensuite de definir un systeme de regles de resolution dans lequel l'unification des termes est so

APA, Harvard, Vancouver, ISO, and other styles

12

CHETOUANI, FARID. "Developpement d'un logiciel d'edition/analyse de la structure secondaire des arns - recherche informatique de motifs arns structures et d'enzymes de modifications de nucleotides." Toulouse 3, 1999. http://www.theses.fr/1999TOU30011.

Full text

Abstract:

La biogenese des ribosomes se deroule dans un compartiment nucleaire dedie, le nucleole, ou l'arn preribosomique subit de nombreux decoupages et modifications de nucleotides impliquant l'intervention d'un grand nombre de petits arns (snoarns). Les sites des modifications de nucleotides les plus frequentes dans l'arnr (methylations en 2-o du ribose et pseudouridylations) sont specifies par l'appariement au pre-arnr de deux familles distinctes de snoarns, qui forment une structure en duplex reconnue par une enzyme specifique de chaque type de modification. Pour assister le biologiste dans l'anal

APA, Harvard, Vancouver, ISO, and other styles

13

Pegatoquet, Alain. "Methode d'estimation de performance logicielle : application au developpement rapide de code optimise pour une classe de processeurs dsp." Nice, 1999. http://www.theses.fr/1999NICE5338.

Full text

Abstract:

Les compilateurs c pour processeurs dsp actuellement disponibles sont generalement incapables de generer un code assembleur respectant les contraintes temps reel fortes des systemes embarques. Les couts de developpement eleves associes au codage manuel d'applications sur dsp et la pression sans cesse plus forte du time-to-market rendent cette situation de plus en plus inacceptable pour les entreprises et militent en faveur d'une approche de haut niveau basee sur l'utilisation de compilateurs. Or, si les compilateurs pour dsp sont globalement inefficaces, il est toutefois possible d'ameliorer d

APA, Harvard, Vancouver, ISO, and other styles

14

BELLAMY, PASCAL. "Methode d'analyse des systemes de locomotion de robots, et application a un quadrupede." Paris 6, 1988. http://www.theses.fr/1988PA066057.

Full text

Abstract:

Determination et optimisation d'un systeme de locomotion de robot a partir des conditions de fonctionnement imposees a ce vehicule. L'ebauche d'une methode d'analyse cinematique parametree est proposee. Les equations cinematiques sont obtenues par analogie entre le probleme de la prehension et la manipulation d'objets et celui de la locomotion

APA, Harvard, Vancouver, ISO, and other styles

15

Fondrat, Christian. "Conception d'une methode informatique de reperage de motifs dans les banques de donnees biologiques. Application a l'etude de quelques sequences regulatrices de genes de saccharomyces cerevisiae." Paris 11, 1996. http://www.theses.fr/1996PA112142.

Full text

Abstract:

Cette these est un travail de recherche en bioinformatique qui exploitent les bases de donnees de sequences. Les deux demarches presentees concernent l'etude et l'identification de motifs specifiques dans les sequences biologiques et s'inscrivent directement dans l'analyse informatique des sequences. La premiere methode consiste a construire un systeme informatique de reperage rapide de motifs plus ou moins complexes dans les bases de sequences nucleiques ou proteiques. L'originalite de ce systeme repose sur la recodification de la banque qui regroupent tous les motifs de meme nature dans une

APA, Harvard, Vancouver, ISO, and other styles

16

Triquet, Nathalie. "Methode de validation de systemes d'automates communicants avec accumulation d'evenements." Paris 7, 1987. http://www.theses.fr/1987PA077168.

Full text

Abstract:

Validation et analyse d'un protocole de communication modelise par des automates communicants sur le produit synchronise filtre d'automates (la particularite de la communication entre automates etant le filtrage des evenements)

APA, Harvard, Vancouver, ISO, and other styles

17

Nain, Philippe. "Application des methodes analytiques a la modelisation des systemes informatiques." Paris 6, 1987. http://www.theses.fr/1987PA066550.

Full text

Abstract:

Cette these est consacree a la modelisation par files d'attente de certains systemes informatiques. Le chapitre i analyse un systeme classique de files d'attente en serre. Les chapitres ii, iii et iv abordent l'analyse de modeles d'allocation d'une ressource unique dans les reseaux de communication (boucle, bus. . . ). Ceci se traduit par la recherche de politiques optimales de service dans une file d'attente multiclasse avec contraintes. Les chapitres v et vi traitent de l'evaluation des performances de deux protocoles de communication multi-acces

APA, Harvard, Vancouver, ISO, and other styles

18

Ngnegueu, Triomphant. "Contribution à la modélisation mathématique et informatique des pertes supplémentaires dans les transformateurs de puissance de type cuirasse." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0121.

Full text

Abstract:

Dans ce document, nous présentons quelques modèles de calcul de champ et de pertes supplémentaires dans les transformateurs de puissance. Des méthodes de calcul analytique et des méthodes de calcul numérique (Méthode des éléments finis en 2D et en 3D) sont utilisées. En nous plaçant dans l'approximation 2D, nous analysons les pertes de courants de Foucault et les pertes par courants de circulation dans les bobinages des transformateurs de puissance de type cuirassé, tout en prenant les transpositions en compte. Nous analysons ensuite les pertes induites dans le blindage du transformateur, en u

APA, Harvard, Vancouver, ISO, and other styles

19

Bidal, Samuel. "Reconstruction tridimensionnelle d'éléments anatomiques et génération automatique de maillage éléments finis optimisés." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2003. http://tel.archives-ouvertes.fr/tel-00545018.

Full text

Abstract:

Ce travail a été motive par la volonté d'obtenir rapidement des modèles fidèles du corps humain. Nous avons créé et implémenté un ensemble de méthodes permettant de générer des maillages éléments finis en se basant sur une imagerie sériée (coupes anatomiques, scanner, irm). La génération de maillages a été décomposée en trois grandes parties : extraction de contours, reconstruction 3d, maillage surfacique ou volumique. Les méthodes de détection de contours ont été choisies afin d'être applicables sur tout type d'imagerie sériée dans le but d'être d'un emploi le plus large possible. Les méthode

APA, Harvard, Vancouver, ISO, and other styles

20

Culioli, Jean-Christophe. "Algorithmes de decomposition/coordination en optimisation stochastique." Paris, ENMP, 1987. http://www.theses.fr/1987ENMP0059.

Full text

Abstract:

Les systemes consideres, souvent complexes a modeliser et/ou optimiser peuvent etre constitues de sous-systemes heterogenes pour lesquels une technique globale de resolution n'est pas necessairement appropriee ou possible, meme s'ils sont equivalents et peu nombreux

APA, Harvard, Vancouver, ISO, and other styles

21

Chau, Ka-ki, and 周嘉琪. "Informative drop-out models for longitudinal binary data." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2003. http://hub.hku.hk/bib/B2962714X.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Picardat, Jean-François. "Controle d'execution, comprehension et apprentissage de plans d'actions : developpement de la methode de la table triangulaire." Toulouse 3, 1987. http://www.theses.fr/1987TOU30122.

Full text

Abstract:

Synthese de l'etat de l'art en planification et en controle d'execution. Construction de la table triangulaire et etude de l'algorithme utilise en controle d'execution. Il est ensuite propose d'utiliser la table pour produire des explications sur un plan d'actions. Ce qui est ensuite generalise a une sequence de regles. Developpement d'un cadre formel pour l'emploi de cette table. Implantation dans un logiciel concu comme un environnement de programmation regroupant les primitives de traitemnt et de manipulation de tables

APA, Harvard, Vancouver, ISO, and other styles

23

CANALS, I. SALOMO ANTONI. "Methode et techniques archeo-stratigraphiques pour l'etude des gisements archeologiques en sediment homogene : application au complexe c3 de la grotte du lazaret, nice (alpes maritimes). (informatique appliquee: base de donnees et visualisation tridimensionnelle d'ensembles archeologiques)." Paris, Muséum national d'histoire naturelle, 1993. http://www.theses.fr/1993MNHN0013.

Full text

Abstract:

Les depots homogenes constituent des milieux particuliers pour lesquels se posent le probleme de la possibilite et la validite d'une exploitation stratigraphique. L'approche archeologique pour la reconnaissance verticale des series spatiotemporelles dans un depot homogene est fondee dans cette etude sur la mise en evidence des hiatus dans l'occupation. La demarche analytique mise en uvre a consiste a creer une hierarchie stratigraphique et, au sein de celle-ci, des unites minimales ou le couple espace/temps soit le plus proche possible. Cette demarche a ete appliquee sur le depot homogene du c

APA, Harvard, Vancouver, ISO, and other styles

24

BERTRAND, JEAN-FRANCOIS. "Codage d'images par segmentation et separation en deux composantes : optimisation des performances d'un systeme de codage d'images monochromes." Rennes, INSA, 1987. http://www.theses.fr/1987ISAR0002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Chen, Min. "Excitation optimale d'un systeme parabolique en vue de son identification." Nantes, 1987. http://www.theses.fr/1987NANT2050.

Full text

Abstract:

Le systeme considere est de type parabolique non lineaire. On montre l'existence et l'unicite de la solution du systeme et on le resoud numeriquement. On utilise les methodes d'optimisation du gradient conjugue et de gauss-newton pour l'identification des parametres avec l'excitation du systeme donnee puis on determine l'excitation optimale pour l'estimation des parametres dans le cas ou les parametres sont fonction de l'etat

APA, Harvard, Vancouver, ISO, and other styles

26

TARDIEU-MARS, CHRISTINE. "Mise au point d'une nouvelle methode informatisee d'analyse tridimensionnellede la marche bipede pour l'etude des deplacements des centres de gravite du corps : application a l'homme et aux primates non humains." Paris 7, 1987. http://www.theses.fr/1987PA077263.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

VERCHERE, DOMINIQUE. "Methodes analytiques d'evaluation de performance de systemes informatiques." Paris 6, 1997. http://www.theses.fr/1997PA066574.

Full text

Abstract:

Cette these traite essentiellement des reseaux de files d'attente a forme produit pour le dimensionnement de systemes actuels ayant des dynamiques complexes tels que les reseaux de communication (atm), les systemes paralleles, les ateliers de production, etc. En specifiant les transitions d'etat mettant a contribution simultanement plusieurs clients repartis sur plusieurs stations, nous avons etendu les modeles de reseaux generalises a temps continu et precise les dependances fonctionnelles existantes pour les reseaux en temps discret. Cette etude evolue suivant quatre approches : la premiere

APA, Harvard, Vancouver, ISO, and other styles

28

SANTOS-MENDES, RAFAEL. "Synthese de regulateurs robustes a placement de poles." Toulouse 3, 1988. http://www.theses.fr/1988TOU30148.

Full text

Abstract:

On propose une methode de synthese des regulateurs robustes par rapport a des erreurs de modelisation. On definit une fonction de mesure de robustesse pour un regulateur donne et que l'on calcule grace a un algorithme iteratif maximisant la robustesse finale obtenue. On donne des exemples d'application pratique

APA, Harvard, Vancouver, ISO, and other styles

29

Jouvet, Denis. "Reconnaissance de mots connectes indépendamment du locuteur par des méthodes statistiques." Paris, ENST, 1988. http://www.theses.fr/1988ENST0006.

Full text

Abstract:

Les caractéristiques principales du système développe sont la représentation de l'ensemble des phrases de l'application par un réseau, obtenu en compilant toutes les connaissances a priori de l'application: syntaxe, descriptions phonétiques, règles phonologiques etc; et l'emploi de densités de probabilité gaussiennes associées aux transitions.

APA, Harvard, Vancouver, ISO, and other styles

30

Hamadi, Riad. "Méthodes de décompositions de domaines pour la résolution des CSP : application au système OSIRIS." Université Joseph Fourier (Grenoble ; 1971-2015), 1997. http://www.theses.fr/1997GRE10203.

Full text

Abstract:

La premiere partie de ce travail presente une approche de decomposition de domaines pour resoudre les problemes de satisfaction de contraintes (csp) discrets et continus lineaires. L'approche repose sur : 1 - la representation d'un csp par un graphe appele la micro-structure du csp. 2- la decomposition du csp en sous-csp definis a partir de cliques maximales de la micro-structure. Dans la premiere partie, on presente la methode de decomposition de domaine developpee par jegou en 1993 pour resoudre les csp binaires discrets. Puis on propose une extension de cette methode pour resoudre les csp d

APA, Harvard, Vancouver, ISO, and other styles

31

CO, VILA. "Methodes statistiques et informatiques pour le traitement de donnees manquantes." Paris, CNAM, 1997. http://www.theses.fr/1997CNAM0286.

Full text

Abstract:

En pratique, la presence des donnees manquantes est tres frequente. En l'absence du traitement approprie, des statistiques qui n'en tiendraient pas compte seraient fortement biaisees. Cette these est consacree a des methodes de traitement de donnees manquantes, en particulier qualitatives. Nous nous interessons a la methode de l'analyse homogene, developpee par des chercheurs neerlandais, qui peut reconstituer des donnees manquantes qualitatives du type non completement aleatoires. Comme l'analyse en composantes principales (a. C. P. ) et la classification automatique sont deux techniques freq

APA, Harvard, Vancouver, ISO, and other styles

32

Chui, Nelson Loong Chik. "Subspace methods and informative experiments for system identification." Thesis, University of Cambridge, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298794.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Bergman, Jacques. "La méthode des modules fonctionnels appliquée à la détermination du coût d'un investissement : cas des unités pétrochimiques." Dijon, 1987. http://www.theses.fr/1987DIJOE002.

Full text

Abstract:

L'analyse des methodes statistiques "d'analyse de donnees" a un large echantillonnage d'informations, obtenus soit directement 0 partir de sources de renseignements prives, soit en ayant recours 0 un logiciel de dimensionnement et d'estimation detailles a permis la mise au point d'une methode d'evaluation du cout d'un investissement developpee sous le nom de "methodes des modules fonctionnels". Apres avoir situe cette methode dans l'evolution historique des theories et des methodes d'evaluation des couts d'investissement, les supports informatiques necessaires à sa mise en oeuvre sont presenté

APA, Harvard, Vancouver, ISO, and other styles

34

Thierry, Raphaël. "Correction de l'atténuation et de la réponse géométrique d'un détecteur en tomographie d'émission sur colis de déchets nucléaires." Phd thesis, Université Joseph Fourier (Grenoble), 1999. http://tel.archives-ouvertes.fr/tel-00004856.

Full text

Abstract:

La tomographie d'émission multiphotonique est une technique de contrôle non destructif appliquée au contrôle des colis de déchets radioactifs. Les rayonnements gammas émis sont détectés sur la gamme [50 keV, 2 MeV] par un germanium hyper pur, de haute résolution en énergie, ce qui permet d'établir une carte détaillée des radioéléments contenus dans le colis. A partir des différents points de mesures situés dans un plan transaxial au colis, un algorithme de reconstruction permet d'estimer la distribution de l'activité. Une modélisation algébrique du processus a été développée afin de pouvoir co

APA, Harvard, Vancouver, ISO, and other styles

35

Rguini, Noureddine. "Modélisation informatique de propriétés moléculaires." Nancy 1, 1988. http://www.theses.fr/1988NAN10209.

Full text

Abstract:

Étude des possibilités offertes par les méthodes semi-empiriques de la chimie quantique, en matière de modélisation moléculaire. Étude du caractère acidobasique d'une molécule (amine, alcool). Étude du phénomène de liaison hydrogène. Modélisation de la surface des alumines amorphes

APA, Harvard, Vancouver, ISO, and other styles

36

Delorme, Marie-Odile. "Analyse des sequences biologiques par des methodes d'apprentissage numerique et symbolique." Paris 6, 1988. http://www.theses.fr/1988PA066188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Delemar, Olivier. "Reconnaissance de la parole par une méthode hybride : texte imprimé : Réseaux markoviens et base de règles." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0052.

Full text

Abstract:

Parmi les differents traitements operant en reconnaissance automatique de la parole, le decodage acoustico-phonetique occupe une place privilegiee tant la robustesse dont il doit faire preuve conditionne le bon fonctionnement de l'ensemble du processus. Si les methodes stochastiques de decodage et en particulier les chaines de markov cachees se sont revelees etre les plus efficaces, de nombreux travaux ont ete menes visant a ameliorer leurs performances. Dans ce sens, les recherches se sont tournees vers des methodes hybrides de decodage, souvent avec succes. Qu'ils utilisent des reseaux neuro

APA, Harvard, Vancouver, ISO, and other styles

38

Debonne, Pascal. "Contribution à l'informatisation de l'analyse dynamomètrique du geste sportif." Poitiers, 1988. http://www.theses.fr/1988POIT2352.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

BARBOSA, ANTONIO. "Une methode et un environnement pour l'etude des reseaux informatiques et des systemes repartis." Paris 6, 1993. http://www.theses.fr/1993PA066300.

Full text

Abstract:

Cette these se situe dans le contexte de l'apprentissage assiste par ordinateur. Elle decrit une methode appelee minhoca, destinee a l'etude des reseaux informatiques et des systemes repartis. Cette methode propose une demarche pedagogique et un scenario pour sa realisation. La demarche est constituee de quatre phases pedagogiques. Le scenario se compose d'un reseau local sans carte, de divers prototypes logiciels, et d'un environnement pour le developpement de ces prototypes. L'approche adoptee pour la realisation de l'environnement est basee sur les techniques de modelisation orientee objet

APA, Harvard, Vancouver, ISO, and other styles

40

FERRARI, STEPHANE. "Methode et outils informatiques pour le traitement automatique des metaphores dans les documents ecrits." Paris 11, 1997. http://www.theses.fr/1997PA112381.

Full text

Abstract:

Dans cette these, nous abordons la problematique de la metaphore du point de vue du traitement automatique des langues (tal). Les precedents travaux dans le domaine ont deja permis l'elaboration d'outils d'analyse semantique plus ou moins complexes. Nous constatons cependant que ces approches sont limitees dans leur application par deux facteurs importants : le probleme de la detection des metaphores au sein des textes, d'une part, et le probleme de la constitution de bases de connaissances relatives aux metaphores conventionnelles, d'autre part. Nous proposons en consequence une methode de de

APA, Harvard, Vancouver, ISO, and other styles

41

Vinçont, Yaëlle. "Software security : combining fuzzing and symbolic methods for vulnerability detection." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG112.

Full text

Abstract:

Alors que les programmes informatiques se répandent, le risque de bugs augmente. Dans cette thèse, nous voulons trouver d'éventuels bugs dans des programmes finis et publics. Pour cela, nous utilisons la génération automatique de tests. Complémentant les tests écrits à la main, les générateurs de tests fabriquent automatiquement une série de tests, avec pour but de maximiser la couverture de code et de minimiser l'effort humain. Actuellement, les techniques de génération de test les plus répandues dans l'académique et dans l'industrie sont basées sur l'exécution symbolique ou le fuzzing.- L'ex

APA, Harvard, Vancouver, ISO, and other styles

42

Popiolek, Nathalie. "Modèle prospectif de consommation d'énergie dans l'agriculture : le cas de la fertilisation azotée a l'horizon 2010." Grenoble 2, 1993. http://www.theses.fr/1993GRE21027.

Full text

Abstract:

La premiere partie de cette these donne une vision critique des methodes de prospective disponibles. A l'issue de ce panorama est presentee la methodologie prospective choisie pour la construction du model. Cette construction constitue la deuxieme etape du travail. Le systeme "energie et fertilisation azotee" est defini, (liste des variables cles pour son evolution a l'horizon 2010, analyse de leurs relations) puis modelise en mettant l'accent sur la demande d'engrais azotes. A l'horizon 2010, celle-ci est determinee a l7aide d'un modele de programmation lineaire (aropaj) traduisant les choix

APA, Harvard, Vancouver, ISO, and other styles

43

Yang, James J. "A statistical method for identifying informative genes in micorarrays [sic]." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1001199.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Ho, Tu Bao. "Systemes experts et analyse de donnees." Paris 6, 1987. http://www.theses.fr/1987PA066128.

Full text

Abstract:

Le travail concerne: 1) la construction d'un moteur d'inference adapte aux logiciels statistiques avec une contribution au formalisme de raisonnement; 2) la mise en oeuvre d'un systeme expert guidant l'utilisation du logiciel sicla, permettant aux non statisticiens d'utiliser facilement les methodes d'analyse des donnees; 3) la construction d'une base de regles a partir de donnees observees par la methode de classification conceptuelle cabro; 4) la simplification d'une base de regles a l'aide du tableau rpcb et de regles intermediaires detectees

APA, Harvard, Vancouver, ISO, and other styles

45

Robert-Demolaize, Guillaume. "Représentation et codage de séquences vidéo par hybridation de fractales et d'éléments finis." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10253.

Full text

Abstract:

Ces travaux de these ont abouti a la realisation d'une chaine de codage - decodage de videos numeriques couleurs, specialement performante a bas debit et rivalisant meme avec les codecs mpeg4. Ces travaux se decomposent en trois parties. La premiere partie de cette these concerne le codage d'images fixes couleurs fonde sur une technique hierarchique hybride ifs-elements finis. Les elements finis triangulaires hierarchiques, particulierement efficaces pour l'approximation des basses frequences des images ont ete completes par un modele residuel base ifs, afin de realiser une bonne approximation

APA, Harvard, Vancouver, ISO, and other styles

46

Coutel, Coralie. "Contribution méthodologique à la conception sous contraintes de dispositifs électromagnétiques." Grenoble INPG, 1999. http://www.theses.fr/1999INPG0117.

Full text

Abstract:

Ce travail s'intéresse à la conception sous contraintes de dispositifs électromagnétiques à l'aide de modèles analytiques. Après avoir présenté le contexte de conception en génie électrique, et les problèmes inhérents au dimensionnement sous contraintes, notamment celui des systèmes d'équations implicites, l'étude présente une nouvelle architecture orientée objet pour le dimensionnement à l'aide de modèles analytiques. L'objectif est de créer un environnement souple et modulaire pour manipuler les équations analytiques de façon à utiliser toute l'information qu'elles contiennent. On veut par e

APA, Harvard, Vancouver, ISO, and other styles

47

HORNER, ANDRE. "Methode informatisee pour une auto-correction prosodique de certains aspects grammaticaux du francais." Université Marc Bloch (Strasbourg) (1971-2008), 1995. http://www.theses.fr/1995STR20047.

Full text

Abstract:

Cette methode informatisee que nous avons programmee tente de reduire la repercussion prosodique de toute langue maternelle sur la langue francaise. Basee sur une methode d'apprentissage traditionnelle, nous avons selectionne 300 enonces, lesquels ont ete enregistres sur ordinateur par 4 sujets francophones. Ces enonces ont ete structures en 3 niveaux, chacun de ces niveaux contenant 10 lecons. Selon les aspects grammaticaux recherches, un exemplaire des 4 enregistrements a ete choisi comme modele pour chaque enonce. A partir de ces modeles, nous avons etabli les parametres pour l'affichage a

APA, Harvard, Vancouver, ISO, and other styles

48

Le, Ret Anne. "Programmation hors-ligne : modelisation des composants d'une cellule robotisee, application a la detection de collision." Paris, ENSAM, 1988. http://www.theses.fr/1988ENAM0004.

Full text

Abstract:

Conception du module de modelisation d'une cellule robotisee par la technique de la programmation des robots "hors-ligne". Ce module est divise entre la partie graphique et cinematique pour les composants de la cellule et leur arrangement les uns par rapport aux autres. Etude des problemes de detection de collision rencontres et detection des interferences entre le robot et son environnement d'une part et les objets mobiles (autre que le robot) et l'environnement d'une part et les objets mobiles (autre que le robot) et l'environnement, d'autre part

APA, Harvard, Vancouver, ISO, and other styles

49

Baraka, Nizar. "Méthodes comparées de choix de projets en vue de développement." Aix-Marseille 3, 1992. http://www.theses.fr/1992AIX32031.

Full text

Abstract:

Pour repondre au probleme pose par l'allocation optimale des ressources rares dans les economies en voie de developpent, plusieurs methodes de choix de projets ont ete elaborees. Il s'agit, d'une part, des methodes de prix, qui consistent a construire un systeme de prix de reference pour evaluer les couts et les avantages economiques d'un projet, et d'autre part, de la methode des effets, qui vise a evaluer les effets provoques par l'insertion d'un projet au sein de l'economie nationale. Ces methodes couts-avantages presentent plusieurs limites tant au niveau theorique que pratique. Aussi avon

APA, Harvard, Vancouver, ISO, and other styles

50

Sené, Sylvain. "Sur la bio-informatique des réseaux d'automates." Habilitation à diriger des recherches, Université d'Evry-Val d'Essonne, 2012. http://tel.archives-ouvertes.fr/tel-00759287.

Full text

Abstract:

Ce travail présente des contributions théoriques et appliquées dans le contexte des systèmes dynamiques discrets vus comme modèles des réseaux de régulation biologique. En mettant en avant le fait qu'accroître les connaissances du vivant nécessite aujourd'hui de mieux comprendre les propriétés mathématiques qui le régissent, il développe diverses réflexions menées en bio-informatique théorique en se fondant sur le formalisme des réseaux d'automates, notamment booléens. Les trois principaux thèmes abordés sur ces réseaux sont la robustesse environnementale, la combinatoire comportementale et la

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!