Sökning: "Categorical data"

Visar resultat 11 - 15 av 55 avhandlingar innehållade orden Categorical data.

  1. 11. Spatial Mixture Models with Applications in Medical Imaging and Spatial Point Processes

    Författare :Anders Hildeman; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Non-Gaussian; Bayesian level set inversion; Point processes; Substitute CT; Finite mixture models; Spatial statistics; Gaussian fields; Non-Gaussian;

    Sammanfattning : Finite mixture models have proven to be a great tool for both modeling non-standard probability distributions and for classification problems (using the latent variable interpretation). In this thesis we are building spatial models by incorporating spatially dependent categorical latent random fields in a hierarchical manner similar to that of finite mixture models. LÄS MER

  3. 12. On Rank-invariant Methods for Ordinal Data

    Författare :Yishen Yang; Sune Karlsson; Elisabeth Svensson; Rolf Larsson; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ordinal data; rank-invariance; systematic change; agreement; association; inter-rater reliability; ranking; Spearman; multi-item scale; Statistik; Statistics;

    Sammanfattning : Data from rating scale assessments have rank-invariant properties only, which means that the data represent an ordering, but lack of standardized magnitude, inter-categorical distances, and linearity. Even though the judgments often are coded by natural numbers they are not really metric. LÄS MER

  4. 13. Optimization of truck tyres selection

    Författare :Zuzana Nedelkova; Göteborgs universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; radial basis function; categorical variables; truck tyres; simulation-based optimization; surrogate model; approximately optimal solution; efficient solution; rolling resistance coefficient; vehicle dynamics; simulation-based optimization;

    Sammanfattning : This thesis, which consists of an introduction and five appended papers, concerns the optimal selection of tyres for a variety of vehicle configurations as well as operating environments. The selection problem stems from a project cooperation between Chalmers University of Technology and Volvo Group Trucks Technology. LÄS MER

  5. 14. Testing and Proving in Dependent Type Theory

    Författare :Qiao Haiyan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. LÄS MER

  7. 15. Relations in Dependent Type Theory

    Författare :Carlos Gonzalía; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER