Sökning: "Maximal Models"
Visar resultat 1 - 5 av 97 avhandlingar innehållade orden Maximal Models.
1. Models of Electoral Competition : Three Essays on Political Economics
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
2. Caches, Transactions and Memories : Models, Coherence and Consistency
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
3. Maximally Supersymmetric Models in Four and Six Dimensions
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
4. Learning predictive models from graph data using pattern mining
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
5. Procedure-Modular Verification of Temporal Safety 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