Search for dissertations about: "formal register"

Showing result 1 - 5 of 21 swedish dissertations containing the words formal register.

  2. 1. ”Completely Headless”. Modification of adjectives in Swedish advanced learners' English

    Author : Viktoria Börjesson; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; Swedish advanced learners; written English; spoken English; degree modification; adjectives; modifiers; reinforcers; attenuators; collocation; learner corpora; learner English; formal register; informal speech; genre awareness; academic writing; comparative study; contrastive interlanguage analysis;

    Abstract : This is a corpus-based, empirical study, which investigates Swedish advanced learners’ written and spoken English with regard to modification of adjectives, both reinforcing (e.g. totally different, very nice) and attenuating (e.g. READ MORE

  4. 2. No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code

    Author : Oliver Schwarz; Mads Dam; Christian Gehrmann; Gerwin Klein; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; DMA; Peripheral Devices; Instruction Set Architectures; ISA; Information Flow; Boot; Computer Science; Datalogi;

    Abstract : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. READ MORE

  5. 3. Patterns of Persistence : Intergenerational mobility and Sweden's social structure 1865-2015

    Author : Elien Dalman; Centrum för ekonomisk demografi; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; intergenerational persistence; social mobility; social stratification; social structure; gender; surname type; pre-industrial social strata; occupational status; social class; institutions of family and work; institutions for equal opportunities; Sweden; full-count censuses; register data;

    Abstract : In all times, societies have known social hierarchies and boundaries between individuals and groups with distinct social characteristics. The extent to which such hierarchies and boundaries are consequential for life outcomes and persist over time differs between societies. READ MORE

  6. 4. Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

    Author : Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; cooperative manipulation; formation control; temporal logic; motion planning; adaptive control; funnel control; navigation; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. READ MORE

  7. 5. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data

    Author : Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. READ MORE