Search for dissertations about: "lifted"
Showing result 1 - 5 of 42 swedish dissertations containing the word lifted.
-
1. Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them
Abstract : This thesis consists of two parts. Both concern reasoning about non-strict functional programming languages with partial and infinite values and lifted types, including lifted function spaces.The first part is a case study in program verification: We have written a simple parser and a corresponding pretty-printer in Haskell. READ MORE
-
2. Model Studies of Surface Waves and Sediment Resuspension in the Baltic Sea
Abstract : Wave heights and periods of surface waves in the Baltic Sea have been modelled for a two-year period (1999-2000) with the wave model Hypas on an 11x11-km grid scale. There is a clear seasonal variation with higher waves during winter and lower during summer. READ MORE
-
3. Numerical Modeling of Soot and NOx Formation in Non-Stationary Diesel Flames with Complex Chemistry
Abstract : A complex chemistry model of reduced size (65 species and 268 reactions) derived on the basis of n-heptane auto-ignition kinetics, small hydrocarbon oxidation chemistry, polyaromatic hydrocarbon (PAH) and NOx formation kinetics together with a phenomenological soot model has been implemented in the KIVA code for multidimensional Diesel spray combustion simulations. An EDC (Eddy Dissipation Concept) based partially stirred reactor model is used to handle the turbulence-chemistry interaction. READ MORE
-
4. Spin splitting in open quantum dots and related systems
Abstract : This thesis addresses electron spin phenomena in semi-conductor quantum dots/anti-dots from a computational perspective. In the first paper (paper I) we have studied spin-dependent transport through open quantum dots, i.e., dots strongly coupled to their leads, within the Hubbard model. READ MORE
-
5. Experimental and Numerical Investigations of Flames Stabilized by Swirl Flow and Bluff-body:Flame Structures and Flame Instabilities
Abstract : Combustion and its control are essential to our existence on this planet since we knew it. Nowadays, the largest share of the world’s electricity and most of our transportation systems are powered by combustion. In addition, industrial processes also rely heavily upon combustion. READ MORE