We consider the relation of the dual calculus of Wadler (2003) to the λμ-calculus of Parigot (1992). We give translations from the λμ-calculus into the dual calculus and back again. The translations form an equational correspondence as defined by Sabry and Felleisen (1993). In particular, translating from λμ to dual and then ‘reloading’ from dual back into λμ yields a term equal to the original...

The concept of the (dual) binary discriminator was introduced by R.Halaš, I.G.Rosenberg and the author in 1999. We study finite algebras having the (dual) discriminator as a term function. In particular, a simple characterization is obtained for such algebras with a majority term function.

We introduce a new barrier function which has a linear growth term in its kernel function. So far all existing kernel functions have a quadratic (or higher degree) growth term. Despite this, a large-update primal-dual interior-point method based on this kernel function has the same iteration bound as the classical primal-dual method, which is based on the logarithmic barrier method.

Generalizing the characters of compact simple Lie groups, Ian Macdonald introduced in [M1,M2] and other works remarkable symmetric trigonometric polynomials dependent on the parameters q, t. He came up with four main conjectures formulated for arbitrary root systems. A new approach to the Macdonald theory was suggested in [C1] on the basis of double affine Hecke algebras (new objects in mathema...

The effects of dual consistency on discontinuous Galerkin (DG) discretizations of solution and solution gradient dependent source terms are examined. Two common discretizations are analyzed: the standard weighting technique for source terms and the mixed formulation. It is shown that if the source term depends on the first derivative of the solution, the standard weighting technique leads to a ...

Public speaking is an important aspect of human communication and interaction. The majority of computational work on public speaking concentrates on analyzing the spoken content, and the verbal behavior of the speakers. While the success of public speaking largely depends on the content of the talk, and the verbal behavior, non-verbal (visual) cues, such as gestures and physical appearance also...

Cognition, faculty related to perception, imagination, memory, and problem solving, refers to internal mental processes through which sensorial input is acquired, elaborated, used, and stored. One of its importances relies on the fact that it affects in a direct way the learning potential. It has been shown that, even thou cognitive processes develop side by side with biological maturity, this ...

It has been conjectured that the (weakly coupled) Randall-Sundrum (RS) model with gauge fields in bulk is dual to a (strongly coupled) 4D conformal field theory (CFT) with an UV cutoff and in which global symmetries of the CFT are gauged. We elucidate features of this dual CFT which are crucial for a complete understanding of the proposed duality. We argue that the limit of no (or small) brane-...