Semantics and Static Interpretation in IMP

The article describes the experience of the master classes for school teachers and university lecturers to use ICT in the educational process. Improving teacher’s/lecturer’s qualification involves their willingness to follow the advanced technology. However, there are several factors that should be considered in the preparation of training courses for teachers. The authors consider the technolo...

S. Ramanujan introduced a technique, known as Ramanujan’s Master Theorem, which provides an analytic expression for the Mellin transform of a function. The main identity of this theorem involves the extrapolation of the sequence of coefficients of the integrand, defined originally as a function on N to C. The history and proof of this result are reviewed. Applications to the evaluation of a var...

A simplified interaction potential for protein folding studies at the atomic level is discussed and tested on a set of peptides with approximately 20 residues each. The test set contains both alpha-helical (Trp cage, F(s)) and beta-sheet (GB1p, GB1m2, GB1m3, Betanova, LLM) peptides. The model, which is entirely sequence-based, is able to fold these different peptides for one and the same choice...

We compared three methods for presenting stimuli during reinforcer-preference assessments: a paired-stimulus format (PS), a multiple-stimulus format in which selections were made with replacement (MSW), and a multiple-stimulus format in which selections were made without replacement (MSWO). Results obtained for 7 participants showed moderate to high rank-order correlations between the MSWO and ...

We study some specializations and extensions of the quantum version of the MacMahon Master Theorem derived by Garoufalidis, Lê and Zeilberger. In particular, we obtain a (t, q)-analogue for the Cartier-Foata noncommutative version and a semi-strong (t, q)-analogue for the contextual algebra.