The Gross-Zagier formula on singular moduli can be seen as a calculation of the intersection multiplicity of two CM divisors on the integral model of a modular curve. We prove a generalization of this result to a Shimura curve.

Abstract Recently, there has been increased interest in combining model-driven engineering and search-based software engineering. Such approaches use meta-heuristic search guided by operators (model mutators sometimes breeders) implemented as model transformations. The design of these can substantially impact the effectiveness efficiency search. Currently, designing is left to person specifying...

This paper provides, from one side, a review of the theory of the cosmological mass function from a theoretical point of view, starting from the seminal paper of Press & Shechter (1974) to the last developments (Del Popolo & Gambera (1998, 1999), Sheth & Tormen 1999 (ST), Sheth, Mo & Tormen 2001 (ST1), Jenkins et al. 2001 (J01), Shet & Tormen 2002 (ST2), Del Popolo 2002a, Yagi et al. 2004 (YNY)...