Sökning: "complexity"

Visar resultat 1 - 5 av 2913 avhandlingar innehållade ordet complexity.

  1. 1. Space in Proof Complexity

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Marc Vinyals; KTH.; [2017]
    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

  2. 2. Complexity in the 'Extended' Business Network A Study of Business, Social, and Political Relationships in Smart City Solutions

    Detta är en avhandling från Uppsala : Department of Business Studies

    Författare :Emilene Leite; Uppsala universitet.; [2018]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; complexity; extended business network; centrality; smart city solutions; cooperation-competition; exploration-exploitation.; Complexity;

    Sammanfattning : In this thesis an 'extended' business network is investigated. The ‘extended’ view refers to the inclusion of socio-political actors in the firm’s business network. LÄS MER

  3. 3. Proactive Software Complexity Assessment

    Detta är en avhandling från Göteborg : Göteborgs universitet

    Författare :Vard Antinyan; Göteborgs universitet.; Gothenburg University.; Göteborgs universitet.; Gothenburg University.; [2017]
    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

  4. 4. On Some Combinatorial Optimization Problems Algorithms and Complexity

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Hannes Uppman; Linköpings universitet.; Linköpings universitet.; [2015]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computational complexity; optimization; constraint satisfaction problem;

    Sammanfattning : 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). LÄS MER

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

    Detta är en avhandling från Stockholm : Department of Education, Stockholm University

    Författare :Diana Garavito-Bermúdez; Stockholms universitet.; [2016]
    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