Search for dissertations about: "effective domains"
Showing result 1 - 5 of 147 swedish dissertations containing the words effective domains.
-
1. Effective Domains and Admissible Domain Representations
Abstract : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. READ MORE
-
2. Effective Distribution Theory
Abstract : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. READ MORE
-
3. Effective SAT Solving
Abstract : A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several important application areas. READ MORE
-
4. Learning from Multiple Domains
Abstract : Domain adaptation (DA) transfers knowledge between domains by adapting them. The most well-known DA scenario in the literature is adapting two domains of source and target using the available labeled source samples to construct a model generalizable to the target domain. READ MORE
-
5. Effective development of dynamic systems : a structured approach
Abstract : This licentiate thesis deals with effective simulation of multibody dynamic systems in the product development process. Previous work to make simulation more effective has concentrated on developing faster calculation methods. READ MORE