Log in

Relevant bibliographies by topics / Théorie classique de la nucléation / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Théorie classique de la nucléation.

Dissertations / Theses on the topic 'Théorie classique de la nucléation'

Author: Grafiati

Published: 25 May 2024

Last updated: 19 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Théorie classique de la nucléation.'

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

Lauer, Andrew Robert. "Voies de nucléation classiques et non-classiques du sulfate de strontium : étude en milieux confinés et non-confinés." Electronic Thesis or Diss., Université Grenoble Alpes, 2024. http://www.theses.fr/2024GRALU009.

Full text

Abstract:

Classiquement, la nucléation solide est considérée comme un processus stochastique dans lequel des groupes de monomères se rassemblent au hasard pour former un noyau solide sous l'effet de l'agitation ou du mouvement brownien au sein d'un fluide supercritique. Cependant, les observations modernes mettent en lumière d'autres voies par lesquelles les réactions de nucléation peuvent se produire, en particulier par le biais de mécanismes à plusieurs étapes avec des espèces intermédiaires à l'échelle nanométrique. Ici, nous explorons la nucléation du sulfate de strontium à partir d'une solution aqu

APA, Harvard, Vancouver, ISO, and other styles

2

Bossert, Marine. "Étude expérimentale de la cavitation dans les milieux mésoporeux." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS236.

Full text

Abstract:

Cette thèse présente une étude expérimentale de la cavitation dans des matériaux mésoporeux silicium poreux et l'alumine poreuse, a priori constitués de pores droits et indépendants, de quelques dizaines de nanomètres de diamètre. Nous avons développé une technique simple pour réduire l'ouverture des pores, afin de favoriser l'évaporation dans les pores par cavitation. La quantité de liquide adsorbé est mesurée avec précision par interférométrie. La première partie de la thèse présente les preuves directes de l'existence de la cavitation dans les nanopores. Dans des pores larges (d > 10 nm)

APA, Harvard, Vancouver, ISO, and other styles

3

Govin, Mike. "Méthodes KAM en mécanique quantique et classique." Dijon, 1997. http://www.theses.fr/1997DIJOS020.

Full text

Abstract:

Dans la première partie nous avons appliqué des itérations KAM quantiques à des matrices réelles symétriques de dimension finie. Nous avons montré numériquement que la méthode KAM converge pour presque toutes les valeurs du paramètre de perturbation à l'exception d'un ensemble de Julia de mesure nulle. Cet ensemble de Julia est dû à la compétition entre différents points fixes. La localisation de cet ensemble de Julia est reliée aux presque-croisements dans le spectre du Hamiltonien mais dépend de la transformation unitaire choisie. Dans la seconde partie nous avons développé une iteration KAM

APA, Harvard, Vancouver, ISO, and other styles

4

Terpereau, Ronan. "Schémas de Hilbert invariants et théorie classique des invariants." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00748952.

Full text

Abstract:

Pour toute variété affine W munie d'une opération d'un groupe réductif G, le schéma de Hilbert invariant est un espace de modules qui classifie les sous-schémas fermés de W, stables par l'opération de G, et dont l'algèbre affine est somme directe de G-modules simples avec des multiplicités finies préalablement fixées. Dans cette thèse , on étudie d'abord le schéma de Hilbert invariant, noté H, qui paramètre les sous-schémas fermés GL(V)-stables Z de W=n1 V oplus n2 V^* tels que k[Z] est isomorphe à la représentation régulière de GL(V) comme GL(V)-module. Si dim(V)<3,on montre que H est une var

APA, Harvard, Vancouver, ISO, and other styles

5

Ibn, el Farouk Abdelhamid. "Le système verbal de l'arabe classique, théorie et description." Paris 5, 1994. http://www.theses.fr/1994PA05H102.

Full text

Abstract:

Notre recherche intitulée le système verbal de l'arabe classique, théorie et description, a pour but de proposer une grammaire fonctionnelle du système verbal de l'arabe classique. Nous avons alors abouti au dégagement de deux classes fondamentales. La première comprend trois déterminants verbaux, le futur, le potentiel et le passé, alors que la seconde ne contient guère que le parfait. Nous avons aussi tente de révéler le rôle de l'ordre des mots et celui de l'accord entre le sujet et l'indice de personne en tant que marqueurs fonctionnels, en remettant en question l'existence d'un paradigme

APA, Harvard, Vancouver, ISO, and other styles

6

Perez, Cortes Sergio. "La désagregation d'une théorie : le cas de l'économie politique classique." Paris 1, 1987. http://www.theses.fr/1987PA010612.

Full text

Abstract:

Ce travail presente une analyse des causes qui ont amene au declin et a l'extinction de l'economie politique classique, et parmi ces causes, examine en particulier les caracteristiques de la premiere critique socialiste qui se developpe entre 1820 et 1840. En resume, on essaie de prouver que dans le cas de l'economie classique, l'apparition et la dissolution de la theorie sont des processus simultanes. Les debats ses situent frequemment autour des questions methodologiques, parce que c'est dans le domaine methodologique que se refletent d'habitude les difficultes propres a la production de l'u

