Sciweavers

505 search results - page 82 / 101
» Numerical Methods for the Landau-Lifshitz-Gilbert Equation
Sort
View
ISVC
2009
Springer
14 years 1 months ago
Parallel 3D Image Segmentation of Large Data Sets on a GPU Cluster
In this paper, we propose an inherent parallel scheme for 3D image segmentation of large volume data on a GPU cluster. This method originates from an extended Lattice Boltzmann Mod...
Aaron Hagan, Ye Zhao
ISMDA
2005
Springer
14 years 26 days ago
Endocardial Tracking in Contrast Echocardiography Using Optical Flow
Myocardial Contrast Echocardiography (MCE) is a recent technique that allows to measure regional perfusion in the cardiac wall. Segmentation of MCE sequences would allow simultaneo...
Norberto Malpica, Juan Francisco Garamendi, Manuel...
LSSC
2001
Springer
13 years 11 months ago
An Improved Monte Carlo Algorithm for Elastic Electron Backscattering from Surfaces
The problen of the backscattering of electrons from metal targets is subject of extensive theoreticel and experimental work in surface analysis. We are interested in the angular di...
Ivan Dimov, Emanouil I. Atanassov, Mariya K. Durch...
MOR
2008
110views more  MOR 2008»
13 years 7 months ago
Alternating Projections on Manifolds
We prove that if two smooth manifolds intersect transversally, then the method of alternating projections converges locally at a linear rate. We bound the speed of convergence in ...
Adrian S. Lewis, Jérôme Malick
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
14 years 1 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...