provided x is sufficiently large. An asymptotic formula of type (1) Df (x; q, a) = (1 +O((log x)))Df (x; q) , in which the error term is smaller than the main term by a suitable power of log x, is good enough for basic applications. More important than the size of the error term is the range where (1) holds uniformly with respect to the modulus q. In this paper we consider the problem for the d...

Methods that might work are not good enough; what is preserved today should be reliably useful whenever someone wants it. Here, “reliably” is intended to include “without error introduced after the data leaves the purported author’s control.” Prior proposals—called “transformative migration” and “preservation emulation”—fail because what they save is confounded with details about today’s inform...

(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have established a basic compatibility framework. This article describes and evaluates this framework. The aim of the framework is running the same code on both syst...

unproblematically, continuing on a trajectory set out in the 1880s, as if there were a giant conspiracy to chastise homosexuality through discussions of the homosexual body, then to more psychological markers, and finally back to the body in terms of the genetic arguments about homosexuality that are current today. I am not suggesting that homosexuality was not often spurned by scientists, but ...

There is overwhelming evidence suggesting that the real users of IR systems often prefer using extremely short queries (one or two individual words) but they try out several queries if needed. Such behavior is fundamentally different from the process modeled in the traditional test collection-based IR evaluation based on using more verbose queries and only one query per topic. In the present pa...

We show how one can use Hermite-Padé approximation and little q-Jacobi polynomials to construct rational approximants for ζq(2). These numbers are qanalogues of the well known ζ(2). Here q = 1 p , with p an integer greater than one. These approximants are good enough to show the irrationality of ζq(2) and they allow us to calculate an upper bound for its measure of irrationality: μ (ζq(2)) ≤ 10...