APA, Harvard, Vancouver, ISO, and other styles

7

Zouania, Barry. "L'économie du contrat : essai d'une théorie néo-classique du contrat." Toulouse 1, 2007. http://www.theses.fr/2007TOU10044.

Full text

Abstract:

L'économie du contrat désigne l'équilibre du contrat voulu par les parties. Elle n'est ni une nouvelle condition de validité du contrat, ni un nouveau mécanisme garantissant l'équilibre contractuel jusque dans l'exécution, à l'instar de ce que peuvent être l'exception d'inexécution, l'action résolutoire ou le droit de rétention. Son originalité réside en ce qu'elle est un standard d'interprétation de la volonté des parties. Sa particularité par rapport à une règle d'interprétation générale, tient en ce qu'elle est une référence d'application particulière, une norme privée. L'avènement de ce no

APA, Harvard, Vancouver, ISO, and other styles

8

Maillet, Jean-Michel. "Structures algébriques et intégrabilité en théorie classique et quantique des champs." Paris 6, 1986. http://www.theses.fr/1986PA066124.

Full text

Abstract:

On présente l'élaboration et le développement des structures intégrables nouvelles en théorie classique et quantique des champs et leurs applications à des modèles pour lesquels les méthodes et structures usuelles ne peuvent être appliquées.

APA, Harvard, Vancouver, ISO, and other styles

9

Geoffroy, Guillaume. "Réalisabilité classique : nouveaux outils et applications." Thesis, Aix-Marseille, 2019. http://www.theses.fr/2019AIXM0099/document.

Full text

Abstract:

La réalisabilité classique de Jean-Louis Krivine associe à chaque modèle de calcul et chaque modèle de la théorie des ensembles un nouveau modèle de la théorie des ensembles, appelé modèle de réalisabilité, d'une façon similaire au forcing. Chaque modèle de réalisabilité est muni d’une algèbre de Boole caractéristique $\gimel 2$ (gimel 2), dont la structure donne des informations sur les propriétés du modèle de réalisabilité. En particulier, les modèles de forcing correspondent au cas où $\gimel 2$ est l'algèbre de Boole à deux éléments.Ce travail présente de nouveaux outils pour manipuler les

APA, Harvard, Vancouver, ISO, and other styles

10

Roubert, Benoît. "Approche semi-classique de l'information quantique." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1123/.

Full text

Abstract:

Aujourd'hui, une large communauté de scientifiques travaille en vue de la réalisation d'un ordinateur quantique, une machine dont il est montré qu'elle peut offrir, au moins en théorie, et en particulier pour les problèmes dont la complexité croît exponentiellement avec la taille du système, des performances inaccessibles à ses homologues classiques. Cette thèse s'intéresse à la possibilité de réaliser une approche semi-classique de l'information quantique dans deux domaines d'intérêt : celui du clonage approché d'un qubit, et celui de l'amplification de spins dans des chaînes de spins. Dans l

APA, Harvard, Vancouver, ISO, and other styles

11

Detcherry, Renaud. "Analyse semi-classique des opérateurs courbes en TQFT." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066252/document.

Full text

Abstract:

Witten, Reshetikhin et Turaev ont défini des invariants des variétés topologiques de dimension 3, dits "quantiques" qui s'étendent en une structure de TQFT, c'est-à-dire un foncteur monoïdal d'une catégorie de cobordismes vers la catégorie des espaces vectoriels complexes. Nous étudions ici leur asymptotique. Dans ce cadre, les courbes sur une surface induisent des endomorphismes des espaces de TQFT, appelés opérateurs courbes, qui sont l'un des objets centraux du mémoire. Tous ces invariants dépendant d'un paramètre entier r, on s'intéresse à leur comportement quand r tend vers l'infini. On s

APA, Harvard, Vancouver, ISO, and other styles

12

Bomble, Laëtitia. "Contrôle de la dynamique de systèmes complexes : Application à l'information quantique et classique." Paris 11, 2010. http://www.theses.fr/2010PA112087.

Full text

Abstract:

Cette thèse porte sur la recherche et l’étude de nouveaux moyens de coder et manipuler de l’information sur des systèmes quantiques. On peut, sur ceux-ci, continuer d’utiliser la logique usuelle (classique) afin de gagner en taille et en rapidité, ou développer une nouvelle logique (quantique) utilisant les propriétés quantiques de ces systèmes afin de faire des opérations irréalisables en logique classique. Les supports de l’information retenus ici sont des états propres de molécules. Pour pouvoir y manipuler l’information, il faut en contrôler la dynamique, ici par l’emploi d’un champ laser

APA, Harvard, Vancouver, ISO, and other styles

13

Caporali, Cordeiro Renato. "Vers une théorie de la richesse sociale : une relecture de l'économie classique." Paris, EHESS, 1992. http://www.theses.fr/1992EHES0028.

Full text

Abstract:

A la naissance de la pensee economique, la notion de richesse etait centrale. Elle designait a la fois l'objet et l'objectif de l'economie politique. Au long de l'evolution historique decette science, cependant, le probleme de la richesse cede place a celui de valeur d'echange : la question de l'origine, nature et implications des objets d'usage qui constituent la consommation privee et sociale sur la reproduction de cette richesse est remplacee par la question des rapports d'echange etablis entre les agents prives ou entre les classes sociales. Ce glissement peut etre legitime, mais le proble

APA, Harvard, Vancouver, ISO, and other styles

14

Garay, Mauricio D. "Théorie classique et legendrienne des aplatissements évanescents des courbes planes et spatiales." Paris 7, 2001. https://tel.archives-ouvertes.fr/tel-00001243.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

GARAY, Mauricio. "Théorie classique et legendrienne des points d'aplatissement évanescents des courbes planes et spatiales." Phd thesis, Université Paris-Diderot - Paris VII, 2001. http://tel.archives-ouvertes.fr/tel-00001243.

Full text

Abstract:

Un point d'aplatissement d'une courbe (réelle $C^\infty$ ou complexe holomorphe) de l'espace projectif (réel ou complexe) de dimension $n$ est un point de la courbe pour lequel l'hyperplan osculateur à un contact plus élevé qu'en un point ordinaire. Pour $n=2$, les points d'aplatissement sont communément appelés les points d'inflexions.\\ Dans la première partie de la thèse étudie les familles de courbes par rapport aux points d'aplatissement.\\ On introduit une notion de forme normale par rapport aux aplatissements des fibres d'une application $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ o

APA, Harvard, Vancouver, ISO, and other styles

16

Nekroumi, Mohammed. "L'interrogation : essai d'une théorie syntaxique et pragmatique à partir d'un corpus d'arabe classique." Aix-Marseille 1, 1993. http://www.theses.fr/1993AIX10042.

Full text

Abstract:

Le present travail se propose d'etablir, a travers l'etude du phenomene de l'interrogation en arabe classique, un lien entre deux categories de recherche linguistique. L'une concerne la theorie linguistique generale et l'autre s'adresse au domaine particulier de la langue decrite. La theorie syntaxique esquissee dans cette tentative s'est donnee pour tache de montrer les relations qu'entretiennent la structure syntaxique de la phrase interrogative et la structure informative que constitue le message. Un tel rapprochement a permis de degager certains traits semantico-syntaxiques propres a la st

APA, Harvard, Vancouver, ISO, and other styles

17

Brassart, Matthieu. "Limite semi-classique de transformées de Wigner dans des milieux périodiques ou aléatoires." Nice, 2002. http://www.theses.fr/2002NICE5751.

Full text

Abstract:

Cette thèse concerne l'homogénéisation, ou limite semi-classique, des transformées de Wigner associées à des suites bornées solutions d'une équation de Schro͏̈dinger ou d'un système hyperbolique linéaire du premier ordre. On établit diverses équations de transport satisfaites par les mesures de Wigner limites lorsque qu'un petit paramètre tend vers zéro. Une première partie résume les propriétés générales de la transformation en rappelant son lien avec le calcul pseudo-différentiel. Une seconde partie étudie la perturbation des hamiltoniens périodiques par des potentiels réguliers apériodiques

APA, Harvard, Vancouver, ISO, and other styles

18

Lageste, Christian. "La théorie des cycles politiques dans l'antiquité gréco-romaine." Aix-Marseille 3, 2006. http://www.theses.fr/2006AIX32015.

Full text

Abstract:

Entendue comme une succession ordonnée, régulière et répétée de régimes politiques, la théorie des cycles politiques qui apparaît pour la première fois chez Platon représente une synthèse méthodique entre l'évolution historique des régimes politiques des cités grecques, les divers aspects de la conception présocratique du temps et l'effort de classification des formes d'organisation étatique. Platon élabore la première théorie qui combine à la fois une conception déterministe et transformiste de l'histoire à travers une approche juridique et morale, matérielle et psychologique de la transforma

APA, Harvard, Vancouver, ISO, and other styles

19

Raţiu, Dan-Eugen. "Peinture et théorie de l'art au XVIIe siècle : Nicolas Poussin et la doctrine classique." Paris 1, 2005. http://www.theses.fr/2005PA010578.

Full text

Abstract:

Ce travail propose une analyse de la pensée artistique de Poussin en relation avec la doctrine classique - l'"Ut poesis pictura", l'"Ut rhetorica pictura", le discours académique -, et sa pratique picturale. Les objectifs sont d'éclairer ses caractéristiques et ses enjeux, sa place dans le cadre de la pensée de l'art à l'âge classique et son rôle dans l'émergence d'une nouvelle idée de la peinture. Nous défendons la thèse qu'il s'agit de la réflexion d'un peintre qui, loin d'être soumise aux données historiques et culturelles, mobilise des ressources propres pour adapter d'une manière nouvelle

APA, Harvard, Vancouver, ISO, and other styles

20

Barrois, Louis. "Empirisme et dynamique classique dans la théorie du champ électromagnétique de J. Clerk Maxwell." Paris 4, 1993. http://www.theses.fr/1993PA040114.

Full text

Abstract:

Pour réaliser vers 1865 la seconde grande synthèse de la physique classique, Maxwell a emprunté à Ampère le schéma d'interaction entre circuits, l'hypothèse des courants dans les aimants et l’équation solénoïdale. Chez Faraday, il trouve un contenu empirique étendu relatif aux diélectriques et à l'induction, ainsi que l'idée du champ associé à une action de proche en proche. L'extension et la formalisation de ces notions s’effectue d'abord selon le support de modèles mécaniques, puis par l'introduction du courant de déplacements, hypothèse destinée, en l'absence d'une connaissance précise des

APA, Harvard, Vancouver, ISO, and other styles

21

Planat, Mathieu. "Aspects dynamiques des courants autour de la transition quantique-classique." Strasbourg, 2011. http://www.theses.fr/2011STRA6166.

Full text

Abstract:

Cette thèse s'inscrit dans la problématique de la transition quantique-classique et, plus particulièrement, dans le cadre de la construction de l'électromagnétisme classique à partir de l'électrodynamique quantique sous-jacente en faisant appel à la théorie de la décohérence. Pour cela, il est nécessaire d'utiliser un cadre théorique permettant de définir des observables sur des états mixtes afin de rendre compte de l'intervention d'un environnement. Les observables et les phénomènes sont décrits ici au moyen de fonctions de Green. La valeur moyenne du champ électromagnétique et celle de coura

APA, Harvard, Vancouver, ISO, and other styles

22

Suárez, Jaime. "Etude comparative classique/quantique des collisions atomiques dans les plasmas de fusion thermonucléaire." Bordeaux 1, 2005. http://www.theses.fr/2005BOR12981.

Full text

Abstract:

On présente une étude théorique comparative des traitements classiques et semi-classiques des collisions Ne10+ + H(1s) et Ar18+ + H(1s), d'intérêt pour la physique des plasmas de fusion. Dans l'approche semi-classique, le projectile suit des trajectoires rectilignes classiques tandis que le mouvement électronique est décrit quantiquement. On cherche alors une solution à l'équation de Schrödinger dépendante du temps sous la forme d'une fonction d'onde totale développée sur une base finie d'états représentant les canaux de capture, d'excitation et d'ionisation. Dans l'approche classique, le proj

APA, Harvard, Vancouver, ISO, and other styles

23

Rouhling, Damien. "Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4058.

Full text

Abstract:

Il s'agit de mettre à l'épreuve une bibliothèque d'analyse dans l'assistant de preuve Coq au travers d'une étude de cas en théorie du contrôle. Nous formalisons une preuve de stabilité pour le pendule inversé, un exemple classique en théorie du contrôle. Le contrôle du pendule inversé est un défi en raison de sa non-linéarité, à tel point que ce système est souvent utilisé comme référence pour l'essai de nouvelles techniques de contrôle. Durant cette étude de cas, nous identifions des défauts des outils aujourd'hui accessibles pour la formalisation en analyse classique et nous en développons d

APA, Harvard, Vancouver, ISO, and other styles

24

Payet, Jimmy. "États fondamentaux dans l'approximation quasi-classique pour des modèles d'électrodynamique quantique non relativiste." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0045.

Full text

Abstract:

Dans cette thèse, on s'intéresse à des modèles de théorie quantique des champs décrivant les interactions entre une particule non relativiste et un champ de radiation quantifié. En particulier, on s'intéresse à la minimisation de l'énergie quasi-classique des modèles considérés, c'est-à-dire l'énergie du système lorsque le champ se trouve dans un état cohérent. Un premier résultat concerne le modèle spin-boson, c'est un modèle simple (mais non trivial) où la particule non relativiste est décrite par un système de dimension finie et est couplée linéairement à un champ quantifié scalaire. On obt

APA, Harvard, Vancouver, ISO, and other styles

25

Cormier, Olivier. "Résolution des équations différentielles linéaires d'ordre 4 et 5 : application à la théorie de Galois classique." Rennes 1, 2001. http://www.theses.fr/2001REN10048.

Full text

Abstract:

L'objet de cette thèse porte sur l'étude des équations différentielles homogènes à coefficients dans un corps différentiel de corps de constantes algébriquement clos de caractéristique nulle. Dans un premier temps nous considérons un polynôme bivarié et montrons comment, à partir de l'équation différentielle linéaire satisfaite par les racines du polynôme, nous pouvons calculer une factorisation absolue du polynôme, déterminer son groupe de Galois classique et calculer le genre de la courbe définie par ce polynôme. Dans une seconde partie, nous nous intéressons aux solutions liouvilliennes (ob

APA, Harvard, Vancouver, ISO, and other styles

26

Carmier, Pierre. "Une étude semi-classique du magnéto-transport dans les jonctions n-p de graphène." Paris 11, 2010. http://www.theses.fr/2010PA112039.

Full text

Abstract:

