English
Related papers

Related papers: Bar Recursion and Products of Selection Functions

200 papers

In this work we propose composition products in the class of complex harmonic functions so that the composition of two such functions is again a complex harmonic function. From here we begin the study of the iterations of the functions of…

Complex Variables · Mathematics 2022-02-08 Luis E. Benítez , Raúl Felipe

Replicability analysis aims to identify the findings that replicated across independent studies that examine the same features. We provide powerful novel replicability analysis procedures for two studies for FWER and for FDR control on the…

Methodology · Statistics 2019-03-01 Marina Bogomolov , Ruth Heller

Let X be an L1-predual and E,F be Banach spaces. We use the fact that an unconditionally converging operator T from the injective tensor product of X and E to F is strongly bounded and extend T to an operator S on continuous F-valued…

Functional Analysis · Mathematics 2026-04-21 Štěpán Ondřej , Jiří Spurný

A product system E over a semigroup P is a family of Hilbert spaces {E_s:s\in P} together with multiplications E_s \times E_t\to E_{st}. We view E as a unitary- valued cocycle on P, and consider twisted crossed products A \times_{\beta,E} P…

funct-an · Mathematics 2008-02-03 N. Fowler , I. Raeburn

We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…

Differential Geometry · Mathematics 2010-05-05 A. M. Vinogradov , L. Vitagliano

Recurrent neural networks for session-based recommendation have attracted a lot of attention recently because of their promising performance. repeat consumption is a common phenomenon in many recommendation scenarios (e.g., e-commerce,…

Information Retrieval · Computer Science 2018-12-07 Pengjie Ren , Zhumin Chen , Jing Li , Zhaochun Ren , Jun Ma , Maarten de Rijke

We consider a variant expression to regularize the Euler product representation of the zeta functions, where we mainly apply to that of the Riemann zeta function in this paper. The regularization itself is identical to that of the zeta…

Mathematical Physics · Physics 2007-09-07 Minoru Fujimoto , Kunihiko Uehara

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The…

Programming Languages · Computer Science 2010-12-23 Aaron Stump , Vilhelm Sjöberg , Stephanie Weirich

Recommender systems have played a vital role in online platforms due to the ability of incorporating users' personal tastes. Beyond accuracy, diversity has been recognized as a key factor in recommendation to broaden user's horizons as well…

Information Retrieval · Computer Science 2022-10-11 Yile Liang , Tieyun Qian

We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationship between the braidings on the $G$-gaugings of a pointed…

Quantum Algebra · Mathematics 2019-06-20 Paul Gustafson , Andrew Kimball , Eric C. Rowell , Qing Zhang

An algebraic representation of the Turing machines is given, where the configurations of Turing machines are represented by 4 order tensors, and the transition functions by 8 order tensors. Two types of tensor product are defined, one is to…

Computational Complexity · Computer Science 2016-07-14 Yue Liu

We study existence and uniqueness of the fixed points solutions of a large class of non-linear variable discounted transfer operators associated to a sequential decision-making process. We establish regularity properties of these solutions,…

Dynamical Systems · Mathematics 2019-02-20 L. Cioletti , Elismar R. Oliveira

We investigate Wold-type decompositions and unitary extension problems for multivariable isometric covariant representations associated with product systems of $C^*$-correspondences. First, we establish an operator-theoretic…

Operator Algebras · Mathematics 2026-01-15 Baruch Solel , Mansi Suryawanshi

Reinforcement learning for open-ended text generation is constrained by the lack of verifiable rewards, necessitating reliance on judge models that require either annotated data or powerful closed-source models. Inspired by recent work on…

Computation and Language · Computer Science 2026-04-14 Xinda Wang , Zhengxu Hou , Yangshijie Zhang , Bingren Yan , Jialin Liu , Chenzhuo Zhao , Zhibo Yang , Bin-Bin Yang , Feng Xiao

We develop SHOPPER, a sequential probabilistic model of shopping data. SHOPPER uses interpretable components to model the forces that drive how a customer chooses products; in particular, we designed SHOPPER to capture how items interact…

Machine Learning · Statistics 2019-06-11 Francisco J. R. Ruiz , Susan Athey , David M. Blei

We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.

Representation Theory · Mathematics 2007-05-23 F. A. Grunbaum , I. Pacharoni , J. Tirao

We here first study the state space realization of a tensor-product of a pair of rational functions. At the expense of "inflating" the dimensions, we recover the classical expressions for realization of a regular product of rational…

Optimization and Control · Mathematics 2018-12-05 Daniel Alpay , Izchak Lewkowicz

We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete…

Logic in Computer Science · Computer Science 2019-10-28 Igor Sedlár

The concept of a composed product for univariate polynomials has been explored extensively by Brawley, Brown, Carlitz, Gao, Mills, et al. Starting with these fundamental ideas and utilizing fractional power series representation (in…

Rings and Algebras · Mathematics 2007-05-23 Donald Mills , Kent M. Neuerburg

If $A\otimes _{R, \sigma }V$ and $A\otimes _{P, \nu }W$ are two Brzezi\'nski crossed products and $Q:W\otimes V\rightarrow V\otimes W$ is a linear map satisfying certain properties, we construct a Brzezi\'{n}ski crossed product $A\otimes…

Quantum Algebra · Mathematics 2019-01-15 Leonard Dăuş , Florin Panaite