NCube/papyrus huggingface dataset:
Solutions à courbure constante de modèles sigma supersymétriques

Ce mémoire porte sur les solutions holomorphes à courbure constante des modèles sigma G(M,N) supersymétriques. Une présentation générale du modèle dans sa version bosonique est d’abord faite. Par la suite, après une introduction au concept de supersymétrie N=2, le modèle est étendu en incluant des variables de Grassmann. L’invariance de jauge de cette version supersymétrique est développée en détails. Un critère pour obtenir des solutions supersymétriques à courbure constante à partir des solutions bosoniques est établi. À partir de ce critère, l’existence d’une solution supersymétrique à courbure constante est obtenue pour les modèles G(M,N). Elle est basée sur le résultat obtenu récemment dans la littérature [15] pour le modèle CPN−1= G(1,N). Nous revenons sur les développement ayant mené à ce dernier résultat en expliquant comment l’invariance de jauge est utilisée pour démontrer l’unicité de la solution. Notre contribution majeure à ce travail consiste à déterminer les solutions holomorphes à courbure constante du modèle G(2, 4) à partir des solutions bosoniques correspondantes, en utilisant notamment l’invariance de jauge.

Keyphrases: Modèles sigma, Invariance de jauge, Supersymétrie, Courbure gaussienne, Fonctions holomorphes.
«Sur la figure des colonnes» de Lagrange revisité

Le problème du flambage de la colonne a été formulé par Lagrange vers 1770 et sa résolution a fait l'objet de nombreux travaux.  Plusieurs solutions ont été proposées, mais toutes comportaient des erreurs.  Lagrange, lui-même, avait trouvé que la colonne optimale était un cylindre droit, ce qui fut démontré  sous-optimal par la suite.   Les solutions erronées et publiées étaient principalement dues au fait que le problème n'est pas différentiable à l'optimum.   En 1992, Cox et Overton ont revisité des variantes de ce problème et ont montré l'existence d'une solution pour des profils  bornés inférieurement et supérieurement par des constantes strictement positives en utilisant la dualité d'Auchmuty et le gradient généralisé de Clarke.  Pour Egorov, les hypothèses a priori de Cox et d'Overton ne permettent pas d'affirmer l'existence de solutions, car elles éliminent la possibilité de profils dégénérés.   Dans ce mémoire, on étudiera la forme optimale sans imposer de bornes a priori et l'on cherchera à extraire toute l'information.   Dans un premier temps, on a étudié la version discrétisée du problème qui permet de travailler avec des espaces de dimension finie et  d'obtenir l'existence d'une colonne optimale dans tous les cas.  Le problème conserve cependant ses caractéristiques et demeure non différentiable. Essentiellement, on maximise la première valeur propre généralisée par rapport à des ensembles de volume constant.   Comme la plus petite valeur propre est Hadamard semi-différentiable,  il est possible de caractériser l'optimalité et de faire des calculs.   Dans un deuxième temps, on a élargi l'espace de Sobolev des flexions pour permettre l'étude de la maximisation par rapport à des profils possiblement dégénérés. Ces nouveaux espaces « sur mesure » introduisent de nouveaux défis mathématiques.   Le problème du flambage de la colonne est un cas particulier des problèmes impliquant l'optimisation de la plus petite valeur propre lorsqu'elle n'est pas simple. Ceci donne à ce travail une portée mathématique et numérique beaucoup plus grande.

Keyphrases: Lagrange, Colonne encastrée, Problème aux valeurs propres, Multiplicité, Conditions nécessaires d'optimalité, Opérateur dégénéré
Estimation des modèles à volatilité stochastique par l’entremise du modèle à chaîne de Markov cachée

La problèmatique d’estimation des paramètres des modèles à volatilité stochastique par maximisation directe de la vraisemblance est adressée. À cet effet, nous présentons un algorithme approximant numériquement le filtre optimal à partir de la méthodologie proposée par Kitagawa (1987) pour la résolution du problème de filtrage dans les systèmes non-linéaires et/ou non-gaussiens.  Nous montrons que cet algorithme consiste à exécuter le filtre d’Hamilton (le filtre d’Hamilton offre une solution optimale au problème de filtrage pour un modèle à chaîne de Markov cachée) sur une discrétisation de la variable latente continue. La solution proposée améliore considérablement le temps de calcul et produit des résultats au moins aussi bons que les approches de référence dans le domaine.  Par la suite, nous présentons et démontrons une généralisation de cet algorithme au cas des modèles à volatilité stochastique incorporant un effet de levier et des sauts. Plusieurs études Monte Carlo et empiriques sont réalisées pour évaluer la qualité de l’approche dans l’approximation de la log-vraisemblance et l’estimation des paramètres des différents modèles à volatilité stochastique. Nous présentons aussi une comparaison de cette approche à celle par filtre particulaire continu.

