Sökning: "refinements"

Visar resultat 1 - 5 av 77 avhandlingar innehållade ordet refinements.

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

    Författare :Anders Mörtberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

    Sammanfattning : 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. LÄS MER

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

    Författare :Markos Fisseha Yimer; Sorina Barza; Lars-Erik Persson; Martin Lind; Liviu-Gabriel Marcoci; Lubos Pick; Karlstads universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. Computational Characterization of Mixing in Flows

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

    Sammanfattning : 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. LÄS MER

  5. 4. Outcome and refinements of gender confirming surgery

    Författare :Hannes Sigurjónsson; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : 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). LÄS MER

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

    Författare :FRANCIS GACHAO KINYANJUI; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; perovskites; neutron diffraction; Rietveld refinements; BaSnO3; in-situ cell; deuteron position; proton conduction; BaZrO3;

    Sammanfattning : 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. LÄS MER