Search for dissertations about: "smt"

Showing result 1 - 5 of 19 swedish dissertations containing the word smt.

  1. 1. From Machine Arithmetic to Approximations and back again Improved SMT Methods for Numeric Data Types

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; [2017]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Abstract : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE

  2. 2. Quantifiers and Theories A Lazy Approach

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; [2019]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Abstract : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. READ MORE

  3. 3. Spelling Normalisation and Linguistic Analysis of Historical Text for Information Extraction

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Eva Pettersson; Joakim Nivre; Beáta Megyesi; Michael Piotrowski; [2016]
    Keywords : HUMANIORA; HUMANITIES; NLP for historical text; spelling normalisation; digital humanities; information extraction; character-based statistical machine translation; SMT; Levenshtein edit distance; language technology; computational linguistics; Datorlingvistik; Computational Linguistics;

    Abstract : Historical text constitutes a rich source of information for historians and other researchers in humanities. Many texts are however not available in an electronic format, and even if they are, there is a lack of NLP tools designed to handle historical text. READ MORE

  4. 4. Sensorimotor Therapy: Assessing Quantitative and Qualitative Expressions of Physiological and Psychological Development in Children

    University dissertation from Karlstad : Karlstads universitet

    Author : Mats Niklasson; Torsten Norlander; Peder Rasmussen; Magnus Lindwall; [2013]
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Developmental Coordination Disorder; Learning Disorder; ADHD; Primary reflexes; Vestibular stimulation; Psycholigical development; Regression; Retraining for Balance; Developmental Coordination Disorder; Inlärningssvårigheter; ADHD; Primära reflexer; Vestibulär stimulering; Psykologisk utveckling; Regression; Retraining for Balance; Psykologi; Psychology;

    Abstract : The first purpose of this thesis was to examine whether sensorimotor therapy utilizing the training program ”Retraining for Balance” might be an appropriate technique for sensorimotor proficiency. The second purpose was to gain increased understanding of the effects of sensorimotor therapy on the physical and psychological development of children and youth. READ MORE

  5. 5. Effect of timing training in golf and soccer players skill, movement organization, and brain activity

    University dissertation from Karlstad : Karlstads universitet

    Author : Marius Sommer; Louise Rönnqvist; Charlotte Häger; Nicola Hodges; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Motor timing; rhythmicity; timing training; golf shot; golf swing; kinematics; precision; variability; coordination; movement dynamics; soccer; fMRI; mirror neurons; action observation; cerebellum; perception - action.; Psychology; psykologi;

    Abstract : Background Although trainers and athletes consider ‘good timing skills’ to be critical for optimal sport performance, little is known in regard to how sport-specific skills may benefit from timing training. Thus, assuming that all motor performances are mediated by an internal timing mechanism, enhanced motor timing is expected to have positive effects on both planning and execution of movement performance, and consequently on complex sports actions as golf or soccer. READ MORE