Avancerad sökning

Visar resultat 1 - 5 av 7 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Automatic Verification of Embedded Systems Using Horn Clause Solvers

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Anoud Alshnakat; [2019]
    Nyckelord :;

    Sammanfattning : Recently, an increase in the use of safety-critical embedded systems in the automotive industry has led to a drastic up-tick in vehicle software and code complexity. Failure in safety-critical applications can cost lives and money. LÄS MER

  2. 2. Is it Wa or is it Ga – that is the question: A study of Swedish learners’ knowledge of the Japanese particles Wa and Ga

    Kandidat-uppsats, Lunds universitet/Japanska

    Författare :Lily Chan; [2018]
    Nyckelord :Japanese; wa and ga; embedded clause; individual-level predicates; stage-level predicates; Languages and Literatures;

    Sammanfattning : The aim of this thesis is to test Swedish Japanese learners’ knowledge of the Japanese topic and subject markers, wa and ga. This was done through sending out surveys, where the participants were forced to choose an answer out of four options for each sentence. LÄS MER

  3. 3. Logophoric and anaphoric 'otagai' in Japanese: an acceptability study

    Kandidat-uppsats, Lunds universitet/Japanska

    Författare :Vincent Medic; [2018]
    Nyckelord :Japanese; anaphoricity; logophoricity; otagai; long-distance binding; Languages and Literatures;

    Sammanfattning : This study revolves around the Japanese reciprocal pronoun otagai ‘each other’. Native Japanese speakers were asked to judge the acceptability of 48 Japanese sentences. The goal was to see if they would treat otagai as a logophor if it resided in the embedded possessor position of the embedded object. LÄS MER

  4. 4. Pre- and Postmodification in Noun Phrases : A comparison of monolingual, bilingual and multilingual male learners of English in Sweden

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för pedagogik, didaktik och utbildningsstudier

    Författare :Sharelle Sånglöf; [2014]
    Nyckelord :Premodification; Postmodification; Second Language Acquistion; Multilingual Competence;

    Sammanfattning : Students in Sweden are exposed to English education in the classroom from a very young age. This paper sets out to see whether bilingual or multilingual students perform better than monolingual students when acquiring English as a second or third language in Sweden. LÄS MER

  5. 5. Besiktnings- och värderingsklausuler som tvistlösningsmekanism - en analys av expertavgörandets angripbarhet

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen

    Författare :Anton Dahllöf; [2014]
    Nyckelord :Avtalsrätt; Förmögenhetsrätt; Civilprocessrätt; Värderingsklausuler; Besiktningsklausuler; Processuella avtal; Alternativ tvistlösning; Law and Political Science;

    Sammanfattning : Det är inte givet att alla typer av kommersiella tvister ska lösas i allmän domstol eller i skiljeförfarande; i avtalspraxis finns en stor variationsrikedom vad gäller alternativa tvistlösningsarrangemang. I denna kontext återfinns bland annat besiktnings- och värderingsklausuler, vilka är de tvistlösningsmetoder som den här uppsatsen fokuserar på. LÄS MER