Search for dissertations about: "shape approximation"

Showing result 1 - 5 of 67 swedish dissertations containing the words shape approximation.

  2. 1. Global Shape Description of Digital Objects

    Author : Ola Weistrand; Christer Kiselman; Gunilla Borgefors; Örjan Smedby; Michael Floater; Uppsala universitet; []
    Keywords : Applied mathematics; shape description; shape approximation; surface parameterization; digital object; spherical harmonics; digital surface; digital image; Tillämpad matematik;

    Abstract : New methods for global shape description of three-dimensional digital objects are presented. The shape of an object is first represented by a digital surface where the faces are either triangles or quadrilaterals. READ MORE

  4. 2. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

  5. 3. Approximation of topology optimization problems using sizing optimization problems

    Author : Anton Evgrafov; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; structural optimization; bilevel programming; approximation; topology optimization; control in coefficients; optimal design; fictitious domain; control in coefficients;

    Abstract : The present work is devoted to approximation techniques for singular extremal problems arising from optimal design problems in structural and fluid mechanics. The thesis consists of an introductory part and four independent papers, which however are united by the common idea of approximation and the related application areas. READ MORE

  6. 4. Towards Fully Automatic Optimal Shape Modeling

    Author : Johan Karlsson; Matematik LTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Parameterization Invariance; Benchmarking; Interpretation; Segmentation; Alignment; Shape Modeling; MDL;

    Abstract : Shape models and the automatic building of such models have proven over the last decades to be powerful tools in image segmentation and analysis. This thesis makes contributions to this field. The segmentation algorithm typically uses an objective function summing up contributions from each sample point. READ MORE

  7. 5. Calculations of electronic properties of metal clusters, fullerenes and molecules adsorbed on surfaces

    Author : Bo Wästberg; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; inverse photoemission; fullerenes; photoionisation; local density approximation; multiple scattering; shape resonances; x-ray absorption near-edge structure; chemisorption; clusters;

    Abstract : .... READ MORE