Sökning: "dependency theory"
Visar resultat 1 - 5 av 108 avhandlingar innehållade orden dependency theory.
1. Univalent Types, Sets and Multisets : Investigations in dependent type theory
Sammanfattning : 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. LÄS MER
2. Non-parametric methods for functional data
Sammanfattning : 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. LÄS MER
3. Tree Transformations in Inductive Dependency Parsing
Sammanfattning : 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. LÄS MER
4. Tree Transformations in Inductive Dependency Parsing
Sammanfattning : 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. LÄS MER
5. Characterization of energy gases by ultrasound : theory and experiments
Sammanfattning : 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. LÄS MER