Conecte-se

Bibliografias temáticas / Ophtalmologie mathématique et informatique / Teses / dissertações

Siga este link para ver outros tipos de publicações sobre o tema: Ophtalmologie mathématique et informatique.

Teses / dissertações sobre o tema "Ophtalmologie mathématique et informatique"

Autor: Grafiati

Publicado: 8 de março de 2025

Última modificação: 29 de julho de 2025

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Ophtalmologie mathématique et informatique".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.

1

Saigre, Thomas. "Modélisation mathématique, simulation et réduction d’ordre de flux oculaires et leurs interactions : construire le jumeau numérique de l'oeil." Electronic Thesis or Diss., Strasbourg, 2024. http://www.theses.fr/2024STRAD052.

Texto completo da fonte

Resumo:

Le corps humain est un système complexe, et l'œil humain n’y fait pas exception. Malgré les avancées médicales, de nombreuses questions pathologiques subsistent. Les modèles mathématiques et computationnels complètent les études cliniques en dévoilant des mécanismes physiopathologiques complexes.L'œil, accessible de manière non invasive, offre des marqueurs biologiques utiles pour diagnostiquer des maladies. Comprendre son comportement, ses pathologies et les traitements associés est donc essentiel.Cette thèse explore la modélisation et la simulation des flux oculaires, notamment le transfert

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Martiel, Simon. "Approches informatique et mathématique des dynamiques causales de graphes." Thesis, Nice, 2015. http://www.theses.fr/2015NICE4043/document.

Texto completo da fonte

Resumo:

Le modèle des automates cellulaires constitue un des modèles le mieux établi de physique discrète sur espace euclidien. Ils implantent trois symétries fondamentales de la physique: la causalité, l'homogénéité et la densité finie de l'information. Bien que l'origine des automates cellulaires provienne de la physique, leur utilisation est très répandue comme modèles de calcul distribué dans l'espace (machines auto-réplicantes, problèmes de synchronisation,...), ou bien comme modèles de systèmes multi-agents (congestion du trafic routier, études démographiques,...). Bien qu'ils soient parmi les m

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Zini, Pascale. "Etude informatique des résultats de la chirurgie horizontale et verticale simultanée pour les trabismes convergents : à propos de 297 cas." Clermont-Ferrand 1, 1987. http://www.theses.fr/1987CLF11043.

Texto completo da fonte

Resumo:

1ère partie : - la chirurgie horizontale et verticale simultanée systématique basée sur la pathogénie du strabisme de Gobin est une chirurgie globale symétrique d' affaiblissement et fonctionnelle qui se fait à un âge précoce différé. - les indications. 2eme partie : une étude rétrospective sur 297 strabismes convergents opérés a été réalisée à l' aide de fiches informatiques. L' élément vertical et l' hyperaction des petits obliques sont très fréquents en pré-opératoire. Malgré la difficulté de définition des critères d' appréciation et de la décompensation lors de l' examen, on obtient de bo

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Lardeux, Frédéric. "Approches hybrides pour les problèmes de satisfiabilité (SAT et MAX-SAT)." Angers, 2005. http://www.theses.fr/2005ANGE0024.

Texto completo da fonte

Resumo:

Cette thèse est centrée sur la résolution des problèmes de satisfiabilité SAT et MAX-SAT. Les contributions apportées sont de trois types. Tout d'abord nous avons développé l'algorithme mémétique GASAT pour les problèmes SAT et MAX-SAT hybridant un algorithme tabou et un algorithme génétique. Des outils spécifiques aux problèmes de satisfiabilité y ont été intégrés tels que des mécanismes d'intensification, de diversification et un nouvel opérateur de croisement. Ensuite, nous avons proposé un nouveau cadre de résolution permettant aux méthodes exactes et aux méthodes approchées de manipuler l

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Gallon, Jonathan. "Étude et optimisation d'un algorithme de reconstruction d'horizons sismiques 3D et extension aux données nD." Pau, 2011. http://www.theses.fr/2011PAUU3009.

Texto completo da fonte

Resumo:

Dans le monde pétrolier, l'interprétation géophysique des données sismiques 3D est une étape indispensable pour la construction d'un modèle géologique du sous-sol. Ce modèle est constitué d'objets tels que les horizons (surfaces représentant l'interface entre deux couches géologiques) et les failles (surface modélisant les cassures dans les couches géologiques). Afin d'aider les géophysiciens, beaucoup d'outils automatiques ont été proposés afin de reconstruire ces objets, parmi lesquels le propagateur d'horizon 3D développé par Keskes et al. : cet algorithme est considéré comme le plus robust

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Schnoebelen, Philippe. "Sémantique du parallélisme et logique temporelle : application au langage FP2." Grenoble INPG, 1990. http://www.theses.fr/1990INPG0075.

Texto completo da fonte

Resumo:

Cette thèse contribue à l'étude des liens existant entre les deux principaux points de vue actuellement adoptés pour la spécification des programmes parallèles ; les modèles opérationnels et leurs équivalences comportementales d'une part, la logique temporelle d'autre part. A la différence d'approches plus classiques, nous considérons explicitement des systèmes où le branchement infini (c. -à-d. Le non-déterminisme infini) est autorisé. Dans ce cadre général, les résultats classiques d'adéquation entre les deux points de vue susmentionnés doivent être relativisés. Par exemple, l'équivalence de

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

Daoudi, Mohamed. "Classification interactive multidimensionnelle par les réseaux neuronaux et la morphologie mathématique." Lille 1, 1993. http://www.theses.fr/1993LIL10134.

Texto completo da fonte

Resumo:

Dans ce mémoire, nous avons proposé une méthodologie qui permet à un opérateur de maîtriser le procédé de classification en visualisant les données grâce à un réseau de neurones multicouche. Ce support visuel est alors utilisé pour classer les observations selon différentes procédures plus ou moins interactives. La représentation plane des données mise en oeuvre utilise une réseau neuronal multicouche. L'apprentissage s'effectue en mode non supervisé par la technique de rétro propagation. La visualisation plane est exploitée par l'appui de techniques de classification telle la procédure isodat

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

Lhote, Nathan. "Définissabilité et Synthèse de Transductions." Doctoral thesis, Universite Libre de Bruxelles, 2019. https://dipot.ulb.ac.be/dspace/bitstream/2013/287370/4/these.pdf.

Texto completo da fonte

Resumo:

Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui ont été établies concernant les langages, notamment le célèbre théorème de Schützenberger-McNaughton-Papert. Dans le cadre des fonctions rationnelles sur les mots finis, nous obtenons une caractérisation à la Myhill-Nerode en termes de congruences d'indice fini. Cette caractérisation nous permet d'obtenir un résultat de transfert, à partir d'équivalences l

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Rubio, Michel. "Courbes morphologiques et reconnaissance d'objets plans." Saint-Etienne, 1990. http://www.theses.fr/1990STET4011.

Texto completo da fonte

Resumo:

Une des méthodes de reconnaissance des formes binaires repose sur le calcul de paramètres caractérisant leur géométrie. Ces paramètres sont de deux ordres: ceux calcules sur l'objet lui-même et ceux calcules sur son retour. L'étude de la frontière d'objets binaires discrétisés sur trame conduit a définir les contours morphologiques. Cette définition est validée par son extension mathématique au cas continu: les courbes morphologiques sont introduites. Dès lors, une étude des contours en termes de texture permet de préciser la notion d'échelle d'étude d'un contour. Une méthode d'estimation de l

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Adioui, M'Barek. "Modélisation et Etude Mathématique et Informatique de comportements Collectifs : alignement dans un banc de poissons." Paris 7, 2004. http://www.theses.fr/2004PA077003.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Fajardo, Flores Silvia. "Modélisation des interactions non visuelles dans un environnement de travail mathématique visuel et non visuel synchronisé." Paris 8, 2014. http://octaviana.fr/document/184982189#?c=0&m=0&s=0&cv=0.

Texto completo da fonte

Resumo:

Les élèves non voyants et malvoyants qui apprennent les mathématiques dans une environnement scolaire intégré font face à des problèmes qui vont au-delà de la difficulté des mathématiques elle-mêmes. La différence de représentation de contenus mathématiques et des outils de support utilisés par les personnes voyantes et les non voyantes rend difficile la communication directe entre eux. L'utilisation d'un ordinateur peut rendre possible la représentation de contenus mathématiques dans des modalités synchronisées qui conviennent à la fois aux voyants et aux non voyants, permettant ainsi la comm

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Seddik, Yasmina. "Ordonnancement avec dates de livraison et gains cumulatifs." Paris 6, 2012. http://www.theses.fr/2012PA066640.

Texto completo da fonte

Resumo:

Le problème étudié dans cette thèse est issu d'une problématique réelle, concernant l'optimisation du processus de numérisation des ouvrages de la Bibliothèque Nationale de France (BNF). La modélisation de ce problème met en évidence un critère d'optimisation nouveau en ordonnancement, tenant compte de gains cumulatifs liés à des dates de livraison communes à toutes les tâches. Dans le but d'identifier les structures des solutions optimales liées à ce nouveau critère et à des dates de disponibilité des tâches, nous nous sommes surtout concentrés sur un problème d'ordonnancement à une machine.

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Dai, Min. "Transformation et optimisation des programmes pour le parallélisme d'instructions." Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS002V.

