Sökning: "Shape analysis"

Visar resultat 1 - 5 av 904 avhandlingar innehållade orden Shape analysis.

1. 1. Towards Intelligent Deformable Models for Medical Image Analysis

   Författare :Ghassan Hamarneh; Chalmers University of Technology; []
   Nyckelord :shape modeling; deformable models; principal component analysis; echocardiography; snakes; active shape models; deformable spatio-temporal shape models; medial-based shape profiles; statistical shape variation; spatio-temporal shape analysis; magnetic resonance imaging; hierarchical regional principal component analysis; oral lesions; dynamic programming; segmentation; spring-mass model; shape deformation; optical flow; medical image analysis; artificial life; physics-based modeling; deformable organisms; digital color images; medial axis; active contour models;

   Sammanfattning : Medical imaging continues to permeate the practice of medicine, but automated yet accurate segmentation and labeling of anatomical structures continues to be a major obstacle to computerized medical image analysis (MIA). Deformable models, with its profound roots in estimation theory, optimization, and physics-based dynamical systems, represent a powerful approach to the general problem of medical image segmentation. LÄS MER

3. 2. Shape Matters : Characterization of Weak Interactions and Macrocycles by Conformational Analysis

   Författare :Stefan Peintner; Máté Erdélyi; Oliver Zerbe; Uppsala universitet; []
   Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : When studying conformational ensembles, it is most challenging to identify and characterize rapidly interconverting individual conformers. A precise description of the structural dynamics, however, rewards viable knowledge on conformation stabilizing forces as well as on the impact of external influences on the conformer composition. LÄS MER

4. 3. Geometric Discretization in Shape analysis

   Författare :Erik Jansson; Chalmers University of Technology; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; diffeomorphisms; residual neural networks; quantization; machine learning; compressible fluids; Shape analysis;

   Sammanfattning : Discretizations in shape analysis is the main theme of this licentiate thesis, which comprises two papers.  The first paper considers  the problem of finding a parameterized time-dependent vector field that warps an initial set of points to a target set of points. LÄS MER

5. 4. Asymptotic and universal spectral estimates with applications in many-body quantum mechanics and spectral shape optimization

   Författare :Simon Larson; Ari Laptev; Stefan Steinerberger; KTH; []
   Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Spectral theory; shape optimization; semiclassical asymptotics; spectral inequalities; quantum mechanics; Mathematics; Matematik;

   Sammanfattning : This thesis consists of eight papers primarily concerned with the quantitative study of the spectrum of certain differential operators. The majority of the results split into two categories. LÄS MER

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

   Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
   Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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;

   Sammanfattning : 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. LÄS MER