Search for dissertations about: "data complexity"

Showing result 1 - 5 of 1612 swedish dissertations containing the words data complexity.

  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. Lock-free Concurrent Search

    Author : Bapi Chatterjee; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Wait-free; Help-aware; Non-blocking; Concurrency; Linearizability; Lock-based; Lock-free-kD-tree; Amortized Complexity; Data Structure; Binary Search Tree; Blocking; Search; Concurrent; kD-tree; Linked-list; Lock-free; Range Search; Language-portable; Help-optimal; Nearest Neighbour Search; Linearizable; Synchronization;

    Abstract : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. READ MORE

  5. 3. Everyday mining : Exploring sequences in event-based data

    Author : Katerina Vrotsou; Matthew Cooper; Anders Ynnerman; Kajsa Ellegård; Andrew S. Harvey; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Event-based data; activity diary data; event-sequences; interactive exploration; sequence identification; visual data mining; Computer science; Datavetenskap;

    Abstract : Event-based data are encountered daily in many disciplines and are used for various purposes. They are collections of ordered sequences of events where each event has a start time and a duration. READ MORE

  6. 4. Constructing Evolutionary Trees - Algorithms and Complexity

    Author : Anna Östlin; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Maximum homeomorphic subtrees; Consensus trees; Experiment model; Evolutionary trees; Complexity; Computational biology; Algorithms; Data structures; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll; Biology; Biologi;

    Abstract : In this thesis three general problems concerning construction of evolutionary trees are considered. Algorithms for the problems are presented and the complexity of the problems is investigated. The thesis consists of three corresponding parts. The first part is devoted to the problem of constructing evolutionary trees in the experiment model. READ MORE

  7. 5. 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