Dissertations / Theses on the topic 'Polymorphic systems'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Polymorphic systems.'
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.
Towler, Christopher. "Nucleation in polymorphic systems." Thesis, University of Manchester, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.520283.
Full textMathieson, John T. J. "Towards Polymorphic Systems Engineering." Thesis, The George Washington University, 2021. http://pqdtopen.proquest.com/#viewpdf?dispub=28257912.
Full textLopes, Joao Antonio Correia. "An architecture for the compilation of persistent polymorphic reflective higher-order languages." Thesis, University of Glasgow, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360127.
Full textPetrucciani, Tommaso. "Polymorphic set-theoretic types for functional languages." Thesis, Sorbonne Paris Cité, 2019. http://www.theses.fr/2019USPCC067.
Full textWe study set-theoretic types: types that include union, intersection, and negation connectives. Set-theoretic types, coupled with a suitable subtyping relation, are useful to type several programming language constructs – including conditional branching, pattern matching, and function overloading – very precisely. We define subtyping following the semantic subtyping approach, which interprets types as sets and defines subtyping as set inclusion. Our set-theoretic types are polymorphic, that is, they contain type variables to allow parametric polymorphism.We extend previous work on set-theoretic types and semantic subtyping by showing how to adapt them to new settings and apply them to type various features of functional languages. More precisely, we integrate semantic subtyping with three important language features.In Part I we study implicitly typed languages with let-polymorphism and type inference (previous work on semantic subtyping focused on explicitly typed languages). We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness. We study type inference and prove results of soundness and completeness. Then, we show how to make type inference more precise when programs are partially annotated with types.In Part II we study gradual typing. We describe a new approach to add gradual typing to a static type system; the novelty is that we give a declarative presentation of the type system, while previous work considered algorithmic presentations. We first illustrate the approach on a Hindley-Milner type system without subtyping. We describe declarative typing, compilation to a cast language, and sound and complete type inference. Then, we add set-theoretic types, defining a subtyping relation on set-theoretic gradual types, and we describe sound type inference for the extended system.In Part III we consider non-strict semantics. The existing semantic subtyping systems are designed for call-by-value languages and are unsound for non-strict semantics. We adapt them to obtain soundness for call-by-need. To do so, we introduce an explicit representation for divergence in the types, allowing the type system to distinguish the expressions that are already evaluated from those that are computations which might diverge
Sattler, Christian. "On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes." Thesis, University of Nottingham, 2015. http://eprints.nottingham.ac.uk/28111/.
Full textSimone, Elena. "Application of process analytical technology (PAT) tools for the better understanding and control of the crystallization of polymorphic and impure systems." Thesis, Loughborough University, 2015. https://dspace.lboro.ac.uk/2134/20098.
Full textHogan, J. L. "The polymorphism of headgroup methylated phosphatidylethanolamines." Thesis, University of Southampton, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235235.
Full textConnor, R. C. H. "Types and polymorphism in persistent programming systems." Thesis, University of St Andrews, 1991. http://hdl.handle.net/10023/13487.
Full textFonseca, Gutierrez Maria del Carmen. "Genetic polymorphism in systemic sclerosis." Thesis, University College London (University of London), 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409294.
Full textJohansson, Börje. "An implementation of Milner's CCS with a polymorphic type system." Licentiate thesis, Luleå tekniska universitet, EISLAB, 1996. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-18530.
Full textNovitzky, Basso Igor Nicolas. "The functional significance of the Duffy negative polymorphism." Thesis, University of Birmingham, 2015. http://etheses.bham.ac.uk//id/eprint/5675/.
Full textLuk, Chee-wei Jennifer. "Solubility and Pseudo-polymorphic Transitions of L-Serine in Water-Methanol System." Thesis, Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/6832.
Full textHalldén, Christer. "Characterization and use of a multiplex PCR-based system random amplified polymorphic DNA /." Lund : Lund University, 1998. http://catalog.hathitrust.org/api/volumes/oclc/68945134.html.
Full textHao, Xiang. "STUDIES OF UNUSUAL PACKING AND OF POLYMORPHISM IN TWO CRYSTAL SYSTEMS." UKnowledge, 2005. http://uknowledge.uky.edu/gradschool_diss/285.
Full textHuang, Ming Hua. "Extreme Worker Polymorphism in the Big-headed Pheidole Ants." Diss., The University of Arizona, 2012. http://hdl.handle.net/10150/247257.
Full textRaunio, T. (Taina). "Gene polymorphism and systemic inflammatory response in chronic periodontitis." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514292361.
Full textKurosawa, Izumi. "Solid-Liquid Equilibrium in Multi Solute Systems." Diss., Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/4993.
Full textPerrow, Karen Amanda. "Genetic polymorphism of the immunoregulatory system with specific reference to apoptosis." Thesis, University of Newcastle Upon Tyne, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.417497.
Full textChavez, Krystle J. "Crystallization of pseudopolymorphic forms of sodium naproxen in mixed solvent systems." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/29759.
Full textCommittee Chair: Rousseau, Ronald; Committee Member: Meredith, Carson; Committee Member: Prausnitz, Mark; Committee Member: Teja, Amyn; Committee Member: Wilkinson, Angus. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Münch, Manfred. "Generic modelling with graph rewriting systems paramateric polymorphism and object-oriented modelling with Progress /." [S.l.] : [s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=970711239.
Full textFan, Li. "Novel investigations of sulfimide systems." Thesis, Loughborough University, 2011. https://dspace.lboro.ac.uk/2134/8027.
Full textDai, Yang. "Impact of the CYP3A5 polymorphism on the metabolic disposition of calcineurin inhibitors /." Thesis, Connect to this title online; UW restricted, 2006. http://hdl.handle.net/1773/7935.
Full textYang, Yan. "The genetic complexity and protein polymorphism of complement c4 in health and disease." Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1080242341.
Full textTitle from first page of PDF file. Document formatted into pages; contains xviii, 212 p.; also includes graphics (some col.) Includes bibliographical references (p. 185-212). Available online via OhioLINK's ETD Center
Raginis-Zborowska, Alicja Iwona. "Unravelling the genetic basis for cortical plasticity in the human swallowing motor system." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/unravelling-the-genetic-basis-for-cortical-plasticity-in-the-human-swallowing-motor-system(6734efa3-1872-44bf-9642-1cb28a5b404e).html.
Full textSiegler, Maxime André. "Polymorphism of four enantiotropic crystalline systems containing Ni(II), H₂O, 15-crown-5 and NO₃⁻." Lexington, Ky. : [University of Kentucky Libraries], 2007. http://hdl.handle.net/10225/732.
Full textTitle from document title page (viewed on March 24, 2008). Document formatted into pages; contains: xvii, 305 p. : ill. Includes abstract and vita. Includes bibliographical references (p. 295-301).
Purswani, Ramchandani Nuri. "Introducing the gemma of the liverwort Marchantia polymorpha L. as a simple morphogenetic system." Thesis, University of Cambridge, 2015. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.709024.
Full textYlitalo, A. (Antti). "Cardiovascular autonomic regulation in systemic hypertension." Doctoral thesis, Oulun yliopisto, 1999. http://urn.fi/urn:isbn:9514252128.
Full textMcCready, Jessica. "The Influence of a Single Nucleotide Polymorphism In The Matrix Metalloproteinase-1 Promoter on Glioma Biology." VCU Scholars Compass, 2006. http://scholarscompass.vcu.edu/etd/1123.
Full textBodamer, Betsy L. "The effects of wetland streams on the secondary dispersal of zebra mussels (Dreissena polymorpha) in connected lake-stream systems /." Connect to full text in OhioLINK ETD Center, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=toledo1196720548.
Full textTypescript. "Submitted as partial fulfillment of the requirements for The Master of Science Degree in Biology (Ecology-track)." "A thesis entitled"--at head of title. Bibliography: leaves 19-23.
Alexandrie, Anna-Karin. "Significance of polymorphisms in human xenobiotic metabolising enzymes /." Stockholm, 2002. http://diss.kib.ki.se/2003/91-7349-421-6/.
Full textSevenet, Nicolas. "Recherche de marqueurs génétiques dans la maladie de Crohn : polymorphime des loci de classe II du système HLA." Paris 5, 1994. http://www.theses.fr/1994PA05P240.
Full textTyler, Benjamin James. "Specification and runtime monitoring of object-oriented systems." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1143228898.
Full textTam, Le Minh [Verfasser]. "Designing crystallization based-enantiomeric separation for chiral compound-forming systems in consideration of polymorphism and solvate formation / Le Minh Tam." München : Verlag Dr. Hut, 2014. http://d-nb.info/1052374735/34.
Full text[Verfasser], Le-Minh-Tam. "Designing crystallization based-enantiomeric separation for chiral compound-forming systems in consideration of polymorphism and solvate formation / Le Minh Tam." München : Verlag Dr. Hut, 2014. http://nbn-resolving.de/urn:nbn:de:101:1-2014062022375.
Full textAbastado, Jean-Pierre. "Origine et fonction du polymorphisme des antigenes de transplantation." Paris 6, 1987. http://www.theses.fr/1987PA066223.
Full textAllred, Laura K. "Polymorphic variants of Human Fc-GAMMA-RIIIa, gamma-chain, CTLA-4 and Fc-GAMMA-RIIb1 : possible implications for systemic Lupus Erythematosus Pathogenesis /." The Ohio State University, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=osu1486394475979377.
Full textUfer, Mike. "The in-vitro and in-vivo metabolism of the oral anticoagulant phenprocoumon as influenced by genetic polymorphisms of cytochrome P4502C9 /." Stockholm, 2004. http://diss.kib.ki.se/2004/91-7140-172-5/.
Full textAklillu, Eleni. "Pharmacogenetics of drug metabolizing enzymes with special emphasis on Ethiopians /." Stockholm, 2003. http://diss.kib.ki.se/2003/91-7349-460-7/.
Full textCambon, Karine. "Influence of ApoE polymorphism on synaptic morphometry during aging in the dentate gyrus of ApoE knockout and human ApoE transgenic mice." Thesis, [n.p.], 2000. http://oro.open.ac.uk/19118/.
Full textHoang, Minh Duc. "Establishment of the human cardiac models using gene editing and reprogramming in Human Pluripotent Stem Cells to understand the putative functions of the G-protein coupled receptor kinase 5 polymorphism (GRK5-L41)." Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/47429/.
Full textKrampis, Konstantinos. "Systems View Of The Soybean Genetic Mechanisms Involved In The Response To Plant Pathogen Infection." Diss., Virginia Tech, 2009. http://hdl.handle.net/10919/37672.
Full textPh. D.
Westlind, Johnsson Anna. "Pharmacogenetics of human cytochrome P450 3A (CYP3A) enzymes /." Stockholm, 2003. http://diss.kib.ki.se/2003/91-7349-688-x.
Full textFerguson, Anthea Elizabeth Women's & Children's Health Faculty of Medicine UNSW. "Gene polymorphisms influencing the cause and disease outcome of childhood central nervous system tumours." Awarded By:University of New South Wales. Women's & Children's Health, 2009. http://handle.unsw.edu.au/1959.4/44816.
Full textÅgren, Thomas. "Erasing Fear : Effect of Disrupting Fear Memory Reconsolidation on Central and Peripheral Nervous System Activity." Doctoral thesis, Uppsala universitet, Institutionen för psykologi, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-180202.
Full textMyerson, Saul Gareth. "Exercise physiology and the renin-angiotensin system : role of the ACE gene insertion/deletion polymorphism in cardiac growth and endurance exercise." Thesis, University College London (University of London), 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270592.
Full textRucatti, Guilherme Gischkow. "Estudo da influência dos polimorfismos da lectina ligadora da manose e hábito tabagista sobre os índices de atividade, cronicidade e dano de pacientes com lúpus eritematoso sistêmico." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2011. http://hdl.handle.net/10183/28694.
Full textSystemic lupus erythematosus (SLE) is an autoimmune disease characterized by multiple autoantibody production, with cellular nuclear components as the most notable targets. With an unknown etiology, it involves genetic, immunological, hormonal and environmental factors. Deficiencies in the mannose-binding lectin (MBL), a component of the complement system, can produce an abnormal presentation of antigens to the immune system. Genetic polymorphisms in the promoter and coding regions of the MBL2 gene are strongly correlated to serum levels of the MBL protein, with possible impact in the immunological tolerance mechanism. The influence of smoking has not been evaluated in patients who present these allelic variants. Our aim was to investigate the role of MBL haplotypes (divided as deficient, low and high serum level-associated haplotypes) and smoking habit on disease activity and damage indexes in SLE patients. We investigated the frequencies of haplotype variants in 327 European and African-descendants SLE patients. Smoking habits, clinical and laboratory data were revised from clinical charts and genotyping of the promoter and exon 1 variants of MBL2 were performed by PCR-SSP and PCR-RFLP, respectively. SLICC and SLEDAI score were analyzed comparing the haplotype, smoking habits and pack-years (PY) of smoking using Kruskal-Wallis test for quantitative variables and chi-square test with Bonferroni for other analysis. The study was approved by the local ethical committee. When comparing ever smokers vs. never smokers, we found a lack of association between SLICC and SLEDAI among smoking habit, PY and MBL haplotypes. Further subanalysis on SLE manifestations showed a higher frequency of serositis (p=0.025), pericarditis (p=0.015), convulsion (p=0,011) and presence of anti-Sm (p=0.016) on never smokers. Among ever smokers, a significant association was observed between immunologic disorders (p=0.032) and anti-RNP (p=0.013) in patients who smoke 4 – 24.7 PY, compared with less than 4 or more than 24.7 PY. When stratified by ethnicity and MBL haplotypes, European-descendants with deficient MBL haplotype showed a higher frequency of lupus anticoagulant in smokers (p=0.001) and pleuritis (p= 0.016) among never smokers. On low MBL haplotype, we found a positive association between pericarditis and never smokers (p= 0.027). Among high MBL haplotype we identified a smaller frequency of neurologic (p=0.05) and immunologic disorders (p= 0.027) and presence of anti-Sm (p= 0.035) in never smokers. In relation to African-descendants with low MBL haplotype, a significant association between anti-RNP (p=0.017) and never smokers was observed. Those with high MBL haplotype had small association between false positive VDRL and never smokers (p=0.048). However, by adjusting the p-value for Bonferroni correction, all these associations lost significance. Our findings presented no evidence that smoking may act as a modulator of disease activity and damage indexes on SLE patients associated to serum MBL haplotypes.
Sigurdsson, Snaevar. "Large-Scale Genotyping for Analysis of the Type I Interferon System in Autoimmune Diseases." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6792.
Full text[Verfasser], Le-Minh-Tam, and Andreas [Akademischer Betreuer] Seidel-Morgenstern. "Designing crystallization based-enantiomeric separation for chiral compound-forming systems in consideration of polymorphism and solvate formation / Tam Le Minh. Betreuer: Andreas Seidel-Morgenstern." Magdeburg : Universitätsbibliothek, 2014. http://d-nb.info/105791391X/34.
Full textSiegler, Maxime Andre. "POLYMORPHISM OF FOUR ENANTIOTROPIC CRYSTALLINE SYSTEMS CONTAINING Ni(II), H2O, 15-Crown-5 AND NO3-." UKnowledge, 2007. http://uknowledge.uky.edu/gradschool_diss/565.
Full textLin, Yvonne S. "Variability in CYP3A expression and metabolism : influence of genetics and probe substrate selection /." Thesis, Connect to this title online; UW restricted, 2002. http://hdl.handle.net/1773/7966.
Full text