Related papers: Constructive validity of a generalized Kreisel-Put…
A decision procedure for detecting valid propositional formulas is presented. It is based on the Davis-Putnam method and deals with propositional formulas that are initially converted to negational normal form. This procedure splits…
We outline a consistent regularization procedure to compute hadron structure functions within bosonized chiral quark models. We impose the Pauli--Villars scheme, which reproduces the chiral anomaly, to regularize the bosonized action. We…
For supervised classification problems involving design, control, other practical purposes, users are not only interested in finding a highly accurate classifier, but they also demand that the obtained classifier be easily interpretable.…
We establish the average-case hardness of the algorithmic problem of exact computation of the partition function associated with the Sherrington-Kirkpatrick model of spin glasses with Gaussian couplings and random external field. In…
We consider Hamiltonian PDEs that can be split into a linear unbounded operator and a regular non linear part. We consider abstract splitting methods associated with this decomposition where no discretization in space is made. We prove a…
We provide a consistent regularization procedure for calculating hadron structure functions in a chiral quark model. The structure functions are extracted from the absorptive part of the forward Compton amplitude in the Bjorken limit. Since…
We explore a simple approach to quantum logic based on hybrid and dynamic modal logic, where the set of states is given by some Hilbert space. In this setting, a notion of quantum clause is proposed in a similar way the notion of Horn…
It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an…
In this work we study the failure of the HKR theorem over rings of positive and mixed characteristic. For this we construct a filtered circle interpolating between the usual topological circle and a formal version of it. By mapping to…
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we…
Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to…
Quaternion derivatives in the mathematical literature are typically defined only for analytic (regular) functions. However, in engineering problems, functions of interest are often real-valued and thus not analytic, such as the standard…
We introduce a division formula on a possibly singular projective subvariety $X$ of complex projective space $\Pk^N$, which, e.g., provides explicit representations of solutions to various polynomial division problems on the affine part of…
In this paper, we introduce a system of split variational inequality problems in real Hilbert spaces. Using projection method, we propose an iterative algorithm for the system of split variational inequality problems. Further, we prove that…
We introduce a numerical method for general coupled Korteweg-de Vries systems. The scheme is valid for solving Cauchy problems for arbitrary number of equations with arbitrary constant coefficients. The numerical scheme takes its legality…
Splitting methods constitute a widely used class of numerical integrators for ordinary and partial differential equations, particularly well suited to problems that can be decomposed into simpler subproblems. High-order splitting schemes…
A novel procedure for extracting hadron characteristics from QCD sum rules, based on effective continuum thresholds (necessary for the implementation of quark-hadron duality) which may depend on the involved momenta and on the Borel…
In this chapter, we present and discuss a new generalized proportional conflict redistribution rule. The Dezert-Smarandache extension of the Demster-Shafer theory has relaunched the studies on the combination rules especially for the…
We review some algebraic and combinatorial structures that underlie models in the KPZ universality class.Emphasis is placed on the Robinson-Schensted-Knuth correspondence and its geometric lifting due to A.N.Kirillov. We present how these…
In the Quantum-Bayesian interpretation of quantum theory (or QBism), the Born Rule cannot be interpreted as a rule for setting measurement-outcome probabilities from an objective quantum state. But if not, what is the role of the rule? In…