Log in

Relevant bibliographies by topics / Ophtalmologie mathématique et informatique / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Ophtalmologie mathématique et informatique.

Dissertations / Theses on the topic 'Ophtalmologie mathématique et informatique'

Author: Grafiati

Published: 8 March 2025

Last updated: 29 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 'Ophtalmologie mathématique et 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

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

2

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

17

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

Abstract:

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]

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

30

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

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

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

34

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

38

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

39

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

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!