We study the complexity of telling whether a set of bit-vectors represents the set of all satisfying truth assignments of a Boolean expression of a certain type. We show that the problem is coNP-complete when the expression is required to be in conjunctive normal form with three literals per clause (3CNF). We also prove a dichotomy theorem analogous to the classical one by Schaefer, stating tha...

Inverse problems have recently drawn considerable attention from the physics community due to of potential widespread applications [K. Chadan and P. C. Sabatier, Inverse Problems in Quantum Scattering Theory, 2nd ed. (Springer Verlag, Berlin, 1989)]. An inverse emissivity problem that determines the emissivity g(nu) from measurements of only the total radiated power J(T) has recently been studi...

We consider the radiative transfer equation (RTE) with reflection in a three-dimensional domain, infinite in two dimensions, and prove an existence result. Then, we study the inverse problem of retrieving the optical parameters from boundary measurements, with help of existing results by Choulli and Stefanov. This theoretical analysis is the framework of an attempt to model the color of the ski...

In this paper, a Sturm–Liouville problem with some nonlocal boundary conditions of the Bitsadze-Samarskii type is studied. We show that coefficients can be uniquely determined by dense set nodal points. Moreover, we give an algorithm for reconstruction potential function and other in conditions.

The secreted glycoprotein sonic hedgehog (Shh) is expressed in the prechordal mesoderm, where it plays a crucial role in induction and patterning of the ventral forebrain. Currently little is known about how Shh is regulated in prechordal tissue. Here we show that in the embryonic chick, Shh is expressed transiently in prechordal mesoderm, and is governed by unprocessed Nodal. Exposure of prech...

in this paper, we represent an inexact inverse subspace iteration method for com- puting a few eigenpairs of the generalized eigenvalue problem ax = bx[q. ye and p. zhang, inexact inverse subspace iteration for generalized eigenvalue problems, linear algebra and its application, 434 (2011) 1697-1715 ]. in particular, the linear convergence property of the inverse subspace iteration is preserved.

this paper deals with the boundary value problem involving the differential equation ell y:=-y''+qy=lambda y, subject to the eigenparameter dependent boundary conditions along with the following discontinuity conditions y(d+0)=a y(d-0), y'(d+0)=ay'(d-0)+b y(d-0). in this problem q(x), d, a , b are real, qin l^2(0,pi), din(0,pi) and lambda is a parameter independent of x. by ...