• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 14
  • 7
  • 4
  • 1
  • 1
  • Tagged with
  • 29
  • 6
  • 6
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Flots géodésiques et théorie des modèles des corps différentiels / Geodesic Flows and Model Theory of Differential Fields

Jaoui, Rémi 30 June 2017 (has links)
Le travail de cette thèse a pour objet les interactions entre deux approches d'étude des équations différentielles: la théorie des modèles des corps différentiellement clos d'une part et l'étude dynamique des équations différentielles réelles d'autre part. Dans le premier chapitre, on présente un formalisme d'algèbre différentielle, en termes de D-schémas à la Buium au-dessus du corps des nombres réels (muni de la dérivation triviale), qui permet de rendre compte de ces deux approches d'étude en même temps. Le résultat principal est un critère d'orthogonalité aux constantes pour le type générique d'une D-variétés réelle absolument irréductible, basé sur la dynamique topologique de son flot réel analytique associé. Le deuxième chapitre est consacré aux équations différentielles algébriques décrivant le flot géodésique de variétés algébriques réelles munies de 2-formes symétriques non-dégénérées. A l'aide du critère précédent, on démontre un théorème d'orthogonalité aux constantes "en courbure strictement négative'', s'appuyant sur les résultats d'Anosov et de ses successeurs concernant la dynamique topologique - la propriété de mélange topologique faible - du flot géodésique d'une variété riemannienne compacte à courbure strictement négative. En dimension 2, on conjecture en fait une description plus précise - son type générique est minimal de prégéométrie triviale - de la structure associée aux équations différentielles géodésiques unitaires. On présente, dans le troisième chapitre, des motivations et des résultats partiels concernant cette conjecture. / This thesis is dedicated to studying the interactions between two different approaches regarding differential equations: the model-theory of differentially closed fields on the one side and the dynamical analysis of real differential equations, on the other side. In the first chapter, we present a formalism from differential algebra, in terms of D-varieties à la Buium over the field of real numbers (endowed with the trivial derivation), that allows one to realise both approaches at the same time. The main result is a criterion of orthogonality to the constants, based on the topological dynamic of its associated real analytic flow. The second chapter is dedicated to the algebraic differential equations describing the (unitary) geodesic flow of a real algebraic variety endowed with an algebraic, non-degenerated symmetric 2-form. Using the previous criterion, we prove a theorem of orthogonality to the constants "in negative curvature'', that relies on the results of Anosov and of his followers, regarding the topological dynamic - the weakly mixing topological property - for the geodesic flow of a compact Riemannian manifold with negative curvature. In dimension 2, we conjecture a more precise description - its generic type is minimal and has a trivial pregeometry- for the structure associated to the unitary geodesic equation. In the third chapter, we present some motivations and partial results on this conjecture.
22

Fouille de motifs : entre accessibilité et robustesse / Pattern mining : between accessibility and robustness

