Search for dissertations about: "URI"

Showing result 1 - 5 of 86272 swedish dissertations containing the word URI.

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

    Author : Gustav Hast; Johan Håstad; Uri Zwick; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computer science; Datalogi;

    Abstract : 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. READ MORE

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

    Author : Gustaf Aniansson; immunologi och glykobiologi - MIG Avdelningen för mikrobiologi; []
    Keywords : 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;

    Abstract : 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. READ MORE

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

    Author : Johan Brantmark; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

  6. 4. A framework for reasoning about Erlang code

    Author : Lars-Åke Fredlund; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : 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. READ MORE

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

    Author : Mohammad J Taherzadeh; Chalmers Univ of Technology; []
    Keywords : 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;

    Abstract : 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). READ MORE