Sökning: "domain theory"

Visar resultat 1 - 5 av 433 avhandlingar innehållade orden domain theory.

1. 1. Effective Distribution Theory

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

   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. 2. Effective Domains and Admissible Domain Representations

   Författare :Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
   Nyckelord :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;

   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

4. 3. Modelling of Dislocation Bias in FCC Materials

   Författare :Zhongwen Chang; Pär Olsson; Christophe Domain; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER

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

   Författare :Per Åhag; Urban Cegrell; Norm Levenberg; Umeå universitet; []
   Nyckelord :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;

   Sammanfattning : .... LÄS MER

7. 5. Explaining everyday problem solving

   Författare :Annika Wallin; Kognitionsvetenskap; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER