相关论文: A remark on higher order RUE-resolution with EXTRU…

In this review article the construction of first order coordinate differential calculi on finitely generated and finitely related associative algebras are considered and explicit construction of the bimodule of one form over such algebras…

In this work we derive higher order error estimates for inverse problems distorted by non-additive noise, in terms of Bregman distances. The results are obtained by means of a novel source condition, inspired by the dual problem.…

Proof search in non-confluent tableau calculi, such as the connection tableau calculus, suffers from excess backtracking, but simple restrictions on backtracking are incomplete. We adopt constraint learning to reduce backtracking in the…

The bivariate difference field provides an algebraic framework for a sequence satisfying a recurrence of order two. Based on this, we focus on sequences satisfying a recurrence of higher order, and consider the multivariate difference…

We study inequalities between general integral moduli of continuity of a function and the tail integral of its Fourier transform. We obtain, in particular, a refinement of a result due to D. B. H. Cline [2] (Theorem 1.1 below). We note that…

A class of examples concerning the relationship of linear regression and maximal correlation is provided. More precisely, these examples show that if two random variables have (strictly) linear regression on each other, then their maximal…

In this paper, we establish the higher order convergence rates in periodic homogenization of viscous Hamilton-Jacobi equations, which is convex and grows quadratically in the gradient variable. We observe that although the nonlinear…

We exhibit several counterexamples showing that the famous Serrin's symmetry result for semilinear elliptic overdetermined problems may not hold for partially overdetermined problems, that is when both Dirichlet and Neumann boundary…

We perform an all-order calculation of the \rho parameter in a simplified framework, where the top propagator can be calculated exactly. Special emphasis is placed on the question of gauge invariance and the treatment of non-perturbative…

A model for reference use in communication is proposed, from a representationist point of view. Both the sender and the receiver of a message handle representations of their common environment, including mental representations of objects.…

Since the first end-to-end neural coreference resolution model was introduced, many extensions to the model have been proposed, ranging from using higher-order inference to directly optimizing evaluation metrics using reinforcement…

We provide further evidence to favor the fact that rank-one convexity does not imply quasiconvexity for two-component maps in dimension two. We provide an explicit family of maps parametrized by $\tau$, and argue that, for small $\tau$,…

Compiler correctness proofs for higher-order concurrent languages are difficult: they involve establishing a termination-preserving refinement between a concurrent high-level source language and an implementation that uses low-level shared…

We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…

A first order inference system, called R-calculus, is defined to develop the specifications. It is used to eliminate the laws which is not consistent with the user's requirements. The R-calculus consists of the structural rules, an axiom, a…

We study the question of which counting problems admit f.p.r.a.s., under a structural complexity perspective. Since problems in #P with NP-complete decision version do not admit f.p.r.a.s. (unless NP = RP), we study subclasses of #P, having…

Let $X$ be an integral affine or projective scheme of finite presentation over a perfect field. We prove that $X$ admits a resolution, that is, there exists a smooth scheme $\widetilde X$ and a projective birational morphism from…

In this paper, we provide examples to show that for $1 \leq k \leq n/2$, solutions to $k$-Hessian equations $S_k(D^2u)=1$ in the exterior of a strictly convex domain need not be quasiconvex, when prescribing quadratic growth at infinity.…

In coherent diffractive imaging (CDI) the resolution of the reconstructed object is limited by the numerical aperture of the experimental setup. We present here a theoretical and numerical study for achieving super-resolution by…

Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible.…