Advanced search
Showing result 1 - 5 of 74 swedish dissertations matching the above criteria.
-
1. Formalizing Refinements and Constructive Algebra in Type Theory
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. Some New Contributions in the Theory of Hardy Type Inequalities
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
-
3. Computational Characterization of Mixing in Flows
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
-
4. Outcome and refinements of gender confirming surgery
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
-
5. Proton Conducting Ceramics; Synthesis, Characterization and Sample Cell Environments
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