In this paper we define Martin-Löf complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-Löf type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-trunca...

Martin Matzuk, director of the Center for Drug Discovery at Baylor College of Medicine, recalls a childhood visit to the New Jersey office of orthopedic surgeon Joseph Lepree. “I was always impressed at how full his waiting room was and the time that he spent examining me and speaking with my father,” says Matzuk. “On one visit, he askedmewhat I wanted to bewhen I grew up, and I said, ‘a doctor...

A hierarchy of weak variants of Martin’s Axiom is extended and shown to be strict.

martin kirschner (1879-1942), versatile german surgeon who had his scientific research and academic interests addressed topics which are covered by several specialities such as general surgery, orthopaedic surgery, neurosurgery, anesthesiology and plastic surgery. he also was the editor of five medical journals and autjor of 249 articles and eight textbooks. his greatest and lasting contributio...

THE baneful influence of rheumatic processes oni cardiac functioni has always been recognize(l as of paramount importance. Cardiac pathology is intimately concerned with the group of disease maniifestationis labelled 'acute rheumatism' or 'rheumatic fever.' It is anl old observationi that the more clhronic varieties of rheumatism, comprising the groups of osteo-arthritis, chronic rheumatoid art...

We investigate the structure of Kubo — Martin — Schwinger (KMS) states on some extension of the universal enveloping algebra of SL(2, C). We find that there exists a one-to-one correspondence between the set of all covariant KMS states on this algebra and the set of all probability measures dµ on the real half-line [0, +∞), which decrease faster than any inverse polynomial. This problem is conn...

In this study an attempt is made to create a Virtual Agent (VA) designed to exercise control in the opponent’s behavior by interaction with its human opponent in order to influence the outcome of a game. The goal is to create an artificial player succeeding to influence its human opponent in a game with no optimal strategy, one which is based around the (iterated) prisoner’s dilemma.

Address correspondence to: Rafael F. Martín-García, MD, Department of Dermatology, University of Puerto Rico Medical Sciences Campus, PO BOX 365067, San Juan, PR 00936-5067. Email: [email protected] Dissecting cellulitis of the scalp (Dcs) is an uncommon inflammatory disease that often results in scarring alopecia. Numerous therapies have either proved ineffective or only temporarily effe...