Search for dissertations about: "dependency theory"
Showing result 1 - 5 of 101 swedish dissertations containing the words dependency theory.
-
1. Univalent Types, Sets and Multisets : Investigations in dependent type theory
Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE
-
2. Non-parametric methods for functional data
Abstract : In this thesis we develop and study non-parametric methods within three major areas of functional data analysis: testing, clustering and prediction. The thesis consists of an introduction to the field, a presentation and discussion of the three areas, and six papers. READ MORE
-
3. Tree Transformations in Inductive Dependency Parsing
Abstract : This licentiate thesis deals with automatic syntactic analysis, or parsing, of natural languages. A parser constructs the syntactic analysis, which it learns by looking at correctly analyzed sentences, known as training data. The general topic concerns manipulations of the training data in order to improve the parsing accuracy. READ MORE
-
4. Tree Transformations in Inductive Dependency Parsing
Abstract : This licentiate thesis deals with automatic syntactic analysis, or parsing, of natural languages. A parser constructs the syntactic analysis, which it learns by looking at correctly analyzed sentences, known as training data. The general topic concerns manipulations of the training data in order to improve the parsing accuracy. READ MORE
-
5. Characterization of energy gases by ultrasound : theory and experiments
Abstract : The long-term goal with the research presented in this thesis has been to develop an ultrasonic sensor capable of measuring the energy content of energy gases such as natural- and biogas. The energy content can be calculated if the concentration of each constituent of a gas mixture is known. READ MORE