Related papers: Analytic cell decomposition and analytic motivic i…
In this paper we determine a number of meaningful compositions of higher order of a set of functions, which is considered in Malesevic (1998), in implicit and explicit form. Results which are obtained are applied to the vector analysis in…
In this paper, we provide proofs for the analytic characterization theorems of the operator symbols utilizing the characterization theorem for the Mittag-Leffler distribution space.We work out examples which can be interpreted as integral…
We present a logical separability analysis for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative functional programs. Both analyses share similarities notably…
We explore the analytic structure of three-point functions using contour deformations. This method allows continuing calculations analytically from the spacelike to the timelike regime. We first elucidate the case of two-point functions…
Functional connectivity (FC) is one of the most common inputs to fMRI-based predictive models, due to a combination of its simplicity and robustness. However, there may be a lack of theoretical models for the generation of FC. In this work,…
We extend the theory of Euler integration from the class of constructible functions to that of "tame" real-valued functions (definable with respect to an o-minimal structure). The corresponding integral operator has some unusual defects (it…
In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ng\^o's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of…
We propose a functional view of matrix decomposition problems on graphs such as geometric matrix completion and graph regularized dimensionality reduction. Our unifying framework is based on the key idea that using a reduced basis to…
Shape-constrained functional data encompass a wide array of application fields, such as activity profiling, growth curves, healthcare and mortality. Most existing methods for general functional data analysis often ignore that such data are…
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules…
It is our aim to establish a general analytic theory of asymptotic expansions of type f(x)=a_1 phi_1(x)+dots+ a_n phi_n(x)+o(phi_n(x)), x tends to x_0 (*), where the given ordered n-tuple of real-valued functions phi_1 dots,phi_n forms an…
We call a function "constructible" if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. Our main theorem…
We give a general construction of the motivic fundamental groupoid at tangential basepoints, extending previous works of P. Deligne, A. B. Goncharov, and M. Levine, which were limited to ordinary basepoints or to specific varieties. Given a…
The theory of fractional calculus in the complex plane was not built with a specific application in mind. The main obstacle to application was the difficulty with obtaining analytic continuations of fractional derivatives and integrals. It…
This is our second scope of the consideration on the corresponding topologization and the corresponding functional analytification. We will focus on the corresponding functorial and motivic constructions in our current consideration. We…
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…
The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function,…
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…
We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are $\sigma$-Henselian. From this result we can deduce various Ax-Kochen-Ersov type results with respect to…