Texto completo da fonte

Resumo:

Nous commencerons d'abord par l'introduction des techniques de transformation et d'optimisation a haut niveau au chapitre 2. La présentation des architectures auxquelles nous nous intéressons, les processeurs super scalaires et vliw, est présentée dans le chapitre 3. Après avoir aborde les principales machines, nous présentons la méthode de la simulation des unités fonctionnelles qui est voisine des tables de réservation réduites. Dans le quatrième chapitre, nous introduisons les techniques existantes d'extraction de dépendances de données pour qu'elles puissent être utilisées dans les phases

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Athanaze, Guy. "De la theorie des possibilites a la pretopologie et la morphologie mathematique : nouveaux concepts et methodologie." Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0048.

Texto completo da fonte

Resumo:

La théorie des possibilités (cas particulier de la théorie de l' évidence (Shafer) repose sur un affaiblissement axiomatique de la théorie de la mesure, de même que la prétopologie est issue d'un affaiblissement axiomatique de la topologie. Par ailleurs, la prétopologie (et la morphologie mathématique qui est une théorie voisine) a connu des applications fructueuses en reconnaissance de forme et 1' on sait que les possibilités (fortement connectées aux ensembles flous) ont aussi des applications pertinentes en reconnaissance de forme. Ainsi, avons-nous eu l'idée de faire un parallèle entre ces

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Cohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels." Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.

Texto completo da fonte

Resumo:

Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au coeur de la détection du parallélisme, elles rassemblent d

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Ozaktas, Haluk. "Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict." Paris 6, 2011. http://www.theses.fr/2011PA066376.

Texto completo da fonte

Resumo:

Pour des raisons économiques, énergétiques et/ou ergonomiques, les systèmes embarqués sont soumis à de nombreuses contraintes comme être performants en moyenne ou dans le pire cas, avoir une consommation d'énergie et une mémoire de taille aussi réduite que possible. En conséquence, les systèmes embarqués ont plusieurs critères à optimiser lors de leur conception. Ce travail de thèse s'intéresse à la mise au point de stratégies d'optimisation de code multicritère pour des applications embarquées potentiellement temps réel strict. Dans un premier temps, un schéma de compression de code a été dév

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Anfosso, Jean-Pierre. "Contribution à une modélisation statistique du langage et à sa mise en oeuvre informatique." Nice, 2002. http://www.theses.fr/2002NICE2034.

Texto completo da fonte

Resumo:

Automates finis, analyseurs lexicaux, choix d'une structure d'index ouvert, relevé des formes et des références en une seule passe, tri linéaire combinant tri par base et par dénombrement. Indexation et recherche de n-grammes, méthode de Rabin-Karp. Problèmes algébriques posés par des textes naturels (déchiffrabilité, charades). Utilisation de propriétés statistiques des textes pour la compression, le décryptement. Modélisation markovienne du langage et théorie des graphes. Simulation de chaînes. Estimateurs, ajustement d'un modèle sur une séquence de texte, test d'adéquation et choix d'un ens

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

El, Saadi Nadjia. "Modélisation et études mathématique et informatique de populations structurées par des variables aléatoires. : Application à l'agrégation du phytoplancton." Pau, 2004. http://www.theses.fr/2004PAUU3018.

Texto completo da fonte

Resumo:

Le rôle des agrégations du phytoplancton dans les chaînes alimentaires marines et dans les processus de transport vertical du carbone est bien reconnu de nos jours. Beaucoup de travaux récents ont montré l'existence et l'importance de la formation de ces grandes particules mais les mécanismes et les dynamiques qui gouvernent leur formation ne sont pas encore clairs. Cette thèse est une contribution dans cette direction. Il s'agit d'une part d'élaborer un modèle mathématique qui décrit la formation d'agrégations du phytoplancton en prenant en compte les mécanismes biologiques à petite échelle.

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Monsifrot, Antoine. "Utilisation du raisonnement à partir de cas et de l'apprentissage pour l'optimisation de code." Rennes 1, 2002. http://www.theses.fr/2002REN10107.

Texto completo da fonte

Resumo:

Des transformations de code permettent de réduire le temps d'exécution des programmes en améliorant l'exploitation des processeurs. Pour déterminer les transformations à appliquer, les outils automatiques reposent sur des heuristisques complexes à produire car les transformations peuvent avoir des effets de bord et interagissent entre elles. D'autre part, toutes les optimisations ne sont pas à la portée de ces outils. Ainsi, la production de code efficace se termine encore aujourd'hui par une phase de "tuning". Nous proposons, au travers de cette thèse l'utilisation de techniques provenant de

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Venel, Juliette. "Modélisation mathématique et numérique de mouvements de foule." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00346035.

Texto completo da fonte

Resumo:

Nous nous intéressons à la modélisation des mouvements de foule causés par des situations d'évacuation d'urgence. L'objectif de cette thèse est de proposer un modèle mathématique et une méthode numérique de gestion des contacts, afin de traiter les interactions locales entre les personnes pour finalement mieux rendre compte de la dynamique globale du trafic piétonnier. Nous proposons un modèle microscopique de mouvements de foule reposant sur deux principes. D'une part, chaque personne a une vitesse souhaitée, celle qu'elle aurait en l'absence des autres. D'autre part, la vitesse réelle des in

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Sandri, Sandra. "La combinaison de l'information incertaine et ses aspects algorithmiques." Toulouse 3, 1991. http://www.theses.fr/1991TOU30199.

Texto completo da fonte

Resumo:

Cette these est le resultat d'une etude de plusieurs aspects lies directement ou indirectement a la fusion de l'information imparfaite. Cette etude a comporte une evaluation critique, -d'un point de vue theorique, aussi bien que d'un point de vue pratique-, des principaux modeles utilises dans le cadre de la manipulation de l'information imparfaite. Dans la premiere partie de cette these nous etudions des aspects theoriques liees a la manipulation de l'information imparfaite selon trois axes: i) l'acquisition de l'information et sa transformation dans un modele formel; ii) l'evaluation de l'in

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Benferhat, Salem. "Raisonnement non-monotone et traitement de l'inconsistance en logique possibiliste." Toulouse 3, 1994. http://www.theses.fr/1994TOU30015.

