Search for dissertations about: "narrowing"

Showing result 1 - 5 of 93 swedish dissertations containing the word narrowing.

2. 1. Testing and Proving using Narrowing

   Author : Fredrik Lindblad; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

   Abstract : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. READ MORE

4. 2. Dicke narrowing and speed-dependent effects in dispersion signals : Influence on assessment of concentration and spectral parameters by noise-immune cavity-enhanced optical heterodyne molecular spectrometry

   Author : Junyang Wang; Ove Axner; Livio Gianfrani; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dicke narrowing; Speed-dependent effects; Dispersion signals; Noise-immune cavity-enhanced optical heterodyne molecular spectrometry NICE-OHMS ; accuracy;

   Abstract : Laser spectroscopic techniques have, during the last decades, demonstrated an extraordinary capability for sensitive detection of molecular constituents in gas phase. Since spectra from such techniques constitute unique and characteristic signatures for each type of species, these techniques enable investigations of molecular structures as well as detection of the presence of species in a gas mixture. READ MORE

5. 3. Nanosecond tandem optical parametric oscillators for mid-infrared generation

   Author : Markus Henriksson; Fredrik Laurell; Gunnar Rustad; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; nonlinear optics; optical parametric oscillators; quasi-phase matching; mid-infrared; linewidth narrowing; volume Bragg gratings.; Physics; Fysik;

   Abstract : This thesis discusses a new scheme for generating radiation in the mid infrared spectral region, especially the 3.5-5 µm range. The scheme uses established Nd3+-lasers at 1.06 µm and down conversion in nonlinear optical crystals. READ MORE

6. 4. Narrowing the gap between network models and real complex systems

   Author : Alcides Viamontes Esquivel; Martin Rosvall; Joachim Mathiesen; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; complex systems; network science; community detection; model selection; signficance analysis; ergodicity; fysik; Physics;

   Abstract : Simple network models that focus only on graph topology or, at best, basic interactions are often insufficient to capture all the aspects of a dynamic complex system. In this thesis, I explore those limitations, and some concrete methods of resolving them. READ MORE

7. 5. Atomic Scale Design of Clean Energy Materials : Efficient Solar Energy Conversion and Gas Sensing

   Author : Jawad Nisar; Rajeev Ahuja; Puru Jena; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Photocatalysts; Band gap narrowing; Water dissociation; Density functional theory; Gas sensing; Kaolinite; Physics with spec. in Atomic; Molecular and Condensed Matter Physics; Fysik med inriktning mot atom- molekyl- och kondenserande materiens fysik;

   Abstract : The focus of this doctoral thesis is the atomic level design of photocatalysts and gas sensing materials. The band gap narrowing in the metal oxides for the visible-light driven photocatalyst as well as the interaction of water and gas molecules on the reactive surfaces of metal oxides and the electronic structure of kaolinite has been studied by the state-of-art calculations. READ MORE