Dans ce travail de thèse, j'étudie le transport des électrons dans le graphène en régime d'effet Hall, lorsqu'un potentiel électrostatique crée une jonction n-p dans le matériau. Cette configuration se distingue de celle dans les gaz d'électrons bidimensionnels usuels en raison de la structure de bande singulière du graphène, qui accroît significativement le couplage inter-bande via le paradoxe de Klein et entraîne également l'existence d'un effet Hall quantique anormal. Je commence par développer un formalisme semi-classique adapté à la nature pseudo-relativiste des électrons dans le graphène

APA, Harvard, Vancouver, ISO, and other styles

27

Novakovic, Novak. "Sémantique algébrique des ressources pour la logique classique." Thesis, Vandoeuvre-les-Nancy, INPL, 2011. http://www.theses.fr/2011INPL075N/document.

Full text

Abstract:

Le thème général de cette thèse est l’exploitation de l’interaction entre la sémantique dénotationnelle et la syntaxe. Des sémantiques satisfaisantes ont été découvertes pour les preuves en logique intuitionniste et linéaire, mais dans le cas de la logique classique, la solution du problème est connue pour être particulièrement difficile. Ce travail commence par l’étude d’une interprétation concrète des preuves classiques dans la catégorie des ensembles ordonnés et bimodules, qui mène à l’extraction d’invariants signiﬁcatifs. Suit une généralisation de cette sémantique concrète, soit l’interpr

APA, Harvard, Vancouver, ISO, and other styles

28

Lengrand, Stéphane. "Normalisation & Equivalence en Théorie de la Démonstration & Théorie des Types." Phd thesis, Université Paris-Diderot - Paris VII, 2006. http://tel.archives-ouvertes.fr/tel-00134646.

Full text

Abstract:

Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curry-Howard fournit des termes de preuves aux aspects calculatoires et équipés de théories équationnelles, i.e. des notions de normalisation et d'équivalence. Cette thèse contribue à étendre son cadre à des formalismes (comme le calcul des séquents) appropriés à des considérations d'ordre logique comme la recherche de preuve, à des systèmes expressifs dépassant la logique propositionnelle comme des théories des types, et aux raisonnements classiques plutôt qu'intuitionistes.<br />La première partie

APA, Harvard, Vancouver, ISO, and other styles

29

Ayyadi, Asma El. "Couplage des modèles classique-quantique. Simulation de la diode à effet tunnel." Toulouse, INSA, 2002. http://www.theses.fr/2002ISAT0026.

Full text

Abstract:

