Search for dissertations about: "URI"
Showing result 1 - 5 of 86138 swedish dissertations containing the word URI.
-
1. Beating a Random Assignment : Approximating Constraint Satisfaction Problems
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
-
2. Breast-feeding, nasopharyngeal colonization and otitis media
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
-
3. Rock support in weak rock : a study on the URI project
Abstract : .... READ MORE
-
4. A framework for reasoning about Erlang code
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
-
5. Ethanol from lignocellulose : physiological effects of inhibitors and fermentation strategies
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