Letteratura scientifica selezionata sul tema "Théories de domaines"

L'objet de cette thèse est d'étudier certains problèmes elliptiques et sous elliptiques nonlinéaires sur des domaines non bornés. En utilisant une approche variationnelle, on montre l'existence de solutions faibles pour un problème elliptique faisant intervenir l'opérateur p-Laplacien défini sur un domaine non borné de Rn. Ensuite, on étudie un système sous elliptique faisant intervenir le Laplacien de Heisenberg défini sur des domaines non bornés du groupe de Heisenberg Hn. Enfin, moyennant le théorème de bifurcation de Rabinowitz, on établit l'existence de branches connexes et bornées de solutions positives, pour un problème semilinéaire elliptique défini sur Rn avec une nonlinéarité indéfinie<br>This thesis is devoted to the study of some nonlinear elliptic and subelliptic problems on unbounded domains. Using variational methods, we investigate the existence of weak solutions for an elliptic problem involving the p-Laplacian operator defined on an unbounded domain of Rn. After this, and using also varational methods, we prove the existence of weak solutions for a subelliptic system involving the Heisenberg Laplacian on unbounded domains of the Heisenberg group Hn. Finally, using Rabinowitz's bifurcation theory, we prove the existence of bounded continuums of positive solutions for a semilinear elliptic problem defined on Rn with an indefinite nonlinearity

Une synthèse des études théoriques et critiques ayant l'essai littéraire pour objet met à jour trois types d'enjeux. Sur le plan de la théorie des genres littéraires, l'essai exige des stratégies particulières pour être légitimé comme genre littéraire ; il implique une refonte de la théorie générale de la littérature et de la notion de litterarité. Au plan philosophique, il suscite un approfondissement critique des principes de l'épistémologie occidentale, de la notion de sujet conscient et du concept de culture. Enfin, d'un point de vue sociocritique, il nécessite la mise au point d'outils théoriques nouveaux pour être appréhendé comme événement littéraire, relevant à la fois de l'écrivain et de l'éditeur dans le contexte global des institutions de production et de légitimation des textes non fictionnels. Les notions de littérarité conditionnelle et de régime attentionnel de l'expérience esthétique donnent un cadre théorique permettant d'intégrer les acquis des recherches rhétoriques récentes, des théories de la réception, des recherches sur le paratexte des oeuvres littéraires et de l'analyse pragmatique du discours. Ce cadre offre la possibilité de faire converger les enjeux précédemment mis à jour pour une étude renouvelée de l'essai littéraire<br>A synthesis of the theoretical and critical studies of the literary essay brings to light three types of stakes. As regards the theory of literary genres, the essay demands particular strategies for being legitimated as a literary genre ; it implies a overhaul of the general theory of literature and of the concept of literariness. At philosophical level, it gives rise to a critical deepening of the principles of occidental epistemology, of the notion of conscious subject, and of the concept of culture. Lastly, from a socio-critical point of view, it needs the setting of new theoritical tools for being apprehended azs a literary event, being the concern of both writer and publisher in the global context of production and legitimation institutioins of nonfictionnal texts. The concepts of conditional literariness and of attentional object of the aesthetic experience give a theoretical frame which allows to integrate the equisitions of recent rhetoric research, of reception theory, of research on the paratext of literary works and of pragmatic analysis of dicourse. This frame offers possibility for having the previously stakes brought to light converged for a study of the literary essay

