In this short note we will use the residue theorem to establish a formula for Euler’s constant. In particular, we offer a slightly generalized version of an interesting infinite series due to Flajolet, Gourdon, and Dumas. 1 Properties of γ Recall that γ is usually defined in terms of the partial sums of the harmonic series: γ := lim n→∞ 

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as...

Transversely isotropic (TI) media with the frequency-independent quality-factor elements (also called “constant- Q” transverse isotropy) are often used to describe attenuation anisotropy in sedimentary rocks. The coefficients constant- Q TI models can be conveniently defined terms of Thomsen-type attenuation-anisotropy parameters. Recent research indicates that not all those parameters for such...