Sökning: "generalised terms"

Visar resultat 1 - 5 av 33 avhandlingar innehållade orden generalised terms.

  1. 1. Categorical Unification

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  4. 3. Att förklara politiskt förtroende: Betydelsen av socialt kapital och rättvisa procedurer

    Författare :Ylva Norén Bretzer; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; political trust; generalised trust; social capital; procedural justice; multi-level analysis; municipality; micro-level; macro-level; political attitudes; Sweden; West Sweden; SOM-data.;

    Sammanfattning : What explains political trust? Many researchers have presented various theories and explanations to this question. Therefore the number of answers according to previous research has been numerous and ambiguous. LÄS MER

  5. 4. Extinctions and Ecosystem Stability

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

    Sammanfattning : 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. LÄS MER

  7. 5. Explicit Influence Analysis in Crossover Models

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

    Sammanfattning : 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. LÄS MER