Search for dissertations about: "tutorial"

Showing result 1 - 5 of 17 swedish dissertations containing the word tutorial.

  2. 1. The Outsider in Our Midst : A Study of Language and Norms Concerning the “Outsider” in Persian Period Yehud

    Author : Karin Tillberg; Göran Eidevall; Mikael Larsson; Katherine Southwood; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; Persian period; Nehemiah; Deuteronomy; Pentateuch; Isaiah; Trito-Isaiah; Bourdieu; doxa; capital; agents; fields; Derrida; hospitality; eunuchs; exile.; Gamla testamentets exegetik; Old Testament Exegesis;

    Abstract : The topic for the present study concerns how values and norms are conveyed through language. I explore two texts set in the Persian period—Isaiah 56:1–8 and Nehemiah 13:1–3, 23–31—and how these texts discuss those literary figures described as not belonging to the community. READ MORE

  4. 2. Pure Functional Parsing - an advanced tutorial

    Author : Peter Ljunglöf; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; context-free grammars; parsing algorithms; parser combinators; functional programming;

    Abstract : Parsing is the problem of deciding whether a sequence of tokens is recognized by a given grammar, and in that case returning the grammatical structure of the sequence. This thesis investigates di erent aspects of the parsing problem from the viewpoint of a functional programmer. READ MORE

  5. 3. A Policy Semantics and a Programming Language for Securing Software

    Author : Bart van Delft; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; datalog; static enforcement; security policy language; information flow;

    Abstract : The work presented in this thesis contributes to the information flowpolicy specification language Paralocks and the enforcement of Paralockspolicies in the programming language Paragon.The thesis starts with a programming tutorial on Paragon. READ MORE

  6. 4. Machine learning using approximate inference : Variational and sequential Monte Carlo methods

    Author : Christian Andersson Naesseth; Thomas Schön; Fredrik Lindsten; Iain Murray; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Automatic decision making and pattern recognition under uncertainty are difficult tasks that are ubiquitous in our everyday life. The systems we design, and technology we develop, requires us to coherently represent and work with uncertainty in data. READ MORE

  7. 5. Applications of SAT solving

    Author : Niklas Sörensson; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. READ MORE