Avancerad sökning

Visar resultat 1 - 5 av 519 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Type Domains for Abstract Interpretation : A critical study

    Författare :Per Mildner; Jonas Barklund; Håkan Millroth; Roland Bol; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Sammanfattning : Programming languages with dynamic typing such as Prolog do not require that the programmer declares the types of data or procedures. This flexibility, however, comes at a price. The lack of declarations makes it hard for a compiler to produce fast code since data must be assumed to be of any type. LÄS MER

  3. 2. Structural analysis and condition monitoring of grinding mills : a case study

    Författare :Filip Berglund; Lars Bernspång; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Drift och underhållsteknik; Operation and Maintenance;

    Sammanfattning : Grinding mills are large rotating cylindrical steel vessels used to grind ore and minerals into finer particles. The mills are important parts of the mineral enrichment process and the grinding is the last step of the comminution process, where the particle size is reduced by a combination of abrasion and impact. LÄS MER

  4. 3. Exhaled Breath Condensate in Obstructive Lung Diseases : A Methodological study

    Författare :Anette Davidsson; Birgitta Schmekel; Rolf Andersson; Sven‐Erik Dahlén; Linköpings universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : Asthma and chronic obstructive pulmonary disease (COPD) are two common inflammatory airway diseases characterized by airway inflammation and mucus hypersecretion. Prediction of the outcome of these diseases may not be performed and the need for non-invasive diagnostic tools capable of identifying inflammation in asthma and COPD becomes therefore obvious. LÄS MER

  5. 4. Information processing in the Striatum : a computational study

    Författare :Johannes Hjorth; Jeanette Hellgren Kotaleski; Anders Lansner; Kim Blackwell; KTH; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; striatum; fast spiking interneuron; gap junctions; synchronisation; up-state detection; CaMKII; mathematical modelling; Neuroscience; Neurovetenskap;

    Sammanfattning : The basal ganglia form an important structure centrally placed in the brain. They receive input from motor, associative and limbic areas, and produce output mainly to the thalamus and the brain stem. The basal ganglia have been implied in cognitive and motor functions. LÄS MER

  7. 5. Mathematical modeling in precision nutrition

    Författare :Viktor Skantze; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Personalized nutrition; precision nutrition; differential responders; metabotypes;

    Sammanfattning : Precision nutrition (PN) aims to tailor diets for individuals or groups based on comprehensive data to improve prevention of diseases, such as cardiometabolic diseases. Predicting individual postprandial metabolic responses and identifying individuals with similar metabolic phenotypes (metabotypes) could guide tailored diet strategies. LÄS MER