Search for dissertations about: "substitutions"

Showing result 21 - 25 of 199 swedish dissertations containing the word substitutions.

  2. 21. On Constructive Sets and Partial Structures

    Author : Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Abstract : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. READ MORE

  4. 22. Relations in Models of Calculi and Logics with Names

    Author : Kidane Yemane; Björn Victor; John Power; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Process Calculi; Syntax; Semantics; HD-automata; Logic; Category theory; Computer engineering; Datorteknik;

    Abstract : In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. READ MORE

  5. 23. In vitro and in vivo studies of Bruton tyrosine kinase (BTK) mutations and inhibition

    Author : Hernando Yesid Estupiñán Velásquez; Karolinska Institutet; Karolinska Institutet; []
    Keywords : ;

    Abstract : Bruton tyrosine kinase (BTK) is a non-receptor protein kinase that belongs to the TEC family kinases. It plays an important role in the B-cell receptor signaling pathway (BCR) and its pharmacological inhibition has been demonstrated as an effective strategy for the treatment of B-cell malignancies. READ MORE

  6. 24. Magnetic Materials for Cool Applications : Relations between Structure and Magnetism in Rare Earth Free Alloys

    Author : Johan Cedervall; Martin Sahlberg; Paul Henry; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Magnetism; Diffraction; X-ray scattering; Neutron Scattering; Permanent magnets; Magnetocalorics; Chemistry with specialization in Inorganic Chemistry; Kemi med inriktning mot oorganisk kemi;

    Abstract : New and more efficient magnetic materials for energy applications are a big necessity for sustainable future. Whether the application is energy conversion or refrigeration, materials based on sustainable elements should be used, which discards all rare earth elements. READ MORE

  7. 25. Galiellalactone Synthetic Studies

    Author : Zilma Escobar; Centrum för analys och syntes; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; natural product; galiellalactone; prostate cancer; STAT3.;

    Abstract : In search for remedies and treatments, science has recurred to Mother Nature. This is where galiellalactone was found, a fungal metabolite isolated from Galiella rufa in 1990. Since then chemists and biologists have been studying its properties and found it to be a potential candidate against castration-resistance prostate cancer (CRPC). READ MORE