Sökning: "recursion theory"

Visar resultat 16 - 20 av 26 avhandlingar innehållade orden recursion theory.

1. 16. Theory of Bonding and Structure of Materials

   Författare :Uno Yxklinten; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The main topic of this Thesis is total-energy calculations of metallic systems, with and without adsorbates or impurities. In this Effective-Medium Theory the expression for the total energy of a system of interacting atoms is divided into three terms. In this thesis all three terms have been re- investigated and improved. LÄS MER

3. 17. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

   Författare :Johan Glimming; Karl Meinke; John Power; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; denotational semantics; axiomatic domain theory; coalgebra; primitive co recursion; object-based programming; typed object calculus; Computer science; Datavetenskap; datalogi; Computer Science;

   Sammanfattning : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. LÄS MER

4. 18. Exact completion and type-theoretic structures

   Författare :Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

   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

5. 19. Dynamic Plate and Shell Equations Using Power Series Expansions - Applications Including Elasticity, Poroelasticity and Fluid Loading

   Författare :Anders Hägglund; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; approximate boundary conditions; series expansion; Biot equations; vibrations; cylindrical shell; dispersion curves; plate theory; thin shells; porous plate;

   Sammanfattning : Thin structures are used in a wide range of engineering applications. The subject of this thesis is the derivation of approximate equations for the dynamics of thin plates and shells using series expansion methods. LÄS MER

7. 20. Dynamic Equations for Spherical, Orthotropic and Piezoelectric Cylindrical Shells Using the Power Series Method

   Författare :Reza Okhovat; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; shell equations; cylindrical shell; eigenfrequency.; piezoelectricity; Shells; Hamilton’s principle; surface differential operators; recursion relations; spherical shell; orthotropic; dynamics;

   Sammanfattning : Shells are commonly used in many branches of engineering, and have therefore beeninvestigated for a number of different types of shells. A shell is considered to be curved aplate with small thickness compared both to the other geometrical dimensions as well asto the wavelengths of importance. LÄS MER