Related papers: Ellipsis and Quantification: a substitutional appr…
We employ the enclosure method to reconstruct unknown inclusions within an object that is governed by a semilinear elliptic equation with power-type nonlinearity. Motivated by [16], we tried to solve the problem without using special…
We study uniqueness of Dirichlet problems of second order divergence-form elliptic systems with transversally independent coefficients on the upper half-space in absence of regularity of solutions. To this end, we develop a substitute for…
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on…
We attempt to dissolve the measurement problem using an anthropic principle which allows us to invoke rational observers. We argue that the key feature of such observers is that they are rational (we need not care whether they are…
We overview a series of recent works addressing numerical simulations of partial differential equations in the presence of some elements of randomness. The specific equations manipulated are linear elliptic, and arise in the context of…
The problem of measurement is often considered as an inconsistency inside the quantum formalism. Many attempts to solve (or to dissolve) it have been made since the inception of quantum mechanics. The form of these attempts depends on the…
This paper is complementary to the work Rosen-Silverman, which derives a criteria on the number fields for the independence of Heegner points associated to them on non-CM elliptic curves. We show that the same criteria holds for CM elliptic…
In this paper we deal with positive singular solutions to semilinear elliptic problems involving a first order term and a singular nonlinearity. Exploiting a fine adaptation of the well-known moving plane method of Alexandrov-Serrin and a…
Current algorithms for context-free parsing inflict a trade-off between ease of understanding, ease of implementation, theoretical complexity, and practical performance. No algorithm achieves all of these properties simultaneously. Might et…
Ellipses are a meta-linguistic notation for denoting terms the size of which are specified by a meta-variable that ranges over the natural numbers. In this work, we present a systematic approach for encoding such meta-expressions in the…
This paper presents a topological framework for investigating the Birch and Swinnerton Dyer conjecture through four dimensional embeddings of elliptic curves. We propose a correspondence between the algebraic rank of an elliptic curve and…
New exact solvable elliptic potentials with free constants for the spectral problems of the third order are found. A time dependence of such potentials gives their isospectral deformations and solutions of nonlinear integrable equations.
We give a rigorous treatment on the foundation of the first order asymptotic theory of quantum estimation, with tractable and reasonable regularity conditions. Different from past works, we do not use Fisher information nor MLE, and an…
We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility…
We study a semilinear elliptic equation with a pure power nonlinearity with exponent $p>1$, and provide sufficient conditions for the existence of positive solutions. These conditions involve expected exit times from the domain, $D$, where…
This paper generalizes the result of Elmachtoub et al to any weighted barycenter, where a transformation is considered which takes an arbitrary point of division $\xi \in (0,1)$ of the segments of a polygon with $n$ vertices. We then…
In this work, we study local minimizers of elliptic functionals with strong absorption terms and unbounded, sign-changing sources. These problems naturally interpolate between two classical free boundary problems: Bernoulli-type (cavity)…
This work deals with fitting of ellipses to noisy measurements. The literature knows many different approaches for this. The main representatives are presented and discussed in this paper. Furthermore, the case is considered when outliers…
We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and independence atoms in formulas. Assuming the so-called lax…
We deal with the existence of quantitative estimates for solutions of mixed problems to an elliptic second order equation in divergence form with discontinuous coefficient. Our concern is to estimate the solutions with explicit constants,…