Search for dissertations about: "refinements"

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

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

    Author : Anders Mörtberg; Göteborgs universitet; []
    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

  4. 2. Some New Contributions in the Theory of Hardy Type Inequalities

    Author : Markos Fisseha Yimer; Sorina Barza; Lars-Erik Persson; Martin Lind; Liviu-Gabriel Marcoci; Lubos Pick; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; integral inequalities; Hardy-type inequalities; Pólya-Knopp’s inequality; Jensen’s inequality; Minkowski’s inequality; Beckenbach-Dresher’s inequality; sharp constants; measures; superquadratic functions; refinements; Banach function spaces; Matematik; Mathematics;

    Abstract : In this thesis we derive various generalizations and refinements of some classical inequalities in different function spaces. We consider some of the most important inequalities namely the Hardy, Pólya-Knopp, Jensen, Minkowski and Beckenbach-Dresher inequalities. The main focus is put on the Hardy and their limit Pólya-Knopp inequalities. READ MORE

  5. 3. Computational Characterization of Mixing in Flows

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

    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 engineering literature. In this case the mixing is driven by a velocity field and is characterized by the flow generated by the velocity field. READ MORE

  6. 4. Outcome and refinements of gender confirming surgery

    Author : Hannes Sigurjónsson; Karolinska Institutet; Karolinska Institutet; []
    Keywords : ;

    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

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

    Author : FRANCIS GACHAO KINYANJUI; Chalmers tekniska högskola; []
    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