Search for dissertations about: "checks"

Showing result 16 - 20 of 80 swedish dissertations containing the word checks.

  2. 16. Stretched Membranes

    Author : Jonas Björnsson; Stephen Hwang; Jürgen Fuchs; Anders Westerberg; Ulf Lindström; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Physics; Fysik; Physics; Fysik;

    Abstract : This thesis deals with relativistic membranes and, in particular, a limit called stretched membranes. The thesis also considers the relation of membranes to the conjectured M-theory and string theory. The thesis is divided into two parts. One introductory part where I introduce areas which are of relevance for the second part. READ MORE

  4. 17. Learning of Timed Systems

    Author : Olga Grinchtein; Bengt Jonsson; Oded Maler; Uppsala universitet; []
    Keywords : learning regular languages; timed systems; event-recording automata;

    Abstract : Regular inference is a research direction in machine learning. The goal of regular inference is to construct a representation of a regular language in the form of deterministic finite automaton (DFA) based on the set of positive and negative examples. READ MORE

  5. 18. Analysing Fault Tolerance for Erlang Applications

    Author : Jan Henry Nyström; Bengt Jonsson; Sven-Olof Nyström; John Hughes; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

    Abstract : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. READ MORE

  6. 19. The Multilingual Forest : Investigating High-quality Parallel Corpus Development

    Author : Yvonne Adesam; Martin Volk; Joakim Nivre; Koenraad de Smedt; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; treebank; syntax; alignment; corpus; annotation projection; multilingual; tagging; parsing; datorlingvistik; Computational Linguistics;

    Abstract : This thesis explores the development of parallel treebanks, collections of language data consisting of texts and their translations, with syntactic annotation and alignment, linking words, phrases, and sentences to show translation equivalence. We describe the semi-manual annotation of the SMULTRON parallel treebank, consisting of 1,000 sentences in English, German and Swedish. READ MORE

  7. 20. Results in Localization for Supersymmetric Gauge Theories

    Author : Anastasios Gorantis; Joseph A. Minahan; Kimyeong Lee; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Supersymmetric localization; Matrix models; Supersymmetric field theories; Cohomological field theories; Chiral algebras; Theoretical Physics; Teoretisk fysik;

    Abstract : The strong coupling dynamics of Quantum Field Theories with gauge symmetries constitutes a profound problem in Theoretical Physics. Supersymmetric theories offer rare instances where this elusive problem is tractable and can be a valuable source of information and intuition. READ MORE