Sökning: "dependency theory"

Visar resultat 1 - 5 av 108 avhandlingar innehållade orden dependency theory.

  1. 1. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    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

  3. 2. Non-parametric methods for functional data

    Författare :Johan Strandberg; Sara Sjöstedt de Luna; Konrad Abramowicz; Lina Schelin; Charlotte Häger; Pedro Delicado; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; functional data analysis; testing; clustering; prediction; inference; bagging Voronoi strategy; kriging; dependency; matematisk statistik; Mathematical Statistics;

    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

  4. 3. Tree Transformations in Inductive Dependency Parsing

    Författare :Jens Nilsson; Joakim Nivre; Pierre Nugues; Växjö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Inductive Dependency Parsing; Dependency Structure; Tree Transformation; Non-projectivity; Coordination; Verb Group; Language technology; Språkteknologi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    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. 4. Tree Transformations in Inductive Dependency Parsing

    Författare :Jens Nilsson; Joakim Nivre; Pierre Nugues; Växjö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Inductive Dependency Parsing; Dependency Structure; Tree Transformation; Non-projectivity; Coordination; Verb Group; Language technology; Språkteknologi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    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

  7. 5. Characterization of energy gases by ultrasound : theory and experiments

    Författare :Pär-Erik Martinsson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signalbehandling; Signal Processing;

    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