Texto completo da fonte

Resumo:

Les travaux de la thèse se situent dans le domaine de l'Intelligence Artificielle, et portent plus précisément sur l'apport de la logique possibiliste à la représentation et au traitement des connaissances génériques sujettes à exception et de bases de connaissances inconsistantes. La logique possibiliste est une logique de l'incertain, proposée par Dubois et Prade depuis 1987 et également développée par Lang, afin de traiter commodément le caractère incertain de l'information. Elle manipule des formules de la logique classique valuées à l'aide de deux mesures à valeur dans l'intervalle [0,1]

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Canals, Didier. "Ordonnancement d'atelier par simulation : étude des règles de priorité et aide au lancement." Toulouse, ENSAE, 1986. http://www.theses.fr/1986ESAE0013.

Texto completo da fonte

Resumo:

Après avoir fait un état de l'art en gestion de production assistée par ordinateur (gpao) et une étude critique des principaux progiciels existants, on propose une nouvelle approche qui permet de découpler l'optimisation des temps de cycles et des encours de celle du retard, le but étant de produire juste à temps. D'autre part on présente une typologie des ateliers d'usinage et une étude de l'adéquation des règles de conduite aux types d'atelier et de production habituellement rencontrés.

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Escoffier, Bruno. "Approximation polynomiale de problèmes d’optimisation : aspects structurels et opérationnels." Paris 9, 2005. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2005PA090065.

Texto completo da fonte

Resumo:

