We consider perturbed Schrödinger equation, which is an elliptic operator with unbounded coefficients. We use wavelets adapted to Schrödinger operator to deal with problems on unbounded domain. The wavelets are constructed from Hermite functions, which characterizes the space generated by the Schrödinger operator. We show that the Galerkin matrix can be preconditioned by a diagonal matrix so th...

We propose an automatic fence insertion and verification framework for concurrent programs running under relaxed memory. Unlike previous approaches to this problem, which allow only variables of finite domain, we target programs with (unbounded) integer variables. The problem is difficult because it has two different sources of infiniteness: unbounded store buffers and unbounded integer variabl...

In this paper, we treat the numerical method for the Helmholtz equation in unbounded region with simple cylindrical or spherical shape outside some bounded region and apply the method to voice generation problem. The numerical method for the Helmholtz equation in unbounded region is based on the domain decomposition technique to divide the region into a bounded region and the rest unbounded one...

{log} is a constraint solver for an expressive theory of finite unbounded sets and binary relations. It is a complete solver for an important fragment of formulas based on operators such as equality, membership, union, domain, composition, etc. where terms are finite unbounded extensional sets and binary relations. It is also a complete solver for formulas based on equality and membership where...

The numerical solution of the time dependent wave equation in an unbounded domain generally leads to a truncation of this domain, which requires the introduction of an artificial boundary with associated boundary conditions. Such nonreflecting conditions ensure the equivalence between the solution of the original problem in the unbounded region and the solution inside the artificial boundary. W...