Keyphrases: Volatilité stochastique, Modèle à chaîne de Markov cachée, Filtrage nonlinéaire et non-gaussien, Intégration numérique, Maximum de vraisemblance, Filtre particulaires, Effet de levier, Sauts
Modeling and Numerical Simulation of the clot detachment from a blood vessel wall

Dans ce mémoire, nous proposons un modèle pour étudier numériquement le comportement du sang, qui est considéré comme un fluide newtonien incompressible, en présence d’un caillot attaché à une paroi vasculaire. Le but de cette étude est de savoir si des régimes d’écoulement différents peuvent provoquer la décollement d’un caillot d’un mur de vaisseau ou conduire à un état stable. Dans le Chapitre 1, nous donnons une revue de la littérature sur les études précédentes, la modélisation de la coagulation sanguine, des caillots sanguins dans le système vasculaire, l’adhésion plaquettaire et l’agrégation et la formation de caillots pathologiques. Notre travail repose principalement sur une partie du modèle mathématique donné par Bajd et Serša [3], qui est présenté dans le chapitre 1. Ensuite, nous décrirons la modélisation mathématique du fluide représentant le sang et le solide représentant le caillot au chapitre 2. Le troisième chapitre se concentrera sur l’approche numérique consistant en une méthode de projection et la méthode de limite immergée [36] pour résoudre les équations de Navier-Stokes. Enfin, au Chapitre 4, nous discuterons des résultats et donnerons des conclusions sur l’influence de différents régimes d’écoulement sur la stabilité du caillot.

Keyphrases: La coagulation du caillot, Les équations de Navier-Stokes, La méthode de projection, La méthode des frontières immergées
Géométrie algébrique : théorèmes d'annulation sur les variétés toriques

Ce mémoire se veut une bonne introduction au sujet des variétés toriques ainsi qu’à la théorie des faisceaux. On exposera des résultats déjà présents dans la littérature, mais dont les preuves sont partielles, découpées dans plusieurs sources ou simplement trop complexes pour un lecteur débutant. On synthétisera et détaillera ces résultats en limitant (dans la mesure du possible) les connaissances requises à leur compréhension. On terminera ce mémoire par la démonstration de théorèmes d’annulation, permettant entre autres d’aborder la preuve (pour les variétés toriques) du théorème de Grauert-Riemenschneider. Prérequis : des connaissances de base sur les variétés algébriques ou sur l’homologie pourraient aider à mieux appréhender les concepts discutés dans ce mémoire, et certains exemples font référence aux surfaces de Riemann ou aux CW-complexes. Toutefois, aucune connaissance de niveau gradué n’est nécessaire.

Keyphrases: Variétés algébriques, Variétés toriques, Faisceaux, Cohomologie de faisceaux, Théorèmes d'annulation
Superintégrabilité quantique avec une intégrale de mouvement de cinquième ordre

Le projet de ce mémoire s'inscrit dans un programme global ayant pour but d'obtenir et classifier tous les systèmes superintégrables en deux dimensions et admettant des intégrales de mouvement polynomiales et d'ordre  arbitraire N en p_1 et p_2, les deux moments conjugués associés à E_2. Dans notre étude, présentée sous forme d'un article, on s'intéresse spécifiquement à la coexistence de l'hamiltonien avec une intégrale de mouvement de cinquième ordre. On obtient les équations à dérivées partielles nécessaires pour qu'une telle intégrale existe et on les simplifie ensuite en supposant que les potentiels recherchés V(x,y) sont séparables c'est-à-dire V(x,y)=V_1(x)+V_2(y). Avec l'existence de l'intérgrale de cinquième ordre, cette supposition garantit aussi la superintégrabilité du système. On réussit à montrer que lorsque les  deux composantes V_1(x) et V_2(y) ne satisfont aucune EDO linéaire, ils sont toujours solutions d'une EDO non linéaire qui possède la propriété de Painlevé. Dans la majorité des cas, on exprime toutes les solutions en terme de transcendantes déjà connues, incluant les fonctions elliptiques et les six fonctions transcendantales de Painlevé. Les équations non linéraires reliées aux cas non résolus peuvent définir de nouvelles transcendantes.

