To see the other types of publications on this topic, follow the link: Isomorphismes (mathématiques).
Dissertations / Theses on the topic 'Isomorphismes (mathématiques)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Isomorphismes (mathématiques).'
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
Abouqateb, Abdelhak. "Isomorphisme de Thom-Gysin sur les variétés stratifiées." Lille 1, 1991. http://www.theses.fr/1991LIL10159.
Full textAbstract:
Pour certaines classes de variétés singulières stratifiées, plongées dans une variété ambiante lisse, on donne une factorisation du morphisme de Thom-Gysin à travers certains espaces de cohomologie relative, factorisation donnant un isomorphisme. En outre, dans ce contexte on démontre un théorème de de Rham généralisé. Dans le cas lisse, la factorisation précédente coïncide avec l'isomorphisme usuel de Thom-Gysin. Nous l'utilisons pour redémontrer une formule de résidus de type Baum-Cheeger pour certaines actions différentiables de groupes compacts
2
Borel-Mathurin, Laetitia. "Isomorphismes non linéaires entre espaces de Banach." Paris 6, 2010. http://www.theses.fr/2010PA066373.
Full textAbstract:
Cette thèse s'inscrit dans le cadre de la géométrie non linéaire des espaces de Banach. Elle se divise en deux parties. Dans la première, nous nous intéressons aux espaces d'Orlicz séquentiels ainsi qu'à une estimation de leur indice de Szlenk. Nous appliquons les résultats obtenus à l'étude des homéomorphismes uniformes entre deux espaces d'Orlicz séquentiels. En particulier, nous montrons que deux espaces d'Orlicz séquentiels uniformément homéomorphes contiennent les mêmes espaces S\ell_ps. La seconde partie est consacrée à l'existence de projections quasiadditives sur des sous-espaces linéaires. Nous y donnons une nouvelle caractérisation de la propriété d'approximation bornée qui permet d'établir une preuve alternative de l'équivalence entre cette propriété et sa version Lipschitzienne. Une attention toute particulière est donnée aux espaces Lipschitz-libres : nous montrons que les espaces Lipschitz-libres sur des espaces normés de dimension finie possèdent une décomposition finie dimensionnelle.
3
Lataillade, Joachim Guilhem de. "Quantification du second ordre en sémentique des jeux : application aux isomorphismes de types." Paris 7, 2007. http://www.theses.fr/2007PA077228.
Full textAbstract:
La sémantique des jeux offre un cadre souple et précis pour l'interprétation des langages de programmation. Cette thèse l'illustre à travers d'une part l'étude de la notion de polymorphisme et son pendant logique : la quantification du second ordre, et d'autre part la caractérisation de | certaines propriétés syntaxiques via les modèles de jeux. Le polymorphisme est d'abord envisagé sous sa forme la plus usuelle, le système F à la Church. On en propose un nouveau modèle de jeux, complet, inspiré de travaux antérieurs mais dans lequel il sera cette fois possible d'effectuer des calculs. La question syntaxique de la caractérisation des isomorphismes de typas peut alors être résolue à l'intérieur même de ce modèle, en prouvant l'invariance par isomorphisme d'une structure appelée hyperforêt. Cette approche sémantique permet de retrouver un résultat dû à Roberto Di Cosmo. Une autre variante de la logique du second ordre, le système F à la Curry, est étudiée et modélisée de manière partielle mais suffisamment précise pour permettre là encore la caractérisation des isomorphismes de types par un invariant géométrique. Le système équationnel correspondant enrichit celui des isomorphismes du système F à la. Church d'une nouvelle équation, non triviale. Une extension à la logique classique des résultats obtenus pour te système F à Sa Church est proposée à travers la construction dans les jeux d'une hyperdoctrine de contrôle, structure catégorique adaptée à la logique du second ordre<br>Game semantics is a flexible and precise framework for interpreting programming languages. The present dissertation illustrates this fact in two ways : first by studying polymorphism and its logical counterpart : second-order quantification, and second by caracterising sorne syntactic properties via game models. Polymorphism is first considered in its most usual form, Church- style System F, We propose a new, complete, game model, inspired by previous works but in which we will be able to do effective calculations. The syntactic question of characterising type isomorphisms can then be solved inside this model, by proving the invariance through isomorphism of some structure called hyperforest. This semantic approach allows to retrieve a result by Roberto Di Cosmo, Another variant of second- order logic, namely Curry- style System F, is studied and modellsed, partially but with enough precision to give once again a characterisation of type isomorphisms through a geometric invariant. The corresponding equationnal system is an enrichment of that of Church-style isomorphisms by a news non-trivial, equation. An extension to classical logic of the results for Church-style System F is proposed, through theconstruction of a game model which results in a control hyperdoctrine, ie a categorical structuresuitable for second- order classical logic
4
Clarou, Emmanuel. "Une hiérarchie de forçage pour les tournois indécomposables." Lyon 1, 1996. http://www.theses.fr/1996LYO10171.
Full textAbstract:
Le travail presente dans cette these est une etude structurelle des tournois. Nous nous interessons plus particulierement aux tournois indecomposables pour la somme lexicographique. Les chapitres 1 et 2 sont consacres a la caracterisation de classes de tournois definis en interdisant certains types de sous-structures. Nous regardons ensuite (chapitre 3) l'interet algorithmique des theoremes de structure precedemment obtenus. Nous donnons notamment un algorithme lineaire de test d'isomorphisme pour la classe des tournois sans diamant (tournois a 4 elements possedant un seul 3-cycle). Dans le chapitre 4, nous abordons un autre aspect structurel lie au renversement d'arcs: partant d'un tournoi t indecomposable, nous transformons celui-ci de proche en proche en renversant certains arcs de facon a obtenir un tournoi t' possedant les memes sous tournois a 3 elements que t. Nous trouvons dans cette problematique les travaux de m. C. Golumbic, m. Habib, a. Boussairi et al. Les principaux resultats que nous obtenons sont: 1. L'existence d'une hierarchie sur les arcs d'un tournoi, induite par le forcage des renversements -2. La caracterisation des tournois de hierarchie maximale -3. La caracterisation des tournois minimaux pour la hierarchie d'un arc donne (tournois arc-critiques) et -4. La caracterisation, a l'aide d'une operation de recollement, de la classe des tournois arc-critiques. Ces resultats nous definissent alors des structures sous-jacentes aux tournois indecomposables
5
Kouakou, Konan Mathias. "Isomorphismes entre algèbres d'opérateurs différentiels sur les courbes algébriques affines." Lyon 1, 1994. http://www.theses.fr/1994LYO10350.
Full text
6
Maigrot, Laurent. "Pertubations singulières pour des systèmes elliptiques avec dégénérescence." Reims, 2001. http://www.theses.fr/2001REIMS003.
Full textAbstract:
Cette these etudie un probleme de perturbation singuliere pour un probleme aux limites concernant un operateur de type schrodinger. Ce dernier depend d'un petit parametre strictement positif, et le potentiel, egalement positif, degenere au bord. On observe une couche limite. Dans la premiere partie on introduit des espaces a poids bien adaptes au probleme en dimension n. On peut alors montrer que le probleme admet une solution bien definie dans ces espaces, pour des donnees convenables. On peut donner des formules asymptotiques pour la vraie solution lorsque le petit parametre tend vers 0. Les termes d'erreur sont controles uniformement par rapport au petit parametre. On met en evidence le role de la fonction d'airy. Enfin on donne un encadrement de la plus basse valeur propre grace au principe du min-max. La seconde partie est consacree a l'etude d'un systeme couple. On s'interesse en particulier au cas ou l'un des operateurs est celui de la premiere partie. On cherche une estimation de la plus basse valeur propre. A cause de la couche limite, les valeurs du couplage pres du bord sont determinantes. On obtient plusieurs resultats grace au principe du min-max et a des methodes de perturbation. Enfin on peut ameliorer certains resultats en dimension un grace a l'analyse numerique : on etudie un probleme parabolique par la methode des differences finies, et on en deduit une majoration de la plus basse valeur propre.
7
Chemouil, David. "Types inductifs, isomorphismes et récriture extensionnelle." Toulouse 3, 2004. http://www.theses.fr/2004TOU30187.
Full textAbstract:
Cette thèse étudie l'extension du lambda-calcul simplement typé par diverses relations de récriture préservant la terminaison et la confluence. Il s'agit d'assurer, dans un premier temps, que certains types sont isomorphes. Or le problème est indécidable pour les types inductifs : nous avons donc ajouté au calcul des réductions spécifiques résolvant la question dans certains cas, à savoir le codage des types produits et unité et surtout la notion de copie paramétrée. Délaissant ensuite les isomorphismes, nous considérons de nouvelles réductions permettant d'établir des structures algébriques sur les types finis : nous envisageons d'une part la définition d'une catégorie sur un fragment du calcul ; et, d'autre part, la représentation du groupe symétrique par décomposition des permutations en produits de cycles disjoints. Ces résultats sont obtenus par des techniques de récriture abstraite, dont certaines développées spécifiquement pour la thèse<br>This PhD thesis copes with extensions of the simply-typed lambda-calculus by various rewrite relations preserving termination and confluence. Our first purpose is to ensure that some types become isomorphic. As far as inductive types are concerned, this problem is undecidable: therefore, we added some particular reductions solving it only in peculiar cases, namely the inductive encoding of the product and unit types and, more importantly, the notion of parameterised copy. Next, leaving isomorphims, we consider new reductions enabling to set up some algebraic structures on finite types: firstly, we deal with the definition of a category on a fragment of the calculus; and, secondly, with the representation of the symmetric group by factorisation of permutations as products of disjoint cycles. These results are obtained using techniques from abstract rewriting theory, some of which we have specifically developped for this thesis
8
Dugat, Vincent. "Décomposition de tournois réguliers : théorie et application aux algorithmes de test d'isomorphisme." Toulouse 3, 1990. http://www.theses.fr/1990TOU30139.
Full textAbstract:
Cette these definit un critere permettant de decomposer un tournoi regulier en une partition de sous-structures appelees pseudo-orbites. On en tire un algorithme de decomposition fonctionnant en temps polynomial, et un algorithme de test d'isomorphisme de deux tournois reguliers fonctionnant en temps polynomial en moyenne bien que la complexite maximale soit exponentielle sur des cas defavorables. De plus, nous avons etudie les tournois reguliers defavorables du point de vue de notre algorithme. Nous avons ainsi ete amene a rechercher l'existence et la frequence de tournois sommet-symetriques, et en particulier de tournois dits: presque homogenes. D'autre part, l'etude de la complexite moyenne de l'algorithme d'isomorphisme, nous a conduit a nous poser la question du denombrement des tournois reguliers, pour un nombre de sommets donne, et de la construction d'un certain nombre de ceux-ci. Nous avons donc defini une methode algorithmique de complexite polynomiale permettant de construire des tournois reguliers dont les proprietes ont ete precisees
9
Mullet, Franck. "Contribution à la recherche de structure : application à l'abstraction des circuits électroniques mixtes." Versailles-St Quentin en Yvelines, 1997. http://www.theses.fr/1997VERS0006.
Full textAbstract:
L'objet de ce travail consiste à rechercher toutes les occurrences de structures (électroniques) prédéterminées parmi les composants d'un circuit électroniques (analogique ou numérique), dans le but de faciliter la conception des circuits électroniques mixtes. La recherche de structure électroniques étant toute nouvelle, nous avons commencé par formaliser à l'aide de constructions mathématiques les notions de circuits, de structures et de recherche. Cette formalisation nous permet d'une part de définir sans ambigui͏̈té la recherche de structures électroniques et d'autre part de vérifier l'exhaustivité des algorithmes proposés par la suite. Dans un deuxième temps, nous avons généralisé le formalisme proposeé afin de présenter la recherche de structures électroniques comme la recherche combinée de structures représentant l'aspect composant et de structures représentant l'aspect équipotentielle. Même s'il est plus abstrait, ce formalisme est plus simple à exprimer et à manipuler. De plus, étant plus général, il permet de décrire d'autres problèmes comme la recherche de sous-graphes dans un graphe. Après avoir présenté quelques domaines voisins de notre recherche (dont les systèmes de réécriture de termes), Nous établissons par améliorations successives notre méthode de recherche que nous baptisons recherche par présomption-affinage. Dans un deuxième temps, nous présentons les détails de réalisation de cette méthode et nous prouvons qu'elle est capable de trouver toutes les occurrences recherchées. Pour finir, nous évaluons notre méthode dans le cas particulier des circuits électroniques. Pour des circuits constitués d'amplificateurs opérationnels et d'additionneurs numériques, Les temps de recherche demeurent faibles devant les temps nécessaires à construire la description du circuit en mémoire. Pour des circuits comportant plus d'un millier de broches. Les temps de traitement sont plus qu'encourageant pour une utilisation lors de la conception de circuit
10
Macho-Stadler, Marta. "Isomorphisme de Thom pour les feuilletages presque sans holonomie." Lyon 1, 1996. http://www.theses.fr/1996LYO10094.
Full textAbstract:
A. Connes co3 introduit la notion de c*-algebre associee a un feuilletage (m, f), comme la c*-algebre reduite c*(g) du groupoide d'holonomie g de la variete feuilletee. La k-theorie de l'espace des feuilles du feuilletage, k*(#m/#f), est definie comme la k-theorie analytique de c*(g). Pour calculer cet objet analytique k#*(c*(g)) en termes purement geometriques, a. Connes introduit une k-theorie geometrique adaptee aux feuilletages k*(bg), qui utilise le classifiant du groupoide d'holonomie du feuilletage. Les operateurs elliptiques fournissent une application canonique de k*(bg), dans k#*(c*(g)). La conjecture de baum-connes, dit que cette application est un isomorphisme lorsque les groupes d'holonomie n'ont pas de torsion, ce qui fournirait une interpretation geometrique de k*(#m/#f). Cette conjecture a ete deja verifiee dans des cas simples de feuilletages: feuilletages definis par fibrations co3, feuilletages definis par des actions libres de r#n co2, feuilletages de reeb tor, feuilletages sans holonomie na2 et ma, et dans plusieurs exemples de feuilletages non triviaux. Le but de ce memoire est de verifier cette conjecture pour les feuilletages presque sans holonomie de type fini, de codimension un, sur une variete compacte. La methode utilisee generalise celle de ma pour les feuilletages sans holonomie, et elle reste valable pour d'autres feuilletages verifiant un certain schema en ouverts et fermes
11
Eriksson, Dennis. "Un isomorphisme de Deligne-Riemann-Roch." Paris 11, 2008. http://www.theses.fr/2008PA112190.
Full textAbstract:
Dans cette thèse, nous nous préoccupons essentiellement de deux types de question. Dans un premier temps, nous considérons le principe de Hasse pour les zéro-cycles de degré un sur des courbes définies sur des corps de nombres. Le résultat principal énonce (en supposant que le groupe de Tate-Shafarevich des jacobiennes est fini) que l'on dispose d'un zero-cycle global de degré 1, chaque fois qu'il y a un ensemble local de zéro-cycles de degré un sur un courbe lisse projective définie sur un corps de nombre, formé d'éléments orthogonaux pour l'accouplement de Brauer-Manin d'un sous-quotient conjecturalement fini du groupe de Brauer. Dans un deuxième temps, nous considérons la question posée par P. Deligne de l'existence d'un raffinement fonctoriel de théorèmes de type Riemann-Roch. Ceci revient à décrire des identités de type Riemann-Roch à des Equivalences supérieures près, ie au niveau catégorique proposé par P. Deligne. Nous donnons plusieurs versions axiomatisées d'isomorphismes fonctoriels de type Riemann-Roch et l'outil technique principal provient de la théorie de la A^1-homotopie des schémas due à W. Voevodsky et F. Morel, jointe à un argument de déformation au cône normal assez complexe. Les deux cas les plus importants sont les suivants: 1) une version Fonctorielle du théorème de Thomason-Lefschetz-Riemann-Roch pour les actions de schémas en groupes cyclic diagonalisables 2) une version fonctorielle du théorème d'Adams-Riemann-Roch. Pour finir, on applique le dernier cas à la situation des courbes relatives et on retrouve, à torsion près, le théorème de Riemann-Roch de Deligne ainsi que la formule du conducteur- discriminant de T. Saito<br>In this thesis mainly two sets of questions are dealtwith. The first one considers the Hasse-principle for zero-cycles of degree one on curves over numberfields. The main result states that (assuming finiteness of Sha for Jacobians) wheneverthereis a local set of zero-cycles of degree 1 on a projective smoothcurve over a number field, which are orthogonal under the Brauer-Maninpairing of a conjecturally finitesubquotient of the Brauer group, thereis a global zero-cycle of degree 1. In the second set weturn to a question of P. Deligne concerningmaking the Riemann-Rochtheorem "functorial". This amounts to describing Riemann-Roch-typeidentities up to higherequivalences, i. E. On a categoricallevel as proposed by P. Deligne. Wegivevariousaxiomatized versions of Riemann-Roch type functorialisomorphisms, and the main technicaltoolcomesfrom the A^1-homotopy theory of schemes of V. Voevodsky and F. Morel, togetherwith an extensive deformation to the normal cone argument. Two main cases are treated; 1) a functorial version of homason'sLezschetz-Riemann-Roch for cyclicdiagonalizable group-scheme actions, 2) a functorial version of Adams-Riemann-Roch. Finally, the last case isapplied to the case of relative curves and one recovers, up to torsion, P. Deligne'sfunctorialRiemann-Rochtheorem as well as the conductor-discriminant formula of T. Saito
12
Prié, Yannick. "Modélisation de documents audiovisuels en strates interconnectées par les annotations pour l'exploitation contextuelle." Lyon, INSA, 1999. http://www.theses.fr/1999ISAL0112.
Full textAbstract:
La numérisation et la création numérique de flux audiovisuels permettent leur exploitation dans des systèmes d'information audiovisuels. Cela nécessite une modélisation et une instrumentation des contenus des documents audiovisuels qui en autorise l'accès direct et soit adaptée aux diverses utilisations possibles-: recherche, indexation, navigation, etc. Après une revue des propositions actuelles de modélisation de documents audiovisuels, nous justifions quelques nécessités en vue de leur représentation. Nous proposons de représenter les documents audiovisuels en Strates Interconnectées par les Annotations (Strates-IA), c'est à dire d'<< écrire >> sur le flux à l'aide de termes (éléments d'annotation). Ceux-ci annotent des morceaux de flux (unités audiovisuelles), sont en relation entre eux, et sont instances d'éléments d'annotations abstraits décrits dans un graphe de relations conceptuelles. L'ensemble du système représente alors un graphe de connaissances global dans lequel nous définissons la notion de contexte comme extrémité de chemin contextuel et pour l'exploitation duquel nous décrivons divers outils contextuels basés sur la notion de graphe potentiel. Les graphes potentiels représentent des visées de description de l'utilisateur liées à ses tâches particulières. Ils s'instancient dans le graphe global (recherche d'isomorphismes de sous-graphes partiels) et nous en proposons un algorithme efficace de multi-propagation. Divers outils de plus haut-niveau, fondés sur les graphes potentiels, sont définis pour l'exploitation des Strates-IA. Nous proposons également une modélisation des systèmes documentaires permettant le stockage intelligent de l'expérience sous la forme de cas d'utilisation en vue d'une réutilisation pour l'assistance. Enfin, nous discutons plus généralement les rapports entre documents et connaissances<br>Digitization and digital creation of audiovisual streams now allow their exploitation in audiovisual information systems. It is therefore needed to model audiovisual documents so that random access and all kinds of usages are allowed: search, indexation, navigation. . . After a review of current proposals for modeling audiovisual documents, we set up some necessities for audiovisual representation. We propose to represent audiovisual documents with Annotation Interconnected Strata (AI-Strata), which means << writing >> on the stream with terms (annotation elements). These terms annotate parts of the stream (audiovisual units), are in relation with each other, and are instances of abstract annotation elements that are described in a conceptual relation graph. In fact, the whole system is a global knowledge graph in which we define a notion of context as contextual path extremity. We then describe some contextual, manipulation tools based on the notion of potential graphs. A potential graph represents user's description aim and is directly linked with his task. It instantiates into the global graph (partial sub-graph isomorphism search) and we propose an efficient algorithm for it, based on multi-propagation. We also propose a model of documentary information systems allowing intelligent stocking of use experience as use cases that can be reused for user assistance. Finally, we discuss the relations between documents and knowledge
13
Courchinoux, Roger. "Alliages moléculaires en série trisubstituée du benzène : réflexion sur la syncristallisation organique." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10612.
Full textAbstract:
Apres une premiere partie consacree a la methodologie, dans laquelle le developpement et l'usage d'une methode originale d'etude des signaux d'analyses enthalpiques differentiels sont en particulier decrits, les resultats de la determination de la structure cristalline (desordonnee) du dibromo-1,3 methilbenzene, ainsi que la determination du diagramme d'equilibre entre ce compose et le tribromo-1,3,5 benzene sont donnes. On introduit ensuite la notion de tenseur de deformation compositionnelle (tenseur de rang 2) dont on demontre sur 6 exemples d'alliages moleculaires, l'interet pour leur caracterisation cristallographique fine. La these se conclut par une reflexion sur les criteres pedictifs de syncristallisation organique et sur la notion d'isomorphisme, dessinant ainsi 2 directions ouvertes par ce travail, fondamentales et de valorisation
14
Coscoy, Yann. "Explication textuelle de preuves pour le calcul des constructions inductives." Nice, 2000. http://www.theses.fr/2000NICE5428.
Full textAbstract:
Ce travail concerne la présentation des preuves formalisées dans le calcul des constructions inductives. Le calcul des constructions est un [lambda]-calcul typé introduit par Th. Coquand et G. Huet. Il permet un codage fonctionnel des preuves d'ordre supérieur par l'isomorphisme de Curry-Howard. Nous étudions dans ce manuscrit une variante de ce formalisme étendue par Ch. Paulin et B. Werner. Nous décrivons une fonction réversible traduisant les termes de preuve du formalisme en des textes mathématiques en français. Dans le premier sens, du [lambda]-terme vers la langue naturelle, cette traduction est une présentation de la preuve. Elle comporte une phase de sélection des informations avec organisation du discours puis une phase de verbalisation. Dans l'autre sens, du texte vers le [lambda]-terme, il s'agit d'une validation. Le texte est analysé syntaxiquement puis évalué comme un script de système de preuve. La réversibilité de la fonction de présentation permet de garantir formellement que les démonstrations produites en français sont des preuves formelles. Elles peuvent de fait être validées par un processus automatique
15
Soro, Etienne Tena. "Structures de familles d'isomorphismes locaux et reconstructibilité." Lyon 1, 1997. http://www.theses.fr/1997LYO10295.
Full textAbstract:
Mon travail se situe en theorie des relations et porte sur le theme de la reconstructibilite des multirelations binaires et des relations ternaires. La problematique de la reconstruction remonte a s. Ulam (1954) : soient deux relations r et s de meme base e et verifiant la condition : pour tout x de e les restrictions r et s a e - x sont isomorphes. La question est : r et s sont-elles alors isomorphes. Une reponse affirmative a ete obtenue pour de nombreuses classes de graphes et de relations. Mais la reponse est negative dans le cas general avec notamment des contre-exemples de cardinalite arbitrairement grande dus a p. K. Stockmeyer pour les relations binaires et a m. Pouzet pour les relations d'arite plus grande que 2. Une premiere partie de la these porte sur les multirelations (suite de relations) dont une composante appartient a une classe de tournois rotatifs (t#h). Je montre que ces mutirelations sont reconstructibles des que le nombre d'element de leur base est plus grand que 7. Ceci prolonge les travaux de p. Ille, f. Reverdy-vilotitch et m. Pouzet. L'isomorphisme obtenu entre les multirelations r et s est defini a l'aide des isomorphismes locaux entre t#h et son homologue. J'affine egalement le resultat de f. Reverdy-vilotitch, en determinant la nature des paires de e dans chaque composante de r et s. Dans la deuxieme partie de la these j'etudie la propriete de non reconstructibilite et la notion de forcage d'isomorphismes locaux due a g. Lopez. A partir de l'analyse des contre-exemples de m. Pouzet, je defini les notions d'emboitement et de point critique. Je construis plusieures classes de relations ternaires reconstructibles. Je parviens notamment a exhiber une classe de relations ternaires reconstructibles dont tous les sommets sont critiques.
16
Lacroix, Yves. "Contribution à l'étude des suites de Toeplitz, et numération en produit infini." Aix-Marseille 1, 1992. http://www.theses.fr/1992AIX11031.
Full textAbstract:
La these se divise en deux parties. La premiere donne un critere general d'isomorphisme topologique de flots de toeplitz, et deux applications de ce dernier. La premiere consiste en la construction d'une famille non denombrable de flots de toeplitz, de facteur equicontinu maximal et d'entropie topologique identiques et arbitraires, strictement ergodiques, dont deux quelconques distincts ne sont pas topologiquement isomorphes. La seconde donne un invariant topologique complet pour l'isomorphisme des flots associes aux suites de morse generalisees points fixes de (k,2k) substitutions sur z#2
17
Kleiner, Mathias. "Contribution à l'utilisation de la programmation par contraintes pour la recherche de modèles finis en intelligence artificielle." Aix-Marseille 2, 2007. http://theses.univ-amu.fr.lama.univ-amu.fr/2007AIX22100.pdf.
Full textAbstract:
Cette thèse a pour but d’utiliser la programmation par contraintes, et plus précisément la recherche de modèles finis pour les modèles objets contraints, dans le raisonnement symbolique et la résolution de problèmes d’intelligence artificielle. Au niveau dénotationnel, nous illustrons la puissance expressive du formalisme choisi à travers la description d’un cadre théorique et expérimental pour un challenge moderne: la composition automatique de services web sémantiques. Ce cadre, développé durant le projet Européen DIP et prototypé à l’aide de l’outil JConfigurator d’ILOG, a été intégré au sein de l’architecture du projet et testé sur des scénarios industriels. Au niveau opérationnel, nous décrivons des algorithmes traitant l’explosion combinatoire inhérente aux méthodes énumératives. Nous proposons un algorithme pseudo-linéaire en temps pour la détection de canonicité de graphes orientés acycliques colorés, permettant, au cours de la recherche, de “backtracker” sur des configurations isomorphes. Les résultats théoriques sont appuyés par une série d’expérimentations. Nous proposons également une méthode stochastique, basée sur le comportement simulé d’une colonie de fourmi, qui traite des problèmes originaux posés par la logique du premier-ordre. De nouveau nous présentons des résultats expérimentaux<br>This thesis aims at using constraint programming, and more precisely finite model search for constraint object models, to achieve symbolic reasoning and address artificial intelligence problems. A the denotational level, we illustrate the expressive power of the chosen formalism through the description of a theoretical and experimental framework addressing a very modern challenge: the automatic composition of semantic web services. This framework, developped during the DIP European project and prototyped using ILOG’s tool JConfigurator, has been integrated in the project’s architecture and tested on industrial use cases. At the operational level, we describe algorithms dealing with the inherent combinatorial explosion of enumerative methods. We propose a pseudo-linear time algorithm that approximates colored directed acyclic graphs canonicity detection, allowing early backtrack when generating isomorphic configurations during the search. The theoretical results are backed by a range of experiments. We also propose a stochastic method based on simulated ant colony behaviour which handles original first-order logic issues. There again we present experimental results
18
Nourine, Lhouari. "Quelques propriétés algorithmiques des treillis." Montpellier 2, 1993. http://www.theses.fr/1993MON20097.
Full textAbstract:
Dans ce mémoire, nous étudions quelques propriétés algorithmiques des ensembles ordonnés. En particulier, nous étudions les treillis et les treillis distributifs. Dans la première partie, nous utilisons un théorème de représentation du a Birkhoff 1933 et étudié par Avann 1958 et Monjardet 1974. Nous énonçons un théorème qui donne une partition d'un treillis distributif en sous-treillis distributifs. A partir de cette partition, nous obtenons un algorithme linéaire de reconnaissance, et un algorithme optimal du calcul de la fermeture transitive d'un treillis distributif. En plus, nous en déduisons un algorithme incrémental de génération du treillis des idéaux d'un ordre. Cette partition peut être utilisée pour représenter un treillis distributif par une arborescence appelée arborescence de partition. Cette arborescence de partition occupe un espace linéaire qui est inférieur à celui de la réduction transitive. Elle permet aussi de calculer efficacement les opérations de borne supérieure, borne inférieure, le test de comparabilité et de retrouver d'autres codages d'ordres basés sur la fermeture transitive. Dans la seconde partie, nous considérons le treillis des anti chaînes maximales d'un ensemble ordonné. Nous utilisons une représentation des treillis par des ordres bipartis due à Markowsky 1973 et Reuter 1991. Nous donnons un algorithme polynomial de réduction d'un ordre. Nous donnons ensuite une caractérisation des ordres dont le treillis des anti chaînes maximales est distributif par des ordres admettant une élimination simplicielle. Comme conséquence, le nombre de sauts est polynomial sur cette classe. Le problème de plongement d'un treillis dans un treillis distributif minimal (inclusion) peut se ramener au problème de plongement d'un ordre biparti en un ordre admettant une élimination simplicielle. Nous mettons aussi en évidence quelques objets combinatoires reliés au treillis des anti chaînes maximales tel que l'ordre d'inclusion des ensembles de prédécesseurs et le treillis de Galois
19
Bonnet, Jean-Paul. "Un isomorphisme motivique entre deux variétés homogènes projectives sous l'action d'un groupe de type G2." Lille 1, 2003. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/6a534f30-9098-43a3-8423-d4413bfe78f0.
Full textAbstract:
Dans toute cette thèse, k désigne un corps de caractéristique différente de 2 et par variété nous désignons un k-schêma, séparé et de type fini. Nous allons étudier X(α1) et X(α2), les variétés homogènes projectives associées à chacune des deux racines d'un groupes de type G2. La pemière d'entre elles, X(α1), est une quadrique projective de dimension 5 associée à une voisine de PFISTER et l'autre, X(α2), est une variété de FANO (de genre 10). Ces deux variétés ne sont pas isomorphes, pourtant elles le deviennent en tant qu'objets d'une catégorie plus large, à savoir la catégorie des correspondances (et par conséquent également dans la catégorie des motifs de CHOW). Nous établissons que ce résultat est vrai que les variétés soient déployées ou non. Dans un premier chapitre, nous rappelons quelques résultats classiques sur les algèbres d'octonions et construisons un modèle d'algèbres d'octonions déployée. Dans le second, nous présentons les variétés mises en jeu et rappelons pour cela des notions essentielles de la théorie des groupes algébriques ainsi que de celle des foncteurs de points. Dans le troisième chapitre, nous construisons une structure cellulaire de X(α2) lorsqu'elle est déployée, étape essentielle de notre travail. C'est également dans ce chapitre que nous calculons les relations définissant la structure d'anneau de X(α2). Enfin, dans le quatrième et dernier chapitre, nous introduisons la catégorie des correspondances avant de prouver notre théorème de nilpotence dans le cas particulier de la variété X(α2), puis, nous établissons l'isomorphisme motivique en toute généralité.
20
Chaniol, Jacques. "Les accréditations internationales des écoles de management françaises : déterminations et enjeux en termes de communication et de changement : étude du cas de l'ESCEM." Paris 8, 2012. http://www.theses.fr/2012PA083861.
Full textAbstract:
Le cas de l’ESCEM, à travers son histoire, nous semble particulièrement complet et pertinent pour servir de base à une analyse du développement récent des accréditations dans l’enseignement supérieur de gestion en France. L’idée de cette thèse est de s’interroger sur ce que recouvrent les accréditations pour les concepteurs (fournir de l’information claire et objective) et pour les utilisateurs (utiliser le label sur un marché concurrentiel ou/et comme une démarche de structuration en interne). Il y a donc l’idée d’un écart possible entre la philosophie originelle de l’accréditation et l’exploitation de l’accréditation : ne sommes-nous pas passés de l’idée de la conception basée sur la démarche qualité à l’instrumentalisation du processus comme un outil de communication ? Le projet débute avec cette question centrale que nous allons confronter à des théories existantes (la théorie néo-institutionnelle et de manière complémentaire la théorie de l’acteur stratégique) et à une réalité observée de façon qualitative (celle de l’ESCEM). S’agissant des Ecoles, l’idée sera de démontrer qu’elles sont dans une logique de conquête de marché et de performance. S’agissant des Agences d’accréditation, l’objectif sera de comprendre ce qu’elles sont afin de mieux appréhender leur impact sur les Ecoles de management et de s’interroger sur la possibilité de certifier l’enseignement comme on peut certifier n’importe quel autre service. Nous nous focaliserons finalement sur trois hypothèses que nous discuterons : les accréditations internationales sont un processus structurant pour les Ecoles, elles sont un processus qui standardise les Ecoles et enfin plus qu’un outil d’évaluation, elles sont un outil de communication. L’objectif de notre recherche n’est pas de formaliser des propositions de niveau conceptuel, mais plus de niveau opératoire et de nous interroger s’agissant de démarches qualité dans l’enseignement supérieur sur les résistances, les facteurs accélérant ou freinant, les effets collatéraux, les risques de l’échec versus les avantages du succès, les actions tactiques, etc. …<br>Given its historical background the case of ESCEM school of management presents a good basis for analysis of the role played by the accreditation process in the higher education business school sector in France. We believe that there is a potential mismatch between the original philosophy behind the process as it was first conceived and the use to which it is actually put in reality. For example, could it be that the original driver of quality held out by the accreditation agencies has effectively been supplanted and used instead by business schools as a marketing and communication tool. Before examining this hypothesis in the light of a the neo-institutional theory of business organization and the theory of the strategic actor, we take a look at the past 15 years and demonstrate how business schools have used the accreditation system with particular reference to two agencies involved -AACSB and EQUIS. We then go on to present a description of the qualitative method employed in our research and offer ESCEM as a case study. Finally we make practical management suggestions based around the following 3 hypotheses discussed in the body of our work about international accreditation systems, namely that they are: - Providers of structure for business schools - Agents of standardization in business schools - More of a marketing and communication tool than a system of evaluation. Our aim is to come up with suggestions which can be used in practice and to encourage those involved in the delivery of top quality education, to engage in a constant process of reflection upon the many issues involved. These range from consideration of factors which may act as catalysts or accelerators for change, those which put a brake on change and hamper it and the effect of risk. We provide examples of success and offer tactical measures which can be deployed as well as strategic approaches which might be useful for any establishment which has already embarked on the accreditation process or is about to do so
21
Hourcade, Hugo. "Énumération de motifs temporels." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS079.
Full textAbstract:
Dans le cadre de l'étude des interactions de divers acteurs au sein d'un système, la recherche de schémas comportementaux trouve nombre d'applications. Les graphes temporels qui m'intéressent dans le cadre de cette thèse présentent des tailles d'historiques tau, à savoir le nombre d'instants temporels entre le premier instant t0 et le dernier instant tf pour lesquels G n'est pas vide, de l'ordre de plusieurs millions. Je cherche donc à minimiser l'impact de tau sur les complexités spatiales et temporelles de mes algorithmes. Étant donné Delta un entier naturel, l'énumération de Delta-modules est l'énumération de tous les sous-ensemble de sommets A d'un graphe temporel L(V,E,T) tels que pour tout instant temporel t dans un intervalle de Delta instants consécutifs ou plus, les voisinages instantanés de chaque sommet de A en dehors de A soient égaux. Je présente un algorithme utilisant l'affinage de partition et des structures de données d'arbre rouge-noir pour énumérer les Delta-modules en temps quadratique de tau. L'énumération des Delta-jumeaux, pour lesquels |A|=2 est réalisée en temps logarithmique de tau avec une utilisation mémoire indépendante de tau. Étant donné H(V',E',T') un graphe temporel appelé motif, l'énumération de sous-graphes de L(V,E,T) isomorphes à H est l'énumération de toutes les paires constituées d'un instant temporel t0 de T et d'une bijection f de V' vers un sous-ensemble A de V telles qu'à chaque instant temporel entre t0 et t0+tau', les sommets de H aient exactement le même comportement entre eux à l'instant t que leurs images par f dans L à l'instant t0+t. J'établis un algorithme énumérant les sous-graphes temporels isomorphes en temps linéaire de tau. Après avoir présenté et démontré la correction et les complexités de ces divers algorithmes, je conduis une étude expérimentale afin de confirmer par la pratique le comportement de mes algorithmes<br>In regards to the study of interactions of agents inside a system, the search for behavioural patterns has numerous applications. The temporal graphs I consider in this thesis present history length tau, which is to say the number of temporal instants between the first instant t0 and the last instant tf for which G is not empty, greater than multiple millions. I aim at minimizing the impact of tau on the spacial and temporal complexities of my algorithms Given Delta an intenger, the enumeration of Delta-modules is the enumeration of all vertex subsets A of a temporal graph L(V,E,T) such that for all temporal instant t in an interval of Delta or more consecutive time instants, instantaneous neighbourhoods of each vertex of A outside A are equal. I present an algorithm using partition refinment and red-black tree data structures in order to enumerate Delta-modules in time quadratic in tau. Enumeration of Delta-twins, for which |A|=2 is done in time logarithmic in tau with memory use independant of tau. Given H(V',E',T') a temporal graph called pattern, enumeration of subgraphs of L(V,E,T) isomorphic to H is the enumeration of all pairs formed of a temporal instant t0 of T and a bijection f from V' to a subset A of V such that for each temporal instant between t0 and t0+tau', vertices of H display the exact same behaviour between them at instant t than their images by f in L at time instant t0+t. I present an algorithme enumerating isomorphic temporal subgraphs in time linear of tau. After having presented and demonstrated correction and complexities of said algorithms, I conduct an experimental study in order to confirm behaviour of my algorithms
22
Kim, Kyung-Hye. "Etude des compétences acquises par des élèves coréens concernant la proportionnalité simple." Paris 5, 2001. http://www.theses.fr/2000PA05H080.
Full textAbstract:
Cette recherche expérimentale porte sur les compétences relatives aux connaissances acquises dans l'enseignement de la 'proportionnalité simple' en Corée, à travers la résolution de problèmes. Il s'agit donc d'analyser les résultats obtenus dans ce type de tache, et de dégager la représentation explicite ou implicite sous-jacente aux 'procédures utilisées'. La recherche porte sur 220 sujets de différents niveaux (adultes, 2nde, 4eme, 6eme), et nous étudions le poids respectif de différents modèles, notamment du modèle enseigné en Corée ('a :-b = c : d') et du modèle propose par Vergnaud ('tableau flèche'). Les résultats obtenus montrent que les 'connaissances' et les 'règles', qui s'appuient sur les ressources cognitives des sujets (c'est-à-dire les 'invariants opératoires'), sont inégalement disponibles à chaque niveau d'âge. Cependant dans tous les groupes, les 'propriétés d'isomorphisme' de la fonction linéaire sont plus pertinentes pour la construction du raisonnement proportionnel et la solution du problème, et la procédure dite 'scalaire direct' est prépondérante pour plusieurs questions. La représentation sous la forme de 'tableau flèche' facilite grandement la mise en œuvre de différentes procédures chez les sujets du groupe expérimental de 6eme. Par ailleurs, nous observons des 'représentations différenciées' entre les deux groupes de 6eme. Les différences (inter et intra groupes) sont en relation étroite avec la méthode d'enseignement de la proportionnalité, ainsi qu'avec la maturité intellectuelle des sujets. Nous constatons ainsi les effets du développement cognitif et de la conceptualisation de la proportionnalité au cours de l'adolescence.
23
Hammami, Maroua. "Contributions à la localisation adaptive de zones informatives sur des images de documents." Rouen, 2016. http://www.theses.fr/2016ROUES019.
Full textAbstract:
Nous présentons dans cette thèse nos contributions pour la localisation automatique d’informations dans des images de documents en couleur. Notre objectif est de proposer une solution qui permet de localiser automatiquement une information, préalablement définie par un utilisateur sur un document modèle, dans un flux entrant de documents de la même catégorie. Les documents étant susceptibles de provenir de différentes sources de numérisation dont nous ignorons les caractéristiques, nous proposons de caractériser l’information cible par un positionnement relatif, invariant aux translations et aux changements d’échelle. Le modèle proposé dans ce cadre repose sur un graphe d’adjacence de régions qui décrit l’agencement d’ancres de repérage extraites du document. Le graphe obtenu permet à la fois de décrire l’information recherchée mais aussi la structure du document cible, indépendamment des coordonnées géométriques. Notre seconde contribution est une formulation linéaire en nombres entiers du problème de recherche d’isomorphisme de sous-graphes tolérant aux erreurs. La résolution de cette formulation permet d’extraire le sous-graphe correspondant à l’information recherchée dans le document cible. Enfin, notre troisième contribution concerne l’optimisation des paramètres d’une chaîne de traitement pour améliorer la performance de la localisation de l’information. L’approche proposée, qui repose sur un algorithme évolutionnaire, permet au système de s’adapter automatiquement à la classe de document traitée<br>Our contributions in this thesis are dealing with field spotting in colored document images. Our goal is to end up with a solution that automatically returns the right position of a region of interest (ROI), defined by a user on a reference document, into a flow of documents from the same class. As documents are provided from different and unknown sources, the position of the required information seems to be variable from an instance to another. Hence, absolute positions are considered as weak features to fill this kind of tasks. In this thesis, we propose a system that automatically localizes the information based on a relative position built with an adjacency graph. Our solution is divided into 3 modules: the first one is dedicated to turning the image into an adjacency graph built with immutable informative zones. This structure, independent of coordinates, is used to describe the position of the ROI as well as the structure of the target document. Our second contribution is related to the subgraph isomorphism tolerant to topology distortions. Our goal is to operationnalize the structure representation proposed above in order to get the best matching between the graph describing the ROI and a subgraph from the target graph describing the document layout. In the last module, we focus on an optimization problem and we propose a solution leading to evolve performances of our system by optimizing the parameters of the process line. Our technique is based on an evolutionary system and is able to be automatically adapted to the processed document class
24
Gerber, Thomas. "Matrices de décomposition des algèbres d'Ariki-Koike et isomorphismes de cristaux dans les espaces de Fock." Phd thesis, Université François Rabelais - Tours, 2014. http://tel.archives-ouvertes.fr/tel-01057480.
Full textAbstract:
Cette thèse est consacrée à l'étude des représentations modulaires des algèbres d'Ariki-Koike, et des liens avec la théorie des cristaux et des bases canoniques de Kashiwara via le théorème de catégorification d'Ariki. Dans un premier temps, on étudie, grâce à des outils combinatoires, les matrices de décomposition de ces algèbres en généralisant les travaux de Geck et Jacon. On classifie entièrement les cas d'existence et de non-existence d'ensembles basiques, en construisant explicitement ces ensembles lorsqu'ils existent. On explicite ensuite les isomorphismes de cristaux pour les représentations de Fock de l'algèbre affine quantique de type A affine. On construit alors un isomorphisme particulier, dit canonique, qui permet entre autres une caractérisation non-récursive de n'importe quelle composante connexe du cristal. On souligne également les liens avec la combinatoire des mots sous-jacente à la structure cristalline des espaces de Fock, en décrivant notamment un analogue de la correspondance de Robinson-Schensted-Knuth pour le type A affine.
25
Carletti, Vincenzo. "Exact and inexact methods for graph Similarity in structural pattern recognition." Caen, 2016. http://www.theses.fr/2016CAEN2004.
Full textAbstract:
Les graphes sont utilisés dans de nombreux domaines applicatifs tels que la biologie, les réseaux sociaux, les bases de données,. . . Les graphes permettentt de décrire un ensemble d'objets ainsi que leurs relations. L'analyse de ces objets réclame souvent de mesurer la similarité entre les graphes. Toutefois, en raison de son aspect combinatoire, ce problème est NP complet et estt généralement résolu en utilisant différentes heuristiques. Dans cette thèse nous avons exploré deux approches pour calculer la similarité entre graphes. La première est basé sur l'appariement exact. Nous avons conçu l'algorithme VF3 qui recherche des motifs dans les graphes. La seconde approche est basée sur un appariement inexact qui calcule une approximation efficace de la distance d'édition entre graphes en la modélisant comme un problème de minimisation quadratique<br>Graphs are widely employed in many application fields, such as biology, chemistry, social networks, databases and so on. Graphs allow to describe a set of objects together with their relationships. Analyzing these data often requires to measure the similarity between two graphs. Unfortunately, due to its combinatorial nature, this is a NP-Complete problem generally addressed using different kind of heuristics. In this Thesis we have explored two approaches to compute the similarity between graphs. The former is based on the exact graph matching approach. We have designed, VF3, an algorithm aimed to search for pattern structures within graphs. While, the second approach is an inexact graph matching method which aims to compute an efficient approximation of the Graph Edit Distance (GED) as a Quadratic Assignment Problem (QAP)
26
Jain, Sonal. "Les stratégies organisationnelles de lutte contre la corruption." Thesis, Nantes, 2020. http://www.theses.fr/2020NANT3008.
Full textAbstract:
Définie comme le détournement de pouvoir à des fins personnelles / organisationnelles, la corruption est un phénomène mondial qui existe depuis des siècles. Malgré ses conséquences négatives et sa longue histoire, la recherche sur la corruption n'a commencé que dans les années 90. Dans la littérature en management, le thème de la lutte contre la corruption a été pendant longtemps largement ignoré. Ce manque d'intérêt a motivé cette thèse de doctorat sur la lutte contre la corruption, divisée en trois chapitres. Le chapitre 1 est une revue systématique de la littérature, qui analyse les méthodes empiriques et les tendances théoriques dans le domaine de la corruption sur 31 ans. Nous avons ainsi réalisé la première analyse méthodologique sur le sujet de la corruption dans le champ du management. Notre travail montre que la recherche actuelle manque d’études qualitatives, de données primaires, d’analyses longitudinales et d’enquêtes au niveau organisationnel. Ces lacunes sont traitées dans les chapitres 2 et 3 en mobilisant la théorie institutionnelle. Le chapitre 2 se concentre sur le sujet de l’anti-corruption dans les entreprises en s’intéressant aux codes de conduite des 40 grandes entreprises françaises du CAC40 avant et après la mise en oeuvre d’un nouvelle loi anti-corruption en 2016 en France. Il apparaît que les entreprises ont sophistiqué leurs politiques anti-corruptions, à en juger par la transformation de leur code de conduite après la transformation du cadre légal français. Nous avons ainsi démontré que des mécanismes isomorphes coercitifs et normatifs jouent un rôle dans le renforcement des efforts de lutte contre la corruption. Le chapitre 3 est basé sur une recherche qualitative empirique auprès de 34 Petites et Moyennes Entreprises (PME) françaises sur leurs pratiques anti-corruption. Pour accroître leur légitimité auprès des parties prenantes, les PME adoptent différentes stratégies, qui peuvent être réparties entre stratégies de nature substantielle et symbolique. Subissant différentes formes de pressions institutionnelles, les PME étudiées n’avaient pas les ressources nécessaires (argent, expertise, main-d'oeuvre) pour se conformer aux exigences anti-corruption. Face à cette situation, la principale réponse des PME aux pressions institutionnelles des grandes entreprises semble être l'évitement par rapport aux pratiques anti-corruptions. En effet, pour maintenir leurs relations commerciales et compte tenu d’un déséquilibre de pouvoir en faveur des grandes entreprises, les PME ont utilisé de manière instrumentale les pratiques anti-corruption pour gagner en légitimité<br>Defined as the misuse of authority for personal / organizational gain, corruption is a global phenomenon that has existed for centuries. However, despite its negative consequences and a long history, research into corruption only started in the 1990s. In business literature, the topic of anti-corruption is largely ignored. The lack of interest has driven this doctoral dissertation about the fight against corruption, divided into three chapters. Chapter 1 covers the systematic literature review, which analyzes the empirical methods and theoretical trends in the field of corruption over 31 years. The result reveals that current research is deficient in a qualitative study, primary data, longitudinal analysis, and organizational level investigation. These gaps are addressed in Chapters 2 and 3 using institutional theory. Chapter 2 advances the literature in the anti-corruption disclosure area by examining codes of conduct disclosure of 40 French companies before and after implementing anti-corruption law in France. The result shows that companies disclose higher levels of anti-corruption disclosures in the mandatory period than in the voluntary period. Coercive and normative isomorphic mechanisms play a role in strengthening anti-corruption efforts. Chapter 3 is based on empirical qualitative research of 34 French small and medium-sized enterprises (SMEs), looking at their anti-corruption practices. To increase their legitimacy, SMEs have different strategies, which can be divided between substantial and symbolic strategies. SMEs face various and diverse institutional pressures. They lack the necessary resources (money, expertise, human work force) to comply with anti-corruption requirements. The main response of SMEs to institutional pressures of large firms appears to be avoidance in relation to anti-corruption practices. The result reveals the instrumental use of anti-corruption practices by SMEs, specifically to gain legitimacy
27
Deplagne, Eric. "Système de preuve modulo récurrence." Nancy 1, 2002. http://docnum.univ-lorraine.fr/public/SCD_T_2002_0240_DEPLAGNE.pdf.
Full textAbstract:
Les méthodes et systèmes de preuve par récurrence sont très diverses. Les méthodes les plus générales sont difficiles à automatiser. Les systèmes automatiques parfois difficiles à justifier. Cette thèse établit au niveau des preuves un lien entre récurrence noethérienne et récurrence par réécriture, ce qui permettra la coopération de systèmes dans un mode sceptique où la preuve est vérifiée grâce à l'isomorphisme de Curry-Howard. Le formalisme de la déduction modulo est étendu au traitement de congruences conditionnelles dont l'évaluation tient compte du contexte. De plus, l'ordre de récurrence qui ne peut pas être compatible avec la congruence, est rendu protecteur, c'est-à-dire qu'il bloque l'application de la congruence. La preuve par récurrence par réécriture est vue comme le résultat de l'internalisation en déduction modulo des hypothèses de récurrence, ce qui permet d'expliquer certains comportements de la méthode de récurrence par réécriture<br>Methods and systems for proof by induction are very different. The most general methods are difficult to automatize. Automated systems are sometimes difficult to justify. This thesis establishes at proof level a link between noetherian induction and induction bt rewriting, which will enable systems to cooperate in a skeptical mode in which the proof is verified thanks to the Curry-Howard isomorphism. The formalism of deduction modulo is extended to conditional congruences which are evaluated with respect to a context. Moreover,the induction ordering, which cannot be compatible with the congruence, is made protective, which means that it blocks the application of the congruence. Proof by induction by rewriting is seen as the result of the internalization of induction hypotheses in deduction modulo, which enables to explain some of the behavior of the induction by rewriting method
28
Bordat, Jean-Paul. "Sur l'algorithmique combinatoire d'ordres finis." Montpellier 2, 1992. http://www.theses.fr/1992MON20060.
Full textAbstract:
Cet ouvrage propose tout d'abord des algorithmes de resolution de problemes polynomiaux (calcul de la fermeture et de la reduction transitives, reconnaissance) sur les classes d'ordre classiques: ordres gradues, semi-modulaires, treillis distributifs, ce qui permet dans une deuxieme phase d'aborder des problemes plus difficieles (calcul du nombre de sauts, de la dimension, isomorphisme), et de resoudre efficacement ces derniers sur la classe des ordres decomposables en ordres de largeur bornee
29
Guinaldo, Olivier. "Etude d'un gestionnaire d'ensembles de graphes conceptuels." Montpellier 2, 1996. http://www.theses.fr/1996MON20189.
Full textAbstract:
Depuis sa presentation par j. F. Sowa en 1984, le modele des graphes conceptuels n'a cesse d'interesser un nombre croissant d'equipes de recherche, qui l'etudient formellement ou qui l'utilisent dans des cadres divers, comme les sciences medicales, les bases de donnees ou le traitement automatique de langue naturelle. Cependant, comme tout modele de representation de connaissances, il est confronte a la gestion de la connaissance des que celle-ci devient importante. Dans cette optique, le travail presente porte essentiellement sur les problemes theoriques lies a la gestion de grands ensembles de graphes conceptuels quelconques. Les graphes conceptuels etant munis d'une relation d'ordre (la relation de specialisation) calculee par l'operation de projection (operation liee au probleme np-complet de l'existence d'un morphisme entre deux graphes), les techniques de gestion etudiees s'inscrivent dans le cadre general de la gestion d'ensembles ordonnes, et s'appuient sur des algorithmes efficaces de projection et d'isomorphisme de graphes conceptuels. Nous mettons en uvre ces techniques dans l'elaboration d'un premier gestionnaire de bases de graphes conceptuels stockees en memoire secondaire, totalement integre a la plate-forme logicielle cogito (une boite a outils pour les graphes conceptuels). Dans un deuxieme temps, nous presentons le systeme rap: un systeme d'interrogation de connaissances exprimees en termes de graphes conceptuels, fonde sur les fonctionnalites offertes par le gestionnaire precedent
30
Guy, Jean-Pierre. "Groupes isomorphes au groupe de multiplication d'un quasigroupe." Toulouse 3, 1993. http://www.theses.fr/1993TOU30015.
Full textAbstract:
Probleme: soit g un groupe abstrait, est-il possible de construire un quasigroupe dont le groupe de multiplication est isomorphe a g? une reponse negative sera apportee pour les groupes hamiltoniens, de heineken-mohamed, des quaternions generalises et dicycliques d'ordre 4n. Une reponse positive sera apportee pour les groupes symetriques, alternes, diedraux, les groupes de mathieu de degre 11, 12 et 23, les groupes lineaires generaux et projectifs lineaires, certains p-groupes (semi-diedraux,. . . ), les groupes de coxeter de type bn. Le probleme pose pouvant se ramener a l'etude des groupes de multiplication de boucles, l'auteur construira des boucles commutatives, a l'aide de leurs translations a gauche, dont le groupe de multiplication est isomorphe soit au groupe (4,4|2,,2n+1) de degre 4n+2, soit au groupe (2,4,4;n+1) de degre 4n+4. Nous montrerons que certains d'entre eux sont transitifs minimaux, i. E. Sans sous groupe propre transitif. D'autre part, une boucle commutative dont le groupe de multiplication est isomorphe au p-sous groupe de sylow du groupe symetrique d'ordre p#2 sera construite par l'intermediaire de sa table de multiplication. Enfin, il sera montre que si les groupes abeliens, de fischer decentres, alternes sont representables en groupe de multiplication d'une boucle, une telle representation n'existe pas pour les groupes diedraux, les groupes de frobenius, les groupes de permutations dont le stabilisateur d'un element est de cardinal 1, 2 ou 3
31
Nabti, Chems Eddine. "Subgraph Isomorphism Search In Massive Graph Data." Thesis, Lyon, 2017. http://www.theses.fr/2017LYSE1293/document.
Full textAbstract:
L'interrogation de graphes de données est un problème fondamental qui connait un grand intérêt, en particulier pour les données structurées massives où les graphes constituent une alternative prometteuse aux bases de données relationnelles pour la modélisation des grandes masses de données. Cependant, l'interrogation des graphes de données est différente et plus complexe que l'interrogation des données relationnelles à base de tables. La tâche principale impliquée dans l'interrogation de graphes de données est la recherche d'isomorphisme de sous-graphes qui est un problème NP-complet.La recherche d'isomorphisme de sous-graphes est un problème très important impliqué dans divers domaines comme la reconnaissance de formes, l'analyse des réseaux sociaux, la biologie, etc. Il consiste à énumérer les sous-graphes d'un graphe de données qui correspondent à un graphe requête. Les solutions les plus connues de ce problème sont basées sur le retour arrière (backtracking). Elles explorent un grand espace de recherche, ce qui entraîne un coût de traitement élevé, notamment dans le cas de données massives.Pour réduire le temps et la complexité en espace mémoire dans la recherche d'isomorphisme de sous-graphes, nous proposons d'utiliser des graphes compressés. Dans notre approche, la recherche d'isomorphisme de sous-graphes est réalisée sur une représentation compressée des graphes sans les décompresser. La compression des graphes s'effectue en regroupant les sommets en super-sommets. Ce concept est connu dans la théorie des graphes par la décomposition modulaire. Il sert à générer une représentation en arbre d'un graphe qui met en évidence des groupes de sommets qui ont les mêmes voisins. Avec cette compression, nous obtenons une réduction substantielle de l'espace de recherche et par conséquent, une économie significative dans le temps de traitement.Nous proposons également une nouvelle représentation des sommets du graphe, qui simplifie le filtrage de l'espace de recherche. Ce nouveau mécanisme appelé compact neighborhood Index (CNI) encode l'information de voisinage autour d'un sommet en un seul entier. Cet encodage du voisinage réduit la complexité du temps de filtrage de cubique à quadratique. Ce qui est considérable pour les données massifs.Nous proposons également un algorithme de filtrage itératif qui repose sur les caractéristiques des CNIs pour assurer un élagage global de l'espace de recherche.Nous avons évalué nos approches sur plusieurs datasets et nous les avons comparées avec les algorithmes de l’état de l’art<br>Querying graph data is a fundamental problem that witnesses an increasing interest especially for massive structured data where graphs come as a promising alternative to relational databases for big data modeling. However, querying graph data is different and more complex than querying relational table-based data. The main task involved in querying graph data is subgraph isomorphism search which is an NP-complete problem. Subgraph isomorphism search, is an important problem which is involved in various domains such as pattern recognition, social network analysis, biology, etc. It consists to enumerate the subgraphs of a data graph that match a query graph. The most known solutions of this problem are backtracking-based. They explore a large search space which results in a high computational cost when we deal with massive graph data. To reduce time and memory space complexity of subgraph isomorphism search. We propose to use compressed graphs. In our approach, subgraph isomorphism search is achieved on compressed representations of graphs without decompressing them. Graph compression is performed by grouping vertices into super vertices. This concept is known, in graph theory, as modular decomposition. It is used to generate a tree representation of a graph that highlights groups of vertices that have the same neighbors. With this compression we obtain a substantial reduction of the search space and consequently a significant saving in the processing time. We also propose a novel encoding of vertices that simplifies the filtering of the search space. This new mechanism is called compact neighborhood Index (CNI). A CNI distills all the information around a vertex in a single integer. This simple neighborhood encoding reduces the time complexity of vertex filtering from cubic to quadratic which is considerable for big graphs. We propose also an iterative local global filtering algorithm that relies on the characteristics of CNIs to ensure a global pruning of the search space.We evaluated our approaches on several real-word datasets and compared them with the state of the art algorithms
32
Clément, Évelyne. "La représentation de l'action : l'interprétation des consignes dans des problèmes isomorphes." Paris 8, 1994. http://www.theses.fr/1994PA080844.
Full textAbstract:
L'etude des isomorphes de la tour de hanoi (simon et kotovsky, 1985; kotovsky et simon, 1989) a montre de grandes differences de difficulte entre les differentes versions. Les resultats suggerent que la difficulte majeure des problemes a transformation d'etat reside dans la comprehension de l'operateur exprimes dans les enonces. Notre hypothese est que la comprehension est facile dans les problemes de deplacement etudies, parce que les connaissances que l'on a sur le deplacement sont compatibles avec le point de vue pertinent sur l'action qu'il faut adopter pour resoudre ce type de probleme. En effet, toute action peut etre envisagee selon deux points de vue: i) celui du changement d'etat, ou l'on envisage le changement de l'objet, avant et apres transformation; ii) celui de la transformation ou c'est le processus continu du changement qui est pris en compte. Dans les problemes de transformation d'etat tel que la tour de hanoi et ses isomorphes, c'est le point de vue du changement d'etat qui est pertinent pour resoudre le probleme, parce que les deux regles de la consigne sont les conditions pour appliquer l'operateur: on doit pour cela envisager l'action du deplacement comme enlever un objet d'une place, puis le poser a une autre place. Dans les problemes de changement, on doit envisager le changement, comme enlever l'etat present de l'objet puis donner un nouvel etat a cet objet. Cette representation du changement est incompatible avec celle qui resulte de l'experience empirique que l'on a sur le changement de taille des choses ou des individus. Pour tester cette hypothese, nous avons utilise des versions de deplacement et de changement dans lesquelles les contextes semantiques mettent l'accent sur le point de vue du changement d'etat, ou sur celui de la transformation. Les resultats des differentes experiences presentees ici montrent que la source principale de difficulte d'un probleme n'est pas tant la nature de l'operateur mais le point de vue adopte sur cet operateur. On a montre ainsi que l'on pouvait rendre un probleme de deplacement difficile a resoudre si le contexte met l'accent sur le point de vue inadequat, et un probleme de changement plus facile a resoudre, si le point de vue adequat sur l'action est mis en relief dans le contexte semantique de l'enonce
33
Picard, Marchetto Aymeric. "Isomorphisme de réseaux d'automates et son influence sur le graphe d'interaction." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4034.
Full textAbstract:
Un réseau d'automates à n composantes sur un alphabet fini Q est un système dynamique discret décrit par l'itération successive d'une fonction f : Qⁿ → Qⁿ. Dans la plupart des utilisations de ces réseaux, un paramètre important est le graphe d'interaction : un graphe sur les sommets de 1 à n ayant un arc de i vers j si f_ ј(x) dépend de x_i. Ce graphe d'interaction est en général plus facile à déterminer que la dynamique du réseau en elle-même, d'où découle une question importante : qu'est-ce que le graphe d'interaction nous apprend sur la dynamique du réseau ? Pour tenter de trouver des limites à cette question, on se pose ici la question inverse : que nous dit la dynamique sur le graphe d'interaction ? Pour cela, on étudie les réseaux à isomorphisme près. L'isomorphisme préserve la plupart des propriétés étudiées, mais ne préserve pas le graphe d'interaction. On va donc étudier G(f), l'ensemble des graphes d'interaction des réseaux isomorphes à f. On prouve notamment que K_n, le graphe d'interaction ayant tous les arcs, se trouve toujours dans G(f), qu'il est le seul à avoir cette propriété. Cela signifie que si K_n est le graphe d'interaction de f, il ne donne aucune information sur f à isomorphisme près. Réciproquement, on montre qu'il existe des réseaux f qui ne donnent aucune information sur leur graphe d'interaction : G(f) contient tous les graphes, sauf le graphe vide. Enfin, on étudie également l'impact de l'isomorphisme sur la dynamique asynchrone. On montre que celui-ci ne préserve que très peu de propriétés de ces dynamiques, hormis le nombre de points fixes<br>An automata network with n components on a finite alphabet Q is a discrete dynamical system described by successives iterations of a function f : Qⁿ → Qⁿ. An important parameter in most applications is the interaction graph: a graph with vertices from 1 to n and with an arc from i to j if f_j(x) depends on x_i. In general, this interaction graph is easier to approximate than the network's actual dynamic. This raises an important question: what does the interaction graph tell us about the network's dynamic? In an attempt to find limits to this question, we study the inverse: what does the network's dynamic tell us about its interaction graph? To this end, we study networks up to isomorphism. Isomorphism preserves most studied properties, but does not preserve the interaction graph. We will thus study G(f), the set of interaction graphs of all networks isomorphic to f. Notably, we prove that K_n, the interaction graph with all arcs, is always in G(f), and it's the only graph with this property. This means if K_n is the interaction graph of f, then it gives no information on f up to isomorphism. Inversely, we show there are networks f that give no information on their interaction graph: G(f) contains all graphs, except the empty one. Finally, we also study the impact of isomorphism on asynchronous dynamics. We show that it preserves very little properties of those dynamics, except the number of fixed points
34
Wen, Erzhuang. "Contribution à l'étude des codes correcteurs et des corps finis." Toulouse 3, 1994. http://www.theses.fr/1994TOU30255.
Full textAbstract:
Dans cette these nous presentons des resultats obtenus de nos etudes des codes correcteurs et des corps finis. Nous donnons notre construction explicite d'un isomorphisme entre les deux formes de representation de la decomposition de l'anneau gf(q)x#1,,x#n/(t#1(x#1),,t#n(x#n)). Cette construction est valable dans le cas modulaire comme dans le cas semi-simple. Nous presentons notre algorithme de deduction de bases de grobner reduite de certains ideaux de gf(q)z#1,,z#n/(z#m#1#1,,z#m#n#n). Cet algorithme peut etre utile pour la construction de codes correcteurs dans gf(q)x#1,,x#n/(t#1(x#1),,t#n(x#n)). Enfin nous donnons notre construction de bases normales trace-orthonormees pour un corps de caracteristique impaire. Ceci complete la construction de a. Poli qui est pour un corps de caracteristique 2 et qui ne s'applique pas dans le cas des caracteristiques impaires. En plus de notre construction nous proposons aussi une methode de deduction de bases normales trace-orthonormees a partir de bases connues. Cette methode de deduction ne depend pas de la caracteristique du corps concerne
35
Chabbabi, Fadil. "Les applications qui commutent avec la transformation de Aluthge." Thesis, Lille 1, 2017. http://www.theses.fr/2017LIL10062/document.
Full textAbstract:
Cette thèse se situe dans le cadre de l'analyse fonctionnelle et plus précisément dans le domaine de la théorie des opérateurs dans des espaces de Hilbert. Elle consiste à étudier les applications bijectives entre des algèbres d'opérateurs, qui commutent avec la transformation de Aluthge. Dans la première partie, nous allons étudier la transformation de Aluthge, qui joue un rôle important en théorie des opérateurs. Nous allons démontrer plusieurs résultats intéressants sur cette transformation. Ces résultats seront utilisés dans la suite de ce travail. Dans la deuxième partie, nous étudierons les bijections additives qui commutent avec la transformation de Aluthge. Nous donnerons également une forme complète des applications ω-additive qui commutent avec cette transformation. Ensuite, nous considérons les applications qui commutent avec la transformation de Aluthge sous le produit usuel et le produit de Jordan. Nous démontrerons que ces applications ont une forme simple. Dans la dernière partie, nous donnerons plusieurs expressions du rayon spectral via la transformation λ-Aluthge et ses itérées<br>Our aim in this thesis in function analysis is to study the bijective maps between the algebras of linear and bounded operators, which commute with the Aluthge transform in different way. In the first part, we study the Aluthge transformation which play an crucial role on operator theory in the recent years. We will establish some useful results and properties of the λ-Aluthge transform. These results are required to prove our main theorems in the next chapters. In the second part, we study the bijective and additive maps which commute with the λ-Aluthge transform. We also give a description of ω-additive commuting maps with this transformation. In the last part, we consider the problem of commuting maps with the λ-Aluthge transform, under the usual product and Jordan product, we show that these maps are a simple form. Finally, we give several expressions of the spectral radius via the λ-Aluthge transform and its iterates
36
Alam, Ihab Al. "Géométrie des espaces de Müntz et opérateurs de composition à poids." Thesis, Lille 1, 2008. http://www.theses.fr/2008LIL10068/document.
Full textAbstract:
L'objet de cette thèse de doctorat est d'étudier quelques aspects géométriques des espaces de Müntz (M'A et M~) dans C([O,l]) et LP([O,l]), 1 ::; p < 00. Ce travail comporte quatre chapitres. Le premier chapitre est consacré aux préliminaires. Dans le deuxième chapitre, nous démontrerons plusieurs propriétés élémentaires des espaces de Müntz, ces propriétés expliquent la nature géométrique de ces espaces. On s'intéresse aussi à une nouvelle généralisation des espaces de Müntz en considérant les polynômes de Müntz à coefficients dans un Banach quelconque X. Dans le troisième chapitre, On construit un espace de Müntz n'ayant pas de complément dans LI ([0,1]). Comme application de ce travail, on retrouve certains résultats qui ont était récemment obtenus dans le livre de Vladimir I.Gurariy et Wolfgang Lusky, mais avec une méthode complètement différente. On donne aussi une base de Schauder explicite équivalente à la base canonique dans gl pour certains espaces de Müntz MX, avec A une suite non lacunaire. Dans une deuxième partie de ce chapitre, on étudie le cas LP([O, 1]), 1 ::; p < 00, nous verrons que certains phénomènes passent du cas p = 1 au cas p quelconque. Enfin, dans un quatrième chapitre on étudie les opérateurs de composition à poids sur les espaces de Müntz classiques. Notre résultat principal donne une estimation précise de la norme essentielle de cet opérateur agissant sur M'A en termes de valeur de cp et '!/J. Dans la deuxième partie de ce chapitre on étudie les opérateurs de composition à poids, définis sur les espaces de Müntz MX dans LI<br>The main subject of this PHD thesis is the study of sorne geometric aspects of Müntz spaces (M'A and M~) in C([O, 1]) and LP([O, 1]),1 ::; p < 00. This work is composed offour chapters. The first chapter is devoted to preliminary. ln the second chapter, we prove sever al basic properties of Müntz spaces, these properties explain the geometric nature of these spaces. There is also a new generalization of Müntz spaces by considering the Müntz polynomials with coefficient in any Banach space X. The aim of the third one is to construct a Müntz space having no complement in LI ([0,1]). As an application of this work, we obtain sorne results that were recently obtained in the monograph of Vladimir I. Gurariy and Wolfgang Lusky, but with a method completely different. We also provide an explicit Schauder basis equivalent to the canonical base in gl for sorne Müntz spaces MX, with A not lacunary. ln a second part of this chapter, we study the case LP([O, 1]), 1 ::; p < 00, we will see that sorne phenomena still true in the case 1 < p < 00. Finally, in the fourth chapter, we discuss the problem of compactness for weighted composition operators T'ljJoC
37
Samy, Modeliar Mouny. "Graphes et contraintes." Thesis, Artois, 2017. http://www.theses.fr/2017ARTO0402/document.
Full textAbstract:
Cette thèse propose une approche de filtrage originale, SND en abrégé pour Scoring-based Neighborhood Dominance, pour le problème d’isomorphisme de sous- graphe. En raisonnant sur des propriétés de dominance entre sommets basées sur diverses fonctions de score et de voisinage, SND apparait comme un puissant mécanisme de filtrage. Une spécialisation de SND est étudiée, elle est basée sur le nombre de chemins de longueur k comme fonction de score ainsi que trois manières de considérer le voisinage. Avec cette spécialisation, il est montré que SND est plus puissant que LAD et incomparable à SAC (Singleton Arc Consistency). L'étude expérimentale montre que SND atteint dans la plupart des cas les mêmes performances en terme de filtrage que SAC tout en étant plus rapide de plusieurs ordres de grandeurs. Cela permet de résoudre le problème d’isomorphisme de sous-graphe en étant beaucoup plus efficace que MAC et légèrement meilleur que LAD.Un solveur de contraintes est également proposé ainsi qu'une optimisation du processus de propagation de MAC<br>This thesis presents anoriginal filtering approach, called SND(Scoring- based Neighborhood Dominance), for the subgraph isomorphism problem. By reasoning on vertex dominance properties based on various scoring and neigh- borhood functions, SND appears to be a filtering mechanism of strong inference potential. For example, the recently proposed method LAD is a particular case of SND. A specialization is studied of SND : by considering the number of k-length paths in graphs and three ways of relating sets of vertices. With this specialization, we prove that SND is stronger than LAD and incomparable to SAC (Single- ton Arc Consistency). Our experimental results show that SND achieves most of the time the same filtering performances as SAC (while being several orders of magnitude faster), which allows one to find subisomorphism functions far more efficiently than MAC, while slightly outperforming LAD
38
Michel, David. "Systèmes formels et systèmes fonctionnels pédagogiques." Thesis, Metz, 2008. http://www.theses.fr/2008METZ024S/document.
Full textAbstract:
Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation naturelle contraints de la manière suivante : toutes les hypothèses posées dans une démonstration doivent être motivées par un exemple. Ces systèmes sont par essence sans négation. Nous étudions les systèmes propositionnels pédagogiques du premier ordre, du second ordre et plus généralement tous les systèmes d'ordre supérieur. Nous présentons, quand cela est possible, le lamda-calcul associé à chaque système via l'isomorphisme de Curry-Howard ; la contrainte pédagogique y fait apparaître une nouvelle propriété que nous appelons l'utilité: un lamda-terme typé est utile quand son contenu algorithmique peut être utilisé<br>The present thesis introduces the notion of pedagogical systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by an example. These systems are in essence negationless. We study _rst order, second order and higher order pedagogical propositional systems. We present when it is possible the _-calculi associated to these systems; the pedagogical constraint introduces a new notion we call usefulness: a _-term is usefull when it's algorithmic content can be used
39
Bloyet, Nicolas. "Caractérisation et plongement de sous-graphes colorés : application à la construction de modèles structures à activité (QSAR)." Thesis, Lorient, 2019. http://www.theses.fr/2019LORIS546.
Full textAbstract:
Dans le domaine de la chimie, il est intéressant de pouvoir estimer des propriétés physico- chimiques de molécules, notamment pour des applications industrielles. Celles-ci sont difficiles à estimer par simulations physique, présentant une complexité temporelle prohibitive. L'émergence des données (publiques ou privées) ouvre toutefois de nouvelles perspectives pour le traitement de ces problèmes par des méthodes statistiques et d'apprentissage automatique. La principale difficulté réside dans la caractérisation des molécules : celles-ci s'apparentent davantage à un réseau d'atomes (autrement dit un graphe coloré) qu'à un vecteur. Or, les méthodes de modélisation statistiques traitent usuellement avec des observations encodées comme telles, d'où la nécessité de méthodes spécifiques, nommées relations structures-activité, traitant des observations encodées sous forme de graphes. Le but de cette thèse est de tirer parti des corpus publics pour apprendre les meilleures représentations possibles de ces structures, et de transférer cette connaissance globale vers des jeux de données plus restreints. Nous nous inspirons pour ce faire de méthodes utilisées en traitement automatique des langages naturels. Pour les mettre en œuvre, des travaux d'ordre plus théorique ont été nécessaires, notamment sur le problème d'isomorphisme de graphes. Les résultats obtenus sur des tâches de classification/régression sont au moins compétitifs avec l'état de l'art, voire meilleurs, en particulier sur des jeux de données restreints, attestant des possibilités d'apprentissage par transfert sur ce domaine<br>In the field of chemistry, it is interesting to be able to estimate the physicochemical properties of molecules, especially for industrial applications. These are difficult to estimate by physical simulations, as their implementation often present prohibitive time complexity. However, the emergence of data (public or private) opens new perspectives for the treatment of these problems by statistical methods and machine learning. The main difficulty lies in the characterization of molecules: these are more like a network of atoms (in other words a colored graph) than a vector. Unfortunately, statistical modeling methods usually deal with observations encoded as such, hence the need for specific methods able to deal with graphs- encoded observations, called structure-activity relationships. The aim of this thesis is to take advantage of public corpora to learn the best possible representations of these structures, and to transfer this global knowledge to smaller datasets. We adapted methods used in automatic processing of natural languages to achieve this goal. To implement them, more theoretical work was needed, especially on the graph isomorphism problem. The results obtained on classification / regression tasks are at least competitive with the state of the art, and even sometimes better, in particular on restricted data sets, attesting some opportunities for transfer learning in this field
40
Michel, David. "Systèmes formels et systèmes fonctionnels pédagogiques." Electronic Thesis or Diss., Metz, 2008. http://www.theses.fr/2008METZ024S.
Full textAbstract:
Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation naturelle contraints de la manière suivante : toutes les hypothèses posées dans une démonstration doivent être motivées par un exemple. Ces systèmes sont par essence sans négation. Nous étudions les systèmes propositionnels pédagogiques du premier ordre, du second ordre et plus généralement tous les systèmes d'ordre supérieur. Nous présentons, quand cela est possible, le lamda-calcul associé à chaque système via l'isomorphisme de Curry-Howard ; la contrainte pédagogique y fait apparaître une nouvelle propriété que nous appelons l'utilité: un lamda-terme typé est utile quand son contenu algorithmique peut être utilisé<br>The present thesis introduces the notion of pedagogical systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by an example. These systems are in essence negationless. We study _rst order, second order and higher order pedagogical propositional systems. We present when it is possible the _-calculi associated to these systems; the pedagogical constraint introduces a new notion we call usefulness: a _-term is usefull when it's algorithmic content can be used
41
Samuel, Emilie. "Recherche de motifs dans des images : apport des graphes plans." Phd thesis, Université Jean Monnet - Saint-Etienne, 2011. http://tel.archives-ouvertes.fr/tel-00719187.
Full textAbstract:
La reconnaissance de formes s'intéresse à la détection automatique de motifs dans des données d'entrée, afin de pouvoir, par exemple, les classer en catégories. La matière première de ces techniques est bien souvent l'image numérique. Cette dernière, dans sa forme la plus courante, est codée sous la forme d'une matrice de pixels. Néanmoins, la question du développement de représentations plus riches se pose. Ainsi, la structuration de l'information contenue dans l'image devrait permettre la mise en évidence des différents objets représentés, et des liens les unissant. C'est pourquoi nous proposons de modéliser les images numériques sous forme de graphes, pour leur richesse et expressivité d'une part, et pour exploiter les résultats de la théorie des graphes en reconnaissance de formes d'autre part. Nous développons pour cela une méthode d'extraction de graphes plans à partir d'images, basée sur le respect de la sémantique. Nous montrons que nous pouvons, étant donné un graphe, reconstruire avec perte limitée l'image d'origine. Par la suite, nous introduisons les graphes plans à trous, graphes dont les faces peuvent être visibles ou invisibles. Leur justification trouve sa place dans la recherche de motifs notamment, pour laquelle les éléments constituant l'arrière-plan d'une image ne doivent pas être retrouvés. En dirigeant notre attention sur la planarité de ces graphes, nous proposons des algorithmes polynomiaux d'isomorphisme de graphes plans et de motifs ; nous traitons également leur équivalence, qui se trouve être un isomorphisme aux faces invisibles près
42
Rebout, Maxime. "Une approche catégorique unifiée pour la réécriture de graphes attribués." Toulouse 3, 2008. http://thesesups.ups-tlse.fr/306/.
Full textAbstract:
En génie logiciel, les méthodes modernes de développement (ex. Le MDA) s'appuient de manière cruciale sur les notions de modélisation et de transformation. Ces méthodes peuvent s'interpréter à l'aide de la théorie des graphes. La difficulté théorique réside aujourd'hui dans l'ajout sur ces graphes de données supplémentaires sur lesquelles il est nécessaire de pouvoir effectuer des calculs. Notre travail s'est focalisé sur le développement d'un cadre mathématique sûr afin d'appliquer ces transformations. Les théories des catégories (à travers le double pushout) et des types inductifs (fonctions de calcul très expressives) nous ont permis de donner une solution unifiée à ce problème dans laquelle une seule opération permet de travailler sur la structure et de calculer avec les attributs en définissant des fonctions entre graphes possédant une partie contravariante pour le travail des attributs. De plus, les propriétés usuelles des systèmes de réécriture sont vérifiées<br>Due to the new requirements of modern software, researchers in software engineering have created more efficient development methods based on the concept of modeling (for example, the MDA) to control every stage of development. From a theoretical point of view, these methods are based on graphs and graph transformations. The theoretical difficulty lies in adding on these graphs data on which it must be possible to do computations. Our work has focused on developing a mathematical framework to implement these changes. The theories of categories (through the double pushout) and inductive types (very expressive computation functions) allowed us to provide a unified solution to this problem in which a single operation can transform the structure and compute with the attributes. In addition, the usual properties of rewriting systems are checked
43
Gosselin, Stéphane. "Recherche de motifs fréquents dans une base de cartes combinatoires." Phd thesis, Université Claude Bernard - Lyon I, 2011. http://tel.archives-ouvertes.fr/tel-00838571.
Full textAbstract:
Une carte combinatoire est un modèle topologique qui permet de représenter les subdivisions de l'espace en cellules et les relations d'adjacences et d'incidences entre ces cellules en n dimensions. Cette structure de données est de plus en plus utilisée en traitement d'images, mais elle manque encore d'outils pour les analyser. Notre but est de définir de nouveaux outils pour les cartes combinatoires nD. Nous nous intéressons plus particulièrement à l'extraction de sous-cartes fréquentes dans une base de cartes. Nous proposons deux signatures qui sont également des formes canoniques de cartes combinatoires. Ces signatures ont chacune leurs avantages et leurs inconvénients. La première permet de décider de l'isomorphisme entre deux cartes en temps linéaire, en contrepartie le coût de stockage en mémoire est quadratique en la taille de la carte. La seconde signature a un coût de stockage en mémoire linéaire en la taille de la carte, cependant le temps de calcul de l'isomorphisme est quadratique. Elles sont utilisables à la fois pour des cartes connexes, non connexes, valuées ou non valuées. Ces signatures permettent de représenter une base de cartes combinatoires et de rechercher un élément de manière efficace. De plus, le temps de recherche ne dépend pas du nombre de cartes présent dans la base. Ensuite, nous formalisons le problème de recherche de sous-cartes fréquentes dans une base de cartes combinatoires nD. Nous implémentons deux algorithmes pour résoudre ce problème. Le premier algorithme extrait les sous-cartes fréquentes par une approche en largeur tandis que le second utilise une approche en profondeur. Nous comparons les performances de ces deux algorithmes sur des bases de cartes synthétiques. Enfin, nous proposons d'utiliser les motifs fréquents dans une application de classification d'images. Chaque image est décrite par une carte qui est transformée en un vecteur représentant le nombre d'occurrences des motifs fréquents. À partir de ces vecteurs, nous utilisons des techniques classiques de classification définies sur les espaces vectoriels. Nous proposons des expérimentations en classification supervisée et non supervisée sur deux bases d'images.
44
Bilge, Dogan. "Groupes d’automorphismes des structures homogènes." Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10112/document.
Full textAbstract:
Une structure dénombrable du premier ordre est dite homogène si tout isomorphisme entre deux sous-Structures finiment engendrées s’étend en un automorphisme de la structure globale.C’est équivalent à une propriété d’amalgamation des sous-Structures finiment engendrées, et les structures homogènes dénombrables sont aussi appelées limites de Fraïssé, en lien avec les travaux de Roland Fraïssé sur l’ordre des rationnels. Cette thèse concerne les groupes d’automorphismesdes structures homogènes, avec la question centrale suivante: est-Ce que le groupe automorphismes d’une structure homogène est universel pour la classe des groupes d’automorphismes de ces sous-Structures ? Nous répondons positivement à cette question pour les structures homogènesdans un langage relationnel et avec la propriété d’amalgamation libre, à l’aide d’une construction par tour assez similaire à une construction de Katetov et Uspenskij dans le cas de l’espace d’Urysohn. Avec des techniques similaires, nous obtenons toute sous-Structure dénombrable comme points fixes d’un automorphisme d’ordre fini pré-Déterminé. Cela nous permet par ailleurs d’étudier la complexité de la relation d’isomorphisme entre sous-Structures dénombrables, et de montrer qu’elle se réduit boreliennement à la relation de conjugaison dans le groupe d’automorphismes. Nous continuons avec les éléments d’ordre fini, en supposant de plus que les sous-Structures finies satisfont une version forte de la propriété d’extension de Hrushovski-Lascar-Herwig, et des arguments topologiques nous permettent alors de montrer que dans le groupe d’automorphismes tout élément est produit de quatre conjugués de certains éléments d’ordre fini. Nous montrons aussi des résultats similaires pour le groupe d’isométries de l’espace d’Urysohn,ou sa version bornée, la sphère d’Urysohn, en utilisant le fait que ces derniers sont très bien approximés par des espaces métriques rationnels. Enfin, revenant à la question de l’universalité du groupe automorphismes de la limite de Fraïssé, nous considérons la question plus fine de savoirsi toute sous-Structure dénombrable s’injecte de manière rigide, c’est-À-Dire de sorte chacun de ces automorphismes s’étende en un unique automorphisme de la limite de Fraïssé. D’abord, nous introduisons une construction de telle injections rigides dans le cas des graphes homogènes. Ensuite, nous modifions cette construction dans diverses classes de graphes orientés et de structures relationnelles homogènes, pour enfin la faire fonctionner dans un contexte très general de structures dans un langage relationnel fini et avec la propriété d’amalgamation libre<br>A countable first-Order structure is called homogneous when each isomorphism between twofinitely generated substructures extends to an automorphism of the whole structure. This is equivalentto an amalgamation property of finitely generated substructures, and countable homogeneousstructures are also called Fraïssé limits, in connection to the work of Roland Fraïssé on theorder of rational numbers. The present thesis concerns automorphism groups of homogeneousstructures, with the following central question: is it the case that the automorphism group of a homogeneousstructure is universal for the class of automorphism groups of its substructures? Weanswer positively this question for homogeneous structures in a relational langage and with thefree amalgamation property, by using a construction rather similar to a construction of Katetov andUspenskij in the case of the Urysohn space.With similar techniques, we obtain any countable substructureas the set of fixed points of an automorphism of a given finite order. Besides, this allowsus to study the complexity of the isomorphism relation between countable substructures, and toshow that it Borel reduces to the conjugacy relation in the automorphism group. We continue withelements of finite order, assuming further that finite substructures satisfy a strong version of theHrushovski-Lascar-Herwig extension property, and topological arguments then allow us to showthat in the automorphism group any element is the product of four conjugates of certain elementsof finite order. We also show similar results for the isometry group of the Urysohn space, or itsbounded version, the Urysohn sphere, by using the fact that they are well approximated by rationalmetric spaces. Finally, concerning the question of the universality of the automorphism groupof a Fraïssé limit, we consider the finer question to know whether any countable substructure embedsin a rigid way, that is, in such a way that each of its automorphisms extends in a uniqueautomorphism of the Fraïssé limit. First, we introduce a construction of such rigid embeddings inthe case of homogeneous graphs. Then, we modify this construction in various classes of orientedgraphs and of homogeneous relational structures, ultimately to make it work in a very generalcontext of structures in a finite relational langage and with the free amalgamation property
45
Arfeux, Matthieu. "Dynamique holomorphe et arbres de sphères." Phd thesis, Université Paul Sabatier - Toulouse III, 2013. http://tel.archives-ouvertes.fr/tel-00965792.
Full textAbstract:
Cette thèse est consacrée à l'introduction d'une compactification des familles de fractions rationnelles dynamiquement marquées de degré d>1 utilisant la compactification de Deligne-Mumford dans le cas particulier du genre zéro. Nous montrerons que les éléments du compactifié peuvent être identifiés à des revêtements d'arbres de sphères dynamiques dont nous donnerons quelques propriétés propres. Dans ce cadre nous pouvons retrouver les résultats démontrés à ce jour par J. Kiwi sur les limites renormalisées sans utiliser les espaces de Berkovich et ré-interpréter d'autres travaux.
46
Pédrot, Pierre-Marie. "Une dialectica matérialiste." Sorbonne Paris Cité, 2015. http://www.theses.fr/2015USPCC240.
Full textAbstract:
Dans cette thèse, nous montrons que la traduction logique dite « dialectica » définie par Gödel en 1958 peut être exprimée dans le formalisme de la correspondance de Curry-Howard qui met en relation les preuves venant de la logique avec les programmes informatique. En particulier, on peut la voir comme une forme faible de contrôle délimité permettant d'observer l'utilisation des variables libres d'un terme par le biais des piles contre lesquelles elles se retrouvent coupées. Nous rendons cette constatation formelle en simplifiant la traduction originale de Gödel, grâce à une reformulation linéaire dûe à De Paiva, et en l'exprimant au travers de la machine de Krivine. La simplification de cette traduction permet en outre de l'adapter aisément au cas de la théorie des types dépendants. Un certain nombre de variantes sont en outre définies et étudiées. Par ailleurs, nous formulons une présentation de l'appel par nécessité dans un cadre plus canonique basé sur l'utilisation d'une notion de contexte hétérodoxe, appelés contextes de clôture<br>In this thesis, we show that the logical translation known as « dialectica » defined by Gödel in 1958 can be expressed in the Curry-Howard correspondance formalism, relating logical proofs to computer programs. In particular, it can be seen as a weak form of delimited control allowing to observe the use of free variables of a term through the stacks against which they are cut. We make this observation formal by simplifying Gödel's original translation, thanks to a linear reformulation due to De Paiva, and expressing it in the Krivine abstract machine. Such a simplification allows for an easy adaptation to the dependently-typed case. Quite a few variants are then defined and scrutinized. In addition, we give a presentation of the call-by-need reduction in a more canonical fashion, based on the use of a heterodox notion of contexts known as closure contexts
47
Lécureux, Jean. "Automorphismes et compactifications d’immeubles : moyennabilité et action sur le bord." Thesis, Lyon 1, 2009. http://www.theses.fr/2009LYO10261/document.
Full textAbstract:
Cette thèse se propose d'étudier sous divers points de vue les groupes d'automorphismes d'immeubles. Un de ses objectifs est de mettre en valeur les différences autant que les analogies entre les immeubles affines et non affines. Pour appuyer cette dichotomie, on y démontre que les groupes d'automorphismes d'immeubles non affines n'ont jamais de paire de Gelfand, contrairement aux immeubles affines. Dans l'autre sens, pour souligner l'analogie entre immeubles affines et non affines, on définit une nouvelle notion de bord combinatoire d'un immeuble. Dans le cas des immeubles affines, ce bord s'identifie au bord polyédral. On relie la construction de ce bord à d'autres constructions déjà existantes, par exemple, la compactification de Busemann du graphe des chambres. La compactification combinatoire est également isomorphe à la compactification par la topologie de Chabauty de l'ensemble des chambres, sous des hypothèses de transitivité. On relie aussi le bord combinatoire à un autre espace, généralisant une construction de F. Karpelevic pour les espaces symétriques : celle du bord raffiné d'un espace CAT(0).On démontre alors que les points du bord paramètrent les sous-groupes moyennables maximaux de l'immeuble, à indice fini près. Enfin, on prouve que l'action du groupe d'automorphismes d'un immeuble localement fini sur le bord combinatoire de ce dernier est moyennable, fournissant ainsi des résolutions en cohomologie bornée et des applications bord explicites. Ceci donne aussi une nouvelle preuve que ces groupes satisfont la conjecture de Novikov<br>The object of this thesis is the study, from different point of views, of automorphism groups of buildings. One of its objectives is to highlight the differences as well as the analogies between affine and non-affine buildings. In order to support this dichotomy, we prove that automorphism groups of non-affine buildings never have a Gelfand pair, contrarily to affine buildings.In the other direction, the analogy between affine and non-affine buildings is supported by the new construction of a combinatorial boundary of a building. In the affine case, this boundary is in fact the polyhedral boundary. We connect the construction of this boundary to other compactifications, such as the Busemann compactification of the graph of chambers. The combinatorial compactification is also isomorphic to the group-theoretic compactification, which embeds the set of chambers into the set of closed subgroups of the automorphism group. We also connect the combinatorial boundary to another space, which generalises a construction of F. Karpelevic for symmetric spaces : the refined boundary of a CAT(0) space.We prove that the maximal amenable subgroups of the automorphism group are, up to finite index, parametrised by the points of the boundary. Finally, we prove that the action of the automorphism group of a locally finite building on its combinatorial boundary is amenable, thus providing resolutions in bounded cohomology and boundary maps. This also gives a new proof that these groups satisfy the Novikov conjecture
48
Obradović, Jovana. "Cyclic operads : syntactic, algebraic and categorified aspects." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC191/document.
Full textAbstract:
Dans cette thèse, nous examinons différents cadres pour la théorie générale des opérades cycliques de Getzler et Kapranov. Comme le suggère le titre, nous établissons des fondements théoriques de natures syntaxiques, algébriques et catégorifiées pour la notion d’opérade cyclique. Dans le traitement syntaxique, nous proposons un langage formel à la manière du lambda-calcul, appelé mu-syntaxe, en tant que représentation légère de la structure <> d’opérades cycliques. Contrairement à la caractérisation originale des opérades cycliques, appelée la caractérisation <> , selon laquelle les opérations d’une opérade cyclique ont des entrées et une sortie qui peut être << échangée >> avec une entrée, les opérades cycliques <> sont présentées comme des généralisations d’opérades pour lesquelles une opération n’a plus des entrées et une sortie, mais seulement des entrées (c’est-à-dire pour lesquelles la sortie est <> que les entrées). Grâce aux méthodes de réécriture derrière le formalisme, nous donnons une preuve pas-à-pas complète de l’équivalence entre les définitions biaisées et non biaisées des opérades cycliques.Guidés par le principe du microcosme de Baez et Dolan et par les définitions algébriques des opérades de Kelly et Fiore, dans l’approche algébrique, nous définissons les opérades cycliques à l’intérieur de la catégorie des espèces de structures de Joyal. De cette façon, la caractérisation originale << exchangeable-output>> de Getzler et Kapranov, et la caractérisation alternative <> des opérades cycliques de Markl, sont toutes les deux incarnées comme monoïdes dans une catégorie monoïdale des espèces de structures. En s’appuyant sur un résultat de Lamarche sur la descente pour les espèces, nous utilisons ces définitions monoïdales pour prouver l’équivalence entre les points de vue <> et << entries-only>> pour les opérades cycliques.Enfin, nous établissons une notion d’opérade cyclique catégorifiée pour les opérades cycliques avec symétries, définies dans la catégorie des ensembles en termes de générateurs et relations. Les catégorifications que nous introduisons sont obtenues en remplaçant des ensembles d’opérations de la même arité par des catégories, en relâchant certains axiomes de la structure, comme l’associativité et la commutativité, en isomorphismes, tout en laissant l’équivariance stricte, et en formulant des conditions de cohérence pour ces isomorphismes. Le théorème de cohérence que nous prouvons a la forme << tous les diagrammes d’isomorphismes canoniques commutent >>. Pour les opérades cycliques <> , notre preuve a un caractère syntaxique et s’appuie sur la cohérence des opérades non symétriques catégorifiées, établie par Došen et Petrić. Nous prouvons la cohérence des opérades cycliques <>, en relevant au cadre catégorifié l’équivalence entre les définitions <> et <> , mise en place précédemment dans l’approche algébrique<br>In this thesis, we examine different frameworks for the general theory of cyclic operads of Getzler and Kapranov. As suggested by the title, we set up theoretical grounds of syntactic, algebraic and categorified nature for the notion of a cyclic operad.In the syntactic treatment, we propose a lambda-calculus-style formal language, called mu-syntax, as a lightweight representation of the entries-only cyclic operad structure. As opposed to the original exchangeable-output characterisation of cyclic operads, according to which the operations of a cyclic operad have inputs and an output that can be “exchanged” with one of the inputs, the entries-only cyclic operads have only entries (i.e. the output is put on the same level as the inputs). By employing the rewriting methods behind the formalism, we give a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads.Guided by the microcosm principle of Baez and Dolan and by the algebraic definitions of operads of Kelly and Fiore, in the algebraic approach we define cyclic operads internally to the category of Joyal’s species of structures. In this way, both the original exchangeable-output characterisation of Getzler and Kapranov, and the alternative entries-only characterisation of cyclic operads of Markl are epitomised as “monoid-like” objects in “monoidal-like” categories of species. Relying on a result of Lamarche on descent for species, we use these “monoid-like” definitions to prove the equivalence between the exchangeable-output and entries-only points of view on cyclic operads.Finally, we establish a notion of categorified cyclic operad for set-based cyclic operads with symmetries, defined in terms of generators and relations. The categorifications we introduce are obtained by replacing sets of operations of the same arity with categories, by relaxing certain defining axioms, like associativity and commutativity, to isomorphisms, while leaving the equivariance strict, and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form “all diagrams of canonical isomorphisms commute”.For entries-only categorified cyclic operads, our proof is of syntactic nature and relies on the coherence of categorified operads established by Došen and Petrić. We prove the coherence of exchangeable-output categorified cyclic operads by “lifting to the categorified setting” theequivalence between entries-only and exchangeable-output cyclic operads, set up previously in the algebraic approach
49
Laurent, Clément. "Grandes déviations pour les temps locaux d'auto-intersections de marches aléatoires." Phd thesis, Université de Provence - Aix-Marseille I, 2011. http://tel.archives-ouvertes.fr/tel-00645783.
Full textAbstract:
Dans cette thèse on s'intéresse au temps local d'auto-intersections de marches aléatoires. Cette quantité est définie comme la norme-$p$ à la puissance $p$ du temps local de la marche. Elle regarde dans quelle mesure la trajectoire de la marche aléatoire s'intersecte. Le temps local d'auto-intersections est lié à différents modèles physiques comme les modèles de polymères ou les problèmes d'écoulements de flux en milieux stratifiés mais aussi au modèle mathématiques des marches aléatoires en paysages aléatoires. Nous nous sommes pour notre part intéressés en particulier aux grandes déviations du temps local d'auto-intersections, c'est à dire que nous regardons la probabilité que la quantité d'intersections de la marche aléatoire soit plus grande que sa moyenne. Cette question qui a été très étudiée au cours des années 2000 fait apparaitre trois cas distincts, le cas sous-critique, le cas critique et le cas sur-critique. Nous améliorons la connaissance sur cette question au travers de deux résultats complets et d'un résultat partiel. D'abord nous prouvons un principe de grandes déviations dans les cas critique et sur-critique des marches $\alpha$-stables, puis nous améliorons les échelles de déviations au cas sous-critique tout entier de la marche simple, enfin nous sommes en train d'étendre ce dernier résultat aux marches $\alpha$-stables. Par ailleurs les trois preuves sont basées sur l'utilisation d'une version due à Eisenbaum d'un théorème d'isomorphisme de Dynkin. Cette méthode d'abord introduite par Castell dans le cas critique est donc ici étendue aux autres cas. Nous avons donc réussi à unifier les différentes méthodes de preuves au travers ce théorème d'isomorphisme.
50
Guillermo, Mauricio. "Jeux de Réalisabilité en Arithmétique Classique." Phd thesis, Université Paris-Diderot - Paris VII, 2008. http://tel.archives-ouvertes.fr/tel-00594974.
Full textAbstract:
Ce travail est devoué à la Réalisabilité de Krivine, se focalisant sur les aspects calculatoires des réalisateurs des formules. Chaque formule a un jeu associé. Chaque preuve fournit un therme capable d'implémenter une stratégie gagnante pour le jeux associé à la formule qu'elle démontre. Une preuve est, par adéquation, un combinateur capable de prendre des stratégies gagnantes pour les hypothèses et les combiner pour rendre une stratégie gagnante pour la conclusion. Y-sont abordés: A. Le problème de l'espécification, consistant a décrire en termes calculatoires les réalisateurs d'une formule donée. Des nombreaux examples y-sont traités. B. On étudie une preuve en tant que combinateur de stratégies gagnantes: On pose une implication $A\to B$ où $A$ et $B$ sont des formules $\Sigma^0_2$. Soit $C$ la forma normale prenexe de $A\to B$. On étudie une preuve de $A, C\to B$ en tant que combinateur de stratégies gagnantes. En faisant ce travail, certaines techniques sont développées pour tracer l'éxécution d'un processus, dont notamment la "méthode des fils".