Sökning: "narrowing"

Visar resultat 1 - 5 av 97 avhandlingar innehållade ordet narrowing.

  1. 1. Testing and Proving using Narrowing

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

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

  3. 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

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

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

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

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

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

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

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

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

  7. 5. Human studies evaluating dGEMRIC as a prognostic tool for knee osteoarthritis

    Författare :Henrik Owman; Malmö Institutionen för kliniska vetenskaper; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Delayed gadolinium-enhanced MRI of cartilage dGEMRIC ; knee; cartilage; glycosaminoglycan; anterior cruciate ligament injury; meniscal injury; osteoarthritis; joint space narrowing; osteophyte;

    Sammanfattning : Osteoarthritis (OA) is the most common joint disorder worldwide, causing joint pain and stiffness. The current gold standard for diagnosing knee OA is radiography. However, the disease has often progressed well beyond the point of no return once radiographic cartilage changes become visible. LÄS MER