Abboud, Yacine 28 November 2018 (has links)
L'information occupe désormais une place centrale dans notre vie quotidienne, elle est à la fois omniprésente et facile d'accès. Pourtant, l'extraction de l'information à partir des données est un processus souvent inaccessible. En effet, même si les méthodes de fouilles de données sont maintenant accessibles à tous, les résultats de ces fouilles sont souvent complexes à obtenir et à exploiter pour l'utilisateur. La fouille de motifs combinée à l'utilisation de contraintes est une direction très prometteuse de la littérature pour à la fois améliorer l'efficience de la fouille et rendre ses résultats plus appréhendables par l'utilisateur. Cependant, la combinaison de contraintes désirée par l'utilisateur est souvent problématique car, elle n'est pas toujours adaptable aux caractéristiques des données fouillées tel que le bruit. Dans cette thèse, nous proposons deux nouvelles contraintes et un algorithme pour pallier ce problème. La contrainte de robustesse permet de fouiller des données bruitées en conservant la valeur ajoutée de la contrainte de contiguïté. La contrainte de clôture allégée améliore l'appréhendabilité de la fouille de motifs tout en étant plus résistante au bruit que la contrainte de clôture classique. L'algorithme C3Ro est un algorithme générique de fouille de motifs séquentiels intégrant de nombreuses contraintes, notamment les deux nouvelles contraintes que nous avons introduites, afin de proposer à l'utilisateur la fouille la plus efficiente possible tout en réduisant au maximum la taille de l'ensemble des motifs extraits. C3Ro rivalise avec les meilleurs algorithmes de fouille de motifs de la littérature en termes de temps d'exécution tout en consommant significativement moins de mémoire. C3Ro a été expérimenté dans le cadre de l’extraction de compétences présentes dans les offres d'emploi sur le Web / Information now occupies a central place in our daily lives, it is both ubiquitous and easy to access. Yet extracting information from data is often an inaccessible process. Indeed, even though data mining methods are now accessible to all, the results of these mining are often complex to obtain and exploit for the user. Pattern mining combined with the use of constraints is a very promising direction of the literature to both improve the efficiency of the mining and make its results more apprehensible to the user. However, the combination of constraints desired by the user is often problematic because it does not always fit with the characteristics of the searched data such as noise. In this thesis, we propose two new constraints and an algorithm to overcome this issue. The robustness constraint allows to mine noisy data while preserving the added value of the contiguity constraint. The extended closedness constraint improves the apprehensibility of the set of extracted patterns while being more noise-resistant than the conventional closedness constraint. The C3Ro algorithm is a generic sequential pattern mining algorithm that integrates many constraints, including the two new constraints that we have introduced, to provide the user the most efficient mining possible while reducing the size of the set of extracted patterns. C3Ro competes with the best pattern mining algorithms in the literature in terms of execution time while consuming significantly less memory. C3Ro has been experienced in extracting competencies from web-based job postings
23

Modélisation de la croissance des plantes supérieures pour les systèmes de support-vie : conception d'un modèle global et simulation des transferts de masse et d'énergie à l'échelle de la plante / Higher plant growth modelling for life support systems : global model design and simulation of mass and energy transfers at the plant level

Hezard, Pauline 12 September 2012 (has links)
Les missions spatiales habitées de longue durée nécessitent des systèmes de support-vie efficaces recyclant l’air, l’eau et la nourriture avec un apport extérieur minimum en matière et énergie. L’air et l’eau peuvent être recyclés par des méthodes purement physico-chimiques, tandis que la production de nourriture ne peut être faite sans la présence d’organismes vivants. Le projet Micro-Ecological Life Support System Alternative (MELiSSA, alternative de système de support-vie micro-écologique) de l’Agence Spatiale Européenne inclut des plantes supérieures cultivées dans une chambre close contrôlée, associée à d’autres compartiments microbiens. Le contrôle à long terme de la chambre de culture et du système de support-vie entier requiert des modèles prédictifs efficaces. Le bouclage du bilan massique et la prédiction de la réponse de la plante dans un environnement extraterrestre inhabituel mettent en avant l’importance de modèles mécanistes basés sur le principe des bilans de matière et d’énergie.Une étude bibliographique poussée a été réalisée afin de lister et analyser les modèles de croissance de plantes supérieures existants. De nombreux modèles existent, ils simulent la plupart des processus de la plante. Cependant aucun des modèles structurés globaux n’est suffisamment mécaniste ni équilibré en terme d’échange de masse pour une application dans un système de support-vie clos. Ainsi, une nouvelle structure est proposée afin de simuler tous les termes du bilan massique au niveau de la plante, en incluant les différentes échelles de l’étude : les processus généraux, l’échelle de l’organe et l’échelle de la molécule. Les résultats d’une première approche utilisant des lois physiques mécanistes simples pour les échanges de matière et d’énergie, une stoechiométrie unique pour la production de biomasse et quelques lois empiriques pour la prédiction des paramètres architecturaux sont illustrés et comparés avec des résultats expérimentaux obtenus dans un environnement contrôlé. Une analyse mathématique du modèle est réalisée et tous ces résultats sont discutés afin de proposer les prochaines étapes de développement. Ceci est décrit en détail pour l’inclusion de modèles de processus plus complexes dans les futures versions du modèle ; les expériences qui devraient être réalisées ainsi que les mesures nécessaires sont proposées. Ceci conduit à la description d’une nouvelle conception de chambre de culture expérimentale. / For long-term manned space missions, it is necessary to develop efficient life support systems recycling air, water and food with a minimum supply of matter and energy. Air and water can be recycled from purely physico-chemical systems; however food requires se presence of living organisms. The Micro-Ecological Life Support System Alternative (MELiSSA) project of the European Space Agency includes higher plants grown in a closed and controlled chamber associated with other microbial compartments. The long-term control of the growth chamber and entire life support system requires efficient predictive models. The mass balance closure and the prediction in uncommon extraterrestrial environments highlight the importance of mechanistic models based on the mass and energy balances principles.An extensive bibliographic study has been performed in order to list and analyse the existing models of higher plant growth. Many models already exist, simulating most of the plant processes. However none of the global, structured models is sufficiently mechanistic and balanced in terms of matter exchange for an application in closed life support systems. Then a new structure is proposed in order to simulate all the terms of the mass balance at the plant level, including the different scales of study: general processes, organ scale and molecular scale. The results of the first approach using simple mechanistic physical laws for mass and energy exchange, a unique stoichiometry for biomass production and few empirical laws for the prediction of architectural parameters are illustrated and compared with experimental results obtained in a controlled environment. A mathematical analysis of the model is performed and all these results are discussed in order to propose further developments. This is described in detail for the implementation of more complex models of processes in the future model versions; the experiments that should be performed including the main measurements are proposed. This leads to the description of a new design of experimental growth chamber.
24

