Sökning: "instance"

Visar resultat 6 - 10 av 1644 avhandlingar innehållade ordet instance.

  1. 6. A default extension to description logics and its applications

    Författare :Niclas Wahllöf; Linköpings universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : This thesis discusses how to extend a family of knowledge representation formalisms known as description logics with default rules. Description logics are tailored to express knowledge in problem domains of a hierarchical or taxonomical nature, that is domains where the knowledge is easily expressed in terms of concepts, objects and relations. LÄS MER

  3. 7. Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning

    Författare :Yassir Jedra; Alexandre Proutiere; Alexander Rakhlin; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Learning; Statistical Learning; Control Theory; Reinforcement Learning; System Identification; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : In this thesis, we investigate the design and statistical efficiency of learning algorithms in systems with a linear structure. This study is carried along three main domains, namely identification, control, and reinforcement learning, and is presented as a collection of five papers. LÄS MER

  4. 8. Internalizing Parametricity

    Författare :Guilhem Moulin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Type structure; Presheaf Model; Parametricity; Lambda Calculus; Polymorphism;

    Sammanfattning : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although the theorems can be stated as internal propositions, they cannot be proved internally. LÄS MER

  5. 9. Samtal i butik : Språklig interaktion melllan biträden och kunder

    Författare :Ingela Tykesson-Bergman; Hans Strand; Olle Josephson; Viveka Adelswärd; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; service encounter; activity type; pragmeme; politeness; conversational contract; conversation analysis; interactional routine; small talk; shop assistant; talk at work; Swedish; Scandinavian languages; Nordiska språk;

    Sammanfattning : The subject of this study is language use in a special type of social activity: the exchange of goods, services and information in a commercial setting. The main aim is to gain an understanding of the work that shop assistants perform using language. In the analysis, the focus is on verbal routine work. LÄS MER

  7. 10. Legitimized Refugees : A Critical Investigation of Legitimacy Claims within the Precedents of Swedish Asylum Law

    Författare :Martin Joormann; Rättssociologiska institutionen; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Refugee law; legitimacy; power and uncertainty; Sweden; Migration Court of Appeal; judges; precedents; critical discourse analysis; collective case study; institutionalized power imbalance;

    Sammanfattning : This study focuses on asylum cases decided at Sweden’s migration courts. More precisely, it analyses how the highest legal instance, the Migration Court of Appeal (hereafter MCA), legitimizes decisions that concern asylum seekers. Using critical discourse analysis (CDA), the study makes power relations visible. LÄS MER