Search for dissertations about: "lifted types"

Showing result 1 - 5 of 7 swedish dissertations containing the words lifted types.

2. 1. Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; partial; inductive; coinductive; non-strict; equational reasoning; lifted; infinite; functional programming;

   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

4. 2. Model Studies of Surface Waves and Sediment Resuspension in the Baltic Sea

   Author : Anette Jönsson; Lars Rahm; Åsa Danielsson; Tarmo Soomere; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Surface waves; Wave model; Wave friction velocity; Resuspension; Sediment dynamics; Nitrogen fixation; Baltic Sea; Havsvågor; Östersjön; Oceanografi; Sediment; Oceanography; Oceanografi;

   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

5. 3. Interfacial Adhesion Failure : Impact on print-coating surface defects

   Author : Hajer Kamal Alm; Lars Wågberg; Göran Ström; Janet Preston; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Ink-paper coating adhesion; offset printing; calcium carbonate pigments; polyacrylate; dispersant; print mottle; surface chemistry; hygroscopy of surfaces; coating structure; print quality; water interference mottle; Fiber- och polymervetenskap; Fibre and Polymer Science;

   Abstract : The aim of this work was to develop a solid knowledge on formulation effects controlling offset ink-paper coating adhesion and to identify key factors of the coating and printing process affecting it. Focus lay on comprehending the impact of pigment dispersant on ink-paper coating adhesion and ultimately on the print quality of offset prints. READ MORE

6. 4. Perceived Safety in Social Human-Robot Interaction

   Author : Neziha Akalin; Amy Loutfi; Annica Kristoffersson; Andrey Kiselev; Erik Billing; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This compilation thesis contributes to a deeper understanding of perceived safety in human-robot interaction (HRI) with a particular focus on social robots. The current understanding of safety in HRI is mostly limited to physical safety, whereas perceived safety has often been neglected and underestimated. READ MORE

7. 5. Analysing different technology pathways for the pulp and paper industry in a European energy systems perspective

   Author : Johanna Jönsson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; technology pathways; pulp and paper industry; energy market scenarios; biorefinery; kraft pulp mill; global CO2 emission;

   Abstract : For the pulp and paper industry (PPI), earlier research has shown that there are many technology pathways, proven and new, available for improvement of energy efficiency and additional sales of (new) products. Some pathways can only be implemented in kraft mills, e.g. black liquor gasification (BLG), but some can be implemented industry-wide, e. READ MORE