Search for dissertations about: "one-step reduction"

Showing result 1 - 5 of 24 swedish dissertations containing the words one-step reduction.

  2. 1. Proving the correctness of a virtual machine by a bisimulation

    Author : Mikael Rittri; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; stack machine; snapshot; one-step reduction; interpreter correctness; verification mapping; bisimulation; operational semantics; compiler correctness; SECD--machine; context; McGowan mapping; state-trace; debugging;

    Abstract : .... READ MORE

  4. 2. Vibrations in Metal Cutting : Measurement, Analysis and Reduction

    Author : Linus Pettersson; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Vibration and noise in metal cutting are ubiquitous problems in the workshop. The turning operation is one kind of metal cutting that exhibits vibration related problems. Today the industry aims at smaller tolerances in surface finish. Harder regulations in terms of the noise levels in the operator environment are also central. READ MORE

  5. 3. Hierarchical Variance Reduction Techniques for Monte Carlo Rendering

    Author : Petrik Clarberg; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; computer graphics; Monte Carlo methods; importance sampling; hierarchical techniques; rendering;

    Abstract : Ever since the first three-dimensional computer graphics appeared half a century ago, the goal has been to model and simulate how light interacts with materials and objects to form an image. The ultimate goal is photorealistic rendering, where the created images reach a level of accuracy that makes them indistinguishable from photographs of the real world. READ MORE

  6. 4. Optimisation of Two-step Steam Pretreatment of Softwood for Bioethanol Production

    Author : Johanna Söderström; Avdelningen för kemiteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Chemical technology and engineering; Kemiteknik och kemisk teknologi;

    Abstract : Fuel ethanol can be produced from lignocellulosics by an enzymatic process consisting of steam pretreatment, enzymatic hydrolysis, fermentation and ethanol refining. This thesis deals with the steam pretreatment step in the enzymatic process used for ethanol production from softwood, which is an abundant lignocellulosic raw material in the Northern hemisphere. READ MORE

  7. 5. Development of the Steam Pretreatment Process for Production of Ethanol from Lignocellulosic Biomass

    Author : Sanam Monavari; Bioteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Spruce; Ethanol production; Sugarcane bagasse; SSF; Fermentation; Enzymatic hydrolysis; SO2; Steam pretreatment; Acid catalyst;

    Abstract : At a time when natural petroleum resources are on the verge of depletion, and concern about climate change is increasing, the potential of lignocellulosic material for the production of bioethanol is well recognized. Ethanol can be produced from biomass through enzymatic hydrolysis and fermentation. READ MORE