Search for dissertations about: "domain theory"

Showing result 1 - 5 of 399 swedish dissertations containing the words domain theory.

2. 1. Effective Distribution Theory

   Author : Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

   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

4. 2. Effective Domains and Admissible Domain Representations

   Author : Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Mathematics; Matematik; Mathematical logic;

   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

5. 3. Modelling of Dislocation Bias in FCC Materials

   Author : Zhongwen Chang; Pär Olsson; Christophe Domain; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Irradiation induced void swelling is problematic for the application of austenitic steels under high dose irradiation. In this thesis, the swelling is characterized by dislocation bias. The dislocation bias is obtained using the finite element method, accounting for fcc copper and nickel under electron irradiation. READ MORE

6. 4. The complex Monge-Ampére operator on bounded hyperconvex domains

   Author : Per Åhag; Urban Cegrell; Norm Levenberg; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Complex Monge-Ampère operator; currents; Dirichlet problem; hyperconvex domain; Perron-Bremermann envelope; pluripotential theory; plurisubharmonic function; Mathematical statistics; Matematisk statistik; Mathematical Statistics; matematisk statistik;

   Abstract : .... READ MORE

7. 5. Explaining everyday problem solving

   Author : Annika Wallin; Kognitionsvetenskap; []
   Keywords : HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; domain-specificity; ecological rationality; evolutionary psychology; practice theory; situated action; universal problem solver; everyday cognition; Explanations; everyday problem solving; domain-generality; causality; social information; Psychology; Psykologi;

   Abstract : How well can we explain natural occurrences of cognitive behaviours given the theoretical frameworks available to us today? The thesis explores what has to be assumed in cognitive theory in order to provide such an explanation, in contrast to being able to predict behaviour under controlled circumstances. The behaviours considered are all of the type described as involving higher level cognition or being representation hungry. READ MORE