Advanced search

Showing result 1 - 5 of 3547 swedish dissertations matching the above criteria.

  2. 1. Space in Proof Complexity

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

    Abstract : 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. READ MORE

  4. 2. Proactive Software Complexity Assessment

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

    Abstract : 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. READ MORE

  5. 3. On Some Combinatorial Optimization Problems : Algorithms and Complexity

    Author : Hannes Uppman; Peter Jonsson; Christer Bäckström; Ulf Nilsson; Stanislav Živný; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computational complexity; optimization; constraint satisfaction problem;

    Abstract : This thesis is about the computational complexity of several classes of combinatorial optimization problems, all related to the constraint satisfaction problems.A constraint language consists of a domain and a set of relations on the domain. For each such language there is a constraint satisfaction problem (CSP). READ MORE

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

    Author : Diana Garavito-Bermúdez; Camilla Thunborg; Cecilia Lundholm; Beatrice Crona; Alan Reid; Stockholms universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

  7. 5. Gradients of time and complexity : understanding how riparian and instream ecosystems recover after stream restoration

    Author : Eliza Maher Hasselquist; Christer Nilsson; Stewart Rood; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; bioassessment; biodiversity; boreal; bryophyte; chronosequence; complexity; diatom; geomorphology; habitat heterogeneity; hydromorphological; macroinvertebrate; macrophyte; nitrogen cycling; river restoration; riparian buffer; stable isotopes; succession; Sweden; Environmental Science; miljövetenskap;

    Abstract : Why evaluations of the ecological outcomes of stream and river restoration have largely reported inconclusive or negative results has been the subject of much debate over the last decade or more. Understanding the reasons behind the lack of positive results is important for bettering future restoration efforts and setting realistic expectations for restoration outcomes. READ MORE