A universal R-matrix for the non-standard (Jordanian) quantum deformation of sl(2, IR) is presented. A family of solutions of the quantum Yang– Baxter equation is obtained from some finite dimensional representations of this Lie bialgebra quantization of sl(2, IR). The quantum Yang–Baxter equation (YBE) R12R13R23 = R23R13R12. (1) was discovered to play a relevant role as the integrability condi...

P. Baumgartner, R. Hähnle & J. Posegga, ed., 4 International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 95), LNAI 918, pp. 106–121, c ©Springer Verlag, 1995 Abstract. We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof justifying hi...

We propose a new parametrisation of the Cabibbo-Kobayashi-Maskawa Matrix in which the approximations of the standard parametrisation, |Vcb| ≈ s23, |Vus| ≈ s12, are promoted to exact results. There are myriad possible parametrisations of the Cabibbo-Kobayashi-Maskawa (CKM) Matrix V [1]. One particular parametrisation [2] has recently been advocated by the Particle Data Group (PDG) [3] as a “stan...

We study the possible existence of a real Cabibbo-Kobayashi-Maskawa (CKM) matrix, with CP violation originating from physics beyond the standard model (SM). We show that present experimental data allow for a real CKM matrix provided that new physics also contributes to ∆mBd by at least 20% of the SM contribution (for ρ > 0), besides generating CP violation in the kaon sector. The naturalness of...

the matrix functions appear in several applications in engineering and sciences. the computation of these functions almost involved complicated theory. thus, improving the concept theoretically seems unavoidable to obtain some new relations and algorithms for evaluating these functions. the aim of this paper is proposing some new reciprocal for the function of block anti diagonal matrices. more...

the problem of series two-block disjoint decomposition of completely specifiedboolean functions is considered. analysis and investigation of such systems are veryimportant in logical design context. recently, a good method for solving thisproblem was suggested which has been based on the ternary matrix cover approach.using this method a computer program was developed. this paper is focused onde...

We develop a new collaborative filtering (CF) method that combines both previously known users’ preferences, i.e. standard CF, as well as product/user attributes, i.e. classical function approximation, to predict a given user’s interest in a particular product. Our method is a generalized low rank matrix completion problem, where we learn a function whose inputs are pairs of vectors – the stand...