Sökning: "small model properties"

Visar resultat 1 - 5 av 770 avhandlingar innehållade orden small model properties.

  1. 1. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER

  2. 2. Contributions to Small Area Estimation : Using Random Effects Growth Curve Model

    Författare :Innocent Ngaruye; Martin Singull; Dietrich von Rosen; Tapio Nummi; Linköpings universitet; []

    Sammanfattning : This dissertation considers Small Area Estimation with a main focus on estimation and prediction for repeated measures data. The demand of small area statistics is for both cross-sectional and repeated measures data. LÄS MER

  3. 3. Environmentally adapted lubricants : properties and performance

    Författare :Anders Pettersson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Elements; Maskinelement;

    Sammanfattning : The lubricants of the future have to be more environmentally adapted, show a higher level of performance, and give a lower total life cycle cost (LCC) than the lubricants that are used today. One way to be able to produce, choose and formulate these lubricants is to have good knowledge about the properties of the base fluids and their additive response. LÄS MER

  4. 4. Materials prepared using graphite oxides : properties and applications

    Författare :Artem Iakunkov; Aleksandr V. Talyzin; Josef Breu; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Graphene oxide; Activated Graphene; Swelling; Supercapacitor; Sorption of radionuclides; Materials Science; materialvetenskap; fysik; Physics;

    Sammanfattning : Graphite oxides are hydrophilic materials, which have attracted a lot of attention due to unique properties and possible applications. The current thesis includes studies of fundamental properties and applications of graphite oxides as well as materials prepared from graphite oxides such as graphene oxide membranes, defect-rich graphite oxide, reduced graphene oxide and activated reduced graphene oxide. LÄS MER

  5. 5. Properties of baryons in the chiral quark model

    Författare :Tommy Ohlsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Chiral quark model; baryons; configuration mixing; magnetic moments; Coleman-Glashow sum-rule; spin polarizations; weak form factors; semilepronic decays; Physics; Fysik;

    Sammanfattning : In this thesis, several properties of baryons are studied using the chiral quark model. The chiral quark model is a theory which can be used to describe low energy phenomena of baryons. In Paper 1, the chiral quark model is studied using wave functions with configuration mixing. LÄS MER