L'objectif principal de ce travail de thèse concerne l'étude des modèles couplant des équations de type dérive-diffusion avec des équations de type Schrödinger. Ces problèmes sont motivés par des applications à la physique des dispositifs semi-conducteurs. Nous avons dérivé un modèle hybride dérive-diffusion/quantique à partir du modèle cinétique introduit par Ben Abdallah ('98), en supposant que l'opérateur de collisions est linéaire. Une approximation du second ordre conduit à l'introduction des termes correcteurs de couche limite, nécessitant la résolution de problèmes de Milne. La conditio

APA, Harvard, Vancouver, ISO, and other styles

30

Raffaelli, Bernard. "Analyse semi-classique des phénomènes de résonance et d’absorption par des trous noirs." Corte, 2011. https://tel.archives-ouvertes.fr/tel-00653074.

Full text

Abstract:

Au delà de la simple définition formelle d'un trou noir comme solution des équations d'Einstein dans le vide, il existe, comme l'a souligné Kip Thorne, depuis 1971 et l'observation du système binaire Cygnus X1, jusqu'aux hypothèses les plus récentes relatives à l'existence de trous noirs supermassifs au centre de nombreuses galaxies, des indices observationnels confortant leur existence dans l'Univers et motivant ainsi leur étude. En physique, nous le savons, pour obtenir des informations essentielles sur les interactions entre particules fondamentales, atomes, molécules, etc. . . , ainsi que

APA, Harvard, Vancouver, ISO, and other styles

31

Novakovic, Novak. "Sémantique algébrique des ressources pour la logique classique." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2011. http://www.theses.fr/2011INPL075N.

Full text

Abstract:

Le thème général de cette thèse est l’exploitation de l’interaction entre la sémantique dénotationnelle et la syntaxe. Des sémantiques satisfaisantes ont été découvertes pour les preuves en logique intuitionniste et linéaire, mais dans le cas de la logique classique, la solution du problème est connue pour être particulièrement difficile. Ce travail commence par l’étude d’une interprétation concrète des preuves classiques dans la catégorie des ensembles ordonnés et bimodules, qui mène à l’extraction d’invariants signiﬁcatifs. Suit une généralisation de cette sémantique concrète, soit l’interpr

APA, Harvard, Vancouver, ISO, and other styles

32

Nikseresht, Iraj. "La physique quantique au regard de la physique classique et de la physique dans l'Antiquité." Paris 1, 2003. http://www.theses.fr/2003PA010520.

Full text

Abstract:

La physique moderne, notamment la théorie des quanta et la découverte de Max Planck a soulevé une série de problèmes très généraux d'ordre strictement physique, mais qui ont obligé les physiciens à sortir du cadre étroit de leur discipline et à reprendre à leur compte certaines grandes questions philosophiques. N. Bohr, W. Heisenberg, W. Pauli, M. Born, P. Dirac, P. Jordan et J. Von Newmann ont été les principaux artisans de la mécanique quantique et des partisans de l'interprétation "dite de Copenhague". M. Planck, A. Einstein E. Schrodinger et L. De Broglie ont aussi apporté des contribution

APA, Harvard, Vancouver, ISO, and other styles

33

Vinet, Loïc. "Approche semi-classique de la physique des ions lourds aux énergies intermédiaires." Paris 11, 1986. http://www.theses.fr/1986PA112199.

Full text

Abstract:

L'étude des collisions entre ions lourds dans le domaine des énergies intermédiaires (10 à 100 MeV/A), peut être abordée par une approche semi-classique : l'équation de Vlasov nucléaire. Il est possible de décomposer la fonction de distribution à un corps sur une base d'états cohérents appropriée aux études dynamiques. Cette méthode est appliquée au cas des dalles de matière nucléaire semi-infinie et les résultats sont comparés à ceux de TDHF. A symétrie sphérique, la résonance géante monopolaire isoscalaire, les régimes d'évaporation, de formation de noyaux bulles et de vaporisation complète

APA, Harvard, Vancouver, ISO, and other styles

34

Khuat-Duy, David. "Formule des traces semi-classique pour une énergie critique et construction de quasi-modes à l'aide d'états cohérents." Paris 9, 1996. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1996PA090045.

Full text

Abstract:

Nous étudions le spectre d'un opérateur quantique connaissant en partie la dynamique classique du système hamiltonien associé. La première et principale partie de cette thèse se propose d'établir une formule des traces semi-classique de type Gutzwiller pour un opérateur de Schrödinger dans le cas où le système classique possède, sur la surface d’énergie considérée, non seulement des orbites périodiques mais également des points fixes : l’énergie considérée est alors valeur critique de l'hamiltonien. La deuxième partie présente une construction de quasi-modes obtenus par superposition d'états c

APA, Harvard, Vancouver, ISO, and other styles

35

Erreygers, Guido. "Terre, rente et choix de techniques : une étude sur la théorie néo-ricardienne." Paris 10, 1990. http://www.theses.fr/1990PA100076.

Full text

Abstract:

La thèse traite de la position des ressources naturelles non-reproductibles (brièvement : les terres) au sein de la théorie néo-ricardienne. Le but est exclusivement théorique, à savoir d'examiner si l'intégration des terres dans la théorie néo-ricardienne est faite d'une manière cohérente, et de déterminer les effets de leur présence sur certains aspects de la théorie. La première partie est consacrée à l'analyse des théories de la rente des trois auteurs les plus importants de l'économie politique classique (Smith, Ricardo, Marx). Dans la deuxième partie, la théorie de la rente de Piero Sraf

APA, Harvard, Vancouver, ISO, and other styles

36

Gilles, Joël. "Pour une théorie du paysage au XVIIème et au XVIIIème siècles en France." Paris 1, 1993. http://www.theses.fr/1993PA010504.

Full text

Abstract:

Penser le paysage comme genre, c'est s'interdire d'emblée toute explicitation de ce qui travaille, non pas un certain type d'imitation, dont les objets seraient ceux des "sites champêtres", mais une pratique et une pensée picturales particulières, qui débordent largement la dénomination traditionnelle du paysage. Le paysage ne serait pas seulement un genre pictural, mais plus largement - et plus confusément - une catégorie esthétique. Le projet est donc de montrer qu'en ce lieu de la peinture, plus qu'en tout autre, peut se repérer la genèse de l'esthétique moderne dans l'affirmation d'un acte

APA, Harvard, Vancouver, ISO, and other styles

37

Ben-Kiran, Taoufiq. "Étude d'un problème de perturbation singulière elliptique non classique." Nancy 1, 1989. http://www.theses.fr/1989NAN10040.

Full text

Abstract:

On construit des exemples de problèmes de perturbation singulière elliptique non classique (dans le problème limite, l'opérateur différentiel, et l'opérateur frontière sont d'ordre 2) dans lesquels les données du problème perturbé convergent vers les données du problème limité, tandis que le problème limité n'a pas de solution. On montre que la solution du problème perturbé, bien posé, diverge dans des espaces convenables et on donne des estimations de l'ordre de divergence

APA, Harvard, Vancouver, ISO, and other styles

38

Negra, Sourour. "Estimation semi-classique du courant quantique en présence d'un grand champ magnétique variable." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00286992.

Full text

Abstract:

L'opérateur de Pauli décrit l'énergie d'un électron soumis à un champ magnétique et à un potentiel électrique externe. La présence d'un champ magnétique induit naturellement l'existence d'une quantité: le courant. D'une manière formelle, cette quantité peut être considérer comme étant la dérivée de l'énergie par rapport au potentiel magnétique. Dans cette thèse, nous établissons une asymptotique du courant en présence d'un champ magnétique variable de grande intensité. Dans ce calcul nous utilisons une identité de commutateur qui nous conduits à l'estimation de la somme des valeurs propres nég

APA, Harvard, Vancouver, ISO, and other styles

39

Gaillard, Cécile. "Cinétique de formation de l'hydrate de méthane dans une boucle de laboratoire." Toulouse, INPT, 1996. http://www.theses.fr/1996INPT028G.

Full text

Abstract:

Le present travail etudie la cinetique de formation de l'hydrate de methane dans une boucle de laboratoire, dans laquelle circule une charge liquide saturee en methane, sous une pression pouvant atteindre soixante quinze bars, laquelle est maintenue constante pendant toute la duree des essais grace a un appoint de methane. Dans un premier temps, l'auteur mene l'etude de l'influence de la pression, comprise entre 20 et 75 bars, de la vitesse de circulation, comprise entre 1,5 et 3 m/s, de la vitesse de refroidissement, comprise entre 1 et 15c/h, et de la teneur en hydrocarbures liquides, compri

APA, Harvard, Vancouver, ISO, and other styles

40

Gaudillière, Alexandre. "Fuga dalla metastabililità per dinamiche stocastiche conservative." Paris 11, 2006. http://www.theses.fr/2006PA112187.

Full text

Abstract:

Nous étudions la fuite de la métastabilité pour un gaz de particules évoluant sous la dynamique conservative de Kawasaki à basse température et à l'intérieur d'un domaine bi-dimensionel de volume exponentiellement grand en la température inverse. Nous décrivons d'abord les trajectoires typiques suivies par le système, dans la version locale du modèle, lors de la première transition entre la métastabilité et la stabilité. Nous établissons ensuite une propriété des marches aléatoires dans le plan qui permet d'étendre les résultats obtenus pour la version locale du modèle à la dynamique originale

APA, Harvard, Vancouver, ISO, and other styles

41

Miquey, Étienne. "Réalisabilité classique et effets de bord." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC031/document.

Full text

Abstract:

Cette thèse s'intéresse au contenu calculatoire des preuves classiques, et plus spécifiquement aux preuves avec effets de bord et à la réalisabilité classique de Krivine. Le manuscrit est divisé en trois parties, dont la première consiste en une introduction étendue des concepts utilisés par la suite. La seconde partie porte sur l’interprétation calculatoire de l’axiome du choix dépendant en logique classique. Ce travail s'inscrit dans la continuité du système dPAω d'Hugo Herbelin, qui permet d’adapter la preuve constructive de l’axiome du choix en théorie des types de Martin-Löf pour en faire

APA, Harvard, Vancouver, ISO, and other styles

42

Rosell, Olivier. "Répartition du revenu et reproduction du capital : une approche classique." Thesis, Paris 10, 2012. http://www.theses.fr/2012PA100182.

Full text

Abstract:

Cette thèse montre que l’on peut trouver dans la théorie classique contemporaine deux conceptions du salaire selon que l’évaluation du travail salarié est le résultat d’une lutte pour le partage de la valeur ajoutée (salaire exogène) ou du jeu concurrentiel sur le marché du travail (salaire endogène). Sur cette base, nous soutenons que l’approche classique, dont les antécédents historiques reposent sur les œuvres de David Ricardo (1772-1823) et d’un auteur méconnu, Robert Torrens (1780-1864), est susceptible de rendre compte : 1) du partage de la valeur ajoutée et de son influence sur les prix

APA, Harvard, Vancouver, ISO, and other styles

43

Gnandou, Ide. "La théorie des anticipations rationnelles et la nouvelle macroéconomie classique : portée, sens et signification pour l'analyse économique avec une étude de comportements économiques au Niger." Paris 9, 1989. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1989PA090018.

Full text

Abstract:

La nouvelle école classique (NEC) constitue une véritable innovation dans la théorie économique. Par ses hypothèses de base, sa démarche et enfin ses recommandations, elle pose d'importants problèmes que la macroéconomie keynésienne dominante sur plusieurs années a ignorés. L'hypothèse d'anticipations rationnelles (A. R) combinée à des éléments du taux naturel de Friedman-Phelps et du concept d'équilibre de Hayek permirent aux nouveaux classiques de développer un modèle théorique très controversé au niveau de la fonction d'offre essentiellement dite "courbe d'offre de Lucas". Lucas, Sargent, B

APA, Harvard, Vancouver, ISO, and other styles

44

Raffaelli, Bernard. "Analyse semi-classique des phénomènes de résonance et d'absorption par des trous noirs." Phd thesis, Université Pascal Paoli, 2011. http://tel.archives-ouvertes.fr/tel-00653074.

Full text

Abstract:

Au delà de la simple définition formelle d'un trou noir comme solution des équations d'Einstein dans le vide, il existe, comme l'a souligné Kip Thorne, depuis 1971 et l'observation du système binaire Cygnus X1, jusqu'aux hypothèses les plus récentes relatives à l'existence de trous noirs supermassifs au centre de nombreuses galaxies, des indices observationnels confortant leur existence dans l'Univers et motivant ainsi leur étude. En physique, nous le savons, pour obtenir des informations essentielles sur les interactions entre particules fondamentales, atomes, molécules, etc..., ainsi que sur

APA, Harvard, Vancouver, ISO, and other styles

45

Poulain, d. andecy Loic. "Algèbres de Hecke cyclotomiques : représentations, fusion et limite classique." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4036/document.

Full text

Abstract:

Une approche inductive est développée pour la théorie des représentations de la chaîne des algèbres de Hecke cyclotomiques de type G(m,1,n). Cette approche repose sur l'étude du spectre d'une famille commutative maximale, formée par les analogues des éléments de Jucys--Murphy.Les représentations irréductibles, paramétrées par les multi-partitions, sont construites avec l'aide d'une nouvelle algèbre associative, dont l'espace vectoriel sous-jacent est le produit tensoriel de l'algèbre de Hecke cyclotomique avec l'algèbre associative libre engendrée par les multi-tableaux standards.L'analogue de

APA, Harvard, Vancouver, ISO, and other styles

46

Sibari, Hassane. "Transport classique et quantique dans les hétérojonctions GaAlAs/GaAs : rôle des états d'interface." Montpellier 2, 1992. http://www.theses.fr/1992MON20251.

Full text

Abstract:

L'analyse des phenomenes de transport classique et quantique dans les heterojonctions gaalas-gaas laisse envisager l'existence d'etats additionnels, situes a l'interface de l'heterojonction. En effet, d'une part, l'analyse de la mobilite des electrons du canal 2d revele que les valeurs theoriques de la mobilite sont toujours superieures aux valeurs experimentales. Ceci met en evidence l'existence d'un mode de diffusion supplementaire que nous attribuons aux etats situes a l'interface de l'heterojonction. D'autre part, l'etude de l'equilibre des charges dans l'heterojonction montre que le trans

APA, Harvard, Vancouver, ISO, and other styles

47

Iachella, Mathilde. "Nucléation, Croissance et Morphologie de Nanoparticules d'Or et d'Or-Cuivre sur Support Rutile par la Théorie de la Fonctionnelle de la Densité." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSEN034/document.

Full text

Abstract:

Dans cette étude, la nucléation, la croissance, la morphologie et la réactivité de nanoparticules Au, Cu et AuCu sont examinées sur support rutile TiO2 (110) stoechiométrique, réduit et hydraté. En premier lieu, la nucléation a été modélisée via l’adsorption et la diffusion d’atomes Au et Cu, à l’aide de calculs de type théorie de la fonctionnelle de la densité (DFT), et de diagrammes d’énergie libre en condition réaliste.Les résultats DFT+U ont montré le rôle promoteur des espèces hydroxyles en surface sur la nucléation, en accord avec les mesures expérimentales de microscopie STM. Ensuite, l

APA, Harvard, Vancouver, ISO, and other styles

48

Storey, Pipa. "Ondes de matière dans des potentiels périodiques en temps : étude semi-classique." Phd thesis, Université Pierre et Marie Curie - Paris VI, 1996. http://tel.archives-ouvertes.fr/tel-00011911.

Full text

Abstract:

La limite semi-classique de la mécanique quantique est analogue à la limite des petits longueurs d'ondes de l'électromagnétisme, les trajectoires classiques des particules jouant le rôle des rayons optiques. Dans ce mémoire, des méthodes semi-classiques sont appliquées à la diffusion d'un faisceau atomique par un potentiel modulé périodiquement dans le temps. Des caustiques, analogues aux points focaux optiques, se produisent dans l'espace des énergies aux limites de la région permise classiquement. De même que l'optique géométrique n'est pas valable aux points focaux, où elle prédit une inten

APA, Harvard, Vancouver, ISO, and other styles

49

Lenglart, Elie. "La théorie générale des conflits de lois à l’épreuve de l’individualisme." Thesis, Paris 2, 2019. http://www.theses.fr/2019PA020075.

Full text

Abstract:

L’individualisme constitue l’un des traits spécifiques de la conception moderne du droit. Son apparition semble en effet avoir bouleversé le sens et la teneur du phénomène juridique, en scellant le passage d’une conception classique à une vision moderne du droit. Naturellement, une telle évolution ne s’est pas produite instantanément. Elle est le produit d’une mutation profonde qui se traduit au sein de la représentation du monde à laquelle adhère désormais notre modernité à la suite d’un changement très net de paradigme philosophique. L’étude de cette transformation est indispensable afin de

APA, Harvard, Vancouver, ISO, and other styles

50

Sbai, Youssef. "Analyse semi-classique des opérateurs périodiques perturbés." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0270/document.

Full text

Abstract:

Cette thèse traite de certaines propriétés spectrales de deux classes spécifiques des opérateurs périodiques. Nous nous intéressons tout d’abord à un modèle périodique perturbée par un opérateur dépendant d’un petit paramètre semi-classique. Nous obtenons alors le comportement asymptotique de la fonction du comptage des valeurs propres dans les gaps spectrales avec une estimation optimale du reste. Le second modèle étudié dans cette thèse est un modèle elliptique périodique d’ordre deux perturbée par un opérateur dépendant d’une grande constante de couplage. Nous donnons également la descripti

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!