相关论文: A General Type for Storage Operators

Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of set-valued mappings between function spaces. This paper deals with the computational properties of certain…

Many variants of type theory extend a basic theory with additional primitives or properties like univalence, guarded recursion or parametricity, to enable constructions or proofs that would be harder or impossible to do in the original…

In this paper, we first provide a short summary of the main properties of the so-called general fractional derivatives with the Sonin kernels introduced so far. These are integro-differential operators defined as compositions of the first…

Can machines think? Since Alan Turing asked this question in 1950, nobody is able to give a direct answer, due to the lack of solid mathematical foundations for general intelligence. In this paper, we introduce a categorical framework…

One of the aims of Implicit Computational Complexity is the design of programming languages with bounded computational complexity; indeed, guaranteeing and certifying a limited resources usage is of central importance for various aspects of…

The concept of operator frame can be considered as a generalization of frame. Firstly, we introduce the notion of operator frame for the set of all adjointable operators $Hom_{\mathcal{A}}^{\ast}(\mathcal{X})$ on a Hilbert…

Unlike standard quantum mechanics, dynamical reduction models assign no particular a priori status to `measurement processes', `apparata', and `observables', nor self-adjoint operators and positive operator valued measures enter the…

The Langlands functoriality conjecture, as reformulated in the "beyond endoscopy" program, predicts comparisons between the (stable) trace formulas of different groups $G_1, G_2$ for every morphism ${^LG}_1\to {^LG}_2$ between their…

In this paper we aim to generalize results obtained in the framework of fractional calculus by the way of reformulating them in terms of operator theory. In its own turn, the achieved generalization allows us to spread the obtained…

The purpose of this paper is to establish a very general Cameron-Storvick theorem involving the generalized analytic Feynman integral of functionals on the product function space $C_{a,b}^2[0,T]$. The function space $C_{a,b}[0,T]$ can be…

In this paper we look at the growth of distributed object stores (DOS) and examine the underlying mechanisms that guide their use and development. Our focus is on the fundamental principles of operation that define this class of system, how…

We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals. First, the type system is very expressive. Notably, it…

We introduce more general concepts of Riemann-Liouville fractional integral and derivative on time scales, of a function with respect to another function. Sufficient conditions for existence and uniqueness of solution to an initial value…

We discuss a general framework for the analytic Langlands correspondence over an arbitrary local field F introduced and studied in our works arXiv:1908.09677, arXiv:2103.01509 and arXiv:2106.05243, in particular including non-split and…

Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of…

In this article we give application of closure operators in category of modules. Our main result shows that every subcategory A of injective modules of R-mod (under a mild condition) induces a torsion theory of R-mod.

Theorem provers are tools that help users to write machine readable proofs. Some of this tools are also interactive. The need of such softwares is increasing since they provide proofs that are more certified than the hand written ones. Agda…

Generics have been added to Java so as to increase the expressiveness of its type system. Generics in Java, however, include some features---such as Java wildcards, $F$-bounded generics, and Java erasure---that have been hard to analyze and…

There are many possible definitions of derivatives, here we present some and present one that we have called generalized that allows us to put some of the others as a particular case of this but, what interests us is to determine that there…

Motivated by the recent interest in models of guarded (co-)recursion, we study their equational properties. We formulate axioms for guarded fixpoint operators generalizing the axioms of iteration theories of Bloom and \'Esik. Models of…