Sökning: "Time Complexity"

Visar resultat 1 - 5 av 1394 avhandlingar innehållade orden Time Complexity.

  1. 1. Space in Proof Complexity

    Författare :Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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. Time-limited and complex interaction : studies of industrial projects

    Författare :Jonas Söderlund; Lars Lindkvist; Graham Winch; Linköpings universitet; []
    Nyckelord :project management; project organization; temporary organization; time limits; complexity; deadlines; temporary relationships; time orientation; pacing; projektledning; företag; projektadministration; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : This doctoral dissertation reports on four case studies of industrial project organizations: The studies cover product development and construction projects at ABB, Ericsson and Volvo. Generally, the studies aim at exploring the time-limited and complex character of project interaction. LÄS MER

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

    Författare :Eliza Maher Hasselquist; Christer Nilsson; Stewart Rood; Umeå universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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;

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

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

    Författare :Emilene Leite; Amjad Hadjikhani; Anna Begtson; Cecilia Pahlberg; Helén Anderson; Uppsala universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; 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

  5. 5. Proactive Software Complexity Assessment

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