• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 99
  • 82
  • 61
  • 11
  • 4
  • 2
  • 2
  • Tagged with
  • 259
  • 81
  • 26
  • 25
  • 23
  • 20
  • 20
  • 18
  • 17
  • 15
  • 14
  • 14
  • 14
  • 13
  • 13
  • 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.
41

Cultivo de la microalga Scenedesmus Obliquus var. Dimorphus (TURPIN) para la obtención de biomasa y lípidos.

Mercado Tupiño, Estefanía January 2016 (has links)
Las microalgas han demostrado ser la fuente de energía más económica. Además, reduce el dióxido de carbono, también tienen una mayor producción en un corto tiempo y menor espacio a diferencia de otros cultivos. Entre las más de 100 especies de microalgas, el Scenedesmus dimorphus es el que tiene mayor potencial. El objetivo de este trabajo de tesis fue determinar de qué manera con un medio de cultivo para Scenedesmus obliquus var. dimorphus (Turpin) se obtiene cantidad de biomasa y contenido de aceite. Inicialmente, el trabajo experimental consistió en la obtención de la cepa pura de Scenedesmus dimorphus (14 mL). Seguidamente, se realizó el escalamiento de cultivo desarrollándose de la siguiente manera: 100 mL, 250 mL, 500 mL, 1L, 2L y 5L, con el fin de determinar las curvas de crecimiento mediante el conteo celular de S. dimorphus con el uso de la cámara de Neubauer, obteniendo los siguientes resultados: 3’ 451,500 unidades celulares en 120 horas (Bayfolan Forte), 2’ 472,500 unidades celulares en 192 horas (BG-11) y 327,500 unidades celulares en 96 horas (Guillard). Concluyendo que el Bayfolan Forte se obtuvo un mejor resultado. A continuación, se realizó 5 cosechas, luego se usó el método de floculación mediante la utilización del sulfato de aluminio Al2(SO4)3 y posteriormente, para la extracción de aceites, se molió la biomasa seca (36.5 g) seguido por la extracción con disolvente en hexano/ isopropanol, y se obtuvo un total de 30 mL de lípidos. Finalmente, en la parte estadística se comprobó la validez de las hipótesis utilizando diferentes métodos, tales como: Anova, Tukey y T. Student.
42

Alimentation et commande de drivers à très forte isolation galvanique pour des convertisseurs multi-niveaux dédiés à la traction ferroviaire / High isolated drivers order and power supply for multi levels converters applied to railway area

Galaï Dol, Lilia 14 January 2014 (has links)
Ce projet fait l’objet d’une collaboration entre l’équipe EPI du laboratoire SATIE de l’ENS Cachan, le laboratoire LAPLACE et ALSTOM Transport dans le cadre du projet ANR « CONCIGI HT ». Les recherches dans le domaine du ferroviaire visent à réduire toujours plus la taille et le poids de la chaine de traction. Aujourd’hui, la volonté de poursuivre la réduction des temps de parcours est complétée par le souhait de diminuer la puissance consommée, ceci ayant des conséquences importantes sur la conception des chaines de traction. L’objectif de ce projet est de remplacer certaines parties de la chaine de puissance d’une locomotive par des systèmes permettant de diminuer de 30% leur encombrement, donc de diminuer jusqu’à 8,5 % l’énergie électrique consommée et augmenter le nombre de passagers transportés. Le travail présenté dans cette thèse porte sur le dimensionnement et l’étude de l’alimentation des allumeurs de semi-conducteurs SiC HT (pouvant atteindre un transitoire de 10 kV). La particularité de ces semi-conducteurs est leur application : ils constituent des convertisseurs multi-niveaux dont la fonction est de remplacer les transformateurs 25 kV/3 kV-50 Hz actuellement utilisés pour la traction ferroviaire. La principale contrainte porte donc sur la tenue diélectrique qui atteint un maximum de 60 kV liée aux transitoires présents sur la caténaire. Une alimentation à double isolation galvanique (DGIT-Double Galvanic Insulation Transformer) a donc été développée afin de répondre à la nécessité de double tenue diélectrique (10 kV et 60 kV). Dans un premier temps une structure permettant la double isolation galvanique a été développée avec l’objectif de réduire au maximum sa taille et son poids. Sa disposition spatiale et sa géométrique ont également été pris en considération (ainsi que de nombreux paramètre à la fois pertinents et contradictoires). Ceci afin d’obtenir le système optimal et une répartition des capacités de mode commun et différentiel respectant la forte tenue diélectrique. Dans un second temps une étude de l’alimentation adaptée au DGIT a été réalisée et testée. L’association du DGIT qui est un élément très inductif, de la charge qui est un driver à faible puissance et de l’aspect multi-niveau implique un fonctionnement atypique. Pour chacune de ces parties, une étude structurelle, fréquentielle et électrique a été réalisée afin d’obtenir un dispositif optimal du point de vue du volume, du poids et des pertes, tout en respectant la principale contrainte de la tenue à la THT (Très Haute Tension). Enfin, dans un troisième temps nous avons étudié la possibilité de remplacer les fibres optiques utilisées de nos jours pour la commande des allumeurs par un système basé sur la transmission par radio fréquence. / This project is the result of collaboration between the EPI team of the SATIE laboratory at ENS Cachan, the LAPLACE laboratory and ALSTOM Transport in the ANR "CONCIGI HT" project. Research in the railway traction area aims to reduce the increasing size and weight of the power train. Today, the desire to reduce travel time is complemented by the desire to reduce power consumption- it is an important information for the design of traction chains. The objective of this project is to replace parts of the locomotive power supply systems to reduce their size by 30%, thus to reduce the power consumption and increase by 8.5% the number of passengers. The work presented in this thesis focuses on the design and study of the drivers power supply for HV SiC semiconductor (up to a 10 kV transient voltage). The peculiarity of these semiconductors is their application: they are placed in multi-level converters in order to replace the 25 kV / 3 kV, 50 Hz transformers currently used for rail traction. The main constraint is the dielectric strength that reaches a maximum of 60 kV due to transient present on the catenary. So, the Double Galvanic Insulation Transformer (DGIT) has been developed to adapt to the need of holding dual dielectric (10 kV and 60 kV). In a first step, a structure for the dual galvanic insulation has been developed with the objective to minimize its size and weight. Its spatial and geometrical arrangements were also taken into account (as well as many parameters both relevant and contradictory), in order to obtain the optimal system and common and differential mode distributed capacities observing the high dielectric strength. In a second step a study of the DGIT adapted power supply has been completed and tested. The combination of DGIT inductive behavior, the driver low power and the multi-level aspect, involves an atypical work of this power supply converter. For each of these parts, a structural, frequencial and electrical study was performed in order to achieve the maximum optimal device in terms of volume, weight and loss, with respect to the main constraint of VHV (Very High Voltage). Finally, in a third step we studied the possibility of subtituing the optical fibers currently used for the control of lighters with a system based on radio-frequency transmission.
43

Seleção de modelos para segmentação de sequências simbólicas usando máxima verossimilhança penalizada / A model selection criterion for the segmentation of symbolic sequences using penalized maximum likelihood

Bruno Monte de Castro 20 February 2013 (has links)
O problema de segmentação de sequências tem o objetivo de particionar uma sequência ou um conjunto delas em um número finito de segmentos distintos tão homogêneos quanto possível. Neste trabalho consideramos o problema de segmentação de um conjunto de sequências aleatórias, com valores em um alfabeto $\\mathcal$ finito, em um número finito de blocos independentes. Supomos ainda que temos $m$ sequências independentes de tamanho $n$, construídas pela concatenação de $s$ segmentos de comprimento $l^{*}_j$, sendo que cada bloco é obtido a partir da distribuição $\\p _j$ em $\\mathcal^{l^{*}_j}, \\; j=1,\\cdots, s$. Além disso denotamos os verdadeiros pontos de corte pelo vetor ${{\\bf k}}^{*}=(k^{*}_1,\\cdots,k^{*}_)$, com $k^{*}_i=\\sum _{j=1}^l^{*}_j$, $i=1,\\cdots, s-1$, esses pontos representam a mudança de segmento. Propomos usar o critério da máxima verossimilhança penalizada para inferir simultaneamente o número de pontos de corte e a posição de cada um desses pontos. Também apresentamos um algoritmo para segmentação de sequências e realizamos algumas simulações para mostrar seu funcionamento e sua velocidade de convergência. Nosso principal resultado é a demonstração da consistência forte do estimador dos pontos de corte quando o $m$ tende ao infinito. / The sequence segmentation problem aims to partition a sequence or a set of sequences into a finite number of segments as homogeneous as possible. In this work we consider the problem of segmenting a set of random sequences with values in a finite alphabet $\\mathcal$ into a finite number of independent blocks. We suppose also that we have $m$ independent sequences of length $n$, constructed by the concatenation of $s$ segments of length $l^{*}_j$ and each block is obtained from the distribution $\\p _j$ over $\\mathcal^{l^{*}_j}, \\; j=1,\\cdots, s$. Besides we denote the real cut points by the vector ${{\\bf k}}^{*}=(k^{*}_1,\\cdots,k^{*}_)$, with $k^{*}_i=\\sum _{j=1}^l^{*}_j$, $i=1,\\cdots, s-1$, these points represent the change of segment. We propose to use a penalized maximum likelihood criterion to infer simultaneously the number of cut points and the position of each one those points. We also present a algorithm to sequence segmentation and we present some simulations to show how it works and its convergence speed. Our principal result is the proof of strong consistency of this estimators when $m$ grows to infinity.
44