De nos jours, nous sommes entourés de systèmes critiques complexes tels que les microprocesseurs, les trains, les appareils intelligents, les robots, les avions, etc. Ces systèmes sont extrêmement complexes et critiques en termes de sûreté, et doivent donc être vérifiés et validés. L'utilisation de méthodes formelles à états s'est avérée efficace pour concevoir des systèmes complexes. Event-B a joué un rôle clé dans le développement de tels systèmes. Event-B est une méthode formelle de conception de systèmes à états avec une approche correcte par construction, qui met l'accent sur la preuve et le raffinement. Event-B facilite la vérification de propriétés telles que la préservation des invariants, la convergence et le raffinement en générant des obligations de preuve et en permettant de les décharger.Certaines propriétés additionnelles du système, telles que l'absence d'inter-blocage, l'atteignabilité ou encore la vivacité, doivent être explicitement encodées et vérifiées par le concepteur, ou formalisées à l'aide d'une autre méthode formelle. Une telle approche pénalise la réutilisabilité des modèles et des techniques, et peut introduire des erreurs, en particulier dans les systèmes complexes.Pour pallier cela, nous avons introduit un "framework" réflexif EB4EB, formalisé au sein de Event-B. Dans ce cadre, chacun des concepts d'Event-B est formalisé comme un objet de première classe en utilisant la logique du premier ordre (FOL) et la théorie des ensembles. EB4EB permet la manipulation et l'analyse de modèles Event-B, et permet la définition d'extensions afin de réaliser des analyses supplémentaires non intrusives sur des modèles, telles que la validation de propriétés temporelles, l'analyse de la couverture d'un invariant, ou encore l'absence de blocage. Ce framework est réalisé grâce aux théories d'Event-B, qui étendent le langage d'Event-B avec des éléments définis dans des théories, et aussi en formalisant de nouvelles obligations de preuves, qui ne sont pas présentes initialement dans Event-B.De plus, la sémantique opérationnelle d'Event-B (basée sur les traces) a été formalisée, de même qu'un cadre qui sert à garantir la correction des théorèmes définis, y compris les opérateurs et les obligations de preuve. Enfin, le cadre proposé et ses extensions ont été validés dans de multiples études de cas, notamment l'horloge de Lamport, le problème du lecteur/rédacteur, l'algorithme de Peterson, les distributeurs automatiques de billets (DAB), les véhicules autonomes, etc<br>Nowadays, we are surrounded by complex critical systems such as microprocessors, railways, home appliances, robots, aeroplanes, and so on. These systems are extremely complex and are safety-critical, and they must be verified and validated. The use of state-based formal methods has proven to be effective in designing complex systems. Event-B has played a key role in the development of such systems. Event-B is a formal system design method that is state-based and correct-by-construction, with a focus on proof and refinement. Event-B facilitates verification of properties such as invariant preservation, convergence, and refinement by generating and discharging proof obligations.Additional properties for system verification, such as deadlock-freeness, reachability, and liveness, must be explicitly defined and verified by the designer or formalised using another formal method. Such an approach reduces re-usability and may introduce errors, particularly in complex systems.To tackle these challenges, we introduced the reflexive EB4EB framework in Event-B. In this framework, each Event-B concept is formalised as a first-class object using First Order Logic (FOL) and set theory. This framework allows for the manipulation and analysis of Event-B models, with extensions for additional, non-intrusive analyses such as temporal properties, weak invariants, deadlock freeness, and so on. This is accomplished through Event-B Theories, which extend the Event-B language with the theory's defined elements, and also by formalising and articulating new proof obligations that are not present in traditional Event-B. Furthermore, Event-B's operational semantics (based on traces) have been formalised, along with a framework for guaranteeing the soundness of the defined theorems, including operators and proof obligations. Finally, the proposed framework and its extensions have been validated across multiple case studies, including Lamport's clock case study, read/write processes, the Peterson algorithm, Automated Teller Machine (ATM), autonomous vehicles, and so on

