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

A method based on order completion for solving general equations is presented. In particular, this method can be used for solving large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems.

In this paper I present an argument and a general schema which can be used to construct a problem case for any decision theory, in a way that could be taken to show that one cannot formulate a decision theory that is never outperformed by…

We show that a first order problem can approximate solutions of a robust optimization problem when the uncertainty set is scaled, and explore further properties of this first order problem.

We construct an entire function $f$ with only three singular values whose order of growth can change under a quasiconformal equivalence. This is a counterexample to the Order Conjecture in the Speiser class ${\mathcal S}$ of entire…

In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that…

We give an upper-bound for the $X$-rank of points with respect to a non-degenerate irreducible variety $X$ in the case that sub-generic $X$-rank points generate a hypersurface. We give examples where this bound is sharp and it improves the…

Two results on the completeness of maximal solutions to first and second order ordinary differential equations (or inclusions) over complete Riemannian manifolds, with possibly time-dependent metrics, are obtained. Applications to…

We study about order of growth and hyper order of growth of non trivial solutions of second order linear differential equations, having restrictions in the coefficients. These restrictions involve notions of Yang's inequality, Borel…

We introduce sliced ReLU attention, a new attention mechanism that departs structurally from both softmax and its approximation alternatives. Instead of applying a nonlinearity to pairwise dot products, we operate on one-dimensional…

Relation extraction (RE) is a standard information extraction task playing a major role in downstream applications such as knowledge discovery and question answering. Although decoder-only large language models are excelling in generative…

In this paper we generalize standard results about non-commutative resolutions of quotient singularities for finite groups to arbitrary reductive groups. We show in particular that quotient singularities for reductive groups always have…

The main result of this paper, as previously presented to arxiv, was incorrect. See the full text for details and for reference to the remaining results.

We present a family of high order trapezoidal rule-based quadratures for a class of singular integrals, where the integrand has a point singularity. The singular part of the integrand is expanded in a Taylor series involving terms of…

In the paper, we revisit several approaches to the concept of uniform completion $X^{\mathrm{ru}}$ of a vector lattice $X$. We show that many of these approaches yield the same result. In particular, if $X$ is a sublattice of a uniformly…

In this paper we use the comparison method for investigation of first order polynomial differential equations. We prove two comparison criteria for these equations. The proved criteria we use to obtain some global solvability criteria for…

Now that the performance of coreference resolvers on the simpler forms of anaphoric reference has greatly improved, more attention is devoted to more complex aspects of anaphora. One limitation of virtually all coreference resolution models…

As recently pointed out, regularization schemes defined in four-dimensions may also face inconsistencies in the presence of chiral fermions. In this work, we extend this analysis to two-loop order. Adopting the implicit regularization as…

Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of…

This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is…

Here, we show that, contrary to the common opinion, the super-resolution optical fluctuation microscopy might not lead to ideally infinite super-resolution enhancement with increasing of the order of measured cumulants. Using information…