Search for dissertations about: "generalised terms"

Showing result 1 - 5 of 30 swedish dissertations containing the words generalised terms.

  2. 1. Categorical Unification

    Author : María Ángeles Galán García; Patrik Eklund; José Meseguer; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; Computer science; Datalogi; business data processing; administrativ databehandling;

    Abstract : This thesis deals with different aspects towards many-valued unification which have been studied in the scope of category theory. The main motivation of this investigation comes from the fact that in logic programming, classical unification has been identified as the provision of coequalizers in Kleisli categories of term monads. READ MORE

  4. 2. On applications of manifest, maximal supersymmetry & U-duality

    Author : Anna Karlsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; maximal supergravity; pure spinors; Maximal supersymmetry; loop amplitudes; U-duality; Born-Infeld theory; generalised geometry; high energy particle physics;

    Abstract : Maximal supersymmetry is made manifest through the introduction of the pure spinor formalism. In many ways, this formalism represents a powerful tool in examinations of characteristics of different theories in high energy physics, though it is far from extensively exploited. READ MORE

  5. 3. Extinctions and Ecosystem Stability

    Author : Susanne Pettersson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; structural stability; ecosystems; interaction structure; Generalised Lotka-Volterra; complexity; local stability; dynamical systems; stability;

    Abstract : Human society's expansion and demand for both biotic and abiotic natural resources exert a large pressure on ecosystems around the globe. Ecosystems are complex networks of species interacting with each other and their physical surroundings. READ MORE

  6. 4. Explicit Influence Analysis in Crossover Models

    Author : Chengcheng Hao; Tatjana von Rosen; Dietrich von Rosen; Tapio Nummi; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; explicit maximum likelihood estimate; generalised mixed linear model; influential observation; perturbation scheme; statistical diagnostics; Statistics; statistik;

    Abstract : This dissertation develops influence diagnostics for crossover models. Mixed linear models and generalised mixed linear models are utilised to investigate continuous and count data from crossover studies, respectively. READ MORE

  7. 5. Real and complex Monge-Ampère equations, statistical mechanics and canonical metrics

    Author : Jakob Hultgren; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Statistical Mechanics; Point Processes; Hessian manifolds; Kähler geometry; Optimal Transport; Canonical metrics; Complex Monge-Ampère equations; Real Monge-Ampère equations; Kähler-Einstein metrics; Statistical Mechanics;

    Abstract : Recent decades has seen a strong trend in complex geometry to study canonical metrics and the way they relate to geometric analysis, algebraic geometry and probability theory. This thesis consists of four papers each contributing to this field. The first paper sets up a probabilistic framework for real Monge-Ampère equations on tori. READ MORE