Sökning: "plain language"

Visar resultat 6 - 10 av 12 avhandlingar innehållade orden plain language.

  1. 6. Stilstudier i Carl Jonas Love Almqvists exilförfattarskap

    Författare :Per Mårtenson; Kristina Svartholm; Lars Burman; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Swedish literature; Almqvist; stylistics; text interpretation; literacy; poetics; metre; rhythm; rhyme; philology; language-norm discussion; Scandinavian languages; Nordiska språk;

    Sammanfattning : This dissertation is a study on the works of the Swedish author Carl Jonas Love Almqvist during the final years of his exile in America. Focusing on the monumental 1438-page unpublished manuscript 'About Swedish Rhymes', the study first presents the textual material and then discusses the text from different formal and content-based aspects essential to an understanding of Almqvist's works in exile. LÄS MER

  3. 7. Automated Theorem Proving with Extensions of First-Order Logic

    Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; clausal normal form; Program Verification; automated theorem proving; program analysis; TPTP; Vampire; first-order logic;

    Sammanfattning : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. LÄS MER

  4. 8. Mapping a Landscape of Developer Assisting Software Bots

    Författare :Linda Erlenhov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Empirical research; Software engineering; Taxonomy; Software bot;

    Sammanfattning : Bots in software development have gained traction in research and in practice. However, there is no consensus on what properties and characteristics that define a bot. The term is used to describe a plethora of different tools with different usages, benefits and challenges. LÄS MER

  5. 9. Knowledge based perceptual anchoring : grounding percepts to concepts in cognitive robots

    Författare :Marios Daoutis; Silvia Coradeschi; Amy Loutfi; Angelo Cangelosi; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; anchoring; knowledge representation; cognitive perception; symbol grounding; common-sense information; Datavetenskap; Computer and Systems Science;

    Sammanfattning : A successful articial cognitive agent needs to integrate its perception of the environment with reasoning and actuation. A key aspect of this integration is the perceptual-symbolic correspondence, which intends to give meaning to the concepts the agent refers to { known as Anchoring. However, perceptual representations alone (e.g. LÄS MER

  7. 10. Sin egen hälsas smed : Idéer, initiativ och organisationer inom svensk motionsidrott 1945–1981

    Författare :Hans Bolling; Bill Sund; Jan Lindroth; Susanna Hedenborg; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; sport history; sports for all; sports movement; health; fitness; physical activity; welfare state; History; Historia;

    Sammanfattning : This dissertation studies the spread of sports for all in Sweden during the years 1945 to 1981. The purposes of the dissertation are twofold: in part to survey the forms of physical activities which were launched as sports for all after 1945, in part to answer the question: Why have almost all voluntarily organized sports in Sweden been part of one organization since the 1970s? In order to handle the diversities of activities that can fall within the concept of sport, two principal abstractions of the concept are used: one rigorous and one flexible. LÄS MER