Cette thèse s'inscrit dans le domaine de l'étude des problèmes de NPO (problèmes d'optimisation dont la version décision est dans NP), et plus particulièrement dans la théorie de l'approximation polynomiale de ces problèmes. Il s'agit d'étudier la possibilité de fournir efficacement des solutions réalisables ayant une certaine qualité, qualité que nous mesurons tantôt par le rapport standard, tantôt par le rapport différentiel. Deux aspects principaux se dégagent dans notre travail : - La structure des classes d'approximation : il s'agit de structurer les classes classiques par l'introduction

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Lombardi, Carlos Alberto. "Espaces de réductions dans les systèmes de réécriture non-séquentiels et les systèmes de réécriture infinitaires." Paris 7, 2014. http://www.theses.fr/2014PA077168.

Texto completo da fonte

Resumo:

On aborde dans cette thèse certaines propriétés formelles de systèmes de réécriture qui concernent leurs espaces des dérivations. Les calculs choisis présentent des caractéristiques particulières qui font l'étude des propriétés choisies des défis intéressants. Les contributions les plus importantes de ce travail sont: (1) nous définons une stratégie de réduction multiradicaux pour le Pure Pattern Calculus, un calcul d'ordre supérieur non-séquentiel, et nous prouvons que cette stratégie est normalisante; (2) nous proposons une manière de formaliser le concept de réduction standard pour I Linear

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Chevalier, Yannick. "Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques." Nancy 1, 2003. http://www.theses.fr/2003NAN10181.

Texto completo da fonte

Resumo:

La généralisation de transactions commerciales et des services sur des supports non-sécurisés a rendu nécessaire l'utilisation de protocoles permettant de garantir aux participants la confidentialité des données aussi bien que l'identification des correspondants. De nombreux protocoles proposés se sont révélés incorrects. Leur importance économique a motivé l'introduction de méthodes formelle pour la détection d'erreurs. Dans cette thèse, nous nous intéressons aux problèmes liés à l'analyse automatique de ces protocoles. Nous donnons une sémantique opérationnelle aux spécifications de haut niv

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Lenoir, Arnaud. "Modèles et algorithmes pour la planification de production à moyen terme en environnement incertain." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2008. http://tel.archives-ouvertes.fr/tel-00731056.

Texto completo da fonte

Resumo:

Nous nous intéressons dans cette thèse aux problèmes d'optimisation de systèmes de grande taille en environnement incertain et plus particulièrement à la résolution de leurs équivalents déterministes par des méthodes de décomposition de type proximal. L'application sous-jacente que nous avons à l'esprit est celle de la gestion optimale de la production électrique d'EDF soumise aux aléas climatique, de marche et de consommation. Nous mettons 'a plat les couplages naturels espace-temps- aléas liés à cette application et proposons deux nouveaux schémas de discrétisation pour le couplage des aléas

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Hodique, Yann. "Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-15.pdf.

Texto completo da fonte

Resumo:

La généralisation des équipements électroniques embarqués provoque des besoins croissants d'adaptabilité en ce qui concerne les systèmes logiciels qui doivent y être déployés. Par ailleurs, les faibles ressources dont les équipements disposent, ainsi que leur propension à se trouver en milieu non sécurisé, imposent des contraintes de performance et de fiabilité à ces mêmes systèmes. Le cadre de cette thèse est l'étude de la conception et de l'exploitation de systèmes de types afin d'adapter au mieux les systèmes logiciels à ces différentes contraintes. À travers la définition de systèmes de ty

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Luquet, Philippe. "Horn renommage partiel et littéraux purs dans les formules CNF." Caen, 2000. http://www.theses.fr/2000CAEN2035.

Texto completo da fonte

Resumo:

Dans la première partie nous formalisons l'idée qu'une conjonction de clauses S qui n'est pas Horn-renommable peut tout de même l'être partiellement. Pour toute formule S nous montrons qu'il existe un sous-ensemble B de variables de S, maximal et unique, tel que S soit Horn renommable relativement à B. Cet ensemble est appelé base de Horn de S. Le reste de S est obtenu à partir de S par suppression de toutes les clauses contenant au moins un littéral sur B. Nous montrons que si S est sans clause unitaire, alors S est satisfaisable si et seulement si le reste de S est satisfaisable. Nous montro

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Abdali, Abdelkebir. "Systèmes experts et analyse de données industrielles." Lyon, INSA, 1992. http://www.theses.fr/1992ISAL0032.

Texto completo da fonte

Resumo:

L'analyse du fonctionnement des Systèmes de Production Industrielle s'appuie sur des informations de natures diverses. Une bonne partie d'entre elles se présentant sous forme numérisée, on leur applique des méthodes d'analyse des données dont les résultats doivent être confrontés, puis interprétés à l'aide des autres connaissances. Notre travail s'insère dans le cadre de l'application des techniques de l'Intelligence Artificielle à la Statistique. Il vise en particulier à étudier la faisabilité et le développement d'un Système Expert Statistique dans le domaine des Systèmes de Production Indus

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Kervarc, Romain. "Systèmes de types purs et substitutions explicites." Lyon, École normale supérieure (sciences), 2007. http://www.theses.fr/2007ENSL0399.

Texto completo da fonte

Resumo:

La théorie des types est actuellement considérée comme un outil fondamental en informatique, car elle établit un lien entre un calcul d'une part et un système logique d'autre part, ce qui permet d'exprimer des propriétés variées. Les systèmes de types purs sont un formalisme général dans lequel on peut définir un grand nombre de systèmes logiques. Cette thèse présente l'extension de ces systèmes dans deux cadres : un calcul à substitutions explicites et un calcul de séquents classique, et étudie les propriétés des systèmes obtenus, en particulier la correction des types, la reconstruction de d

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

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.

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Lenoir, Arnaud. "Modèles et algorithmes pour la planification de production à moyen terme en environnement incertain : application de méthodes de décomposition proximales : Arnaud Lenoir." Clermont-Ferrand 2, 2008. http://www.theses.fr/2008CLF21875.

Texto completo da fonte

Resumo:

Cette thèse traite des problèmes d'optimisation de systèmes de grande taille en environnement incertain et plus particulièrement à la résolution de leurs équivalents déterministes par des méthodes de décomposition de type proximal. Deux nouveaux schémas de discrétisation des aléas basés sur l'estimation non-paramétrique de l'espérance conditionnelle sont proposés. Nous nous intéressons ensuite aux méthodes de décomposition en tirant parti de la théorie des opérateurs monotones. Nous mettons l'accent sur les propriétés différentielles des opérateurs de réflexion généralisée dont on cherche un p

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Benaïm, Michel. "Dynamiques d'activation et dynamiques d'apprentissage des réseaux de neurones." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0001.

Texto completo da fonte

Resumo:

L'objet principal de cette these est d'etudier de facon rigoureuse un modele temps-reel de reseau de neurones. La description mathematique complete d'un modele temps-reel requiert la donnee de trois dynamiques: la dynamique d'activation ou dynamique des memoires a court terme qui determine l'evolution des etats d'activation des unites. La dynamique des poids ou dynamique des memoires a long terme qui determine l'evolution des vecteurs poids selon une regle d'apprentissage ou un mecanisme d'auto-organisation. Une dynamique exogene qui decrit l'evolution des stimuli exterieurs au reseau et que n

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Sala, Lorenzo. "Modélisation mathématique et simulation de flux sanguins oculaires et leur interactions." Thesis, Strasbourg, 2019. http://www.theses.fr/2019STRAD021.

Texto completo da fonte

Resumo:

Les neuropathies optiques comme le glaucome sont souvent des maladies tardives, évolutives et incurables. Malgré les progrès récents de la recherche clinique, de nombreuses questions relatives à l’étiologie de ces troubles et à leur physiopathologie restent ouvertes. De plus, les données sur les tissus postérieurs oculaires sont difficiles à estimer de façon non invasive et leur interprétation clinique demeure difficile en raison de l’interaction entre de multiples facteurs qui ne peuvent pas être facilement isolés. L’utilisation récente de modèles mathématiques pour des problèmes biomédicaux

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Buchheit, Isabelle. "Un nouveau concept d'optimisation de la balistique d'irradiation en radiothérapie externe associant un système-expert et un algorithme mathématique." Toulouse 3, 1995. http://www.theses.fr/1995TOU30085.

Texto completo da fonte

Resumo:

Un logiciel d'optimisation de la balistique d'irradiation en radiotherapie externe a ete developpe sur une station sun sparc. Ce logiciel associe cavcav, un systeme-expert, applique a l'irradiation des cancers du cavum, a un algorithme d'optimisation mathematique base sur la methode du gradient projete. Le systeme-expert propose une geometrie d'irradiation (angulation des faisceaux, limites de champs et positionnement des caches protecteurs) pour les trois phases du traitement, a partir de regles cliniques sur les atteintes tumorales et de regles physiques sur les faisceaux d'irradiation. La b

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Gibert-Doutre, Marie-Françoise. "Développement d'une approche pour le contrôle qualité à partir de l'analyse de données et de la morphologie mathématique." Compiègne, 1991. http://www.theses.fr/1991COMPD354.

Texto completo da fonte

Resumo:

Après une étude systématique de l'état de l'art en matière de contrôle qualité dans le monde industriel, une méthodologie d'approche du contrôle qualité est proposée. Elle est composée de cinq phases : 1) établissement d'un système d'information du problème ; 2) recherche des ensembles homogènes et élimination des points aberrants par analyse de données ; 3) recherche des paramètres significatifs ; 4) classification des fonctionnements par reconnaissance de formes et/ou morphologie mathématique ; 5) mise en place du contrôle à l'aide de systèmes experts. La morphologie mathématique joue un rôl

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Mela, Augusta. "Traitement automatique de la coordination par et." Paris 13, 1992. http://www.theses.fr/1992PA132040.

Texto completo da fonte

Resumo:

L'analyse des constructions coordonnées a toujours constitué un centre d'intérêt aussi bien en linguistique théorique qu'en linguistique computationnelle. Le phénomène de la coordination par "et" est à la fois large et subtil. Une chaîne conjonctionnelle peut apparaître à droite de presque n'importe quel élément d'une chaîne, constituant ou non-constituant mais pas n'importe où. Cela pose à la fois le problème théorique de rendre compte précisément de l'ensemble des constructions autorisées et le problème calculatoire d'analyser ces constructions le plus efficacement possible. Dans cette thèse

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Sarzeaud, Olivier. "Contribution à l'étude et au développement de systèmes connexionnistes modulaires." Montpellier 2, 1993. http://www.theses.fr/1993MON20137.

Texto completo da fonte

Resumo:

Le theme de la these est l'etude de la construction de modeles structurels de type reseaux de neurones pour la resolution de problemes, a l'aide de methodes automatiques heuristiques appelees regles d'apprentissage. Trois approches sont presentees. Lorsque le probleme a resoudre est simple, l'approche usuelle de construction de reseaux de neurones a temps implicite est valide. Lorsque le probleme comporte une dimension temporelle, une seconde approche s'avere necessaire. Celle-ci revele des proprietes nouvelles tres interessantes. En particulier, nous montrons que l'introduction de retards dan

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Boneva, Iovka. "Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés." Lille 1, 2006. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/dffac6b2-50d6-4e6d-9e4c-f8f5731c75e2.

Texto completo da fonte

Resumo:

Les structures arborescentes (arbres) sont largement étudiées en informatique. Les données semi-structurées en sont un récent champ d'application : il est admis que les arbres ordonnés d'arité non bornée sont un bon modèle pour ces données. Dans certains cas il est intéressant de considérer des arbres non ordonnés. Des formalismes logiques (logiques) sont utilisés pour décrire des requêtes ou vérifier des propriétés sur des données semi-structurées. Il est important d'identifier des logiques représentant un compromis entre expressivité et praticabilité des algorithmes. Des critères pertinents

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

Croset, Patricia. "Décomposition dynamique et parallélisme multi-t^ache en analyse de structure." Toulouse, INPT, 1989. http://www.theses.fr/1989INPT033H.

Texto completo da fonte

Resumo:

L'utilisation de calculateurs paralleles est aujourd'hui essentielle pour aborder le traitement de structures complexes de grande taille. Une etude du comportement informatique de la methode des sous-structures illustre l'interet des methodes de decomposition dans le cadre du calcul parallele. Une technique de sous-structuration dynamique specifique a une exploitation des calculs en environnement multi-processeurs a ete developpee. Des experimentations realisees sur un cray-2 mettent en evidence l'interaction profonde entre algorithme et machine cible et refletent l'influence des contraintes d

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

Mattiussi, Claude. "Étude du recours informatique dans l'enseignement des mathématiques au collège." Phd thesis, Université Toulouse le Mirail - Toulouse II, 2013. http://tel.archives-ouvertes.fr/tel-01010959.

Texto completo da fonte

Resumo:

Avec plus d'un tiers de professeurs pratiquants dans l'académie de Toulouse, les enquêtes ont constaté que, désormais, le recours informatique est un phénomène historique irréversible dans l'enseignement des mathématiques au collège dû : premièrement, à la généralisation des équipements (vidéoprojecteurs en classe) ; à l'engagement des professeurs qui a compensé les défaillances de l'institution dans leurs administrations ; deuxièmement, aux incitations et obligations institutionnelles des nouveaux programmes et des inspections ; troisièmement, à la disponibilité des logiciels gratuits qui ont

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

Pierre, Denis. "Formulation et maintenance d'une théorie hypothétique par un agent apprenant." Montpellier 2, 1997. http://www.theses.fr/1997MON20082.

Texto completo da fonte

Resumo:

Nous nous interessons a l'apprentissage a partir d'exemples et a la resolution de probleme dans un univers evolutif represente par une base de connaissances incomplete. Nous formalisons un cadre de representation de connaissances susceptible d'etre elabore et critique par des humains comme par des machines. Cette representation des connaissances est appelee theorie semi-empirique car cette forme de theorie n'est pas completement axiomatique. Nous donnons les elements d'une formalisation d'un systeme appele schema mental, modelisant l'augmentation de la connaissance durant le processus d'appren

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

Tlig, Ghassen. "Programmation mathématique en tomographie discrète." Electronic Thesis or Diss., Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0886.

Texto completo da fonte

Resumo:

La tomographie est un ensemble de techniques visant à reconstruirel’intérieur d’un objet sans toucher l’objet lui même comme dans le casd’un scanner. Les principes théoriques de la tomographie ont été énoncéspar Radon en 1917. On peut assimiler l’objet à reconstruire à une image,matrice, etc.Le problème de reconstruction tomographique consiste à estimer l’objet àpartir d’un ensemble de projections obtenues par mesures expérimentalesautour de l’objet à reconstruire. La tomographie discrète étudie le cas où lenombre de projections est limité et l’objet est défini de façon discrète. Leschamps d’a

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Cervelle, Julien. "Complexité structurelle et algorithmique des pavages et des automates cellulaires." Aix-Marseille 1, 2002. https://hal.archives-ouvertes.fr/tel-01208375.

Texto completo da fonte

Resumo:

Ce travail de thèse étudie la complexité des pavages et des automates cellulaires. L'analyse débute par des considérations structurelles : la quasipériodicité des pavages. A tout ensemble de tuiles qui pave le plan, on associe une fonction de quasipériodicité qui quantifie sa complexité. Tout d'abord, on montre que toute fonction "raisonnable" peut être capturée par un ensemble de tuiles et qu'il existe des pavages dont la fonction de quasipériodicité croît plus rapidement que n'importe quelle fonction récursive. Ensuite, on démontre un théorème de Rice pour les pavages : l'ensemble des ensemb

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

Bessant, Brigitte. "Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires." Artois, 1999. http://www.theses.fr/1999ARTO0402.

Texto completo da fonte

Resumo:

Cette thèse se situe dans le cadre de la modélisation et de la simulation des raisonnements de sens commun, un des domaines majeurs de l'intelligence artificielle. Certaines formes de raisonnement de la vie quotidienne ont une propriété dite de non-monotonie. Les conclusions jusqu'ici inférées peuvent être remises en cause par l'ajout de nouvelles prémisses. Les logiques non monotones et la théorie du changement d'état cognitif forment la base de nos travaux de recherche. Dans la première partie, nous apportons notre contribution à l'étude des relations que l'on peut établir entre les inférenc

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Oliveira, Castro Herrero Pablo de. "Expression et optimisation des réorganisations de données dans du parallélisme de flots." Versailles-St Quentin en Yvelines, 2010. https://tel.archives-ouvertes.fr/tel-00580170.

Texto completo da fonte

Resumo:

Pour permettre une plus grande capacité de calcul, les concepteurs de systèmes embarqués se tournent aujourd'hui vers les multicœurs. Malheureusement, ces systèmes sont difficiles à programmer. Un des problèmes durs est l'expression et l'optimisation des réorganisations de données. Dans cette thèse nous souhaitons proposer une chaîne de compilation qui: 1) utilise une syntaxe simple et haut-niveau pour exprimer le découpage et la réorganisation des données d'un programme parallèle; 2) garantisse une exécution déterministe du programme (critique dans le cadre des systèmes embarqués); 3) optimis

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Aline, Michel. "Evaluation et optimisation de performances en délai en technologie CMOS submicronique." Montpellier 2, 2001. http://www.theses.fr/2001MON20075.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Kenmei, Youta Bénédicte Ramelie. "Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution : Le modèle périodique-linéaire." Université Louis Pasteur (Strasbourg) (1971-2008), 2006. https://publication-theses.unistra.fr/public/theses_doctorat/2006/KENMEI_YOUTA_Benedicte_Ramelie_2006.pdf.

Texto completo da fonte

Resumo:

Cette thèse présente une nouvelle technique de représentation et d'analyse de traces d'exécution de programmes. Après une étude de quelques méthodes générales d'analyse de données, l'accent est mis sur une nouvelle modélisation qui consiste à exprimer le comportement à l'exécution d'un programme par un autre programme. Le programme qui exprime le comportement est constitué d'une séquence de nids de boucles dans lesquelles les fonctions de niveau les plus internes expriment les valeurs de la trace d'entrée à partir des indices de boucles. Chaque séquence de nids de boucles correspond à une défi

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Leroy, Bertrand. "Modèles déformables et modèles de déformation appliqués à la reconnaissance de visage." Paris 9, 1996. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1996PA090015.

Texto completo da fonte

Resumo:

Cette thèse présente un ensemble de méthodes de traitement d'images s'intégrant dans un processus de reconnaissance de visage selon une approche géométrique. La localisation des éléments caractéristiques du visage est effectuée en utilisant des opérateurs de morphologie mathématique ainsi que l'information spatio-temporelle. Le modèle de contour actif propose pour l'extraction des éléments du visage est un modèle déformable paramétrique décrit dans une base de sinusoïdes. Deux méthodes d'identification sont présentées. La première est une extension de l'analyse en composantes principales à des

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!