A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Rabies postexposure prophylaxis in routine practice in view of the new centers for disease control and prevention and world health organization recommendations.

Background. New recommendations for rabies postexposure prophylaxis (PEP) were published by the Centers for Disease Control and Prevention and the World Health Organization in 2010. In view of these new recommendations, we investigated the adequacy of rabies PEP among patients consulting our travel clinic. Methods. A retrospective analysis of the files of all patients who consulted for rabies PEP at the Travel Clinic of the University Hospital in Lausanne, Switzerland, between January 2005 and August 2011 was conducted. Results. A total of 110 patients who received rabies PEP were identified. The median age of the patients was 34 years (range, 2-79 years), and 53% were women. Ninety subjects were potentially exposed to rabies while travelling abroad. Shortcomings in the management of these patients were (1) late initiation of rabies PEP in travelers who waited to seek medical care until returning to Switzerland, (2) administration of human rabies immunoglobulin (HRIG) to only 7 of 50 travelers (14%) who sought care abroad and for whom HRIG was indicated, and (3) antibody levels <0.5 IU/mL in 6 of 90 patients (6.7%) after 4 doses of vaccine. Conclusions. Patients do not always receive optimal rabies PEP under real-life conditions. A significant proportion of patients did not develop adequate antibody levels after 4 doses of vaccine. These data indicate that the measurement of antibody levels on day 21 of the Essen PEP regimen is useful in order to verify an adequate immune response.

Radiolabeled chimeric anti-CEA monoclonal antibody compared with the original mouse monoclonal antibody for surgically treated colorectal carcinoma.

Biodistribution and tumor uptake of a chimeric human-mouse monoclonal antibody (MAb) and the original mouse MAb have been comparatively studied. METHODS: Eighteen patients with suspected colorectal cancer scheduled for surgery underwent immunoscintigraphy with 123I-labeled chimeric anti-CEA MAb. Iodine-125 and 131I trace-labeled chimeric and original mouse MAb were simultaneously injected for biodistribution studies. RESULTS: Similar serum kinetics and a low immunogenicity were observed for both antibodies. Mean binding capacity to CEA measured in PBS after radiolabeling was identical for both MAbs and it was slightly decreased when measured in serum 1-4 hr after injection. Radiochromatograms of patients sera showed immune complex formation related to the amount of circulating CEA. Postoperative ex vivo radioactivity counting in tissue samples revealed similar antibody distributions with notably similar antibody uptakes in tumors. High tumor uptakes (between 0.02 to 0.06% injected dose per g) were observed in 3 of 13 patients operated for primary or metastatic colorectal cancer. CONCLUSION: In this dual-label technique, the radioiodinated anti-CEA IgG4 chimeric MAb and the original mouse IgG1 MAb were shown to have very similar behavior in colorectal cancer patients.

Modernin arkeologian anti antiikintutkimukselle

Eeva-Maria Viitanen

Suomalaisen nuorisotutkimuksen anti yksissä kansissa

Hannu Välimäki

The inhibition of MAPK potentiates the anti-angiogenic efficacy of mTOR inhibitors.

The mammalian target of rapamycin (mTOR) which is part of two functionally distinct complexes, mTORC1 and mTORC2, plays an important role in vascular endothelial cells. Indeed, the inhibition of mTOR with an allosteric inhibitor such as rapamycin reduces the growth of endothelial cell in vitro and inhibits angiogenesis in vivo. Recent studies have shown that blocking mTOR results in the activation of other prosurvival signals such as Akt or MAPK which counteract the growth inhibitory properties of mTOR inhibitors. However, little is known about the interactions between mTOR and MAPK in endothelial cells and their relevance to angiogenesis. Here we found that blocking mTOR with ATP-competitive inhibitors of mTOR or with rapamycin induced the activation of the mitogen-activated protein kinase (MAPK) in endothelial cells. Downregulation of mTORC1 but not mTORC2 had similar effects showing that the inhibition of mTORC1 is responsible for the activation of MAPK. Treatment of endothelial cells with mTOR inhibitors in combination with MAPK inhibitors reduced endothelial cell survival, proliferation, migration and tube formation more significantly than either inhibition alone. Similarly, in a tumor xenograft model, the anti-angiogenic efficacy of mTOR inhibitors was enhanced by the pharmacological blockade of MAPK. Taken together these results show that blocking mTORC1 in endothelial cells activates MAPK and that a combined inhibition of MAPK and mTOR has additive anti-angiogenic effects. They also provide a rationale to target both mTOR and MAPK simultaneously in anti-angiogenic treatment.

A qui administrer le vaccin anti-pneumococcique? [We should received and pneumococcal immunization?]

Alors que l'immunisation active contre l'influenza semble être actuellement largement entrée dans la pratique médicale, force est de constater que c'est loin d'être le cas pour les infections à pneumocoque. La vaccination anti-pneumocoque. La vaccination anti-pneumococcique, qui est incluse dans les schémas d'immunisation de nombreux pays, ne fait actuellement pas l'objet de recommendations particulières en Suisse et son utilisation y reste marginale. Compte tenu du nombre élevé d'infections sévères et de décès potentiellement évitables, sa généralisation à tous les groupes à risque doit être encouragée. De plus, cette stratégie pourrait se révéler utile face à la progression inexorable de la proportion de souches résistantes à la pénicilline et aux autres microbes.

Anti-idiotypic monoclonal antibody AB3, reacting with the primary antigen (CEA), can localize in human colon-carcinoma xenografts as efficiently as AB1.

BALB/c mice were immunized with anti-idiotypic monoclonal (MAb) antibody (anti-Id or Ab2) directed against an AB1 MAb anti-carcinoembryonic (CEA) in order to obtain AB3 MAbs (anti-anti-Id). AB3 MAbs were shown to recognise the primary antigen (CEA) and one of them was tested extensively in vitro and in vivo. This AB3 MAb was shown to bind specifically to CEA on frozen sections of a human colon carcinoma by immunoperoxidase. Scatchard plot analyses showed that the affinity of this AB3 was of the same order of magnitude as the AB1. In vivo experiments, in nude mice bearing CEA-producing human colon-carcinoma xenografts showed that up to 30% of the intravenously injected dose of 125I-labelled AB3 were localized per gram of tumour tissue. Furthermore, calculation of the ratios of AB3 concentration in the tumour over those in normal organs such as lung, liver, kidney, spleen and bone gave relatively high values similar to results obtained with AB1. All together our results show that AB3 can localize as efficiently and specifically in the tumour as AB1, despite the fact that the mice from which it was derived were immunized with a mouse MAb (AB2) and had never been exposed to CEA.