Sökning: "tokens"

Visar resultat 6 - 10 av 34 avhandlingar innehållade ordet tokens.

  1. 6. Measuring Health : On the Theoretical Foundations of Health Status Evaluations

    Författare :Amanda Thorell; Sören Häggqvist; Richard Dawid; Elselijn Kingma; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; biostatistical theory; disease; disposition; efficiency; function; health; pathology; philosophy of medicine; physiology; reference class; filosofi; Philosophy;

    Sammanfattning : This thesis is about the notions of health and pathology in medical theory. I develop a theory, which defines ‘health’ and ‘pathology’ in a way that solves several problems with earlier suggestions of how to define these terms. I call the theory ‘the disposition profile efficiency theory’, abbreviated ‘the DPE-theory’. LÄS MER

  3. 7. Model Checking Parameterized Timed Systems

    Författare :Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

    Sammanfattning : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. LÄS MER

  4. 8. "Cut and Break"-beskrivningar i svenskt teckenspråk : Barns och vuxnas avbildande verbkonstruktioner

    Författare :Pia Simper-Allen; Brita Bergman; Johanna Mesch; Ritva Takkinen; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Swedish Sign Language; cut and break events; depicting verb constructions; sign language acquisition; handshape categories; Real Space blending; resultative complements; Linguistics; lingvistik;

    Sammanfattning : Previous studies on children’s acquisition of depicting verbs in signed languages have chiefly studied the use of classifiers in verbs of motion and location, particularly the order in which the different classes of handshape are acquired. The age of the children in these studies have ranged from age three to thirteen, and an important finding has been that classifier constructions are not fully acquired until early adolescence. LÄS MER

  5. 9. Nederländskans komen och svenskans komma : En kontrastiv undersökning

    Författare :Annika Johansson; Ingrid Wikén Bonde; Tomas Riad; Harry Perridon; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; contrastivity; Dutch verb komen; Swedish verb komma; corpus-based; networkmodel; prototype theory; grammaticalization; Dutch language; Nederländska;

    Sammanfattning : The aim of this dissertation is to give a detailed analysis of the Dutch verb komen ‘come’ and the Swedish verb komma ‘come’ based on a systematic comparison. Focus has been placed on grammatical polysemy and the study is written within the framework of cognitive linguistics. LÄS MER

  7. 10. Incremental scanning and token-based editing

    Författare :Rober Bilos; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : A primary goal with this thesis work has been to investigate the consequences of a token-based program representation. Among the results which are presented here are an incremental scanning algorithm together with a token-based syntax sensitive editing approach for program editing. LÄS MER