Sökning: "ordered sets"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden ordered sets.

  1. 1. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures

    Författare :Kjell Winblad; Konstantinos Sagonas; Erez Petrank; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; concurrent data structures; contention adapting; range queries; lock-freedom; adaptivity; linearizability; ordered sets; maps; key-value stores; concurrent priority queues; relaxed concurrent data structures; locks; delegation locking; Computer Science; Datavetenskap;

    Sammanfattning : The multicore revolution means that programmers have many cores at their disposal in everything from phones to large server systems. Concurrent data structures are needed to make good use of all the cores. Designing a concurrent data structure that performs well across many different scenarios is a difficult task. LÄS MER

  3. 2. Metamathematical fixed points

    Författare :Rasmus Blanck; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; arithmetised metamathematics; fixed point; recursion theory;

    Sammanfattning : This thesis concerns the concept of metamathematical fixed points. After an introduction, we survey the field of metamathematics, from la fin du siècle to present. We are especially interested in the notion of fixed points, theorems on the existence of various kinds of fixed points, and their applications to metamathematics. LÄS MER

  4. 3. Generalised Ramsey numbers and Bruhat order on involutions

    Författare :Mikael Hansson; Axel Hultman; Jan Snellman; Jonas Sjöstrand; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis consists of two papers within two different areas of  combinatorics.Ramsey theory is a classic topic in graph theory, and Paper A deals with two of its most fundamental problems: to compute Ramsey numbers and to characterise critical graphs. More precisely, we study generalised Ramsey numbers for two sets Γ1 and Γ2 of cycles. LÄS MER

  5. 4. The Role of Proteases in Plant Development

    Författare :Maribel Garcia-Lorenzo; Christiane Funk; Zach Adam; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Comparative genomics; protease; PCD; leaf senescence; FtsH; Arabidopsis; Populus; Biochemistry; Biokemi;

    Sammanfattning : Proteases play key roles in plants, maintaining strict protein quality control and degrading specific sets of proteins in response to diverse environmental and developmental stimuli. Similarities and differences between the proteases expressed in different species may give valuable insights into their physiological roles and evolution. LÄS MER

  7. 5. A Theoretical Study of Charge Transport in Molecular Crystals

    Författare :Elham Mozafari; Sven Stafström; Magnus Johansson; Linköpings universitet; []
    Nyckelord :Molecular Crystals; Charge transport; Polaron; Holstein model; Peierls coupling;

    Sammanfattning : The main objective of this thesis is to provide a deeper understanding of the charge transport phenomena occuring in molecular crystals. The focus is on the stability and the dynamics of the polaron as the charge carrier.To achieve this goal, a series of numerical calculations are performed using the semi-emprical "Holstien-Peierls" model. LÄS MER