L’intérêt des systèmes laser UV compacts à solide ne cesse de s’accroître du fait de leurs nombreuses applications dans différents domaines : stockage optique d’information, micro-usinage, médecine, biologie, science des matériaux ... Cependant, dans les cristaux de type oxyde, l’obtention d’une lumière laser UV ne peut se faire que par conversion de fréquences d’un laser émettant dans le domaine infra-rouge. Dans ces conditions, les efforts de recherche s’orientent vers des cristaux à base de borates du fait de leurs performances, de leur transparence dans l’ultraviolet et de leur résistance à l’endommagement laser. Dans ce cadre, nous avons étudié trois matériaux à base de borate : Bi2ZnB2O7 (BZBO), LaBGeO5 (LBGO) et BaCaBO3F (BCBF). Des fibres cristallines de borate de zinc et bismuth BZBO ont été élaborées par la technique de la micro-goutte pendante dans différentes conditions afin de tenter de résoudre le problème de la coloration orange-rouge des fibres obtenues lors de travaux antérieurs. La croissance directe des fibres de LBGO à partir du liquide s’est révélée pratiquement impossible à cause de sa viscosité trop importante. La recherche d’un flux a donc été entreprise afin de diminuer la viscosité et permettre d’obtenir des cristaux de bonne qualité et de dimensions exploitables. Pour cela, le diagramme de phases LBGO-LiF a été étudié ainsi qu’une partie de la coupe isopléthique La2O3-LaBGeO5 dans le système ternaire La2O3-B2O3-GeO2 afin d’étudier les possibilités de « self flux ». Le tirage des fibres BCBF étant très difficile, la technique de la micro-goutte pendante n’est pas une méthode appropriée, dans sa version actuelle, pour la croissance de ce matériau / The growing interest in compact all-solid state laser sources based on non-linear optical crystals emitting in the UV range is explained by their numerous applications such as photolithography, marking, micromachining, cutting or surgery. The only way to generate an ultraviolet laser light from an oxide crystal is by frequency conversion of a near-infrared source. In these conditions, the research works focus towards borate crystals due to their performance, transparency and resistance to laser damage. In this context, we have studied three borate materials: Bi2ZnB2O7 (BZBO), LaBGeO5 (LBGO) and BaCaBO3F (BCBF). Several BZBO crystal fibers were pulled under different conditions by micro-pulling down technique, in order to solve the problem of the orange-red color of the obtained fibers in previous works. The direct growth of LBGO fibers from the melt is impossible because of its excessive viscosity. It was then necessary to find a flux to reduce viscosity and provide crystals with good quality and usable dimensions. So, the LBGO-LiF phase diagram was studied and also the isoplethal section La2O3- LaBGeO5 in the La2O3-B2O3-GeO2 ternary system to examine the possibility of "self-flux". The growth of BCBF fiber being very difficult, the micro-pulling down technique is not appropriate, in its present version, for the growth of this material

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第17581号 / 工博第3740号 / 新制||工||1570(附属図書館) / 30347 / 京都大学大学院工学研究科電子工学専攻 / (主査)教授 木本 恒暢, 教授 藤田 静雄, 准教授 浅野 卓 / 学位規則第4条第1項該当

Cette recherche vise à établir les propriétés fondamentales d'un système formel aux preuves circulaires introduit par Santocanale, auquel on a rajouté la règle de coupure. On démontre, dans un premier temps, qu'il y a une pleine correspondance entre les preuves circulaires et les flèches issues des catégories dites µ-bicomplètes. Ces flèches sont celles que l'on peut définir purement à partir des outils suivants: les produits et coproduits finis, les algèbres initiales et les coalgèbres finales. Dans la catégorie des ensembles, les preuves circulaires dénotent donc les fonctions qu'on peut définir en utilisant les produits cartésiens finis, les unions disjointes finies, l'induction et la coinduction. On décrit également une procédure d'élimination des coupures qui produit, à partir d'une preuve circulaire finie, une preuve sans cycles et sans coupures, mais possiblement infinie. On démontre que l'élimination des coupures fournit une sémantique opérationnelle aux preuves circulaires, c'est-à-dire qu'elle permet de calculer les fonctions dénotées par celles-ci, par le moyen d'une sorte d'automate avec mémoire. Enfin, on s'intéresse au problème de la puissance expressive de cet éliminateur de coupures, c'est-à-dire à la question de caractériser la classe des expressions qu'il peut calculer. On démontre, par une simulation, que l'éliminateur des coupures est strictement plus expressif que les automates à pile d'ordre supérieur. / This research aims at establishing the fundamental properties of a formal system with circular proofs introduced by Santocanale, to which we added the cut rule. We first show that there is a full correspondence between circular proofs and arrows from the so-called µ-bicomplete categories. These arrows are those that can be defined purely from the following tools: finite products and coproducts, initial algebras and final coalgebras. In the category of sets, circular proofs denote functions that one can define by using finite cartesian products, finite disjoint unions, induction and coinduction. We also describe a cut-elimination procedure that produces, from a given finite circular proof, a proof without cycles and cuts, but which may be infinite. We prove that cut-elimination gives an operational semantics to circular proofs, which is to say that they allow to compute the functions denoted by them, by using a sort of automaton with memory. Finally, we are interested in finding the expressive power of that cut-eliminating automaton. In other words, we want to characterize the class of functions that it can compute. We show, through a simulation, that the cut-eliminating automaton is strictly more expressive than higher-order pushdown automata.

Mon projet de thèse s'inscrit dans un vaste projet de caractérisation de protéines nouvellement identifiées dont l'expression est sélective à certaines régions du cerveau. Cette expression sélective pouvant être liée aux phénomènes de dégénérescence neuronale qui caractérisent les maladies neurodégénératives, ces protéines constituent donc des biomarqueurs potentiels. Une étude structurale et physico-chimique a été effectuée sur une dizaine de protéines, dont la protéine CRYM murine (mCRYM) qui fait parti de la famille des Cytosolic- 3,3',5-triiodo-L-thyronine(T3)-Binding Protein car elle régule la concentration en hormone thyroïdienne T3 libre dans la cellule. mCRYM appartient également à la famille des µ-crystallines et à la superfamille des µ-crystallines/Ornithines Cyclodésaminases. Les protéines présentant des homologies pour ces trois familles sont la plupart différentes par leur fonction (enzymatique ou structurale), leur localisation tissulaire et leurs caractéristiques physico-chimiques. Cette diversité est due au recrutement de gènes de la superfamille des crystallines pour diverses fonctions métaboliques tout en conservant le taxon spécifique des crystallines. Je suis parvenue à résoudre sa structure cristallographique complexée au NADP(H) et à l'hormone thyroïdienne T3 à une résolution de 1,75 Å. La protéine mCRYM est un exemple intéressant d'évolution par son appartenance à différentes familles de protéines et, à ce jour, aucune activité enzymatique n'a été identifiée. Sa caractérisation structurale et thermodynamique a donc permis de mettre en évidence les différences et les similitudes avec ses homologues enzymatiques et d'émettre des hypothèses quant à son évolution moléculaire. Ces résultats soulèvent de nouvelles questions concernant son rôle physiologique : mCRYM est-elle une enzyme ou une protéine structurale ? Comment intervient le couple redox NADPH/NADP+ pour réguler l'action génomique et/ou non génomique de l'hormone T3 ? L'hormone T3 est-il le seul ligand physiologique de CRYM dans le cerveau ?