Sökning: "disjoint"

Visar resultat 11 - 15 av 44 avhandlingar innehållade ordet disjoint.

  1. 11. The Finite Difference Methods for Multi-phase Free Boundary Problems

    Författare :Avetik Arakelyan; Henrik Shahgholian; John W. Barrett; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS; MATEMATIK;

    Sammanfattning : This thesis consist of an introduction and four research papers concerning numerical analysis for a certain class of free boundary problems. Paper I is devoted to the numerical analysis of the so-called two-phase membrane problem. Projected Gauss-Seidel method is constructed. LÄS MER

  3. 12. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility

    Författare :Rasmus Blanck; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; arithmetic; incompleteness; flexibility; independence; non-standard models; partial conservativity; interpretability;

    Sammanfattning : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. LÄS MER

  4. 13. Robust Visual Object Tracking mean shift, particle filters and point features

    Författare :Zulfiqar Hasan Khan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PF; MSEPF; mean shift; visual object tracking; RANSAC; SIFT; SURF;

    Sammanfattning : Visual object tracking has been identified as a promising technique for many computer vision applications like surveillance, flight navigation, video compression and driver assistance. The main idea is to find the state ofthe object and how it changes over time, in recursive video frames. LÄS MER

  5. 14. Building and Destroying Urns, Graphs, and Trees

    Författare :Fabian Burghart; Cecilia Holmgren; Svante Janson; Klas Markström; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis, consisting of an introduction and four papers, different models in the mathematical area of combinatorial probability are investigated.In Paper I, two operations for combining generalised Pólya urns, called disjoint union and product, are defined. LÄS MER

  7. 15. Testing and Logic Optimization Techniques for Systems on Chip

    Författare :Tomas Bengtsson; Shashi Kumar; Zebo Peng; Jaan Raik; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Today it is possible to integrate more than one billion transistors onto a single chip. This has enabled implementation of complex functionality in hand held gadgets, but handling such complexity is far from trivial. The challenges of handling this complexity are mostly related to the design and testing of the digital components of these chips. LÄS MER