English
Related papers

Related papers: Decrement Operators in Belief Change

200 papers

The focus of the papers presented in this volume is on the interplay between syntax and semantics in case of languages, namely the central question of what a program means and how it does define the intended procedure. This is a crucial…

Logic in Computer Science · Computer Science 2013-09-05 Ugo de'Liguoro , Alexis Saurin

We study frequently recurrent unilateral and bilateral backward shift operators on Fr\'echet sequence spaces. We prove that if a backward shift admits a non-zero frequently recurrent vector, then it supports a dense set of such vectors, so…

Functional Analysis · Mathematics 2026-04-23 Rodrigo Cardeccia , Santiago Muro

We present an operator theoretic side of the story of squeezed states regardless the order of squeezing. For low order, that is for displacement (order 1) and squeeze (order 2) operators, we bring back to consciousness what is know or…

Mathematical Physics · Physics 2014-10-24 K. Gorska , A. Horzela , F. H. Szafraniec

Iterative refinement -- start with a random guess, then iteratively improve the guess -- is a useful paradigm for representation learning because it offers a way to break symmetries among equally plausible explanations for the data. This…

Machine Learning · Computer Science 2023-01-03 Michael Chang , Thomas L. Griffiths , Sergey Levine

We investigate causal computations taking sequences of inputs to sequences of outputs where the $n$th output depends on the first $n$ inputs only. We model these in category theory via a construction taking a Cartesian category $C$ to…

Logic in Computer Science · Computer Science 2019-03-05 David Sprunger , Shin-ya Katsumata

We introduce a new symbolic representation based on an original generalization of counter abstraction. Unlike classical counter abstraction (used in the analysis of parameterized systems with unordered or unstructured topologies) the new…

Logic in Computer Science · Computer Science 2015-03-20 Ahmed Rezine

We introduce and systematically develop two classes of discrete integrable operators: those with $2\times 2$ matrix kernels and those possessing general differential kernels, thereby generalizing the discrete analogue previously studied. A…

Exactly Solvable and Integrable Systems · Physics 2025-11-10 Huan Liu

We introduce a constrained optimization framework for training transformers that behave like optimization descent algorithms. Specifically, we enforce layerwise descent constraints on the objective function and replace standard empirical…

Machine Learning · Computer Science 2026-01-27 Javier Porras-Valenzuela , Samar Hadou , Alejandro Ribeiro

We propose a novel fine-tuning method to achieve multi-operator learning through training a distributed neural operator with diverse function data and then zero-shot fine-tuning the neural network using physics-informed losses for…

Machine Learning · Computer Science 2024-11-12 Zecheng Zhang , Christian Moya , Lu Lu , Guang Lin , Hayden Schaeffer

We show that analytic pseudodifferential and Fourier integral operators behave well for ultradifferentiable classes satisfying minimal regularity properties. As an application we investigate the ultradifferentiable regularity properties of…

Analysis of PDEs · Mathematics 2025-11-18 Stefan Fürdös

Weakly-supervised text classification aims to induce text classifiers from only a few user-provided seed words. The vast majority of previous work assumes high-quality seed words are given. However, the expert-annotated seed words are…

Computation and Language · Computer Science 2021-04-21 Yiping Jin , Akshay Bhatia , Dittaya Wanvarie

This paper provides a new approach to derive various arbitrary high order finite difference formulae for the numerical differentiation of analytic functions. In this approach, various first and second order formulae for the numerical…

Numerical Analysis · Mathematics 2020-05-26 Saint-Cyr E. R. Koyaguerebo-Imé , Yves Bourgault

A class of stochastic processes, called "weak Dirichlet processes", is introduced and its properties are investigated in detail. This class is much larger than the class of Dirichlet processes. It is closed under C^1$-transformations and…

Probability · Mathematics 2007-05-23 Francois Coquet , Adam Jakubowski , Jean Memin , Leszek Slominski

This is a survey on discrete linear operators which, besides approximating in Jackson or near-best order, possess some interpolatory property at some nodes. Such operators can be useful in numerical analysis.

Classical Analysis and ODEs · Mathematics 2007-05-23 J. Szabados

We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: a query transformation approach which works by revising the preference…

Databases · Computer Science 2007-05-23 Jan Chomicki

By means of a new technique, we develop further a discrete subordination approach to the functional calculus of power bounded and Ritt operators initiated by N. Dungey in [19]. This allows us to show, in particular, that (infinite) convex…

Functional Analysis · Mathematics 2016-09-26 Alexander Gomilko , Yuri Tomilov

We study the weak convergence of iterates of so-called centred kernel quadratic stochastic operators. These iterations, in a population evolution setting, describe the additive perturbation of the arithmetic mean of the traits of an…

Probability · Mathematics 2020-11-23 Krzysztof Bartoszek , Joachim Domsta , Małgorzata Pułka

Choice revision is a sort of non-prioritized multiple revision, in which the agent partially accepts the new information represented by a set of sentences. We investigate the construction of choice revision based on a new approach to belief…

Logic · Mathematics 2018-05-02 Li Zhang

This paper clarifies the picture about Dense-choice Counter Machines, which have been less studied than (discrete) Counter Machines. We revisit the definition of "Dense Counter Machines" so that it now extends (discrete) Counter Machines,…

Logic in Computer Science · Computer Science 2009-11-19 Florent Bouchy , Alain Finkel , Pierluigi San Pietro

Regression in supervised learning often requires the enforcement of constraints to ensure that the trained models are consistent with the underlying structures of the input and output data. This paper presents an iterative procedure to…

Optimization and Control · Mathematics 2022-01-19 Tejaswi K. C. , Taeyoung Lee
‹ Prev 1 3 4 5 6 7 10 Next ›