A class of de nite integrals involving cyclotomicpolynomials and nested logarithms is considered. The results are given in terms of derivatives of the Hurwitz Zeta function. Some s...
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formula...
A possible approach to bandwidth selection for difference-based variance estimators in the nonparametric regression is proposed. The approach is based on the crossvalidation-type ...