Sökning: "Computation theory"

Visar resultat 1 - 5 av 165 avhandlingar innehållade orden Computation theory.

  1. 1. Mutual Understanding in Situated Interactions with Conversational User Interfaces : Theory, Studies, and Computation

    Författare :Dimosthenis Kontogiorgos; Joakim Gustafsson; Gabriel Skantze; Catherine Pelachaud; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; human-computer interaction; social robots; smart-speakers; multimodal behaviours; social signal processing; common ground; dialogue and discourse; joint-construction tasks; embodiment; conversational failures; Computer Science; Datalogi;

    Sammanfattning : This dissertation presents advances in HCI through a series of studies focusing on task-oriented interactions between humans and between humans and machines. The notion of mutual understanding is central, also known as grounding in psycholinguistics, in particular how people establish understanding in conversations and what interactional phenomena are present in that process. LÄS MER

  3. 2. Reference and Computation in Intuitionistic Type Theory

    Författare :Johan G Granström; Erik Palmgren; Per Martin-Löf; Peter Dybjer; Uppsala universitet; []
    Nyckelord :mathematical logic; intuitionism; type theory; foundations of mathematics;

    Sammanfattning : Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares, relates, and equates two concepts, one from philosophical logic and one from computer science, viz. LÄS MER

  4. 3. Computation of constraints in bimetric theory

    Författare :Anders Lundkvist; Fawad Hassan; Edwin Langmann; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; teoretisk fysik; Theoretical Physics;

    Sammanfattning : The Hassan-Rosen bimetric theory describes two interacting spin-2 fields, one massless and one massive. In this thesis, a complete canonical analysis of this theory is performed in the metric formulation and all constraints are computed. LÄS MER

  5. 4. Price measurement and index construction : some contributions to theory and application

    Författare :Jörgen Dalén; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Konsumentprisindex;

    Sammanfattning : Four different problems are treated, all concerned with problems arising when compiling price indexes in official statistics. One deals with the computation of so called elementary aggregates, low level indexes for single products, when proper weights for the observations are not available. LÄS MER

  7. 5. Homogenization of some new mathematical models in lubrication theory

    Författare :Afonso Fernando Tsandzana; Peter Wall; Lars- Erik Persson; John Fabricius; Anders Holmbom; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; lubrication theory; homogenization theory; Reynolds equation; cavitation; surfaces roughness; Stokes equation; Matematik; Mathematics;

    Sammanfattning : We consider mathematical modeling of thin film flow between two rough surfaces which are in relative motion. For example such flows take place in different kinds of bearings and gears when a lubricant is used to reduce friction and wear between the surfaces. LÄS MER