相关论文: Ordinal notation systems corresponding to Friedman…

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…

We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures…

We consider composition orderings for linear functions of one variable. Given $n$ linear functions $f_1,\dots,f_n$ and a constant $c$, the objective is to find a permutation $\sigma$ that minimizes/maximizes $f_{\sigma(n)}\circ\dots\circ…

In this paper we establish the relationships between theta functions of arbitrary order and their derivatives. We generalize our previous work math.AG/0310085 and prove that for any n>1 the map sending an abelian variety to the set of Gauss…

We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the…

In supervised learning, we typically leverage a fully labeled dataset to design methods for function estimation or prediction. In many practical situations, we are able to obtain alternative feedback, possibly at a low cost. A broad goal is…

We present a so-called labelling method to insert cost annotations in a higher-order functional program, to certify their correctness with respect to a standard compilation chain to assembly code including safe memory management, and to…

All the possible super-conducting order parameters for the LaOFeAs system are classified by their transformation under the complete crystal symmetry. The general forms of the super-conducting gap functions for each class are discussed. We…

To overcome the weakness of a total variation based model for image restoration, various high order (typically second order) regularization models have been proposed and studied recently. In this paper we analyze and test a fractional-order…

In this note the well-ordering principle for the derivative of normal functions on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded omega-models of the well-ordering principle for the function.

This paper describes an algorithm for the compilation of a two (or more) level orthographic or phonological rule notation into finite state transducers. The notation is an alternative to the standard one deriving from Koskenniemi's work: it…

Inspired by the results of the Ising model within an imaginary external magnetic field, we introduce a transformation in quantum systems with a theta-vacuum term that amounts to a rescaling of z=cos(theta/2). Making use of this…

This paper serves to define an extension, which we call dimensional Veblen, of Oswald Veblen's system of ordinal functions below the large Veblen ordinal. This is facilitated by iterating derivatives of ordinal functions along…

This article is based on earlier papers where an approach based on Taylor expansion and the structure of its leading term as an element of a free Lie algebra was described for the setup of a system of order conditions for operator splitting…

We propose two efficient numerical approaches for solving variable-order fractional optimal control-affine problems. The variable-order fractional derivative is considered in the Caputo sense, which together with the Riemann-Liouville…

Interval approaches for the reachability analysis of initial value problems for sets of classical ordinary differential equations have been investigated and implemented by many researchers during the last decades. However, there exist…

We analyze combinatorial optimization problems with ordinal, i.e., non-additive, objective functions that assign categories (like good, medium and bad) rather than cost coefficients to the elements of feasible solutions. We review different…

This paper is devoted to the general theory of systems of time-fractional differential-operator equations. The representation formulas for solutions of systems of ordinary differential equations with single (commensurate) fractional order…

We prove two unconditional upper bounds on the gaps between ordinates of consecutive non-trivial zeros of a general $L$-function $L(s)$. This extends previous work of Hall and Hayman (2000) on the Riemann zeta-function and work of Siegel…

This paper provides necessary and sufficient conditions of optimality for variational problems that deal with a fractional derivative with respect to another function. Fractional Euler--Lagrange equations are established for the fundamental…