Sökning: "URI"

Visar resultat 1 - 5 av 111779 avhandlingar innehållade ordet URI.

  1. 1. Beating a Random Assignment : Approximating Constraint Satisfaction Problems

    Författare :Gustav Hast; Johan Håstad; Uri Zwick; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computer science; Datalogi;

    Sammanfattning : An instance of a Boolean constraint satisfaction problem, CSP, consists of a set of constraints acting over a set of Boolean variables. The objective is to find an assignment to the variables that satisfies all the constraints. LÄS MER

  3. 2. Breast-feeding, nasopharyngeal colonization and otitis media

    Författare :Gustaf Aniansson; immunologi och glykobiologi - MIG Avdelningen för mikrobiologi; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; cleft palate.; URI; SOM; AOM; otitis media; H. influenzae; S. pneumoniae; Breast-feeding; nasopharyngeal colonization; Immunology; serology; transplantation; Immunologi; serologi;

    Sammanfattning : This thesis analyzed the relationship between breastfeeding, nasopharyngeal colonization and acute otitis media (AOM) in children. Nasopharyngeal cultures were collected from 400 children and milk samples from their mothers in connection with the scheduled visits to well baby clinics at 1-3, 4-7 and 8-12 months of age, and episodes of AOM and URI were documented. LÄS MER

  4. 3. Rock support in weak rock : a study on the URI project

    Författare :Johan Brantmark; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 4. A framework for reasoning about Erlang code

    Författare :Lars-Åke Fredlund; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER

  7. 5. Ethanol from lignocellulose : physiological effects of inhibitors and fermentation strategies

    Författare :Mohammad J Taherzadeh; Chalmers Univ of Technology; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Acetic acid; Agents; Cellulose; Enzyme inhibition; Feedback control; Fermentation; Hydrolysis; Metabolites; pH; Physiology; Wood; Yeast; Dilute acid hydrolyzate; Inhibitors; Lignocellulose; Physiological effects; Saccharomyces cerevisiae; Ethanol;

    Sammanfattning : Fermentative ethanol production from dilute-acid hydrolyzates of wood using the yeast Saccharomyces cerevisiae was investigated. Of known inhibitors in hydrolyzates, acetic acid, furfural and hydroxymethyl furfural (HMF) were found in the highest concentrations (up to about 10 g/l). LÄS MER