Search for dissertations about: "split decomposition"

Showing result 1 - 5 of 17 swedish dissertations containing the words split decomposition.

  2. 1. Graph dominators in logic synthesis and verification

    Author : René Krenz; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

    Abstract : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. READ MORE

  4. 2. Optimal and Hereditarily Optimal Realizations of Metric Spaces

    Author : Alice Lesser; Svante Janson; Lars-Erik Persson; Anders Johansson; Vincent Moulton; Pierre Flener; Charles Semple; Uppsala universitet; []
    Keywords : Applied mathematics; optimal realization; hereditarily optimal realization; tight span; phylogenetic network; Buneman graph; split decomposition; T-theory; finite metric space; topological graph theory; discrete geometry; Tillämpad matematik;

    Abstract : This PhD thesis, consisting of an introduction, four papers, and some supplementary results, studies the problem of finding an optimal realization of a given finite metric space: a weighted graph which preserves the metric's distances and has minimal total edge weight. This problem is known to be NP-hard, and solutions are not necessarily unique. READ MORE

  5. 3. Adaptive image compression with wavelet packets and empirical mode decomposition

    Author : Anna Linderhed; Roland Wilson; Linköpings universitet; []
    Keywords : ;

    Abstract : This thesis addresses the problem of using wavelet packets and empirical mode decomposition (EMD) for image compression. The wavelet packet basis selection algorithm is studied through an extensive experimental survey of the generated decomposition trees. READ MORE

  6. 4. High resolution laboratory x-ray tomography for biomedical research : From design to application

    Author : Till Dreier; Lund Medicinsk strålningsfysik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; x-ray; computed tomography; micro-CT; nano-CT; phase contrast; biomedical; super-resolution; material decomposition;

    Abstract : Laboratory x-ray micro- and nano-tomography are emerging techniques in biomedical research. Through the use of phase-contrast, sufficient contrast can be achieved in soft tissue to support medical studies. READ MORE

  7. 5. Integrated Motor Drives and Battery Chargers for Electric or Plug-in Hybrid Electric Vehicles

    Author : Saeid Haghbin; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; maximum torque per Ampere strategy.; integrated motor drive and battery chargers; field-oriented control; battery charger; isolated and non-isolated integrated charges; Plug-in vehicles; split-phase PM motor;

    Abstract : Plug-in vehicles, electric vehicles or plug-in hybrid electric vehicles, use grid power to charge the battery. The components in the traction circuit, like the electric motor and the inverter, are not used during the battery charging, so there is a possibility to use them in the charger circuit to reduce the size, weight and price of the on-board charger; that is called an integrated motor drive and battery charger or simply an integrated charger which can be galvanically isolated or non-isolated from the utility grid. READ MORE