We discuss brieey various phenomena to be tested when designing a robust code for delay diierential equations: choice of interpolant; tracking of discontinuities; vanishing delays; and problems arising from oating-point arithmetic.

Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approaches of UCPOP and VHPOP. In this paper we explore the potential of a forward-chaining state-based search strategy to support partial-order planning in the solution of temporal-numeric problems. Our planner, POPF, is buil...

We present an efficient numerical strategy for the Bayesian solution of inverse problems. Stochastic collocation methods, based on generalized polynomial chaos (gPC), are used to construct a polynomial approximation of the forward solution over the support of the prior distribution. This approximation then defines a surrogate posterior probability density that can be evaluated repeatedly at min...

We have developed an open source 3D, MATLAB based, resistivity inversion package. The forward solution to the governing partial differential equation is efficiently computed using a second-order finite volume discretization coupled with a preconditioned, biconjugate, stabilized gradient algorithm. Using the analytical solution to a potential field in a homogeneous half space, we evaluate the ac...

PCS is a CSP solver that can produce a machine-checkable deductive proof in case it decides that the input problem is unsatisfiable. The roots of the proof may be nonclausal constraints, whereas the rest of the proof is based on resolution of signed clauses, ending with the empty clause. PCS uses parameterized, constraint-specific inference rules in order to bridge between the nonclausal and th...

This Conference has brought together many insights into the learning of algebra, and into aspects of teaching that can help students to understand and do it better. Here I want mainly to comment on what else may be needed to turn these insights into actual improvements in learning in school classrooms around the world. Some of these comments are specific to algebra; others apply more widely, to...

Abstract An electric field solver based on a finite volume method using refined structural mesh is proposed to implement quadtree structure and estimate the flux in cell. Numerical experiments were carried out uniform non-uniform meshes assess quality of numerical modeling. The verification calculations circular symmetry electrical capacitance tomography (ECT) probe allows effectiveness refinem...

c © 2007 by John von Neumann Institute for Computing Permission to make digital or hard copies of portions of this work for personal or classroom use is granted provided that the copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise requires prior specific permission by the publisher ment...