Sökning: "landscape complexity"

Visar resultat 1 - 5 av 111 avhandlingar innehållade orden landscape complexity.

1. 1. Space in Proof Complexity

   Författare :Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

   Sammanfattning : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. LÄS MER

3. 2. Considering landscape in practices of transport planning

   Författare :Sofia Löfgren; Charlotta Johansson; Kristina L. Nilsson; Simin Davoudi; Luleå tekniska universitet; []
   Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; transport planning; knowledge; landscape; planning theory; Architecture; Arkitektur;

   Sammanfattning : A well-known challenge in planning is for the professionals involved to handle multiple sources ofknowledge and to influence decision-making as a result. This challenge is the main focus of this research and in order to explore it I have directed attention to the integration of knowledge pertaining to landscape in practices of transport planning. LÄS MER

4. 3. On the complexity of dealing with introduced plants as cultural heritage : a historical multidisciplinary study of plants introduced to Norway from 1750 to 1900, exemplified with Abies alba Mill. (European silver fir) as a case species

   Författare :Ulrika Ridbäck; Norges miljø- og biovitenskapelige universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; plants; flora; Norway; European silver fir; Abies alba; plant introduction; history; landscape management;

   Sammanfattning : .... LÄS MER

5. 4. Proactive Software Complexity Assessment

   Författare :Vard Antinyan; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; complexity; metric; measure; code; requirement; software quality; technical risk; technical debt; continuous integration; agile development;

   Sammanfattning : Large software development companies primarily deliver value to their customers by continuously enhancing the functionality of their products. Continuously developing software for customers insures the enduring success of a company. LÄS MER

7. 5. Learning ecosystem complexity : A study on small-scale fishers’ ecological knowledge generation

   Författare :Diana Garavito-Bermúdez; Camilla Thunborg; Cecilia Lundholm; Beatrice Crona; Alan Reid; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; small-scale fishers; informal learning; knowledge generation; systems thinking; ecological knowledge; ecosystem complexity; work practices; emotional bonds to place; sustainable fisheries management; environmental learning; Vättern; Blekinge; Baltic Sea.; pedagogik; Education;

   Sammanfattning : Small-scale fisheries are learning contexts of importance for generating, transferring, and updating ecological knowledge of natural environments through everyday work practices. The rich knowledge fishers have of local ecosystems is the result of the intimate relationship fishing communities have had with their natural environments across generations (see e. LÄS MER