Aproximantes de Padé e a série perturbativa da QCD nos decaimentos τ → (hádrons) + ντ / Padé Approximants and perturbative series of QCD in τ decays

Fabio Henrique Oliani 21 February 2018 (has links)
As correções perturbativas da QCD aos decaimentos hadrônicos do tau são obtidas a partir da expansão da função de Adler. Acredita-se que esta série é assintótica e melhor entendida quando sua transformada de Borel é considerada. Usamos o método matemático dos Aproximantes de Padé para reconstruir a transformada de Borel da série e extrair informação sobre as correções de ordens mais altas bem como os pólos devidos aos renôrmalons associados com a divergência da série. Primeiramente, testamos o método no limite large-β0 da QCD, onde a série perturbativa é conhecida em todas as ordens. Neste limite observamos que a variação de esquema de renormalização do acoplamento forte, αs, pode ser útil para a construção de aproximantes que convergem mais rapidamente. Aplicamos o método na QCD completa para obtermos previsões sobre as principais características da série. Em QCD a estrutura analítica da transformada de Borel da função de Adler torna as aproximações com Padés menos eficientes, o que se reflete em incertezas maiores. Chegamos ao resultado de 570 ± 285 para o coeficiente do termo α5s. Devido ao fato de a série prevista pelos aproximantes apresentar comportamento divergente de sinal não-alternado, há uma indicação de que singularidades do tipo infra-vermelho contribuem mais para os coeficientes da série em ordens intermediárias. Além disso, apesar de os resultados para a soma de Borel da função δ(0) serem compatíveis com as duas prescrições mais usadas para fixar a escala de renormalização em decaimentos do tau, o Padé apresenta uma leve preferência pela prescrição de ordem fixa (ou FOPT). / Perturbative QCD corrections to hadronic tau decays are obtained from the expansion of the Adler function. This series is believed to be asymptotic and is better understood when its Borel transform is considered. We use the mathematical method of Padé approximants to reconstruct the Borel transformed series and extract information about higher order corrections as well as renormalon poles associated with the divergence of the series. First, the method is tested in the large-β0 limit of QCD, where the perturbative series is known to all orders. In this limit, we observe that the renormalization scheme variation of the strong coupling, αs, can be useful in constructing approximants that converge faster. We apply the method in complete QCD to obtain predictions about the main characteristics of the series. In QCD, the analytical structure of the Borel transform of the Adler function makes the approximations with Padés less efficient, which is reflected in larger uncertainties. We obtain the result 570 ± 285 for the coefficient of the term α5s. The fixed sign nature of the series predicted by the PAs indicates that there is an indication that infrared singularities contribute more to the coefficients of the series in intermediate orders. In addition, although the results for the Borel sum of the function δ(0) are compatible with the two most frequently used prescriptions for setting the renormalization scale in tau decays, Padé approximants show a slight preference for fixed order prescription (or FOPT).
45

Íons pesados relativísticos: sobre a física das colisões periféricas / Relativistic Heavy Ion: on the physics of peripheral collisions

Mirian Enriqueta Bracco 30 November 1992 (has links)
Investigamos o papel da interação forte nas colisões periféricas de íons pesados, contrastando-a com a interação eletromagnética, e o efeito que ela desempenha na excitação de modos coletivos, processos envolvendo a correlação de dois núcleons e processos completamente incoerentes. Explicamos dados experimentais recentes (Brookhaven, E814 Collaboration), separando quantitativa e qualitativamente as contribuições nuclear e eletromagnética, coerentes e incoerentes, comparando-as também com outras experiências similares. / We have compared the role played by strong interactions with the one played e1ectromagnetic interactions in re1ativistic heavy ion collisions. We also analyze its effects of strong interactions in the excitation of collective modes and in the emission of one and two-nucleon correlations. We explain recent experimental data (Brookhaven, E814 Collaboration), separating qualitatively and quantitatively the nuclear and electromagnetic, coherent and incoherent contributions to the one-nucleon emission cross section. We also compare them with results of other similar experiments.
46

Dimensão global forte e complexidade na categoria derivada / Strong global dimension and complexity in the derived category

Francisco Batista de Medeiros 28 November 2014 (has links)
Apresentamos neste trabalho uma definição de complexidade na categoria derivada de complexos (limitados superiormente) de módulos sobre uma k-álgebra de dimensão finita. Um dos resultados que conseguimos foi uma relação entre a complexidade de objetos indecomponíveis e a noção de dimensão global forte. Mais especificamente, mostramos que a existência de um objeto indecomponível na categoria derivada limitada superiormente com complexidade não nula é condição suficiente para que a respectiva álgebra tenha dimensão global forte infinita. Também investigamos se existe uma relação entre as dimensões global e global forte da classe das álgebras shod (Coelho e Lanzilotta, 2009). Fomos motivados pela caracterização da classe das álgebras quase inclinadas (Happel, Reiten e Smalo, 1996) em termos da sua dimensão global forte, dada por D. Happel e D. Zacharia (2008), e pelo fato das álgebras shod serem uma generalização das álgebras quase inclinadas. Nossa conclusão foi que não existe, em geral, uma caracterização das álgebras shod em termos de sua dimensão global forte. Isto é, mostramos que para cada inteiro d > 2 existe uma álgebra shod estrita cuja dimensão global forte é igual a d. / We introduce in this thesis a definition of complexity in the derived category of bounded above complexes of modules over a finite dimensional k-algebra. One of our result shows a relationship between the complexity of indecomposable objects and the notion of strong global dimension. More specifically, we prove that the existence of an indecomposable object in the category derived bounded above whose complexity is not zero is a sufficient condition for corresponding algebra being of infinite strong global dimension. We also investigate the existence of a relationship between the global dimension and the strong global dimension of shod algebras (Coelho and Lanzilotta, 1999). Our motivation came from characterization of quasitilted algebras (Happel, Reiten and Smalo, 1996) by its strong global dimension, given by D. Happel and D. Zacharia (2008), and from the fact that shod algebras are a generalization of quasitilted algebras. Our conclusion was that there is not in general a characterization of shod algebras in terms of its strong global dimension. This conclusion comes from the fact that we showed that for each integer d > 2 there exists a strictly shod algebra whose strong global dimension is d.
47

Aproximantes de Padé e a série perturbativa da QCD nos decaimentos τ → (hádrons) + ντ / Padé Approximants and perturbative series of QCD in τ decays

Oliani, Fabio Henrique 21 February 2018 (has links)
As correções perturbativas da QCD aos decaimentos hadrônicos do tau são obtidas a partir da expansão da função de Adler. Acredita-se que esta série é assintótica e melhor entendida quando sua transformada de Borel é considerada. Usamos o método matemático dos Aproximantes de Padé para reconstruir a transformada de Borel da série e extrair informação sobre as correções de ordens mais altas bem como os pólos devidos aos renôrmalons associados com a divergência da série. Primeiramente, testamos o método no limite large-β0 da QCD, onde a série perturbativa é conhecida em todas as ordens. Neste limite observamos que a variação de esquema de renormalização do acoplamento forte, αs, pode ser útil para a construção de aproximantes que convergem mais rapidamente. Aplicamos o método na QCD completa para obtermos previsões sobre as principais características da série. Em QCD a estrutura analítica da transformada de Borel da função de Adler torna as aproximações com Padés menos eficientes, o que se reflete em incertezas maiores. Chegamos ao resultado de 570 ± 285 para o coeficiente do termo α5s. Devido ao fato de a série prevista pelos aproximantes apresentar comportamento divergente de sinal não-alternado, há uma indicação de que singularidades do tipo infra-vermelho contribuem mais para os coeficientes da série em ordens intermediárias. Além disso, apesar de os resultados para a soma de Borel da função δ(0) serem compatíveis com as duas prescrições mais usadas para fixar a escala de renormalização em decaimentos do tau, o Padé apresenta uma leve preferência pela prescrição de ordem fixa (ou FOPT). / Perturbative QCD corrections to hadronic tau decays are obtained from the expansion of the Adler function. This series is believed to be asymptotic and is better understood when its Borel transform is considered. We use the mathematical method of Padé approximants to reconstruct the Borel transformed series and extract information about higher order corrections as well as renormalon poles associated with the divergence of the series. First, the method is tested in the large-β0 limit of QCD, where the perturbative series is known to all orders. In this limit, we observe that the renormalization scheme variation of the strong coupling, αs, can be useful in constructing approximants that converge faster. We apply the method in complete QCD to obtain predictions about the main characteristics of the series. In QCD, the analytical structure of the Borel transform of the Adler function makes the approximations with Padés less efficient, which is reflected in larger uncertainties. We obtain the result 570 ± 285 for the coefficient of the term α5s. The fixed sign nature of the series predicted by the PAs indicates that there is an indication that infrared singularities contribute more to the coefficients of the series in intermediate orders. In addition, although the results for the Borel sum of the function δ(0) are compatible with the two most frequently used prescriptions for setting the renormalization scale in tau decays, Padé approximants show a slight preference for fixed order prescription (or FOPT).
48

"Sculpsit et delineavit : Léopold Flameng (1831-1911) ou le métier de "graveur-illustrateur" dans la seconde moitié du XIXe siècle / Sculpsit and delineavit : Léopold Flameng (1831-1911) or the profession of « engraver-illustrator » in the second half of the 19th century

Page, Alexandre 07 July 2017 (has links)
« Graveur-illustrateur », Léopold Flameng incarne dans la seconde moitié du xixe siècle un rapprochement entre les activités de graveur de reproduction et d’illustrateur original. Formé à la gravure « classique » par Luigi Calamatta, à l’Ecole des beaux-arts de Bruxelles, il devint un aquafortiste et buriniste de grande réputation à partir des années 1860, traduisant les maîtres et spécialement Rembrandt. Œuvrant à la Gazette des beaux-arts, à L’Artiste, à L’Art, il collabora aussi avec des revues étrangères et travailla pour des éditeurs d’estampes comme Goupil. Néanmoins, Léopold Flameng ne délaissa pas une activité de créateur, qu’il cultiva en pratiquant l’illustration originale. Dessinant pour Ducrocq, Jouaust ou Hetzel, Flameng est un des rares graveurs de métier à réussir, dans la seconde moitié du xixe siècle, une carrière d’illustrateur à succès face à la dominance des peintres.Cette thèse qui s’appuie sur un ample corpus d’œuvres et sur une correspondance et des archives en grande partie inédites, cherche à définir le « graveur-illustrateur », type particulier d’illustrateur venu non de la peinture mais de la gravure. Tandis qu’une première partie s’attache à présenter le graveur de reproduction, en s’attardant notamment sur son rôle dans la dynamique de l’eau-forte à partir des années 1850 en France, une deuxième partie vise à montrer le glissement de l’artiste vers l’illustration originale. Il s’agit d’en expliciter les raisons et de comprendre un paradoxe : comment Léopold Flameng a pu trouver dans l’illustration originale un terrain de liberté créative, compte tenu des nombreuses contraintes qui pèsent sur l’artiste ? Enfin, une dernière partie explore les réseaux personnels et professionnels de Flameng, cherchant à étudier sa relation avec les divers intermédiaires et collègues entourant le graveur et l’illustrateur, et à analyser la distribution et la réception de son œuvre auprès du public. L’objectif de cette thèse est donc de faire émerger une typologie particulière d’illustrateur, en s’appuyant à la fois sur Léopold Flameng et sur les évolutions notables qui touchent le monde de l’estampe au milieu du xixe siècle et qui impliquent, chez la plupart des graveurs, de nécessaires adaptations à un nouveau contexte. / "Engraver-illustrator", Leopold Flameng embodies in the second half of the nineteenth century a reconciliation between the activities of reproductive engraver and of original illustrator.Trained in "classical" engraving by Luigi Calamatta at the Ecole des Beaux-Arts in Brussels, he became a renowned etcher and engraver from the 1860s, translating the masters, especially Rembrandt. Working in the Gazette des Beaux-Arts, L'Artiste, L’Art, he also collaborated with foreign magazines and worked for prints publishers like Goupil.Nevertheless, Leopold Flameng did not abandon a creative activity, which he cultivated by practicing the original illustration.Drawing for Ducrocq, Jouaust or Hetzel, Flameng is one of the few professional engraver to succeed in the second half of the nineteenth century, a successful illustrator career in the face of the dominance of painters.This thesis, which is based on a large corpus of works and a correspondence and archives largely unpublished, seeks to define the "engraver-illustrator", a particular type of illustrator who came not from painting but from engraving.While the first part is devoted to presenting the reproductive engraver, focusing in particular on its role in the dynamics of etching from the 1850s in France, a second part aims to show the shift of the artist to the original illustration. It is a matter of explaining the reasons for this, and of understanding a paradox : How could Leopold Flameng find in the original illustration a field of creative freedom, given the many constraints that weigh on the artist ?Finally, the last part explores the personal and professional networks of Flameng, seeking to study his relationship with the various intermediaries and colleagues surrounding the engraver and the illustrator, and to analyze the distribution and reception of his work among the public.The objective of this thesis is thus to bring out a particular typology of illustrator, relying both on Leopold Flameng and on the significant evolutions that affect the world of printmaking in the middle of the nineteenth century and which imply, in most of the engravers, of necessary adaptations to a new context
49

Une nouvelle classe de modèles auto-régressifs à valeurs entières

Kachour, Maher 09 December 2009 (has links) (PDF)
Dans certaines situations il devient nécessaire de traiter les séries chronologiques à valeurs entières. Au premier regard, l'analyse de telle série peut présenter quelques difficultés, notamment si l'analyse est basée sur quelques modèles stochastiques. Ces modèles doivent refléter la particularité entière de la série observée. De nombreuses tentatives ont été faites pour définir des modèles qui peuvent être utilisés pour décrire les séries chronologiques à valeurs entières. La plupart des modèles proposés sont basés sur l'opérateur d'amincissement et possèdent les mêmes propriétés que les modèles à valeurs réelles bien-connus dans la littérature. L'objectif de cette thèse est d'étudier les modèles auto-régressifs à valeurs entières. Nous introduisons une nouvelle classe de modèles basés sur l'opérateur d'arrondi. Par rapport aux modèles existants, la nouvelle classe a plusieurs avantages: structure d'innovation simple, coefficients de régression avec des signes arbitraires, valeurs négatives possibles pour la série chronologiques et pour la fonction d'auto-corrélation. Nous étudions la stationnarité des modèles et la consistance forte de l'estimateur des moindres carrés proposé pour estimer les paramètres. Nous analysons quelques séries chronologiques à valeurs entières bien-connues avec les modèles introduits.
50

La propriété de normalisation pour des calculs logiques symétriques

Battyanyi, Peter 12 December 2007 (has links) (PDF)
Dans les années quatre-vingts-dix, on a remarqué ce que l'isomorphisme de Curry-Howard peut être étendu à la logique classique. De nombreux calculs ont été développés pour constituer la base de cette extension. On étudie dans cette thèse quelques uns de ces calculs.<br />On étudie tout d'abord le $\lambda \mu$-calcul simplement typé de Parigot. Parigot a prouvé par des méthodes sémantiques que son calcul est fortement normalisable. Ensuite, David et Nour ont donné une preuve arithmétique de la normalisation forte de ce calcul avec la règle $\mu'$ (règle duale de $\mu$). Cependant, si l'on ajoute au $\lambda \mu \mu'$-calcul la règle de simplification $\rho$, la normalisation forte est perdu. On montre que le $\mu \mu' \rho$-calcul non-typé est faiblement normalisable, et que le $\lambda \mu \mu' \rho$-calcul typé est aussi faiblement normalisable. De plus, on examine les effets d'ajouter quelques autre règles de simplification.<br />On établi ensuite une borne de la longueur des séquences de réduction en $\lambda \mu \rho \theta$-calcul simplement typé.<br />Ce résultat est une extension de celui de Xi pour le $\lambda$-calcul simplement typé.<br />Dans le chapitre suivant on présente une preuve arithmétique de la normalisation forte du $\lambda$-calcul symétrique de Berardi et Barbanera.<br />Enfin, on établi des traductions entre le $\lambda$-calcul symétrique de Berardi et Barbanera et le $\lmts$-calcul, qui est le $\lmt$-calcul de Curien et Herbelin étendu avec une négation. (... qui est obtenu du $\lmt$-calcul de Curien et Herbelin par l'étendre avec une négation).

Page generated in 0.0547 seconds