On the Kleinman-Martin integral equation method for electromagnetic scattering by a dielectric body

The interface problem describing the scattering of time-harmonic electromagnetic waves by a dielectric body is often formulated as a pair of coupled boundary integral equations for the electric and magnetic current densities on the interface $\Gamma$. In this paper, following an idea developed by Kleinman and Martin \cite{KlMa} for acoustic scattering problems, we consider methods for solving the dielectric scattering problem using a single integral equation over $\Gamma$ for a single unknown density. One knows that such boundary integral formulations of the Maxwell equations are not uniquely solvable when the exterior wave number is an eigenvalue of an associated interior Maxwell boundary value problem. We obtain four different families of integral equations for which we can show that by choosing some parameters in an appropriate way, they become uniquely solvable for all real frequencies. We analyze the well-posedness of the integral equations in the space of finite energy on smooth and non-smooth boundaries

Asymptotic Exponential Arbitrage and Utility-based Asymptotic Arbitrage in Markovian Models of Financial Markets

Consider a discrete-time infinite horizon financial market model in which the logarithm of the stock price is a time discretization of a stochastic differential equation. Under conditions different from those given in a previous paper of ours, we prove the existence of investment opportunities producing an exponentially growing profit with probability tending to $1$ geometrically fast. This is achieved using ergodic results on Markov chains and tools of large deviations theory. Furthermore, we discuss asymptotic arbitrage in the expected utility sense and its relationship to the first part of the paper.Comment: Forthcoming in Acta Applicandae Mathematica

Manifolds admitting stable forms

In this note we give a direct method to classify all stable forms on $\R^n$ as well as to determine their automorphism groups. We show that in dimension 6,7,8 stable forms coincide with non-degnerate forms. We present necessary conditions and sufficient conditions for a manifold to admit a stable form. We also discuss rich properties of the geometry of such manifolds.Comment: 19 page

Deletion of myeloid-PTP1B decreases MHC Class I expression and peptide presentation through an IL-10 dependent mechanism in response to LPS challenge

Peer reviewedPublisher PD

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired. It consists of collecting data from multiple instrumented test suite executions, transforming this data into a Satisfiability Modulo Theory (SMT) problem, and translating the SMT result -- if there exists one -- into a source code patch. Nopol repairs object oriented code and allows the patches to contain nullness checks as well as specific method calls.Comment: CSTVA'2014, India (2014