English
Related papers

Related papers: Expregular functions

200 papers

Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $\lambda$-calculus, the process representations yield (at best) non-extensional $\lambda $-theories (i.e., $\beta$…

Logic in Computer Science · Computer Science 2025-09-17 Ken Sakayori , Davide Sangiorgi

Generative models have achieved impressive fidelity in text-to-image synthesis, yet struggle with complex compositional prompts involving multiple constraints. We introduce \textbf{M3 (Multi-Modal, Multi-Agent, Multi-Round)}, a…

Computer Vision and Pattern Recognition · Computer Science 2026-02-09 Bangji Yang , Ruihan Guo , Jiajun Fan , Chaoran Cheng , Ge Liu

This paper mainly studies the quadratic growth and the strong metric subregularity of the subdifferential of a function that can be represented as the sum of a function twice differentiable in the extended sense and a subdifferentially…

Optimization and Control · Mathematics 2021-09-09 Nguyen Huy Chieu , Nguyen Thi Quynh Trang , Ha Anh Tuan

Rotation symmetric Boolean functions represent an interesting class of Boolean functions as they are relatively rare compared to general Boolean functions. At the same time, the functions in this class can have excellent properties, making…

Neural and Evolutionary Computing · Computer Science 2023-11-21 Claude Carlet , Marko Ðurasevic , Bruno Gašperov , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

The Fueter-Sce mapping theorem stands as one of the most profound outcomes in complex and hypercomplex analysis, producing hypercomplex generalizations of holomorphic functions. In recent years, delving into the factorization of the second…

Complex Variables · Mathematics 2025-05-13 Fabrizio Colombo , Antonino De Martino , Irene Sabadini

We define eventually symmetric functions to be those power series of bounded degree in infinitely many variables that are invariant under interchanging all the variables with large enough indices. We show how this ring $\tilde{\Lambda}$ is…

Representation Theory · Mathematics 2025-05-13 Shaul Zemel

We study the mixed-integer epigraph of a special class of convex functions with non-convex indicator constraints, which are often used to impose logical constraints on the support of the solutions. The class of functions we consider are…

Optimization and Control · Mathematics 2023-09-19 Shaoning Han , Andrés Gómez

The iterated learning model simulates the transmission of language from generation to generation in order to explore how the constraints imposed by language transmission facilitate the emergence of language structure. Despite each modelled…

Computation and Language · Computer Science 2026-01-07 Hyoyeon Lee , Seth Bullock , Conor Houghton

This work proposes a unified theory of regularity in one hypercomplex variable: the theory of $T$-regular functions. In the special case of quaternion-valued functions of one quaternionic variable, this unified theory comprises…

Complex Variables · Mathematics 2026-04-10 Riccardo Ghiloni , Caterina Stoppato

We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for "typical" choices of Hardy field functions $a(t)$ with…

Dynamical Systems · Mathematics 2012-12-24 Nikos Frantzikinakis

We study the classification problems over string data for hypotheses specified by formulas of monadic second-order logic MSO. The goal is to design learning algorithms that run in time polynomial in the size of the training set,…

Machine Learning · Computer Science 2017-08-29 Martin Grohe , Christof Löding , Martin Ritzert

Let $\cal R$ be either the Grothendieck semiring (semiring with multiplication) of complex algebraic varieties, or the Grothendieck ring of these varieties, or the Grothendieck ring localized by the class of the complex affine line. We…

Algebraic Geometry · Mathematics 2007-05-23 S. M. Gusein-Zade , I. Luengo , A. Melle-Hernandez

We introduce a new notion of "regularity structure" that provides an algebraic framework allowing to describe functions and / or distributions via a kind of "jet" or local Taylor expansion around each point. The main novel idea is to…

Analysis of PDEs · Mathematics 2015-06-15 Martin Hairer

We prove that certain families of homogenous affine iterated function systems in $\mathbb{R}^d$ have the property that the open set condition and the existence of exact overlaps both occur densely in the space of translation parameters.…

Metric Geometry · Mathematics 2022-03-08 Ian D. Morris

Overparameterized neural networks enjoy great representation power on complex data, and more importantly yield sufficiently smooth output, which is crucial to their generalization and robustness. Most existing function approximation…

Machine Learning · Statistics 2022-06-10 Hao Liu , Minshuo Chen , Siawpeng Er , Wenjing Liao , Tong Zhang , Tuo Zhao

In connection with the work of Anscombe, Macpherson, Steinhorn and the present author in [1] we investigate the notion of a multidimensional exact class ($R$-mec), a special kind of multidimensional asymptotic class ($R$-mac) with measuring…

Logic · Mathematics 2021-07-01 Daniel Wolf

Deep neural networks trained in an end-to-end manner are proven to be efficient in a wide range of machine learning tasks. However, there is one drawback of end-to-end learning: The learned features and information are implicitly…

Machine Learning · Computer Science 2024-06-07 Canlin Zhang , Xiuwen Liu

The ability to perform arithmetic tasks is a remarkable trait of human intelligence and might form a critical component of more complex reasoning tasks. In this work, we investigate if the surface form of a number has any influence on how…

Computation and Language · Computer Science 2021-04-14 Rodrigo Nogueira , Zhiying Jiang , Jimmy Lin

The generation of smooth and continuous images between domains has recently drawn much attention in image-to-image (I2I) translation. Linear relationship acts as the basic assumption in most existing approaches, while applied to different…

Computer Vision and Pattern Recognition · Computer Science 2024-04-09 Yi Li , Xin Xie , Lina Lei , Haiyan Fu , Yanqing Guo

In this paper, we are concerned with the S-polyregularity the regular dot product of slice regular functions. We prove that the product of a slice regular function and right quaternionic polynomial function is a S-polyregular function and…

Complex Variables · Mathematics 2019-01-30 Allal Ghanmi
‹ Prev 1 3 4 5 6 7 10 Next ›