Sökning: "Theory of computation"

Visar resultat 1 - 5 av 165 avhandlingar innehållade orden Theory of computation.

  1. 1. The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought

    Författare :Kim Solin; Lars-Göran Johansson; Sören Stenlund; André Porto; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; theories of computation; philosophy of mathematics; Wittgenstein;

    Sammanfattning : Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. LÄS MER

  3. 2. Realtime & Development - modes of knowing design computation in architectural practice

    Författare :Frans Magnusson; Chalmers tekniska högskola; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Design Methodology; Architectural Practice; Design Theory; Action Research; Computational Design; Design Computation; Design Systems; Project Workflow Management;

    Sammanfattning : This thesis examines theoretical, methodological and organisational implications of design computation for architectural practice - from an insider perspective. It also proposes a conceptual model for knowing within this practice, in an approach that interrelates theory and actionable knowledge. LÄS MER

  4. 3. Computational Aspects of Maass Waveforms

    Författare :Fredrik Strömberg; Dennis A. Hejhal; Andreas Strömbergsson; David Farmer; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical analysis; Maass waveform; Congruence subgroup; Noncongruence subgroup; Multiplier system; Theta multiplier system; Eta multiplier system; real weight; Hecke operator; Involution; Dirichlet character; Spectral Theory; Computation; Matematisk analys; Mathematical analysis; Analys; matematik; Mathematics;

    Sammanfattning : The topic of this thesis is computation of Mass waveforms, and we consider a number of different cases: Congruence subgroups of the modular group and Dirichlet characters (chapter 1); congruence subgroups and general multiplier systems and real weight (chapter 2); and noncongruence subgroups (chapter 3). In each case we first discuss the necessary theoretical background. LÄS MER

  5. 4. 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

  7. 5. 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