相关论文: Generalized Kripke's Schema and the Expressive Pow…
We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosick\'y. These new terms come together with a notion of term-interpretability, which recovers the same type of…
In this preliminary work, we present nonstandard time-stepping strategies to solve differential equations based on the algebraic estimation method applied to the estimation of time-derivative, which provides interesting properties of…
In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. We extend its application to the case of formal power series over a field of arbitrary characteristic and illustrate the proposed approach…
This paper classifies and constructs explicitly all the irreducible representations of affine Hecke algebras of rank two root systems. The methods used to obtain this classification are primarily combinatorial and are, for the most part, an…
The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it has many applications, mostly in formal computational…
We investigate the relative assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for the algebraic $K$-theory of twisted group rings of a group G with coefficients in a regular ring R or, more…
We set up a method for a recursive calculation of the effective potential which is applied to a cubic potential with imaginary coupling. The result is resummed using variational perturbation theory (VPT), yielding an exponentially fast…
The notion of the characteristic Lie algebra of the discrete hyperbolic type equation is introduced. An effective algorithm to compute the algebra for the equation given is suggested. Examples and further applications are discussed.
This note characterizes a universal Kripke frame for the variable-free fragment of the reflection calculus with conservativity operators RC$^\nabla$. The frame here is obtained from the set of all filters on the Ignatiev RC$^\nabla$-algebra…
Using the character expansion method, we generalize several well-known integrals over the unitary group to the case where general complex matrices appear in the integrand. These integrals are of interest in the theory of random matrices and…
We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end.…
This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics,…
In this talk, we show how the Connes-Kreimer Hopf algebra morphism can be extended when taking into account the wave-function renormalization. This leads us to a semi-direct product of invertible power series by formal diffeomorphisms.
The use of Extended Logics to replace ordinary second order definability in Kleene's {\em Ramified Analytical Hierarchy} is investigated. This mirrors a similar investigation of Kennedy, Magidor and V\"a\"an\"anen \cite{KeMaVa2016} where…
In this paper we derive and analyse a class of linearly implicit schemes which includes the one of Feistauer and Ku\v{c}era (JCP 2007) as well as the class of RS-IMEX schemes. The implicit part is based on a Jacobian matrix which is…
A functional composition of the cumulative distribution function of one probability distribution with the inverse cumulative distribution function of another is called the transmutation map. In this article, we will use the quadratic rank…
Speculative optimisation relies on the estimation of the probabilities that certain properties of the control flow are fulfilled. Concrete or estimated branch probabilities can be used for searching and constructing advantageous speculative…
We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily specialises to the linearly-ordered Kripke frames for…
For a representation of a Lie algebra, one can construct a diagram of the representation, i. e. a directed graph with edges labeled by matrix elements of the representation. This article explains how to use these diagrams to describe normal…
We present a fast and memory efficient algorithm for the estimation of generalized linear models with an additive separable k-way error component. The brute force approach uses dummy variables to account for the unobserved heterogeneity,…