Sökning: "Shape Analysis"

Visar resultat 1 - 5 av 948 avhandlingar innehållade orden Shape Analysis.

1. 1. Geometric Discretization in Shape analysis

   Författare :Erik Jansson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; compressible fluids; diffeomorphisms; residual neural networks; quantization; machine learning; 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

3. 2. Towards Intelligent Deformable Models for Medical Image Analysis

   Författare :Ghassan Hamarneh; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; 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

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

   Författare :Stefan Peintner; Máté Erdélyi; Oliver Zerbe; Uppsala universitet; []
   Nyckelord :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

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 :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 :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