L'objectif de cette thèse est de modéliser les changements en chaîne historiques dans les théories phonologiques modernes. Martinet (1952, 1955, 1970) distingue deux principales catégories de changements en chaîne: les chaînes de propulsion et les chaînes de traction. Les chaînes de propulsion seront traitées dans la première partie de cette thèse (chapitres 2 et 3). Afin de modéliser les chaînes de propulsion, un modèle existant est utilisé: La théorie de préservation du contraste de Łubowicz (2003, 2012). Concernant la modélisation des chaînes de traction, qui sera principalement traitée dans la seconde partie de le thèse (chapitres 4 et 5), une nouvelle théorie sera proposée, basée sur les travaux phonétiques de De Boer (2001). Cette proposition est basée sur la notion des domaines piliers. Le chapitre 1 s'ouvre sur l'observation que ni les théories dérivationnelles orientées vers l'input – type SPE – ni les théories orientées vers l'output, comme la théorie de l'optimalité de Prince &amp; Smolensky (TO) sont en mesure de formaliser les changements en chaîne. Dans les théories dérivationnelles, il est possible d'obtenir une bonne description des changements en chaîne. Cependant, afin de faire cela, nous devons briser les liens unissant les différentes étapes des changements en chaîne. Par conséquent, nous perdons l'interdépendance systémique entre les stades, ce qui est au cœur des changements en chaîne. Concernant la théorie de l'optimalité, sa structure stricte sur deux niveaux se révèle problématique dans le cas des changements en chaîne. Dans un changement en chaîne schématique comme /a/ → [e] &gt; /e/ → [i], il est impossible pour la TO, dans la même analyse, de faire en sorte que [e] soit un candidat optimal et /e/ un candidat bloqué. Dans le chapitre 2, nous analysons et comparons plusieurs amendements à la théorie de l'optimalité proposés pour rendre compte des changements en chaîne. Beaucoup d'entre eux ne sont pas satisfaisants dans le cas des changements en chaîne car ils ne parviennent pas à modéliser la force systémique des changements en chaîne. La seule théorie qui semble accomplir cet objectif est la théorie de préservation du contraste (CPT) de Łubowicz. Cette théorie est basée sur les notions de contraste, préservation du contraste et elle évalue des scénarios au lieu de candidats individuels. La préservation du contraste est accomplie à travers la transformation du contraste. La notion de transformation du contraste signifie que les niveaux de contraste du système pré-changement sont préservés dans le système post-changement mais leur nature change. Une observation sur la CPT est que Łubowicz l'avait originellement conçue pour les changements en chaîne synchroniques. Dans le chapitre 2, nous démontrons que la CPT est en mesure de modéliser la force systémique qui donne aux changements en chaîne diachroniques leur cohérence. Ainsi, dans le chapitre 3, nous décidons de tester la validité de la CPT sur de véritables changements en chaîne historiques. Nous avançons deux études de cas sur deux changements en chaîne. Le premier, bien connu, est le changement en chaîne vocalique du Grand Changement Vocalique Anglais (English Great Vowel Shift). L'autre changement en chaîne est la Seconde Mutation Consonantique allemande (High German Consonant Shift). Nous démontrons que la CPT est en mesure de rendre compte de ces deux changements en chaîne. Au terme du chapitre 3, la CPT est testée sur une autre catégorie de changements en chaîne : les changements en chaîne observés dans l'acquisition de la langue maternelle. Le changement en chaîne étudié est s → θ → f. Ce changement en chaîne est différent des deux autres car il n'y a pas de nouveau niveau de contraste créé. Le dernier stade du changement en chaîne se conclut par une fusion. Encore une fois, la CPT peut rendre compte de ce changement en chaîne de manière satisfaisante<br>The aim of this thesis is to formalise historical chain shifts within modern phonological theories. Martinet (1952, 1955, 1970) distinguishes two main categories of chain shifts: push chains and pull chains. Push chains will be dealt with in the first main part of this thesis (chapters 2 and 3). For modelling of push chains, an existing model is used: Łubowicz's (2003, 2012) Contrast Preservation Theory. For modelling pull chains, which will be the focus of the second part of this thesis (chapters 4 and 5), a new theory will be proposed, based on the phonetic work by De Boer (2001). This proposition is based on the notion of the pillar domains (domaines piliers). Chapter 1 starts with the observation that neither the derivational, SPE-like, theories or output driven theories like Prince's &amp; Smolensky's Optimality Theory (OT) are able to formalise chain shifts properly. Within the derivational theories, it is possible to get a correct description of a chain shift. However, in order to do that, we have to break the links between the different stages of the chain shift. Therefore, one loses the systemic interdependence of the different stages, which is the essence of the chain shift. As regards to Optimality Theory, it is the two-level structure of the theory which proves problematic for chain shifts. In a theoretical chain shift such as /a/ → [e] &gt; /e/ → [i], it is impossible for OT to make, in the same analysis, [e] an optimal candidate and /e/ a non-optimal one. In chapter 2, we analyse and compare several output-driven propositions that have been made to account for chain shifts. Many of them are not satisfactory because they do not manage to model the systemic motivation of chain shifts. The only theory that seems able to complete this objective is Łubowicz's Contrast Preservation Theory (CPT). This theory is based on the notions of contrast, contrast preservation and it evaluates scenarios rather than individual candidates. Contrast preservation is achieved through contrast transformation. The term contrast transformation indicates that the contrast levels of the input system are preserved but that their nature is different in the output system. One observation about CPT is that Łubowicz designed it for synchronic chain shifts. In chapter 2, we prove that CPT is able to model the perceptible coherence in diachronic chain shifts. In chapter 3, thus we decide to test the validity of CPT on actual historical chain shifts. It is tested on two cases. One is the well-known vocalic chain shift the Great Vowel Shift in English. The other one is the Second German Sound Shift (or High German Consonant Shift). We demonstrate that CPT is able to account for both of these chain shifts. At the end of chapter 3, CPT is tested on another type of chain shifts, i.e. chain shifts in first-language acquisition. The studied chain shift is s → θ → f. This chain shift is different from the other two because there is no new contrast level created. The last stage of this chain shift ends with a merger . Once again, CPT can account for this chain shift in a coherent way

Soit f une fraction rationnelle de degré d au moins 2. McMullen et Sullivan ont introduit l'espace de Teichmüller dynamique Teich(f), qui est une variété complexe de dimension au plus 2d-2 et qui paramétrise la classe de conjugaison quasiconforme de f dans l'espace des modules ratd via une application holomorphe F allant de Teich(f) dans ratd.Nous donnons une nouvelle construction élémentaire de Teich(f), et nous prouvonsque F est une immersion, ce qui répond à une question posée par McMullen et Sullivan.Ce dernier résultat nous permet d'obtenir des preuves simplifiées de résultats dus à Makienko et Levin sur la rigidité de f sous une hypothèse d'expansivité le long de l'orbite critique. Dans une seconde partie, nous construisons une famille d'exemples d'endomorphismes polynômiaux de P^2(C) ayant un domaine errant. Nos exemples sont des produits fibrés, de la forme (z,w) -&gt; ( f(z) + aw, g(w)). De plus, on construira des exemples à coefficients réels où le domaine errant intersectera R^2<br>Let f be a rational map of degree d at last 2. McMullen and Sullivan introduced the dynamical Teichmüller space Teich(f), which is a complex manifold of dimension at most 2d-2. It paramtrizes the quasiconformal conjugacy class of f in the moduli space ratdvia a holomorphic map F from Teich(f) to ratd. We give a new and elementary construction of Teich(f), and we prove that the parametrization F is an immersion, answering a question of McMullen and Sullivan. This last result enables us to give simplified proofs of rigidity results of Makienko and Levin under the assumption of expansion along the critical orbit. In a second part, we construct a family of examples of polynomial endomorphisms of¨P^2(C) with a wandering domain. Our examples are skew-products, of the form (z,w) -&gt; (f(z)+aw, g(w)). Moreover, we will construct examples with real coefficients where the wandering domain intersects R^2

Cette thèse est consacrée à un jeu différentiel - c'est-à-dire un système différentiel bi-contrôle dans lequel un des joueurs cherche à faire entrer l'état du système dans une cible donnée tandis que l'autre joueur cherche à maintenir l'état du système hors de la cible. C'est le jeu de cible. Nous étudions ce jeu dans le contexte des stratégies non anticipatives (d’Elliot & Kalton) et des stratégies de rétroaction (de Breakwell & Bernhard). Pour chaque contexte de stratégies, nous définissons les domaines de victoire, qui sont les ensembles de données initiales à partir desquelles un joueur peut gagner quelle que soit l'action de son adversaire. Nous montrons, dans le contexte des stratégies non anticipatives, que les domaines de victoire forment une partition du complémentaire de la cible. Nous caractérisons les domaines de victoire de chacun des joueurs à l'aide d'un ensemble (le noyau discriminant) défini à partir de conditions géométriques inspirées par la théorie de la viabilité (c. F. J. P. Aubin). Grâce à cette caractérisation, nous mettons en évidence une propriété de barrière sur le bord des domaines de victoire. Nous proposons des algorithmes de calcul des domaines de victoire ne nécessitant pas le calcul de trajectoires

