Sökning: "Models of dependent type theory"

Visar resultat 6 - 10 av 34 avhandlingar innehållade orden Models of dependent type theory.

  1. 6. Homogenization of some new mathematical models in lubrication theory

    Författare :Afonso Fernando Tsandzana; Peter Wall; Lars- Erik Persson; John Fabricius; Anders Holmbom; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; lubrication theory; homogenization theory; Reynolds equation; cavitation; surfaces roughness; Stokes equation; Matematik; Mathematics;

    Sammanfattning : We consider mathematical modeling of thin film flow between two rough surfaces which are in relative motion. For example such flows take place in different kinds of bearings and gears when a lubricant is used to reduce friction and wear between the surfaces. LÄS MER

  3. 7. Toward Sequential Data Assimilation for NWP Models Using Kalman Filter Tools

    Författare :Jelena Bojarova; Rolf Sundberg; Krzysztof Podgorski; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; non-Gaussian state space models; Kalman filtering; ETKF; 3D-Var; data assimilation; NWP; Mathematical statistics; Matematisk statistik; matematisk statistik; Mathematical Statistics;

    Sammanfattning : The aim of the meteorological data assimilation is to provide an initial field for Numerical Weather Prediction (NWP) and to sequentially update the knowledge about it using available observations. Kalman filtering is a robust technique for the sequential estimation of the unobservable model state based on the linear regression concept. LÄS MER

  4. 8. Correlated random effects models for clustered survival data

    Författare :Frank Eriksson; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; competing risks; case-cohort; semiparametric; Survival analysis; random effects; routine register; frailty model; Survival analysis; frailty model; competing risks; random effects; case-cohort; routine register; semiparametric;

    Sammanfattning : Frailty models are frequently used to analyse clustered survival data in medical contexts. The frailties, or random effects, are used to model the association between individual survival times within clusters. LÄS MER

  5. 9. Essays in mathematical finance : modeling the futures price

    Författare :Magnus Blix; Handelshögskolan i Stockholm; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis consists of four papers dealing with the futures price process. In the first paper, we propose a two-factor futures volatility model designed for the US natural gas market, but applicable to any futures market where volatility decreases with maturity and varies with the seasons. LÄS MER

  7. 10. Random Geometry and Reinforced Jump Processes

    Författare :Tuan-Minh Nguyen; Probability and Inference Theory Group; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; random polygons; products of random matrices; vertex-reinforced jump processes; pseudotrajectories; random walks in simplexes; Markov chains in a general state space;

    Sammanfattning : This thesis comprises three papers studying several mathematical models related to geometric Markov processes and random processes with reinforcements. The main goal of these works is to investigate the dynamics as well as the limiting behaviour of the models as time goes to infinity, the existence of invariant measures and limiting distributions, the speed of convergence and other interesting relevant properties. LÄS MER