Sökning: "tableaux"

Visar resultat 6 - 10 av 16 avhandlingar innehållade ordet tableaux.

  1. 6. Truth and Proof in the Long Run: Essays on Trial and-Error Logics

    Författare :Martin Kaså; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; convergence; dynamic meaning; experimental logics; knowable consistency; tableaux systems; trial-and-error;

    Sammanfattning : The theme of this book is convergence. For many philosophical representations of the evolution of theories, as well as representations of the meaning of the language used to express these theories, it has been essential that there exists some kind of convergence. LÄS MER

  3. 7. Limit shapes of standard Young tableaux and sorting networks via the Edelman-Greene correspondence

    Författare :Samu Potka; Svante Linusson; Niklas Eriksen; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Matematik;

    Sammanfattning : This thesis consists of the following two articles.New properties of the Edelman–Greene bijection. Edelman and Greene constructed a correspondence between reduced words of the reverse permutation and standard Young tableaux. LÄS MER

  4. 8. On Young tableau involutions and patterns in permutations

    Författare :Erik Ouchterlony; Bruce Sagan; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is dealing with the combinatorics of permutations in three different aspects. In the first two papers, two flavours of pattern avoiding permutations are examined and in the third paper Young tableaux, which are tightly related to permutations via representation theory, are studied. LÄS MER

  5. 9. Enumerative combinatorics related to partition shapes

    Författare :Jonas Sjöstrand; Anders Björner; Christian Krattenthaler; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; partition shape; sign-imbalance; Robinson-Schensted correspondence; chess tableau; restricted word; cylindrical lattice walk; Poincaré polynomial; Bruhat interval; rook polynomial; pattern avoidance; partitionsform; teckenobalans; Robinson-Schensted-korrespondens; schacktablå; begränsade ord; cylindriska latticestigar; poincarépolynom; bruhatintervall; tornpolynom; mönsterundvikande permutation; MATHEMATICS; MATEMATIK;

    Sammanfattning : This thesis deals with enumerative combinatorics applied to three different objects related to partition shapes, namely tableaux, restricted words, and Bruhat intervals. The main scientific contributions are the following. LÄS MER

  7. 10. Applications of SAT solving

    Författare :Niklas Sörensson; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. LÄS MER