La phrase favorite de Landau, «Personne ne peut annuler la loi de Coulomb», est souvent négligée dans la compréhension des ferroélectriques car paradoxalement, ils devraient être déstabilisés par le champ électrostatique dépolarisant induit par la discontinuité de la polarisation en surface. Comme l'ont proposé Landau (1935) et Kittel (1946), cette énigme peut être résolue dans les ferromagnetiques par la division de l'echantillon en domaines d'aimantation orientés différemment. On pensait traditionnellement que la formation des domaines n'était pas pertinente dans les ferroélectriques où le champ dépolarisant peut être écranté par les charges libres semiconductrices. C’est seulement dans les années 2000 qu’il a été expérimentalement confirmé que les textures de domaines apparaissaient dans les échantillons &lt;500nm. Le but de la Thèse est de proposer une méthode d'analyse pour modéliser la texture de polarisation à l'échelle nanoscopique. En nous basant sur l'approche de Kittel à basse température et sur le formalisme de Ginzburg-Landau valable près de la température de transition, nous étudions les paramètres de la texture en domaines des films ferroélectriques uniaxiaux et leur dépendance en température, champ appliqué et épaisseur. Nous étudions ensuite la distribution de la polarisation dans les ferroélectriques multicomposantes cubiques où le degré de liberté est de type quasi-Goldstone. Nous montrons que la condition d’énergie de dépolarisation minimale conduit à la formation de vortex topologique ou de skyrmion chiral. Leur formation au cours du processus de renversement peut résoudre le paradoxe de Landauer concernant le faible champ coercitif des ferroélectriques<br>The Landau's sentence "Nobody can cancel the Coulomb's law" is often overlooked in understanding of ferroelectric materials that, paradoxically, should be destabilized by the backward depolarizing electrostatic field produced by the charge of the polarization surface breakdown. As was proposed by Landau (1935) and Kittel (1946) this puzzle can be resolved for ferromagnetics with similar magnetostatic problem by sample segregation onto differently oriented magnetization domains. It was thought however that domain formation mechanism is irrelevant for ferroelectrics where the depolarization field can be screened by free semiconducting charges. Only in 2000's it was recognized and experimentally confirmed that the regular domain patterns do appear in nanoscopic samples &lt;500nm. The objective of the Thesis is to propose the analytical method for modeling of non-uniform polarization texture in nano-scale samples caused by depolarization field. Basing on the generalized Kittel low-temperature approach and on the Ginzburg-Landau formalism valid close to transition temperature we study the principal parameters of the domain structure in uniaxial ferroelectric films and their dependance on temperature, applied field and film thickness. We investigate next the distribution of polarization in cubic multicomponent ferroelectrics having the quasi-Goldstone (rotational) polarization degree of freedom. We show that the requirement of minimization of the depolarization energy leads to formation of unconventional topological vortices or chiral skyrmions. Their formation during the switching process can resolve the long-standing Landauer paradox of small coercive field in ferroelectrics