Keyphrases: Intégrabilité, Superintégrabilité, Équations différentielles non linéaires, Propriété de Painlevé, Mécanique quantique
La collaboration en traduction (Crowdsourcing in Translation) : l’exemple d’un concours de traduction en ligne

Le « crowdsourcing », en traduction comme dans d’autres secteurs d’activité, est une réalité de plus en plus fréquente dont certains aspects, cependant, demeurent inexplorés. En vue de contribuer à combler cette lacune, le présent mémoire prend pour cas d’étude un concours de traduction en ligne organisé par un bureau de traduction de Moscou, en Russie. Plus spécifiquement, à partir d’une analyse de la structure et du fonctionnement de ce concours, nous tenterons de démontrer 1) en quoi ce concours représente bien un exemple de crowdsourcing ; 2) la validité de ce mode de production appliqué à la traduction. Notre cadre théorique se base sur les travaux de Daren Brabham, chercheur en nouveaux médias et relations publiques, qui s’est intéressé à la définition de la notion du crowdsourcing et sur le potentiel de cette forme de travail, ainsi que ceux du journaliste économique américain James Surowiecki, qui a proposé et défini le concept de la « foule sage ». Notre mémoire analyse les différents aspects de la collaboration massive en ligne, dont les motivations des participants, leur influence sur la structure organisationnelle du concours, ainsi que la façon dont les consommateurs-devenus-producteurs élaborent et appliquent leurs critères de sélection du meilleur produit final. Par cette étude, nous cherchons à montrer que, appliqué à la traduction, dans la mesure où il transforme les consommateurs en producteurs ou « prosommateurs » (prosumers), le crowdsourcing est une forme de collaboration à la fois créative et efficace.

Keyphrases: Crowdsourcing en traduction, Foule sage, Concours de traduction, Prossomateur, Prosumer
Fonctions de la pseudo-traduction à l'aube des guerres civiles anglaises (1641-1642)

Longtemps considérée marginale dans l’étude de la traduction, la pseudo-traduction est devenue depuis quelques années un sujet de plus en plus étudié en traductologie. Cependant, qu’en est-il des fonctions que celle-ci occupe dans le système littéraire dans lequel elle a été créée ? Lorsque Gideon Toury applique la théorie des polysystèmes au domaine de la traduction, il semble conclure qu’une des fonctions majeures de la pseudo-traduction est d’introduire un nouveau genre littéraire dans une culture donnée. Mais cette hypothèse, si elle peut être appliquée aux pseudo-traductions littéraires, semble un peu moins convenir à une certaine littérature populaire, que l’on retrouve sous forme de tracts. Le présent mémoire visera, à partir d’une analyse minutieuse de quatre cas d’étude, de leurs agents et de leurs paratextes, à découvrir les fonctions de la pseudo-traduction de pamphlets imprimés à l’aube des guerres civiles anglaises (1641-1642).

Keyphrases: pseudo-traduction, traductologie, agentivité, paratextualité, pamphlets, guerres civiles anglaises, littérature anticatholique, pamphlets
Exploring Attention Based Model for Captioning Images

Comprendre ce qu’il y a dans une image est l’enjeu primaire de la vision par ordinateur. Depuis 2012, les réseaux de neurones se sont imposés comme le modèle de facto pour de nombreuses applications d’apprentissage automatique. Inspirés par les récents travaux en traduction automatique et en détection d’objet, cette thèse s’intéresse aux modèles capables de décrire le contenu d’une image et explore comment la notion d’attention peut être parametrisée par des réseaux de neurones et utilisée pour la description d’image.   Cette thèse presente un reseau de neurones base sur l’attention qui peut décrire le contenu d’images, et explique comment apprendre ce modèle de facon déterministique par backpropagation ou de facon stochastique avec de l’inférence variationnelle ou de l’apprentissage par renforcement.  Etonnamment, nous montrons que le modèle apprend automatiquement a concentrer son attention sur les objets correspondant aux mots dans la phrase prédite. Cette notion d’attention obtient l’état de l’art sur trois benchmarks: Flickr9k, Flickr30k and MS COCO.

Keyphrases: Reseaux de Neurones, Apprentissage Profond, Apprentissage de Representations, Apprentissage Supervise, Apprentissage par Renforcement, Attention, Modelisation de Donnees Sequentielles, Attention
Deep Learning for Video Modelling

Ce mémoire de maı̂trise présente une exploration des modèles génératifs dans le contexte de la vidéo. Ceci a demandé une étude approfondie des problèmes encourus par les chercheurs dans cette branche de la vision par ordinateur. Ce mémoire établi deux axes problématiques, celui venant des données et celui des modèles.   Concernant les données, les méthodes accomplissant l’état-de-l’art dans ce domaine sont appliqués sur des bases de données qui potentiellement sous représentent les défis existant dans les vidéos de tous les jours. Ainsi, il est possible que l’innovation évolue ultimement vers des cul-de-sacs et une nouvelle bases de données est suggérées afin de résoudre ce problème.  Quant aux modèles, la génération de vidéos est à la frontière des applications des procéssus génératifs. C’est un champs de recherche encore très ouvert aux découvertes de tailles car non seulement est-il devant des obstacles d’ingénieries, tant aux niveaux logiciels que physiques, mais il se trouve à être un véritable casse-tête. En apprentissage profond, la modélisation d’images statiques entre présentement dans une phase plus mature, mais qu’en est-il pour des séquences d’images et de leurs générations? De très récents modèles ont réussi d’impressionnantes générations image par image et exhibent de longues séquences sans dégradation rapide de la qualité visuelle. En analysant ceux-ci, ce mémoire propose le modèle feature flow comme un choix raisonnable à considérer pour cette tâche et espère convaincre pourquoi.  La génération comme sujet d’étude elle-même a fait également l’objet d’une attention particulière à travers ce mémoire. Il augmente le déjà populaire generative adversarial networks avec un mécanisme d’inférence, adversarially learned inference. Cette version améliorée excelle aux mêmes tâches que son prédécesseur tout en offrant une représentation abstraite des données grâce au mécanisme d’inférence. Il y a espoir lors de travaux futures d’exhiber tout son potentiel, l’élevant comme un choix de modèle important.

Keyphrases: Réseaux de neurones, Apprentissage machine, Apprentissage profond, Intelligence artificielle, Vision par ordinateur, Vidéos, Modèles génératifs
Extraction de phrases parallèles à partir d’un corpus comparable avec des réseaux de neurones récurrents bidirectionnels

Les corpus parallèles sont cruciaux pour le bon fonctionnement des applications multilingues du traitement automatique du langage naturel. Comme ils sont des ressources essentielles, le nombre limité de corpus parallèles, que nous trouvons pour un nombre relativement faible de paires de langues sur très peu de domaines spécifiques, est problématique pour le développement des applications de traitement automatique du langage naturel. L'extraction de phrases parallèles est une tâche qui s'attaque directement au problème de manque de données en extrayant des phrases parallèles depuis l'importante quantité d'articles multilingues retrouvés sur le Web.  Dans ce mémoire, nous proposons un système d'extraction de phrases parallèles qui mesure la relation de traduction entre les phrases dans deux langues. Notre système est une approche basée sur des réseaux de neurones récurrents bidirectionnels qui peut apprendre les représentations des phrases dans un espace vectoriel conjoint en maximisant explicitement la similarité entre les phrases parallèles. Contrairement aux approches précédentes, en exploitant ces représentations vectorielles continues des phrases nous enlevons le besoin d'utiliser plusieurs modèles et toute ingénierie de traits spécifiques. Notre approche s'entraîne directement avec des paires de phrases et s'adapte facilement à une grande quantité de données.  Des expériences sur des corpus parallèles bruités montrent que notre approche surpasse un système de référence à l'état de l'art. Pour justifier l'utilité de notre approche, nous ajoutons les paires de phrases extraites des articles de Wikipédia à un corpus parallèle pour entraîner des systèmes de traduction automatique et nous obtenons une amélioration de la performance de traduction. Nos résultats empiriques nous amènent à croire que notre système est un outil prometteur pour créer de nouvelles ressources multilingues alignées.

Keyphrases: Extraction de phrases parallèles, Traduction automatique, Traitement automatique du langage naturel, Apprentissage profond, Réseaux de neurones récurrents, Corpus parallèle
Factorized second order methods in neural networks

Les méthodes d'optimisation de premier ordre (descente de gradient) ont permis d'obtenir des succès impressionnants pour entrainer des réseaux de neurones artificiels. Les méthodes de second ordre permettent en théorie d'accélérer l'optimisation d'une fonction, mais dans le cas des réseaux de neurones le nombre de variables est bien trop important. Dans ce mémoire de maitrise, je présente les méthodes de second ordre habituellement appliquées en optimisation, ainsi que des méthodes approchées qui permettent de les appliquer aux réseaux de neurones profonds. J'introduis un nouvel algorithme basé sur une approximation des méthodes de second ordre, et je valide empiriquement qu'il présente un intérêt pratique. J'introduis aussi une modification de l'algorithme de rétropropagation du gradient, utilisé pour calculer efficacement les gradients nécessaires aux méthodes d'optimisation.

