Sökning: "true state"

Visar resultat 1 - 5 av 298 uppsatser innehållade orden true state.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  2. 2. Application of Fourier Transforms to time-resolved ambient pressure spectroscopy operando studies of CO oxidation over Pt(111)

    Master-uppsats, Lunds universitet/Fysiska institutionen; Lunds universitet/Synkrotronljusfysik

    Författare :Grigore-Leon Ratiu; [2024]
    Nyckelord :Physics and Astronomy;

    Sammanfattning : The study of heterogeneous catalysis has important implications in increasing the efficiency of industrial processes and in reducing the emissions of greenhouse gases from sources such as automobiles. A reaction with high industrial relevance is the oxidation of CO on noble metal catalysts. LÄS MER

  3. 3. Exploring the effects of pressure on the magnetic properties of quasi-low dimensional quantum magnets via thermodynamic measurements

    Master-uppsats, Lunds universitet/Synkrotronljusfysik; Lunds universitet/Fysiska institutionen

    Författare :Emelie Zhu; [2024]
    Nyckelord :Physics and Astronomy; Technology and Engineering;

    Sammanfattning : Four model solid state compounds were used to experimentally investigate the effects of pressure on the interactions in one- and two-dimensional Heisenberg magnetic models. BaCuSi2O6, BaCu2V2O8, SrCuO2 and CuGeO3 were successfully synthesized via solid-state reactions and characterized via x-ray diffraction. LÄS MER

  4. 4. Implementation of Dyson equation to accelerate convergence in RS-LMTO-ASA code

    Master-uppsats, Uppsala universitet/Materialteori

    Författare :Elis Uebel; Viktor Frilén; [2024]
    Nyckelord :Density functional theory; Dyson equation;

    Sammanfattning : First-principle calculations is a key ingredient for us to understand, improve and design new materials. Density functional theory (DFT) [1] has proven to be a very powerful tool and a number of different versions exist depending on the problem at hand. LÄS MER

  5. 5. Israel, Russia and the US: A Strange Triangular Relationship : An analysis of an unexpected alliance and its rationality

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för samhällsstudier (SS)

    Författare :Alfred Lovnér; [2024]
    Nyckelord :International Relations; Political Influence; Security; Peace; Development;

    Sammanfattning : The relationship between Israel and the US, as well as Israel and Russia are well documented, as it serves as a key aspect within the struggle for power and influence within the Middle East. However much research has been made on the topic, few have analysed how the relationship between Israel and the two others have affected the three, creating what could only be viewed as a blindspot within scholarship on the topic, as the relationships did not start in, nor are maintained within a vacuum. LÄS MER