Abstract. Combining certain identities for modular forms due to Igusa with Schottky-Jung relations, we study the cosmological constant for the recently proposed ansatz for the chiral superstring measure in genus 5. The vanishing of this cosmological constant turns out to be equivalent to the long-conjectured vanishing of a certain explicit modular form of genus 5 on the moduli of curves M5, and...

Abstract. In this paper we prove a conjecture of Hershel Farkas [8] that if a 4-dimensional principally polarized abelian variety has a vanishing theta-null, and the hessian of the theta function at the corresponding point of order two is degenerate, the abelian variety is a Jacobian. We also discuss possible generalizations to higher genera, and an interpretation of this condition as an infini...

OBJECTIVE To evaluate the patellar height of volunteers with and without patellofemoral pain syndrome (PPS) during maximal voluntary isometric contraction (MVIC) in open kinetic chain (OKC) and closed kinetic chain (CKC) exercises. METHODS Twenty healthy women, and nineteen women with patellofemoral pain syndrome were evaluated and subjected to nuclear magnetic resonance imaging during rest a...

This was a retrospective review of the nine open wedge high tibial osteotomy (HTO) done in a regional hospital in Hong Kong from 2006 to 2008. The mechanical hip-knee-ankle angle improved from average 169.5°(164°-175°) to average 183.9° (179°-187°). Patellar descent was noted in all patients postoperatively, with Blackburne-Peel (BP) index significantly changing from 0.78 (0.64-0.93) to 0.59 (0...

The word problem of a group G = Σ can be defined as the set of formal words in Σ * that represent the identity in G. When viewed as formal languages, this gives a strong connection between classes of groups and classes of formal languages. For example, Anisimov [An¯ ı71] showed that a group is finite if and only if its word problem is a regular language, and Muller and Schupp [MS83] showed that...

We study the Weak MSO logic in relationship to infinitary λ-calculus. We show that for every formula φ of Weak MSO there exists a finitary model of infinitary λ-calculus recognizing the set of infinitary λ-terms whose Böhm tree satisfies φ. The model is effective, in the sense that for every λY -term we can effectively compute its value in the model. In particular, given a finite λY -term, one ...

Abstract. In this paper we establish the relationships between theta functions of arbitrary order and their derivatives. We generalize our previous work [4] and prove that for any n > 1 the map sending an abelian variety to the set of Gauss images of its points of order 2n is an embedding into an appropriate Grassmannian (note that for n = 1 we only got generic injectivity in [4]). We further d...

PURPOSE OF THE STUDY The objective of the study was to find out to what extent anatomical changes due to high osteotomy of the tibia affect knee function after total knee arthroplasty. MATERIAL Of the patients with knee osteoarthritis treated by cemented total PFC prostheses in 1995, two groups were selected. Group I consisted of 50 patients who had knee replacement without previous tibial os...

In this review, rather than present and discuss in detail the first results obtained by BeppoSAX (see Boella et al. 1997 for an overall description of the mission) on Seyfert galaxies (these results are presented in detail elsewhere in this volume, see in particular the contributions by Perola, Comastri and Salvati), I will discuss current ideas on the X–ray emission of both type 1 and 2 object...

In this paper we describe block algorithms for the reduction of a real symmetric matrix to tridiagonal form and for the reduction of a general real matrix to either bidiagonal or Hessenberg form using Householder transformations. The approach is to aggregate the transformations and to apply them in a blocked fashion, thus achieving algorithms that are rich in matrix-matrix operations. These red...