Sciweavers

1399 search results - page 112 / 280
» Multi-party Finite Computations
Sort
View
MICCAI
2009
Springer
14 years 11 months ago
Modeling Respiratory Motion for Cancer Radiation Therapy Based on Patient-Specific 4DCT Data
Prediction of respiratory motion has the potential to substantially improve cancer radiation therapy. A nonlinear finite element (FE) model of respiratory motion during full breath...
Jaesung Eom, Chengyu Shi, Xie George Xu, Suvran...
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
13 years 5 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...
MMAS
2010
Springer
13 years 4 months ago
A Novel Method for Solving Multiscale Elliptic Problems with Randomly Perturbed Data
We propose a method for efficient solution of elliptic problems with multiscale features and randomly perturbed coefficients. We use the multiscale finite element method (MsFEM) as...
Victor Ginting, Axel Målqvist, Michael Presh...
SIAMREV
2010
119views more  SIAMREV 2010»
13 years 4 months ago
From Functional Analysis to Iterative Methods
We examine condition numbers, preconditioners, and iterative methods for finite element discretizations of coercive PDEs in the context of the fundamental solvability result, the L...
Robert C. Kirby
LFCS
1992
Springer
14 years 2 months ago
Machine Learning of Higher Order Programs
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
Ganesh Baliga, John Case, Sanjay Jain, Mandayam Su...