Search for dissertations about: "Candle"

Showing result 1 - 5 of 14 swedish dissertations containing the word Candle.

  2. 1. Aerosol characterization in real life and a methodology for human exposure studies in controlled chamber settings

    Author : Christina Isaxon; NanoLund: Centre for Nanoscience; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Aerosol; human exposure study; exposure; emission; ultrafine particles; aerosol generation; aerosol characterization; candle; terpene; welding; CNT; indoor;

    Abstract : Airborne particles are everywhere around us, and have always been. Particles generated by human activities has increased drastically since industrialization, and several epidemiological studies have shown that inhaled particles can cause adverse health effects. READ MORE

  4. 2. Cookstoves, Candles, and Phthalates – Real Time Physicochemical Characterization and Human Exposure to Indoor Aerosols

    Author : Christina Andersen; NanoLund: Centre for Nanoscience; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Aerosol particles; OA; BC; cookstoves; candle emissions; phthalates; human exposure; PAHs;

    Abstract : Exposure to air pollution is associated with adverse health effects in humans, with special concern for exposure to fine particulate matter (PM2.5). The physicochemical properties of aerosols impact the health effects. READ MORE

  5. 3. A Verified Theorem Prover for Higher-Order Logic

    Author : Oskar Abrahamsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; formal verification; higher-order logic; interactive theorem provers;

    Abstract : This thesis is about mechanically establishing the correctness of computer programs. In particular, we are interested in establishing the correctness of tools used in computer-aided mathematics. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. READ MORE

  6. 4. Type Ia Supernova Cosmology : Quantitative Spectral Analysis

    Author : Gastón Folatelli; Ariel Goobar; Enrico Cappellaro; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Supernova; Cosmology; Spectroscopy; Physics; Fysik;

    Abstract : Type Ia supernovae have been successfully used as standardized candles to study the expansion history of the Universe. In the past few years, these studies led to the exciting result of an accelerated expansion caused by the repelling action of some sort of dark energy. READ MORE

  7. 5. Be Aware of the Indoor Air. Physicochemical Characterization of Airborne Fine Particles in Occupied Homes : Physicochemical Characterization of Airborne Fine Particles in Occupied Homes

    Author : Yuliya Omelekhina; Metalund; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Ultrafine particles UFP ; PM2.5; Black carbon; Indoor sources; Occupied homes; energy renovation;

    Abstract : Negative health effects of exposure to particles of outdoor origin have been confirmed by epidemiological studies. In developed countries, we spend on average 65% of our time in our homes. Thus, the properties of airborne particles indoors need to be understood. READ MORE