Sökning: "refinements"
Visar resultat 1 - 5 av 77 avhandlingar innehållade ordet refinements.
1. Formalizing Refinements and Constructive Algebra in Type Theory
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
2. Some New Contributions in the Theory of Hardy Type Inequalities
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
3. Computational Characterization of Mixing in Flows
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
4. Outcome and refinements of gender confirming surgery
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
5. Proton Conducting Ceramics; Synthesis, Characterization and Sample Cell Environments
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