Keyphrases: Apprentissage automatique, Apprentissage profond, Optimisation, Second ordre, Gradient naturel, Natural gradient
Pour la suite de l'objet d'étude cinéma : la crise de la théorie comme possibilité d'une philosophie d'après le cinéma

Ce mémoire propose d’aborder les nombreux questionnements concernant le discours théorique du cinéma, en particulier en ce qu’il serait fondamentalement différent depuis le tournant du 21e siècle. Tentant de démêler le tout, il s’agira d’abord de déterminer quelle fut cette théorie du cinéma qui semble maintenant contestée de nos jours. C’est en proposant des lectures compréhensives des raisons qui motivèrent Gilbert Cohen-Séat et Christian Metz à approcher l’étude du cinéma que nous comptons d’abord éclaircir ce premier point. Puis, il s’agira de comparer cette idée de théorie avec des idées plus contemporaines. Pour y arriver, nous effectuerons cette fois une analyse des écrits théoriques d’André Gaudreault, lui qui s’interroge également grandement sur cette question de la place de la théorie dans l’étude du cinéma. En réfléchissant avec Gaudreault sur ce que représente la crise de la théorie du cinéma, nous serons amenés dans un premier temps à dédoubler cette notion de crise de manière à la nuancer, mais surtout à affirmer que la réponse que nous offrent des positions comme la sienne ne semble pas être à la hauteur des ambitions de la problématique actuelle. Pour tenter de répondre à l’appel de la crise de la théorie du cinéma, nous proposerons d’y voir, à l’instar de D.N Rodowick et Stanley Cavell, une possibilité pour une philosophie d’après le cinéma. Les différents chapitres de ce mémoire proposent au lecteur le récit de différents soubresauts de l’histoire de l’étude du cinéma en elle-même. Ce faisant, chaque chapitre propose des relevés compréhensifs d’approches diverses de grands théoriciens des études cinématographiques et peut être approché individuellement pour quiconque s’intéresse à l’éthique même d’étudier le cinéma et l’art en général. S’intéressant aux différentes implications de l’art, la philosophie et la science dans l’étude du cinéma, ce mémoire s’est également donné comme mandat d’éclairer et de convaincre les sceptiques qui ont du mal avec cette idée touchante que le cinéma puisse faire de la philosophie.

Keyphrases: Christian Metz, filmologie, philosophie et cinéma, histoire et cinéma, théorie du cinéma
Construire l’intimité : entre psychanalyse et cinéma : la mise en scène de l’espace du couple dans trois films d’Alain Tanner

Le cinéma d’Alain Tanner est connu pour son engagement politique et social. Créateur du mouvement du « nouveau cinéma suisse », la figure du cinéaste est devenue incontournable dans la construction d’un cinéma national en Suisse à partir des années 1970. Ses films sont souvent perçus comme des films idéologiques et contestataires. Tanner remet en question inlassablement la société de consommation et le cinéma commercial. Sans nier le message social du cinéaste, nous désirons dans cette recherche nous concentrer autour d’un aspect peu abordé dans son oeuvre : la construction de l’espace cinématographique à travers la figure du couple. Notre projet vise à dépasser le cinéaste politiquement engagé pour comprendre comment se construit un certain type d’intimité dans ses films. Pour ce faire, nous analyserons trois films qui mettent en scène de façon centrale un couple et une chambre vide. Dans une démarche esthétique, nous analyserons Le Retour d’Afrique (1973), Le Milieu du Monde (1974) et Dans la Ville Blanche (1983), réalisés et produits par Alain Tanner. A l’aide de la psychanalyse et plus particulièrement de la Daseinsanaylse de Ludwig Binswanger, mouvement qui s’inspire de la phénoménologie et de la psychiatrie, nous désirons analyser l’espace cinématographique de ces trois films comme un espace vécu. En effet, nous posons l’hypothèse que l’intériorité des personnages se lit à travers la construction des espaces cinématographiques dans le film. Nous tenterons de déterminer, à partir de la construction particulière de l’espace, quelle réflexion sur l’identité et sur l’intimité est à l’oeuvre chez Tanner. Cette recherche nous permettra également de réfléchir à la manière dont l’intimité peut être saisie par une oeuvre cinématographique particulière.

Keyphrases: Alain Tanner, Espace, Space, Couple, Intimité