Search for dissertations about: "exact"

Showing result 1 - 5 of 914 swedish dissertations containing the word exact.

2. 1. Exact Algorithms for Exact Satisfiability Problems

   Author : Vilhelm Dahllöf; Peter Jonsson; Fedor Fomin; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NP-hardness; exact algorithms; satisfiability; exact satisfiability; Computer science; Datalogi;

   Abstract : This thesis presents exact means to solve a family of NP-hard problems. Starting with the well-studied Exact Satisfiability problem (XSAT) parents, siblings and daughters are derived and studied, each with interesting practical and theoretical properties. READ MORE

4. 2. Exact completion and type-theoretic structures

   Author : Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

   Abstract : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. READ MORE

5. 3. Exact Minimizers in Real Interpolation : Characterization and Appliations

   Author : Japhet Niyobuhungiro; Natan Kruglyak; Irina Asekritova; Fredrik Berntsson; Froduald Minani; Luboš Pick; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : The main idea of the thesis is to develop new connections between the theory of real interpolation and applications. Near and exact minimizers for E–, K– and L–functionals of the theory of real interpolation are very important in applications connected to regularization of inverse problems such as image processing. READ MORE

6. 4. Exact inference in Bayesian networks and applications in forensic statistics

   Author : Ivar Simonsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; forensic statistics; familial relationship inference; Bayesian networks; variable elimination; exact inference; mutation models;

   Abstract : Bayesian networks (BNs) are commonly used when describing and analyzing relationships between interacting variables. Approximate methods for performing calculations on BNs are widely used and well developed. READ MORE

7. 5. On bootstrapping survival data

   Author : Magnus Åstrand; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Bootstrap; KAplan-Meier; survival; semiiarametric; exact; dependent; KAplan-Meier;

   Abstract : .... READ MORE