Sökning: "candle"

Visar resultat 1 - 5 av 17 avhandlingar innehållade ordet candle.

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  4. 3. Människor kring ett företag : Kön, klass och ekonomiska resurser. Liljeholmens Stearinfabriks AB, 1872-1939

    Författare :Kerstin Norlander; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Economic history; Ekonomisk historia; Economic History; ekonomisk historia;

    Sammanfattning : .... LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 5. Type Ia Supernova Cosmology : Quantitative Spectral Analysis

    Författare :Gastón Folatelli; Ariel Goobar; Enrico Cappellaro; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Supernova; Cosmology; Spectroscopy; Physics; Fysik;

    Sammanfattning : 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. LÄS MER