Sciweavers

2494 search results - page 122 / 499
» Global Localization using Odometry
Sort
View
95
Voted
SC
2004
ACM
15 years 10 months ago
GYRO: A 5-D Gyrokinetic-Maxwell Solver
GYRO solves the 5-dimensional gyrokinetic-Maxwell equations in shaped plasma geometry, using either a local (fluxtube) or global radial domain. It has been ported to a variety of...
Mark R. Fahey, Jeff Candy
123
Voted
CIE
2007
Springer
15 years 9 months ago
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
Kentaro Kikuchi
105
Voted
MOC
2000
77views more  MOC 2000»
15 years 4 months ago
Ultraconvergence of the patch recovery technique II
The ultraconvergence property of a gradient recovery technique proposed by Zienkiewicz and Zhu is analyzed for the Laplace equation in the two dimensional setting. Under the assump...
Zhimin Zhang
ICPR
2006
IEEE
16 years 6 months ago
Hippocampal Surface Analysis Using Spherical Harmonic Function Applied to Surface Conformal Mapping
Using spherical harmonics of an inverse conformal map, we compared hippocampal surfaces of sixteen Alzheimer (AD) and fourteen control subjects. Hippocampal surfaces were conforma...
Boris Gutman, Yalin Wang, Lok Ming Lui, Tony F. Ch...
AAAI
2008
15 years 7 months ago
Anytime Local Search for Distributed Constraint Optimization
Most former studies of Distributed Constraint Optimization Problems (DisCOPs) search considered only complete search algorithms, which are practical only for relatively small prob...
Roie Zivan