Search for dissertations about: "refinements"

Showing result 1 - 5 of 65 swedish dissertations containing the word refinements.

  1. 1. Formalizing Refinements and Constructive Algebra in Type Theory

    University dissertation from Göteborg : University of Gothenburg

    Author : Anders Mörtberg; Göteborgs universitet.; Gothenburg University.; [2014]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

    Abstract : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. READ MORE

  2. 2. Computational Characterization of Mixing in Flows

    University dissertation from Göteborg : Chalmers University of Technology

    Author : Erik D. Svensson; Göteborgs universitet.; Gothenburg University.; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; mixing; hyperbolicity; shadowing; finite elements; flow simulation; a priori error estimates; Stokes equations; point location; multigrid; refinements; finite elements; hyperbolicity; refinements; a priori error estimates; point location; multigrid; Stokes equations; shadowing; flow simulation;

    Abstract : The major theme of this thesis is mathematical aspects of fluid mixing in the case when diffusion is negligible, which is commonly refered to as mixing by stirring or mixing by chaotic advection in the engineeringliterature. In this case the mixing is driven by a velocity field and is characterized by the flow generated by the velocity field. READ MORE

  3. 3. Outcome and refinements of gender confirming surgery

    University dissertation from Stockholm : Karolinska Institutet, Dept of Molecular Medicine and Surgery

    Author : Hannes Sigurjónsson; Karolinska Institutet.; Karolinska Institutet.; [2016]
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

    Abstract : Introduction Gender dysphoria is a state in which the individual shows strong and persistent identification with the opposite sex. After thorough diagnostic assessment, the treatment includes gender confirming surgery (GCS). READ MORE

  4. 4. Proton Conducting Ceramics; Synthesis, Characterization and Sample Cell Environments

    University dissertation from Stockholm : Karolinska Institutet, Dept of Molecular Medicine and Surgery

    Author : FRANCIS GACHAO KINYANJUI; [2012]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; perovskites; neutron diffraction; Rietveld refinements; BaSnO3; in-situ cell; deuteron position; proton conduction; BaZrO3;

    Abstract : Acceptor doped Perovskite ceramics have been shown to exhibit high levels of protonic conduction in humid atmospheres. However significant grain boundary resistance and long sintering times required to achieve sufficient grain size growth has hindered their widespread application as electrolyzers, fuel cells and gas separation membranes. READ MORE

  5. 5. Functional Oxide Materials exhibiting Ionic Conductivity for Future Energy Conversion Needs

    University dissertation from Stockholm : Karolinska Institutet, Dept of Molecular Medicine and Surgery

    Author : FRANCIS GACHAO KINYANJUI; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; neutron diffraction; perovskites; oxygen deficient perovskites; BaSnO3; Rietveld refinements; BaZrO3; in-situ cells; proton conduction; deuteron position; Ba3In2ZrO8;

    Abstract : Fuel cells are electrochemical devices that transform the chemical energy in hydrogen and oxygen into electrical energy at high efficiencies and produce only water vapour emissions. Materials with the perovskite or fluorite structure types are commonly employed as the ion conducting ceramic electrolyte membranes in intermediate and high temperature fuel cells. READ MORE