Search for dissertations about: "A Gordon"

Showing result 1 - 5 of 63 swedish dissertations containing the words A Gordon.

2. 1. Equivalences and Calculi for Formal Verification of Cryptographic Protocols

   Author : Johannes Borgström; Uwe Nestmann; Thomas A Henzinger; Martin Odersky; Andrew D Gordon; Viktor Kuncak; Björn Victor; EPFL; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. READ MORE

4. 2. A revolution in favour of government : the American constitution and ideas about state formation, 1787-1788

   Author : Max Edling; Gordon Wood; Stockholms universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; statsvetenskap; Political Science;

   Abstract : This dissertation analyses the debate over the ratification of the American Constitution between the Federalists, who supported the Constitution's adoption, and the Antifederalists, who opposed adoption. It challenges the traditional interpretation of the Federalist persuasion as primarily concerned with limited government and minority rights. READ MORE

5. 3. A new generation density functional towards chemical accuracy

   Author : Zhang Ying; Luo Yi; Head-Gordon Martin; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Bioengineering; Bioteknik;

   Abstract : Density functional theory (DFT) has become the leading method in calculating theelectronic structures and properties from first principles. In practical applicationsof DFT in the frame work of Kohn-Sham (KS) method, an approximate exchange-correlation functional has to be chosen. READ MORE

6. 4. A longitudinal approach to social exclusion in Sweden

   Author : Miia Bask; Björn Halleröd; David Gordon; Umeå universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; family; immigrant; longitudinal analysis; social exclusion; Sweden; welfare problem; Sociology; Sociologi;

   Abstract : This thesis consists of four papers, and has as its central theme the accumulation of welfare problems and social exclusion. We use Swedish data and all analyses are based on individuals of working age. READ MORE

7. 5. Ecosystem services in agricultural landscapes : A study on farming and farmers in South Africa and Sweden

   Author : Rebecka Malinga; Regina Lindborg; Line Gordon; Thomas Elmqvist; Tobias Plieninger; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; ecosystem service bundles; multifunctional landscapes; ecosystem service supply and demand; spatial scales; trade-offs; sustainable agriculture; transdisciplinary; stakeholder participation; Sustainability Science; vetenskap om hållbar utveckling;

   Abstract : Humanity is facing challenges of sustainably producing enough food for a growing population without further eroding the world’s ecosystems. Transformation of natural habitats into agriculture has resulted in opportunities for civilization, but has also led to land degradation and loss of biodiversity, threatening the generation of ecosystem services. READ MORE