Méthodologie de conception d'un système expert pour la généralisation cartographique

Zhao Épouse Boury, Xiao Chun 14 November 1990 (has links) (PDF)
Rôle de la généralisation cartographique dans les systèmes de production des cartes assistée par ordinateur dans les systèmes d'information géographique. On espère contourner les difficultés de la généralisation cartographique (GC) partiellement en faisant appel à la méthodologie des systèmes experts. Quelques algorithmes de modélisation basés sur la compréhension des éléments géographiques dans leur ensemble sont décrits. On propose une représentation des connaissances par l'utilisation conjointe de plusieurs techniques : représentation par objets, raisonner avec des règles, tout en associant des composants procéduraux. On décrit ensuite le fonctionnement d'un petit moteur d'inférence non monotone, du premier ordre, fonctionnant en chaînage avant, réalisé en Lisp. Enfin nous donnons quelques résultats de la généralisation sur un exemple réel à l'aide d'illustrations graphiques sorties par le module en post script.
25

Génie logiciel pour le génie linguiciel

Lafourcade, Mathieu 01 December 1994 (has links) (PDF)
Cette thèse concerne l'étude de différentes techniques modernes de génie logiciel qui peuvent être mises en ¦uvre pour développer des systèmes de Traitement Automatique des Langues Naturelles de façon générique et extensible. La première partie fait le point sur l'état de l'art en TALN à propos des Langages Spécialisés pour la Programmation Linguistique et permet d'identifier l'intégrabilité, l'extensibilité et la généricité comme trois qualités qu'il est souhaitable de fournir aux systèmes de TALN. La définition d'un modèle à objets (LEAF) et l'affinage d'un modèle d'architecture (tableau blanc) constituent deux premiers éléments de réponse au problème de l'intégration. Une première approche de la généricité et de l'extensibilité est également présentée avec une expérience de réingéniérie du langage LT. La seconde partie approfondit les problèmes de généricité et les illustre avec la définition d'un langage original de représentation linguistique (DECOR). L'introduction de protocoles internes et externes permet de rendre ce langage particulièrement générique et dynamique. La troisième partie fait état de la réingériérie de deux langages spécialisés (ATEF et ROBRA). Cette expérience permet d'introduire une grande extensibilité dans les moteurs de ces langages par une programmation par objets et protocoles. Une question transverse à ces trois parties concerne l'identification des limites et des écueils liés à la recherche de l'intégrabilité, de l'extensibilité et de la généricité. Ces difficultés viennent principalement de la complexité croissante des protocoles adéquats, dont la maîtrise pourrait rapidement échapper au développeur si l'on n'y prend garde.
26

La notion de la mort dans le théâtre de Jean-Paul Sartre

Landry, Julie 20 February 2022 (has links)
L'œuvre de Jean-Paul Sartre a déjà été abondamment étudiée et critiquée. Mais la notion de la mort qui occupe pourtant une place prépondérante dans cette philosophie n'a pas été étudiée, si ce n'est dans un texte et un livre. Nous avons choisi d'aborder cette notion à l'intérieure de l'œuvre théâtrale de Sartre. Nous démontrerons que la mort transparaît dans son œuvre et est l'un des thèmes unificateurs. Au chapitre un, nous procédons à une clarification des concepts sartriens qui sont reliés à la mort et nous analysons les rapports qu'entretient cette notion avec le théâtre. Dans le chapitre deux, nous analysons l'absurdité de la mort tel que définit par Sartre à partir de deux pièces : Morts sans sépulture et Huis clos. Enfin, nous étudions la mort comme conséquence du racisme à partir de la pièce Les séquestrés d'Altona. Cette démarche en trois temps montrera l'importance de la notion de la mort chez Sartre
27

Avec un peu de chance les fantômes jouissent suivi de Le cynisme et l’ironie au service d’une lucidité contemporaine : extension du domaine de la lutte de Michel Houellebecq

Fay-Milette, Etienne 08 1900 (has links)
Mémoire en recherche-création / La narration au « je » d’un protagoniste cynique et ironique est au cœur de ce mémoire en recherche-création. Le récit romanesque Avec un peu de chance les fantômes jouissent se concentre sur les effets d’un huis clos, à travers un contexte pandémique, où les personnages refusent les changements radicaux des autorités en déclenchant leur propre révolte. Dans une bâtisse située à Montréal, Ernest, personnage principal, retrace les événements qui plongent le groupe qui l’entoure dans un combat contre le système, en écrivant son journal de bord et une lettre qui se chevauchent. À travers des actes de provocation, l’écriture de leur manifeste, la drogue, les orgies et la criminalité, les membres du groupe sont gagnés par une pensée extrémiste, alors que l’oppression étatique est à son comble. Le récit en trois parties rapporte avec ironie les événements. Dans un monde dénué d’espoir, de quelle façon pouvons-nous conserver notre lucidité? Faut-il se conformer ou se battre? L’essai Le cynisme et l’ironie au service d’une lucidité contemporaine: Extension du domaine de la lutte de Michel Houellebecq propose, quant à lui, de réfléchir sur l’utilisation du cynisme comme concept critique afin de dégager une forme de lucidité contemporaine à l’aide de stratégies d’écriture. L’ironie du sort, lié à des référents littéraires réalistes, amène l’antihéros houellebecquien, dans sa narration à la première personne, à dégager une souffrance contemporaine qui marque son époque. Même si le lecteur refuse de s’identifier à un personnage aussi « médiocre », il ne peut nier la véracité de son point de vue cynique. L’auteur s’inscrit ainsi dans un renouveau littéraire où la réception par la critique, la structure de l’univers littéraire et l’exploitation de thèmes provocateurs amènent à des questionnements essentiels pour mieux comprendre notre modernité. / The narration in the first person of a cynical and ironic protagonist is at the heart of this M.A. thesis combining research and creative writing. The novel Avec un peu de chance les fantômes jouissent is centered around the effects of a pandemic on a group hiding behind closed doors and their fight against the oppressive changes from the authorities by triggering their own revolt. In a building in Montreal, Ernest, the main character, traces back the events that plunged the group surrounding him into a fight against the system by writing a logbook and a letter that overlap each other. Through acts of provocation, the writing of their manifesto, drugs, orgies and crime, the text, divided into three parts, is interested in the extremist thought that can win over individuals in the face of oppression by tinting with irony the events reported and the characters. In a cynical world, how can we keep our lucidity? Should we comply or fight back? The essay Le cynisme et l’ironie au service d’une lucidité contemporaine: Extension du domaine de la lutte de Michel Houellebecq proposes, for its part, a reflection on the use of cynicism as a critical concept to bring out a contemporary form of lucidity in its writing strategies. The irony of fate, linked to realistic literary referents, leads the Houellebecquian antihero, in his first-person narration, to bring out contemporary suffering that marks his time. Even if the reader refuses to identify with such a poor character, he cannot deny the veracity of his cynical point of view. Thus the author takes part of a literary revival in which the reception by critics, the structure of the literary universe and the exploitation of provocative themes lead to essential questions in better understand our modernity.
28

