Sökning: "Maximal Models"

Visar resultat 1 - 5 av 97 avhandlingar innehållade orden Maximal Models.

  1. 1. Models of Electoral Competition : Three Essays on Political Economics

    Författare :Jan Klingelhöfer; Torsten Persson; Christian Schultz; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Elections; Lobbying; Rents; Imperfect Information; Median Voter Theorem; Accountability; Valence; Economics; Nationalekonomi; Economics; nationalekonomi;

    Sammanfattning : This thesis consists of three essays in theoretical political economics. In "The Swing Voters' Blessing", I model elections with quality differences between two ideological candidates. The quality differences are only observable to a limited number of informed voters. LÄS MER

  3. 2. Caches, Transactions and Memories : Models, Coherence and Consistency

    Författare :Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Sammanfattning : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. LÄS MER

  4. 3. Maximally Supersymmetric Models in Four and Six Dimensions

    Författare :Fredrik Ohlsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Taub-NUT space; Flat connections; Topologically non-trivial connections; 0 theory; Maximal supersymmetry; 2; Circle fibrations; Yang-Mills theory;

    Sammanfattning : We consider two examples of maximally supersymmetric models; the N=4 Yang-Mills theory in four dimensions and the (2,0) theory in six dimensions. The first part of the thesis serves as an introduction to the topics covered in the appended research papers, and begins with a self-contained discussion of principal fibre bundles and symplectic geometry. LÄS MER

  5. 4. Learning predictive models from graph data using pattern mining

    Författare :Thashmee M. Karunaratne; Henrik Boström; Lars Asker; Nada Lavraˇc; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Machine Learning; Graph Data; Pattern Mining; Classification; Regression; Predictive Models; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : Learning from graphs has become a popular research area due to the ubiquity of graph data representing web pages, molecules, social networks, protein interaction networks etc. However, standard graph learning approaches are often challenged by the computational cost involved in the learning process, due to the richness of the representation. LÄS MER

  7. 5. Procedure-Modular Verification of Temporal Safety Properties

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER