We consider an inverse problem of recovering a potential associated to semi-linear wave equation with quadratic nonlinearity in $ 1+1 dimensions. develop numerical scheme determine the from noisy Dirichlet-to-Neumann map on lateral boundary. The is based recent higher order linearization method employed [23]. also present approach numerically estimating two-dimensional derivatives data via Tikh...

We study comparisons between interpretations in description logics with respect to “logical consequences” of the form of semipositive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions similar to the ones of bisimulations. The simplest among the considered logics is a variant of PDL (propositional dynamic logic). The others extend that logic with ...

We present a theorem of Sard type for semi-algebraic set-valued mappings whose graphs have dimension no larger than that of their range space: the inverse of such a mapping admits a single-valued analytic localization around any pair in the graph, for a generic value parameter. This simple result yields a transparent and unified treatment of generic properties of semi-algebraic optimization pro...