English
Related papers

Related papers: Non-Numerical Weakly Relational Domains

200 papers

We study orthogonal polynomials for a weight function defined over a domain of revolution, where the domain is formed from rotating a two-dimensional region and goes beyond the quadratic domains. Explicit constructions of orthogonal bases…

Classical Analysis and ODEs · Mathematics 2023-11-28 Yuan Xu

We examine the existence and stability of nonlinear discrete vortex solitons in a square lattice when the standard discrete Laplacian is replaced by a fractional version. This creates a new, effective site-energy term, and a coupling among…

Pattern Formation and Solitons · Physics 2021-05-19 Cristian Mejía-Cortés , Mario I. Molina

A locating-dominating set in a graph G is a subset of vertices representing "detectors" which can locate an "intruder" given that each detector covers its closed neighborhood and can distinguish its own location from its neighbors. We…

Combinatorics · Mathematics 2022-09-13 Devin Jean , Suk Seo

The paper concerns the second-order generalized differentiation theory of variational analysis and new applications of this theory to some problems of constrained optimization in finitedimensional spaces. The main attention is paid to the…

Optimization and Control · Mathematics 2011-10-21 B. S. Mordukhovich , R. T. Rockafellar

The low-rank matrix completion problem asks whether a given real matrix with missing values can be completed so that the resulting matrix has low rank or is close to a low-rank matrix. The completed matrix is often required to satisfy…

Computational Complexity · Computer Science 2025-06-24 Dror Chawin , Ishay Haviv

The entanglement of non-complementary regions is investigated in an inhomogeneous free-fermion chain through the lens of the fermionic logarithmic negativity. Focus is on the Krawtchouk chain, whose relation to the eponymous orthogonal…

Statistical Mechanics · Physics 2025-06-19 Gabrielle Blanchet , Gilles Parez , Luc Vinet

We study conjugate and Lagrange dualities for composite optimization problems within the framework of abstract convexity. We provide conditions for zero duality gap in conjugate duality. For Lagrange duality, intersection property is…

Optimization and Control · Mathematics 2022-09-07 The Hung Tran , Ewa Bednarczuk

A broad class of optimization problems can be cast in composite form, that is, considering the minimization of the composition of a lower semicontinuous function with a differentiable mapping. This paper investigates the versatile template…

Optimization and Control · Mathematics 2024-08-07 Alberto De Marchi , Patrick Mehlitz

The selfadjoint extensions of a closed linear relation $R$ from a Hilbert space ${\mathfrak H}_1$ to a Hilbert space ${\mathfrak H}_2$ are considered in the Hilbert space ${\mathfrak H}_1\oplus{\mathfrak H}_2$ that contains the graph of…

Functional Analysis · Mathematics 2019-10-24 Seppo Hassi , Jean-Philippe Labrousse , Henk de Snoo

An artificial neural network is presented based on the idea of connections between units that are only active for a specific range of input values and zero outside that range (and so are not evaluated outside the active range). The…

Neural and Evolutionary Computing · Computer Science 2016-06-15 John Loverich

In this work, we propose two-level space-time domain decomposition preconditioners for parabolic problems discretized using finite elements. They are motivated as an extension to space-time of balancing domain decomposition by constraints…

Numerical Analysis · Computer Science 2017-01-16 Santiago Badia , Marc Olm

Robust domain adaptation against adversarial attacks is a critical research area that aims to develop models capable of maintaining consistent performance across diverse and challenging domains. In this paper, we derive a new generalization…

Artificial Intelligence · Computer Science 2025-05-13 Dongyoon Yang , Jihu Lee , Yongdai Kim

The notions of $r$-robustness and $(r,s)$-robustness of a network have been earlier introduced in the literature to achieve resilient consensus in the presence of misbehaving agents. However, while higher robustness levels enable networks…

Systems and Control · Electrical Eng. & Systems 2026-03-02 Haejoon Lee , Dimitra Panagou

One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum $k$-Edge-Connected Spanning Subgraph problem ($k$-ECSS), as well as nonuniform…

Data Structures and Algorithms · Computer Science 2022-06-27 Michael Dinitz , Ama Koranteng , Guy Kortsarz

Relativistic domain walls are studied in the framework of a polynomial approximation to the field interpolating between different vacua and forming the domain wall. In this approach we can calculate evolution of a core and of a width of the…

High Energy Physics - Theory · Physics 2010-11-01 H. Arodz

The article addresses some open questions about the relations between the topological weak mixing property and the transitivity of the map $f\times f^2 \times...\times f^m$, where $f\colon X\ra X$ is a topological dynamical system on a…

Dynamical Systems · Mathematics 2014-05-06 Dominik Kwietniak , Piotr Oprocha

We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron domain. While abstract transfer functions are still rather…

Logic in Computer Science · Computer Science 2014-02-14 Khalil Ghorbal , Eric Goubault , Sylvie Putot

The $\bar{\partial}$-Neumann operator (the inverse of the complex Laplacian) is shown to be noncompact on certain domains in complex Euclidean space. These domains are either higher-dimensional analogs of the Hartogs triangle, or have such…

Complex Variables · Mathematics 2011-10-14 Debraj Chakrabarti

Neural surrogates for stiff differential-algebraic equations (DAEs) face two barriers: soft-constraint methods leave algebraic residuals that stiffness amplifies into errors, and hard-constraint methods require trajectory data from stiff…

Machine Learning · Computer Science 2026-04-28 Huy Hoang Le , Haoguang Wang , Christian Moya , Marcos Netto , Guang Lin

Interfaces play a central role in determining compatible component compositions by prescribing permissible interactions between a service provider (server) and its consumers (clients). The high degree of concurrency in asynchronous…

Logic in Computer Science · Computer Science 2026-03-18 Debjyoti Bera , Tim A. C. Willemse