Cette thèse présente: 1) le développement d'une nouvelle approche pour trouver des associations directes entre des paires d'éléments liés indirectement à travers diverses caractéristiques communes, 2) l'utilisation de cette approche pour associer directement des fonctions biologiques aux domaines protéiques (ECDomainMiner et GODomainMiner) et pour découvrir des interactions domaine-domaine, et enfin 3) l'extension de cette approche pour annoter de manière complète à partir des domaines les structures et les séquences des protéines. Au total, 20 728 et 20 318 associations EC-Pfam et GO-Pfam non redondantes ont été découvertes, avec des F-mesures de plus de 0,95 par rapport à un ensemble de référence Gold Standard extrait d'une source d'associations connues (InterPro). Par rapport à environ 1500 associations déterminées manuellement dans InterPro, ECDomainMiner et GODomainMiner produisent une augmentation de 13 fois le nombre d'associations EC-Pfam et GO-Pfam disponibles. Ces associations domaine-fonction sont ensuite utilisées pour annoter des milliers de structures de protéines et des millions de séquences de protéines pour lesquelles leur composition de domaine est connue mais qui manquent actuellement d'annotations fonctionnelles. En utilisant des associations de domaines ayant acquis des annotations fonctionnelles inférées, et en tenant compte des informations de taxonomie, des milliers de règles d'annotation ont été générées automatiquement. Ensuite, ces règles ont été utilisées pour annoter des séquences de protéines dans la base de données TrEMBL<br>This thesis presents: 1) the development of a novel approach to find direct associations between pairs of elements linked indirectly through various common features, 2) the use of this approach to directly associate biological functions to protein domains (ECDomainMiner and GODomainMiner), and to discover domain-domain interactions, and finally 3) the extension of this approach to comprehensively annotate protein structures and sequences. ECDomainMiner and GODomainMiner are two applications to discover new associations between EC Numbers and GO terms to protein domains, respectively. They find a total of 20,728 and 20,318 non-redundant EC-Pfam and GO-Pfam associations, respectively, with F-measures of more than 0.95 with respect to a “Gold Standard” test set extracted from InterPro. Compared to around 1500 manually curated associations in InterPro, ECDomainMiner and GODomainMiner infer a 13-fold increase in the number of available EC-Pfam and GO-Pfam associations. These function-domain associations are then used to annotate thousands of protein structures and millions of protein sequences for which their domain composition is known but that currently lack experimental functional annotations. Using inferred function-domain associations and considering taxonomy information, thousands of annotation rules have automatically been generated. Then, these rules have been utilized to annotate millions of protein sequences in the TrEMBL database

Proposer aujourd'hui, après tant de maîtres illustres une "recherche sur la théorie de la propriété publique en droit administratif français" ne doit finalement pas surprendre. Longtemps dominée par un fort courant finaliste, la propriété publique a très récemment fait l'objet d'analyses théoriques et pratiques décisives. Désormais, l'idée dominante selon laquelle la propriété publique est une propriété affectée, est une conception devenue classique. Depuis la fin des années 1990, la propriété est publique, car elle est la propriété des personnes publiques. Derrière l'évidence, qui n'est qu'apparente, d'une telle innovation, se cache vraisemblablement l'un des plus grands progrès de la pensée domaniale contemporaine. Dès lors, c'est avec une attention très particulière qu'il convient d'étudier la propriété des personnes publiques. En fait, il importe aujourd'hui, à l'occasion d'une telle idée, non plus de douter, comme les classiques, de l'opportunité même d'une réflexion sur l'originalité du contenu de cette propriété, mais d'affiner sa signification, ses méthodes d'études, bref de lui donner du sens. Comme toute grande innovation, la théorie nouvelle doit être précisée sous peine de prêter le flanc, à plus ou moins long terme, à certains détournements. Si une symétrie avec la théorie de la propriété privée est aujourd'hui visible, ce parallélisme des formes, ne doit rien induire quant au fond. Le risque, est pour l'avenir, de voir désormais les personnes publiques endosser les habits juridiques les plus poussiéreux du "paterfamilias". Si la question "qu'est ce que la propriété publique ?" semble résolue, c'est la question tout aussi cruciale d'une "propriété publique pour quoi faire ?" qui devra dès lors retenir toute notre attention<br>Proposing today, after so many renowned authorities a research on Public Property in French administrative Law should not cause much surprise. A long time ruled by a strong finalist trend, public property has recently been the subject of theoretical and practical determining analyses. From now on, the prevailing idea according which public property is now a trust property has become a classic conception. Since the late nineties, property has been public because it is the property of public persons. Behind this outward evidence of such an innovation, there probably lies one of the most important progress in domanial contemporary thought. Therefore, studying the property of public persons must be from now on dealt with the almost care. As a matter of fact what matters today is no longer to doubt as the classics used to do when they wondered wether it appropriate to think about the originality of such property but to sharpen its meaning and its methods of study. As in many great innovation, this new theory must be clarified for fear of inviting in a more or less short run to some misguiding. If there can be found today some symmetry with the theory of private property such apparent parallelism must not have any inference on the heart of the subject. The risk for the future is to see public persons borrow the most antique juridical attire of the paterfamilias. If the question what is public property ? seems to be solved, the question of a public property what for ? which is quite as important will have from now on to hold our attention