Sökning: "exact"
Visar resultat 1 - 5 av 940 avhandlingar innehållade ordet exact.
1. Exact Algorithms for Exact Satisfiability Problems
Sammanfattning : 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. LÄS MER
2. Exact completion and type-theoretic structures
Sammanfattning : 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. LÄS MER
3. Exact Minimizers in Real Interpolation : Characterization and Appliations
Sammanfattning : 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. LÄS MER
4. Exact inference in Bayesian networks and applications in forensic statistics
Sammanfattning : 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. LÄS MER
5. On bootstrapping survival data
Sammanfattning : .... LÄS MER