Related papers: Phoneme discrimination using KS algebra I
A class of second order difference (discrete) operators with a partial algebraization of the spectrum is introduced. The eigenfuncions of the algebraized part of the spectrum are polinomials (discrete polinomials). Such difference operators…
By a reduction method, the limiting weak-type behaviors of factional maximal operators and fractional integrals are established without any smoothness assumption on the kernel, which essentially improve and extend previous results. As a…
We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…
For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf lim} : \mathrm{Ab}^{\mathcal C}\to…
Fractional programming (FP) plays a crucial role in wireless network design because many relevant problems involve maximizing or minimizing ratio terms. Notice that the maximization case and the minimization case of FP cannot be converted…
We study systems of $n \geq 1$ discrete differential equations of order $k\geq1$ in one catalytic variable and provide a constructive and elementary proof of algebraicity of their solutions. This yields effective bounds and a systematic…
The minimal and maximal operators generated by the Bessel differential expression on the finite interval and a half-line are studied. All non-negative self-adjoint extensions of the minimal operator are described. Also we obtain a…
Following the definition of quantum differential operators given by Lunts and Rosenberg in (Sel. math., New ser. 3 (1997) 335--359), we show that the ring of quantum differential operators on the affine line is the ring generated by x and…
We present a formal framework for the development of a family of discriminative learning algorithms for Probabilistic Context-Free Grammars (PCFGs) based on a generalization of criterion-H. First of all, we propose the H-criterion as the…
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). In particular, we…
We extend first-order logic to include variadic function symbols, and prove a substitution lemma. Two applications are given: one to bounded quantifier elimination and one to the definability of certain Borel sets.
We approximate the spectra of a class of $2n$-order differential operators using isogeometric analysis in mixed formulations. This class includes a wide range of differential operators such as those arising in elliptic, biharmonic,…
We present a formalism for the calculation of multi-particle one-loop amplitudes, valid for an arbitrary number N of external legs, and for massive as well as massless particles. A new method for the tensor reduction is suggested which…
If $S=<d_1,...,d_\nu>$ is a numerical semigroup, we call the ring $\C[S]=\C[t^{d_1},...,t^{d_\nu}]$ the semigroup ring of $S$. We study the ring of differential operators on $\C[S]$, and its associated graded in the filtration induced by…
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…
In this work we describe the implementation and analysis of different optimization algorithms used for finding the best set of parameters for a Fuzzy Inference System intended to classify solar flares. The parameters will be identified…
A unified approach is given to kernel functions which intertwine Ruijsenaars difference operators of type A and of type BC. As an application of the trigonometric cases, new explicit formulas for Koornwinder polynomials attached to single…
Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal…
Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding…
We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential…