Sökning: "disjoint"

Visar resultat 21 - 25 av 44 avhandlingar innehållade ordet disjoint.

  1. 21. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs

    Författare :Mauricio Chimento; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : When verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. Static verification deals with the analysis of either concrete source code, or a model of it. LÄS MER

  3. 22. New Results on Combinatorial Algorithms

    Författare :Anders Dessmark; Data Vetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Sorting; Subgraph isomorphism; Partial k-trees; computer technology; Time complexity; Parallel computation; Data- och systemvetenskap; Convex layers; Systems engineering; Broadcasting;

    Sammanfattning : In this thesis improved upper bounds for several important combinatorial problems are provided. Below is a list of the main results showed in the thesis. The problem of determining whether a k-connected partial k-tree is isomorphic to subgraph of another partial k-tree is shown to be solvable in time O(nk+2). LÄS MER

  4. 23. Pictorial Primates: A Search for Iconic Abilities in Great Apes

    Författare :Tomas Persson; Kognitionsvetenskap; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; match-to-sample; comparative cognition; categorization; Pan paniscus; Gorilla gorilla; signs; reference; iconicity; symbols; pictures; primatology; object-choice-task; enculturation;

    Sammanfattning : Pictures and other iconic media are used extensively in psychological experiments on nonhuman primate perception, categorisation, etc. They are also used in everyday interaction with primates, and as pure entertainment. LÄS MER

  5. 24. Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional Properties

    Författare :Fredrik Asplund; Martin Törngren; Jad El-khoury; Jakob Axelsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Tool Integration; Integrated Development Environments; Embedded Systems; Safety Standards; Certification; Qualification; Systems Thinking; System Safety; STAMP; STPA;

    Sammanfattning : The increasing complexity of embedded systems development is becoming difficult to handle with development environments based on disjoint engineering tools. Support for interactions between various engineering tools, especially through automated means, has therefore received an increased amount of attention during the last few years. LÄS MER

  7. 25. Path-planning with obstacle-avoiding minimum curvature variation B-splines

    Författare :Tomas Berglund; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industriell elektronik; Industrial Electronics;

    Sammanfattning : We study the general problem of computing an obstacle-avoiding path that, for a prescribed weight, minimizes the weighted sum of a smoothness measure and a safety measure of the path. We consider planar curvature-continuous paths, that are functions on an interval of a room axis, for a point-size vehicle amidst obstacles. LÄS MER