Sökning: "formal register"

Visar resultat 1 - 5 av 25 avhandlingar innehållade orden formal register.

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

    Författare :Viktoria Börjesson; Göteborgs universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  4. 3. Ge igen med samma mynt : Ekonomiska och sociala relationer i Sundborns socken i Dalarna 1820–1849

    Författare :Karin Nibon; Göran Hoppe; Ann Grubbström; John Östh; Johan Berg; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Sundborn; Dalarna; inventory; parish register; private local credit market; claim; debt; economic network; lender; borrower; social network theory; social network; credit; graph theory; household; parish banker; spatial analyses; Sundborn; Dalarna; Kopparbergs län; bouppteckning; kyrkoarkiv; privat lokal kreditmarknad; fordring; skuld; ekonomiskt nätverk; fordringsägare; gäldenär; social nätverksteori; socialt nätverk; kredit; grafteori; hushåll; sockenbankir; rumslig analys; 1800-talet; Geography; Geografi; Social and Economic Geography; Kulturgeografi;

    Sammanfattning : The aim of this thesis is to visualize and explain how people’s economic and social relations were connected in the parish of Sundborn, in the south east of Dalarna, in the period 1820-1849. The study is based on records of claims and debts in inventories and parish registers, which enable reconstruction of the private local credit market. LÄS MER

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

    Författare :Elien Dalman; Centrum för ekonomisk demografi; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Författare :Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER