(Appears as a regular paper in the proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, Washington D.C, Nov. 2002, pp. 199-208.) SAT-based planners have been characterized as disjunctive planners that maintain a compact representation of search space of action sequences. Several ideas from refinement planners (conjunctive planners) h...

SUMMARY The analysis of controlled-source electromagnetic (EM) data recorded with semi-airborne exploration systems requires advanced simulation and inversion tools that are capable handling realistic survey geometries. Semi-airborne EM setups elongated transmitters deployed in mountainous terrain prohibit the exploitation secondary-field formulations numerical approximations without producing ...

Pharmacotherapy is a major treatment method in healthcare centers, and the injection of powdered drugs is among common pharmacotherapy techniques. Medication errors and nosocomial infections are among major health issues in the world. On the other hand, powdered drugs are widely used in hospitals; however, drug mixture is a very time-consuming process. The objective of this invention was to acc...

Model reduction is often required in several applications, typically due to limited available time, computer memory or other restrictions. In problems that are related to partial differential equations, this often means that we are bound to use sparse meshes in the model for the forward problem. Conversely, if we are given more and more accurate measurements, we have to employ increasingly accu...

Frequency-domain finite-difference (FDFD) modeling offers several advantages over traditional timedomain methods when simulating seismic wave propagation, including a convenient formulation within the context of wavefield inversion and a straight-forward extension for adding complex attenuation mechanisms. In this short paper we introduce the FDFD method, develop a simple solver for the scalar ...

Initial condition inverse problems are ill-posed and computationally expensive to solve. We present a computational approach for solving inverse problems in the realm of onedimensional contaminant transport. The approach employs finite differencing as a forward solver and probabilistic methods for inversion. Markov Chain Monte Carlo sampling is used to efficiently recover posterior probabilitie...

We are interested in the determination of the shape of an elastic obstacle from its effects on known incident acoustic waves. We propose a solution methodology based on a regularized Newton-type method to solve this inverse obstacle problem. At each Newton iteration, we solve the forward problems using a finite element solver based on discontinuous Galerkin approximations, and equipped with hig...

We develop a fast and accurate solver for the forward problem of diffusion tomography in the case of several spherical inhomogeneities. The approach allows one to take into account multiple scattering of diffuse waves between different inhomogeneities. Theoretical results are illustrated with numerical examples; excellent numerical convergence and efficiency are demonstrated. The method is gene...