Related papers: Towards complete string effective actions beyond l…
We carry out a proof theoretic analysis of the wellfoundedness of recursive path orders in an abstract setting. We outline a very general termination principle and extract from its wellfoundedness proof subrecursive bounds on the size of…
Document information extraction tasks performed by humans create data consisting of a PDF or document image input, and extracted string outputs. This end-to-end data is naturally consumed and produced when performing the task because it is…
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
We study effective potentials coming from compactifications of string theory. We show that, under mild assumptions, such potentials are bounded from below in four dimensions, giving an affirmative answer to a conjecture proposed by the…
We study cosmological solutions in the effective heterotic string theory with $\alpha'$-correction terms in string frame. It is pointed out that the effective theory has an ambiguity via field redefinition and we analyze generalized…
An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence. Directly putting into effect of an instruction sequences…
The famous Policy Iteration algorithm alternates between policy improvement and policy evaluation. Implementations of this algorithm with several variants of the latter evaluation stage, e.g, $n$-step and trace-based returns, have been…
We study sequential search without priors. Our interest lies in decision rules that are close to being optimal under each prior and after each history. We call these rules dynamically robust. The search literature employs optimal rules…
We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and…
We present a study of the effective action approach to incorporate higher-order effects in e^+e^- -> n fermions. In its minimal version, the effective action approach is found to exhibit problems with unitarity and high-energy behaviour. We…
A brief overview of some recently active topics in perturbative QCD, including: string-inspired recursion techniques at tree level; recursion approaches and automation of standard techniques for 1-loop calculations; the status of NNLO jet…
The rapidly expanding corpus of medical research literature presents major challenges in the understanding of previous work, the extraction of maximum information from collected data, and the identification of promising research directions.…
The regularity of the Hardy-Littlewood maximal function, in both discrete and continuous contexts, and for both centered and noncentered variants, has been subjected to intense study for the last two decades. But efforts so far have…
Information extraction (IE) has been studied extensively. The existing methods always follow a fixed extraction order for complex IE tasks with multiple elements to be extracted in one instance such as event extraction. However, we conduct…
In formal argumentation, a distinction can be made between extension-based semantics, where sets of arguments are either (jointly) accepted or not, and ranking-based semantics, where grades of acceptability are assigned to arguments.…
We present the derivation of the effective higher-order Hamiltonian, which gives $m \alpha^6$ contribution to energy levels of an arbitrary light atom. The derivation is based on the Foldy-Wouthuysen transformation of the one-particle Dirac…
We consider the QCD string as an effective string, whose action describes long-range stringy fluctuations. The leading infrared contribution to the ground state energy is given by the Alvarez-Arvis formula, usually derived using the…
We review the current knowledge about the theoretical foundations of the effective string theory for confining flux tubes and the comparison of the predictions to pure gauge lattice data. A concise presentation of the effective string…
We present a new approach to automated reasoning about higher-order programs by extending symbolic execution to use behavioral contracts as symbolic values, enabling symbolic approximation of higher-order behavior. Our approach is based on…
In the paper, a method of describing the outer derivations of the group algebra of a finitely presentable group is given. The description of derivations is given in terms of characters of the groupoid of the adjoint action of the group.