Thesis (M. Phil.)--University of Hong Kong, 1982.

published_or_final_version / Mathematics / Master / Master of Philosophy

Le théorème de Deligne-Gödel met en évidence des correspondances entre les mathématiques et la métalogique, jusqu'alors considérées comme impossibles, aussi il réinterroge statut particulier de la relation entre mathématiques et métalogique, ainsi que la relation logique/métalogique. Or, cette réévaluation aura des conséquences qu'il faudra évaluer dans le débat sur le pluralisme ou le monisme en logique. en théorie des catégories, en effet, la relation entre les différentes logiques n'est plus pensée plus sous une métalogique donnée d'avance et statique, mais en termes de foncteurs, outils dynamiques et malléables qui permettent d'effectuer ces comparaisons de manière compatible aux variations des relations à l'intérieur des structures. Après avoir mis en évidence la critique d'une certaine conception de la métalogique, que permet la théorie des catégories, nous étudierons les nouvelles pistes qu'elle ouvre soit directement dans les travaux de généralisation de Gödel-Deligne effectué par Makkai et Reyes, soit indirectement dans le concept de normativité qu'elle induit dans les récents travaux de Jean-Yves Girard. / Deligne-Gödel's theorem highlights the correspondences between mathematics and metalogy, hitherto regarded as impossible, and therefore re-examines the particular status of the relationship between mathematics and metalogy, as well as the logical / metalogical relation. Will have consequences to be assessed in the debate on pluralism or monism in logic. in the theory of categories, the relationship between the different logics is no longer thought of as a given and static metalogic, but in terms of functors, dynamic and malleable tools that make these comparisons compatible to the variations of relations within structures. After pointing out the criticism of a certain conception of metalogics, which category theory permits, we shall study the new tracks which it opens either directly in the works of Gödel-Deligne generalization carried out by Makkai and Reyes, or indirectly in the concept of normativity which it induces in the recent works of Jean-Yves Girard.

published_or_final_version / Mathematics / Doctoral / Doctor of Philosophy

No description available.

Ces dernières années, l’imagerie par spectrométrie de masse MALDI s’est révélée être un outil puissant pour la recherche de biomarqueurs puisqu’elle permet d’effectuer l’analyse d’un large panel de composés endogènes et exogènes dans des coupes de tissu. Des développements restent néanmoins à faire pour l’amélioration de la détection des molécules. La préparation de l’échantillon, incluant les traitements chimiques et le dépôt de la matrice, est dépendante du tissu et des molécules d’intérêt et influence la qualité des spectres et des images. D’autre part, les outils bioinformatiques tels que les analyses multi variées apportent des informations sur les marqueurs en fonction des phénotypes. Ces étapes sont donc cruciales pour les applications de l’imagerie dans le domaine de la biologie. Tout d’abord, nous nous sommes donc axés sur le développement de nouvelles matrices adaptées à l’imagerie MALDI telles que les matrices ioniques. Ensuite, ces développements ont été appliqués au modèle invertébré sangsue médicinale, aux stades embryonnaires et adultes, afin de comparer les mécanismes biologiques intervenant lors de l’édification du système nerveux central et de la régénération nerveuse après lésion de ce système. Enfin, des études sur des atteintes neurologiques ont été entreprises afin de comprendre les facteurs clés impliqués dans la balance régénération/dégénérescence. Ainsi, les études des échantillons d’hippocampes humains ont révélés l’existence de protéines associées à une distribution particulière correspondant à des couches des neurones anormalement présents dans l’hippocampe des patients épileptiques. / In recent years, MALDI mass spectrometric imaging has proved to be a powerful tool for biomarker research. This technology allows the analysis of a wide range of endogenous and exogenous compounds in tissue sections. Many developments need to be undertaken to improve the detection of molecules. The sample preparation, including chemical treatment and deposition of the matrix, is dependent on the tissue and molecules of interest and influences the quality of spectra and images. In addition, the bioinformatics tools such as multivariate analysis provide informations on the markers according to phenotypes. These steps are crucial for imaging applications in the field of biology. First of all, we focused on the development of new matrices suitable for MALDI imaging such as ionic matrices. Secondly, these developments have been applied to the invertebrate model, the medicinal leech, at embryonic and adult stages, to compare the biological mechanisms involved in the establishment of the central nervous system and nerve regeneration after injury of this system. Finally, studies of neurological damage have been undertaken to understand the key factors involved in the balance regeneration/degeneration. Thus, studies of human hippocampi samples have revealed the existence of proteins associated with a particular distribution corresponding to layers of neurons abnormally present in the hippocampus of epileptic patients.

A RESEARCH REPORT submitted to the Faculty of Science of the University of the Witwatersrand in partial fulfilment of the degree of MASTER OF SCIENCE Johannesburg, Republic of South Africa December1998· / This work is concerned with the Inverse Eigenvalue Problem for ordinary differential equations of the Sturm-Liouville type in the general form --dd ( 7' ()xdll(t\,:rI)) + {(q) x - t\p:(r )} u (A, Xl, = 0, .1' c.r (I :::: .7' S; b. The central problem considered ill this research is the approximate reC011- struction of the unknown coefficient function q(:l') in the Sturm-Liouville equation JOIl Irom a given finite spectral data set ~i(q), for i = 1 : n . A solution is sought using a finite element discretization method. The method works br solving the non-Iinear system arising out of the difference between the eigenvalues A,(q) of the Sturm-Liouville differential equation and the given spectral data ~i(q). Numerical results me presented to illustrate the effectiveness of the discretization method ill question.

University of Macau / Faculty of Science and Technology. / Department of Mathematics

by Hai-Wei Sun. / Thesis (Ph.D.)--Chinese University of Hong Kong, 1996. / Includes bibliographical references. / Abstracts --- p.1 / Summary --- p.3 / Introduction --- p.3 / Summary of the papers A-C --- p.5 / Paper A --- p.19 / Paper B --- p.34 / Paper C --- p.60

No description available.