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...

It has been suggested that recurrent dislocation, subluxation, and functional instability due to patellofemoral pain are experienced by 30% to 60% of patients with post-traumatic patella instability who are managed with non-surgical methods [1-3]. Recently, the medial patellofemoral ligament (MPFL) has been recognized as the most important ligamentous stabilizer for preventing lateral dislocati...

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...

Component wear after total knee arthroplasty (TKA) with extruded metallosis in the extra-articular tissue of the calf secondary to a periprosthetic fracture is a rare complication. A 77-year-old man with a failed Insall-Burstein II TKA prosthesis presented with calf cellulitis after a fall. Radiologic evaluation revealed severe osteolysis and loosening of prosthetic components and an intramuscu...

We describe a method of audit of a type of total knee replacement, including some details of the organisational difficulties of administering multicentre studies, and draw attention to how this can be done using industrial funding without prejudicing the study. This is a prospective record of 1439 patients who had an Insall-Burstein II (IBII) prosthesis implanted between 1990 and 1994. The data...

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...

High tibial osteotomy (HTO) has traditionally been performed to correct the mechanical axis of the knee in patients with osteoarthritis (OA) of the medial compartment associated with pain and functional impairment; in these patients the restoration of the alignment was related to the regeneration of the articular cartilage that seemed apparently normal (Fujisawa et al., 1979; Odenbring et al., ...

The Dictyostelium MAP kinase ERK2 is activated by extracellular cAMP in aggregation-competent cells and is required for receptor activation of adenylyl cyclase (Maeda, M., Aubry, L., Insall, R., Gaskins, C., Devreotes, P. N., and Firtel, R. A. (1996) J. Biol. Chem. 271, 3351-3354; Segall, J., Kuspa, A., Shaulsky, G., Ecke, M., Maeda, M., Gaskins, C., Firtel, R., and Loomis, W. (1995) J. Cell Bi...

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 ...