Sökning: "effective domains"
Visar resultat 1 - 5 av 150 avhandlingar innehållade orden effective domains.
1. Effective Domains and Admissible Domain Representations
Sammanfattning : 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. LÄS MER
2. Effective Distribution Theory
Sammanfattning : 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. LÄS MER
3. Effective SAT Solving
Sammanfattning : 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. LÄS MER
4. Learning from Multiple Domains
Sammanfattning : 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. LÄS MER
5. Effective development of dynamic systems : a structured approach
Sammanfattning : 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. LÄS MER