D'Azay-Le-Rideau à Chenonceau : l'eau et la mise en scène de l'ensemble château-jardin à la Renaissance (1513-1560) / From Azay-Le-Rideau to Chenonceau : the water and the staging of the set castel-garden at the Renaissance

Brochier, Diane 27 January 2017 (has links)
Châteaux bâtis sur une rivière, Azay-le-Rideau et Chenonceau entretiennent des rapports privilégiés avec l’élément aquatique. Comment celui-ci était-il mis en scène dans le cadre du jardin ? Plantés sur des îles naturelles ou artificielles, ces derniers sont-ils le fruit d’une mode ou ont-ils été influencés par des oeuvres littéraires contemporaines ? Le jardin d’île du Songe de Poliphile de Francesco Colonna a-t-il été déterminant dans l’évolution du jardin français de la Renaissance et en particulier dans ceux d’Azay-le-Rideau et de Chenonceau ? La thèse aura pour objectif de préciser leurs caractéristiques (accès, clôture, terrassement, structuration, plantations) dont la place des aménagements hydrauliques dans la mise en scène de l’ensemble château-jardin entre 1513-1560. Nous aborderons également la question de l’importance de la promenade et de la vue sur le paysage autour de la demeure. Puis, nous envisagerons la possibilité que le végétal ait participé à la création d’un discours iconographique dans le parterre de Diane à Chenonceau / Built near a river, the casltes of Azay-le-Rideau and Chenonceau have a special relationship with the water element. What relationship did these gardens have with water? How was it used to showcase the garden? Planted on natural or artificial river islands, are these gardens the result of a trend or do they owe their creation to litterary works of their time? Was Francesco Colonna’s Island Garden of the Hypnerotomachia Poliphili determining in the evolution of French Renaissance gardens and particularly at Azay-le-Rideau and Chenonceau? The Phd we are presenting will aim to explain their caracteristics between 1513-1560, including the role of hydraulic constructions in the staging of the whole castle garden. We also will endeavor to study the importance of the question of the promenade and of the view of the landscape around the castle. Then, we will consider the possibility that plants had participated to an iconographic lecture of the « parterre de Diane »
29

Sur l’ordonnancement d’ateliers job-shop flexibles et flow-shop en industries pharmaceutiques : optimisation par algorithmes génétiques et essaims particulaires / On flexible job-shop and pharmaceutical industries flow-shop schedulings by particle swarm and genetic algorithm optimization

Boukef, Hela 03 July 2009 (has links)
Pour la résolution de problèmes d’ordonnancement d’ateliers de type flow-shop en industries pharmaceutiques et d’ateliers de type job-shop flexible, deux méthodes d’optimisation ont été développées : une méthode utilisant les algorithmes génétiques dotés d’un nouveau codage proposé et une méthode d’optimisation par essaim particulaire modifiée pour être exploitée dans le cas discret. Les critères retenus dans le cas de lignes de conditionnement considérées sont la minimisation des coûts de production ainsi que des coûts de non utilisation des machines pour les problèmes multi-objectifs relatifs aux industries pharmaceutiques et la minimisation du Makespan pour les problèmes mono-objectif des ateliers job-shop flexibles.Ces méthodes ont été appliquées à divers exemples d’ateliers de complexités distinctes pour illustrer leur mise en œuvre. L’étude comparative des résultats ainsi obtenus a montré que la méthode basée sur l’optimisation par essaim particulaire est plus efficace que celle des algorithmes génétiques, en termes de rapidité de la convergence et de l’approche de la solution optimale / For flexible job-shop and pharmaceutical flow-shop scheduling problems resolution, two optimization methods are considered: a genetic algorithm one using a new proposed coding and a particle swarm optimization one modified in order to be used in discrete cases.The criteria retained for the considered packaging lines in pharmaceutical industries multi-objective problems are production cost minimization and total stopping cost minimization. For the flexible job-shop scheduling problems treated, the criterion taken into account is Makespan minimization.These two methods have been applied to various work-shops with distinct complexities to show their efficiency.After comparison of these methods, the obtained results allowed us to notice the efficiency of the based particle swarm optimization method in terms of convergence and reaching optimal solution

Page generated in 0.0265 seconds