A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Accreted fragments of the Late Cretaceous Caribbean-Colombian Plateau in Ecuador

The eastern part of the Western Cordillera of Ecuador includes fragments of an Early Cretaceous ( approximate to 123 Ma) oceanic plateau accreted around 85-80 Ma (San Juan unit). West of this unit and in fault contact with it, another oceanic plateau sequence (Guaranda unit) is marked by the occurrence of picrites, ankaramites, basalts, dolerites and shallow level gabbros. A comparable unit is also exposed in northwestern coastal Ecuador (Pedernales unit). Picrites have LREE-depleted patterns, high epsilonNd(i) and very low Pb isotopic ratios, suggesting that they were derived from an extremely depleted source. In contrast, the ankaramites and Mg-rich basalts are LREE-enriched and have radiogenic Pb isotopic compositions similar to the Galapagos HIMU component; their epsilonNd(i) are slightly lower than those of the picrites. Basalts, dolerites and gabbros differ from the picrites and ankaramites by flat rare earth element (REE) patterns and lower epsilonNd; their Pb isotopic compositions are intermediate between those of the picrites and ankaramites. The ankaramites, Mg-rich basalts, and picrites differ from the lavas from the San Juan-Multitud Unit by higher Pb ratios and lower epsilonNd(i). The Ecuadorian and Gorgona 88-86 Ma picrites are geochemically similar. The Ecuadorian ankaramites and Mg-rich basalts share with the 92-86 Ma Mg-rich basalts of the Caribbean-Colombian Oceanic Plateau (CCOP) similar trace element and Nd and Pb isotopic chemistry. This suggests that the Pedernales and Guaranda units belong to the Late Cretaceous CCOR The geochemical diversity of the Guaranda and Pedernales rocks illustrates the heterogeneity of the CCOP plume source and suggests a multi-stage model for the emplacement of these rocks. Stratigraphic and geological relations strongly suggest that the Guaranda unit was accreted in the late Maastrichtian (approximate to 68-65 Ma). (C) 2002 Elsevier Science B.V. All rights reserved.

Detection of live and antibiotic-killed bacteria by quantitative real-time PCR of specific fragments of ribosomal RNA

RÉSUMÉ Le but d'un traitement antimicrobien est d'éradiquer une infection bactérienne. Cependant, il est souvent difficile d'en évaluer rapidement l'efficacité en utilisant les techniques standard. L'estimation de la viabilité bactérienne par marqueurs moléculaires permettrait d'accélérer le processus. Ce travail étudie donc la possibilité d'utiliser le RNA ribosomal (rRNA) à cet effet. Des cultures de Streptococcus gordonii sensibles (parent Wt) et tolérants (mutant Tol 1) à l'action bactéricide de la pénicilline ont été exposées à différents antibiotiques. La survie bactérienne au cours du temps a été déterminée en comparant deux méthodes. La méthode de référence par compte viable a été comparée à une méthode moléculaire consistant à amplifier par PCR quantitative en temps réel une partie du génome bactérien. La cible choisie devait refléter la viabilité cellulaire et par conséquent être synthétisée de manière constitutive lors de la vie de la bactérie et être détruite rapidement lors de la mort cellulaire. Le choix s'est porté sur un fragment du gène 16S-rRNA. Ce travail a permis de valider ce choix en corrélant ce marqueur moléculaire à la viabilité bactérienne au cours d'un traitement antibiotique bactéricide. De manière attendue, les S. gordonii sensibles à la pénicilline ont perdu ≥ 4 log10 CFU/ml après 48 heures de traitement par pénicilline alors que le mutant tolérant Tol1 en a perdu ≥ 1 log10 CFU/ml. De manière intéressant, la quantité de marqueur a augmenté proportionnellement au compte viable durant la phase de croissance bactérienne. Après administration du traitement antibiotique, l'évolution du marqueur dépendait de la capacité de la bactérie à survivre à l'action de l'antibiotique. Stable lors du traitement des souches tolérantes, la quantité de marqueur détectée diminuait de manière proportionnelle au compte viable lors du traitement des souches sensibles. Cette corrélation s'est confirmée lors de l'utilisation d'autres antibiotiques bactéricides. En conclusion, l'amplification par PCR du RNA ribosomal 16S permet d'évaluer rapidement la viabilité bactérienne au cours d'un traitement antibiotique en évitant le recours à la mise en culture dont les résultats ne sont obtenus qu'après plus de 24 heures. Cette méthode offre donc au clinicien une évaluation rapide de l'efficacité du traitement, particulièrement dans les situations, comme le choc septique, où l'initiation sans délai d'un traitement efficace est une des conditions essentielles du succès thérapeutique. ABSTRACT Assessing bacterial viability by molecular markers might help accelerate the measurement of antibiotic-induced killing. This study investigated whether ribosomal RNA (rRNA) could be suitable for this purpose. Cultures of penicillin-susceptible and penicillin-tolerant (Tol1 mutant) Streptococcus gordonii were exposed to mechanistically different penicillin and levofloxacin. Bacterial survival was assessed by viable counts, and compared to quantitative real-time PCR amplification of either the 16S-rRNA genes (rDNA) or the 16S rRNA, following reverse transcription. Penicillin-susceptible S. gordonii lost ≥ 4 log10 CFU/ml of viability over 48 h of penicillin treatment. In comparison, the Toll mutant lost ≤ 1 log10 CFU/ml. Amplification of a 427-base fragment of 16S rDNA yielded amplicons that increased proportionally to viable counts during bacterial growth, but did not decrease during drug-induced killing. In contrast, the same 427-base fragment amplified from 16S rDNA paralleled both bacterial growth and drug-induced killing. It also differentiated between penicillin-induced killing of the parent and the Toll mutant (≥4 log10 CFU/ml and ≤1 lo10 CFU/ml, respectively), and detected killing by mechanistically unrelated levofloxacin. Since large fragments of polynucleotides might be degraded faster than smaller fragments the experiments were repeated by amplifying a 119-base region internal to the origina1 427-base fragment. The amount of 119-base amplicons increased proportionally to viability during growth, but remained stable during drug treatment. Thus, 16S rRNA was a marker of antibiotic-induced killing, but the size of the amplified fragment was critical to differentiate between live and dead bacteria.

Radiolabeled fragments of monoclonal antibodies against carcinoembryonic antigen for localization of human colon carcinoma grafted into nude mice.

Four monoclonal antibodies against carcinoembryonic antigen (CEA) have been selected from 32 hybrids that produce antibodies against this antigen, by the criteria of high affinity for CEA and low cross-reactivity with granulocyte glycoprotein(s). The specificity of tumor localization in vivo of the four MAb, and their F(ab')2 and Fab fragments was compared in nude mice bearing grafts of a serially transplanted, CEA-producing, human colon carcinoma. The distribution of radiolabeled MAb and their fragments after intravenous injection was analyzed by direct measurement of radioactivity in tumor and normal organs, as well as by whole-body scanning and by autoradiography of tumor sections. Paired labeling experiments, in which 131I-labeled antibody or fragments and 125I-labeled control IgG are injected simultaneously, were undertaken to determine the relative tumor uptakes of each labeled protein. The tumor antibody uptake divided by that of control IgG defines the specificity index of localization. Tumor antibody uptakes (as compared with the whole mouse), ranging between 7 and 15, and specificity indices ranging between 3.4 and 6.8, were obtained with the four intact MAb at day 4-5 after injection. With F(ab')2 fragments of the four MAb, at day 3, the tumor antibody uptakes ranged between 12 and 24 and the specificity indices between 5.3 and 8.2. With the Fab fragments prepared from the two most promising MAb, the antibody uptakes reached values of 34 and 82 at day 2-3 and the specificity indices were as high as 12 and 19. The scanning results paralleled those obtained by direct measurement of radioactivity. With intact MAb, tumor grafts of 0.5-1 g gave very contrasted positive scans 3 d after injection. Using MAb fragments, tumors of smaller size were detectable earlier. The best results were obtained with Fab fragments of MAb 35, which gave clear detections of tumors weighing only 0.1 g as early as 48 h after injection. Autoradiographs of tumor sections from mice injected with 125I-labeled MAb demonstrated that the radioactivity was localized in the tumor tissues and not in the stromal connective tissue of mouse origin. The highest radioactivity concentration was localized in areas known to contain CEA such as the pseudolumen of glands and the apical side of carcinoma cells. The penetration of radioactivity in the central part of tumor nodules and the pseudolumen appeared to be increased with the use of MAb fragments.

Different behaviour of mouse-human chimeric antibody F(ab')2 fragments of IgG1, IgG2 and IgG4 sub-class in vivo.

Mouse-human chimeric monoclonal antibodies (MAbs) of 3 different human IgG sub-classes directed against carcinoembryonic antigen (CEA) have been produced in SP-0 cells transfected with genomic chimeric DNA. F(ab')2 fragments were obtained by pepsin digestion of the purified chimeric MAbs of human IgG1, IgG2 and IgG4 sub-class and of parental mouse MAb IgG1. The 4 F(ab')2 fragments exhibit similar molecular weight by SDS-PAGE. They were labelled with 125I or 131I and high binding (80 to 87%) to purified unsolubilized CEA was observed. In vivo, double labelling experiments indicate that the longest biological half-life and the highest tumour-localization capacity is obtained with F(ab')2 from chimeric MAb of human IgG2 sub-class, whereas F(ab')2 from chimeric MAb IgG4 give very low values for these 2 parameters. F(ab')2 from chimeric MAb IgG1 and from parental mouse MAb yield intermediate results in vivo. Our findings should help to select the appropriate human IgG sub-class to produce chimeric or reshaped MAb F(ab')2 to be used for tumour detection by immunoscintigraphy and for radioimmunotherapy.

Detection of live and antibiotic-killed bacteria by quantitative real-time PCR of specific fragments of rRNA.

Assessing bacterial viability by molecular markers might help accelerate the measurement of antibiotic-induced killing. This study investigated whether rRNA could be suitable for this purpose. Cultures of penicillin-susceptible and penicillin-tolerant (Tol1 mutant) Streptococcus gordonii were exposed to mechanistically different penicillin and levofloxacin. Bacterial survival was assessed by viable counts and compared to quantitative real-time PCR amplification of either the 16S rRNA genes or the 16S rRNA, following reverse transcription. Penicillin-susceptible S. gordonii lost > or =4 log(10) CFU/ml of viability over 48 h of penicillin treatment. In comparison, the Tol1 mutant lost < or =1 log(10) CFU/ml. Amplification of a 427-bp fragment of 16S rRNA genes yielded amplicons that increased proportionally to viable counts during bacterial growth but did not decrease during drug-induced killing. In contrast, the same 427-bp fragment amplified from 16S rRNA paralleled both bacterial growth and drug-induced killing. It also differentiated between penicillin-induced killing of the parent and the Tol1 mutant (> or =4 log(10) CFU/ml and < or =1 log(10) CFU/ml, respectively) and detected killing by mechanistically unrelated levofloxacin. Since large fragments of polynucleotides might be degraded faster than smaller fragments, the experiments were repeated by amplifying a 119-bp region internal to the original 427-bp fragment. The amount of 119-bp amplicons increased proportionally to viability during growth but remained stable during drug treatment. Thus, 16S rRNA was a marker of antibiotic-induced killing, but the size of the amplified fragment was critical for differentiation between live and dead bacteria.

Immunogenicity of dimorphic and C-terminal fragments of Plasmodium falciparum MSP2 formulated with different adjuvants in mice.

BACKGROUND: Plasmodium falciparum MSP2 is a blood stage protein that is associated with protection against malaria. It was shown that the MSP2 dimorphic (D) and constant (C) regions were well recognized by immune human antibodies, and were characterized by major conserved epitopes in different endemic areas and age groups. These Abs recognized merozoite-derived proteins in WB and IFA. Here, the goal was to determine in mice the immunogenicity of the two allelic MSP2 D and C domains formulated with different adjuvants, for their possible use in future clinical studies. METHOD: Female A/J, C3H, and ICR mice were immunized subcutaneously 3 times at 3-week interval with a mixture of allelic and conserved MSP2 long synthetic peptides formulated with different adjuvants. One week after the third injection, sera from each group were obtained and stored at -20°C for subsequent testing. RESULTS: Both domains of the two MSP2 families are immunogenic and the fine specificity and intensity of the Ab responses are dependent on mouse strains and adjuvants. The major epitopes were restricted to the 20-mer peptide sequences comprising the last 8aa of D and first 12aa of C of the two allelic families and the first 20aa of the C region, this for most strains and adjuvants. Strong immune responses were associated with GLA-SE adjuvant and its combination with other TLR agonists (CpG or GDQ) compared to alhydrogel and Montanide. Further, the elicited Abs were also capable of recognizing Plasmodium-derived MSP2 and inhibiting parasite growth in ADCI. CONCLUSION: The data provide a valuable opportunity to evaluate in mice different adjuvant and antigen formulations of a candidate vaccine containing both MSP2 D and C fragments. The formulations with GLA-SE seem to be a promising option to be compared with the alhydrogel one in human clinical trials.

Use of limitations of radiolabeled anti-CEA antibodies and their fragments for photoscanning detection of human colorectal carcinomas.

Fifty-three patients with histologically proven carcinoma were injected with highly purified [131I]-labeled goat antibodies or fragments of antibodies against carcinoembryonic antigen (CEA). Each patient was tested by external photoscanning 4, 24, 36 and 48 h after injection. In 22 patients (16 of 38 injected with intact antibodies, 5 of 13 with F(ab')2 fragments and 1 of 2 with Fab' fragments), an increased concentration of 131I radioactivity corresponding to the previously known tumor location was detected by photoscanning 36-48 h after injection. Blood pool and secreted radioactivity was determined in all patients by injecting 15 min before scanning, [99mTc]-labeled normal serum albumin and free 99mTc04-. The computerized subtraction of 99mTc from 131I radioactivity enhanced the definition of tumor localization in the 22 positive patients. However, in spite of the computerized subtraction, interpretation of the scans remained doubtful for 12 patients and was entirely negative for 19 additional patients. In order to provide a more objective evaluation for the specificity of the tumor localization of antibodies, 14 patients scheduled for tumor resection were injected simultaneously with [131I]-labeled antibodies or fragments and with [125I]-labeled normal goat IgG or fragments. After surgery, the radioactivity of the two isotopes present either in tumor or adjacent normal tissues was measured in a dual channel scintillation counter. The results showed that the antibodies or their fragments were 2-4 times more concentrated in the tumor than in the normal tissues. In addition, it was shown that the injected antibodies formed immune complexes with circulating CEA and that the amount of immune complexes detectable in serum was roughly proportional to the level of circulating CEA.

Iodine-131-labeled MAb F(ab')2 fragments are more efficient and less toxic than intact anti-CEA antibodies in radioimmunotherapy of large human colon carcinoma grafted in nude mice.

During one week, beginning 18 days after transplantation, nude mice bearing human colon carcinoma ranging from 115 to 943 mm3 (mean 335 mm3) were treated by repeated intravenous injections of either iodine-131-(131I) labeled intact antibodies or 131I-labeled corresponding F(ab')2 fragments of a pool of four monoclonal antibodies (MAbs) directed against distinct epitopes of carcinoembryonic antigen (CEA). Complete tumor remission was observed in 8 of 10 mice after therapy with F(ab')2 and 6 of the animals survived 10 mo in good health. In contrast, after treatment with intact MAbs, tumors relapsed in 7 of 8 mice after remission periods of 1 to 3.5 mo despite the fact that body weight loss and depression of peripheral white blood cells, symptoms of radiation toxicity, and the calculated radiation doses for liver, spleen, bone, and blood were increased or equal in these animals as compared to mice treated with F(ab')2.

Penetration and binding of radiolabeled anti-carcinoembryonic antigen monoclonal antibodies and their antigen binding fragments in human colon multicellular tumor spheroids.

The binding and penetration of two 125I-labeled anti-carcinoembryonic antigen (CEA) monoclonal antibodies (MAb) and their F(ab')2 and Fab fragments were measured in multicellular spheroids of poorly (HT29) and moderately well differentiated (Co112) human colon adenocarcinomas which express different amounts of CEA. Spheroids cultured in vitro model tumor microenvironments where poor vascular supply may modulate antigen expression and accessibility. The two MAb studied, 202 and 35, were shown previously to react with different CEA epitopes and to have high affinities of 1.2 and 5.8 X 10(9) M-1, respectively. MAb 202 has also been shown to cross-react with antigens present on human granulocytes and normal epithelial cells from human lung and pancreas. Specific binding of intact MAb and fragments of both antibodies was demonstrated for both types of human colon carcinoma spheroids compared to mouse colon carcinoma (CL26) and mammary tumor (EMT6/Ro) spheroids. Total binding of MAb and fragments was greater (1.5- to 2.5-fold) after 4 h compared to 1 h of exposure; the amount of binding compared to control IgG1 was 5- to 30-fold greater after 1-h incubation and 15 to 200 times greater after 4 h. This binding was stable as demonstrated by short and long wash experiments at 37 degrees and 4 degrees C. The binding of F(ab')2 and Fab fragments of the anti-CEA MAb 35 to spheroids of human colon Co112 was almost 2-fold greater than that of the intact MAb. However, for MAb 202, the binding of intact MAb and F(ab')2 was greater than that of Fab fragments. In addition the binding of both intact and F(ab')2 fragments of MAb 202 was greater than that obtained with MAb 35. Specific binding of both antibodies to HT29 spheroids, which express less CEA, was decreased for MAb and fragments of both 202 and 35. Autoradiography and immunoperoxidase experiments were performed to determine the penetration of MAb and fragments after incubation with intact spheroids. Comparisons were made with labeled MAb directly applied to frozen sections of spheroids. F(ab')2 and Fab fragments of both antibodies were bound at the surface of intact spheroids and penetrated to eight to ten cells, but the intact MAb were localized mainly at the spheroid surface and the outer one to three cell layers. There was much less binding at the surfaces of HT29 compared to Co112 spheroids. An enzyme immunoassay using MAb 35 and 202 demonstrated that Co112 spheroids produced about 8-fold more CEA/mg of cell protein than did monolayer cultures.(ABSTRACT TRUNCATED AT 400 WORDS)

Petrography and geochemistry of accreted oceanic fragments below the Western Cordillera of Ecuador

The Western Cordillera of Ecuador consists of Cretaceous crustal fragments of oceanic plateaux and superimposed insular arcs, which were accreted to the northwestern South American margin during the Late Cretaceous and Paleocene. Slices of high-grade metabasites, ultramafic rocks, gabbros and basalts, unmetamorphosed radiolarian cherts and scarce garnet-bearing metasediments were randomly exhumed along Miocene to Recent transcurrent faults crosscutting the Western Cordillera. The basalts show geochemical characteristics of oceanic plateau basalts (flat REE patterns, La/Nb = 0.85). The gabbros differ from the basalts in having lower REE levels, positive Eu anomalies, and negative Nb and Ta anomalies; they are interpreted as resulting from arc magmatism. The amphibolites and banded amphibolites have major and trace element chemistry similar to that of oceanic plateau basalts (flat REE patterns, La/Nb = 0.86) or to cumulate gabbros. The granulite shares with oceanic plateaus similar trace element chemistry (flat REE patterns, La/Nb < 1) and epsilon(Ndi) values (+7.6). Continent-derived metasediments are depleted in heavy REE (La/Y = 4.8) and have a negative Eu anomaly. Foliated Iherzolites, melagabbronorites and pyroxenites consist of serpentinized olivine + cpx + opx +/- Ca-plagioclase. Lherzolites, melagabbronorites and pyroxenites are LREE depleted with positive Eu anomalies, while the harzburgite displays a U-shaped REE pattern. The trace element abundances of the ultramafic rocks are very low (0.1 to 1 times the chonctritic and primitive mantle values). The ultramafic rocks represent fragments of depleted mantle, deformed cpx-rich cumulate, and continental lithospheric mantle or mantle contaminated by subduction-fluid. Except the scarce quartz-rich metasediments, all these rocks likely represent remnants of accreted oceanic crustal fragments and associated depleted mantle. Since these samples were randomly sampled at depth by the fault, we propose that the Western Cordillera and its crustal root are mainly of oceanic nature.

Ablation of human colon carcinoma in nude mice by 131I-labeled monoclonal anti-carcinoembryonic antigen antibody F(ab')2 fragments.

Pooled F(ab')2 fragments of three MAbs against distinct epitopes of carcinoembryonic antigen (CEA) were used for radioimmunotherapy of nude mice bearing a subcutaneous human colon carcinoma xenograft. 9-10 d after transplantation when tumor nodules were in exponential growth, 36 mice were treated by intravenous injection of different amounts of 131I-labeled MAb F(ab')2. All 14 mice injected with a single dose of 2,200 (n = 10) or 2,800 microCi (n = 4) showed complete tumor remission. 8 of the 10 mice treated with 2,200 microCi survived in good health for 1 yr when they were killed and shown to be tumor free. Four of nine other mice treated with four fractionated doses of 400 microCi showed no tumor relapse for more than 9 mo. In contrast, all 15 mice injected with 1,600-3,000 microCi 131I-control IgG F(ab')2 showed tumor growth retardation of only 1-4 wk, and 15 of 16 mice injected with unlabeled anti-CEA MAb F(ab')2 showed unmodified tumor progression as compared with untreated mice. From tissue radioactivity distributions it was calculated that by an injection of 2,200 microCi 131I-MAb F(ab')2 a mean dose of 8,335 rad was selectively delivered to the tumor, while the tissue-absorbed radiation doses for the normal organs were: peripheral blood, 2,093; stomach, 1,668; kidney, 1,289; lung, 1,185; liver, 617; spleen, 501; small intestine, 427; large intestine, 367; bone, 337; and muscle, 198. These treatments were well tolerated since out of 19 mice with complete tumor remission only 4 required bone marrow transplantation and 17 were in good health for 6-12 mo of observation. The results demonstrate the selective destruction of established human colon carcinoma transplants by intravenous injection of either single or fractionated doses of 131I-MAb F(ab')2.

Contact metamorphism and emplacement of the western Adamello tonalite

The geodynamic forces acting in the Earth's interior manifest themselves in a variety of ways. Volcanoes are amongst the most impressive examples in this respect, but like with an iceberg, they only represent the tip of a more extensive system hidden underground. This system consists of a source region where melt forms and accumulates, feeder connections in which magma is transported towards the surface, and different reservoirs where it is stored before it eventually erupts to form a volcano. A magma represents a mixture of melt and crystals. The latter can be extracted from the source region, or form anywhere along the path towards their final crystallization place. They will retain information of the overall plumbing system. The host rocks of an intrusion, in contrast, provide information at the emplacement level. They record the effects of thermal and mechanical forces imposed by the magma. For a better understanding of the system, both parts - magmatic and metamorphic petrology - have to be integrated. I will demonstrate in my thesis that information from both is complementary. It is an iterative process, using constraints from one field to better constrain the other. Reading the history of the host rocks is not always straightforward. This is shown in chapter two, where a model for the formation of clustered garnets observed in the contact aureole is proposed. Fragments of garnets, older than the intrusive rocks are overgrown by garnet crystallizing due to the reheating during emplacement of the adjacent pluton. The formation of the clusters is therefore not a single event as generally assumed but the result of a two-stage process, namely the alteration of the old grains and the overgrowth and amalgamation of new garnet rims. This makes an important difference when applying petrological methods such as thermobarometry, geochronology or grain size distributions. The thermal conditions in the aureole are a strong function of the emplacement style of the pluton. therefore it is necessary to understand the pluton before drawing conclusions about its aureole. A study investigating the intrusive rocks by means of field, geochemical, geochronologi- cal and structural methods is presented in chapter three. This provided important information about the assembly of the intrusion, but also new insights on the nature of large, homogeneous plutons and the structure of the plumbing system in general. The incremental nature of the emplacement of the Western Adamello tonalité is documented, and the existence of an intermediate reservoir beneath homogeneous plutons is proposed. In chapter four it is demonstrated that information extracted from the host rock provides further constraints on the emplacement process of the intrusion. The temperatures obtain by combining field observations with phase petrology modeling are used together with thermal models to constrain the magmatic activity in the immediate intrusion. Instead of using the thermal models to control the petrology result, the inverse is done. The model parameters were changed until a match with the aureole temperatures was obtained. It is shown, that only a few combinations give a positive match and that temperature estimates from the aureole can constrain the frequency of ancient magmatic systems. In the fifth chapter, the Anisotropy of Magnetic Susceptibility of intrusive rocks is compared to 3D tomography. The obtained signal is a function of the shape and distribution of ferromagnetic grains, and is often used to infer flow directions of magma. It turns out that the signal is dominated by the shape of the magnetic crystals, and where they form tight clusters, also by their distribution. This is in good agreement with the predictions made in the theoretical and experimental literature. In the sixth chapter arguments for partial melting of host rock carbonates are presented. While at first very surprising, this is to be expected when considering the prior results from the intrusive study and experiments from the literature. Partial melting is documented by compelling microstructures, geochemical and structural data. The necessary conditions are far from extreme and this process might be more frequent than previously thought. The carbonate melt is highly mobile and can move along grain boundaries, infiltrating other rocks and ultimately alter the existing mineral assemblage. Finally, a mineralogical curiosity is presented in chapter seven. The mineral assemblage magne§site and calcite is in apparent equilibrium. It is well known that these two carbonates are not stable together in the system Ca0-Mg0-Fe0-C02. Indeed, magnesite and calcite should react to dolomite during metamorphism. The presented explanation for this '"forbidden" assemblage is, that a calcite melt infiltrated the magnesite bearing rock along grain boundaries and caused the peculiar microstructure. This is supported by isotopie disequilibrium between calcite and magnesite. A further implication of partially molten carbonates is, that the host rock drastically looses its strength so that its physical properties may be comparable to the ones of the intrusive rocks. This contrasting behavior of the host rock may ease the emplacement of the intrusion. We see that the circle closes and the iterative process of better constraining the emplacement could start again. - La Terre est en perpétuel mouvement et les forces tectoniques associées à ces mouvements se manifestent sous différentes formes. Les volcans en sont l'un des exemples les plus impressionnants, mais comme les icebergs, les laves émises en surfaces ne représentent que la pointe d'un vaste système caché dans les profondeurs. Ce système est constitué d'une région source, région où la roche source fond et produit le magma ; ce magma peut s'accumuler dans cette région source ou être transporté à travers différents conduits dans des réservoirs où le magma est stocké. Ce magma peut cristalliser in situ et produire des roches plutoniques ou alors être émis en surface. Un magma représente un mélange entre un liquide et des cristaux. Ces cristaux peuvent être extraits de la source ou se former tout au long du chemin jusqu'à l'endroit final de cristallisation. L'étude de ces cristaux peut ainsi donner des informations sur l'ensemble du système magmatique. Au contraire, les roches encaissantes fournissent des informations sur le niveau d'emplacement de l'intrusion. En effet ces roches enregistrent les effets thermiques et mécaniques imposés par le magma. Pour une meilleure compréhension du système, les deux parties, magmatique et métamorphique, doivent être intégrées. Cette thèse a pour but de montrer que les informations issues de l'étude des roches magmatiques et des roches encaissantes sont complémentaires. C'est un processus itératif qui utilise les contraintes d'un domaine pour améliorer la compréhension de l'autre. Comprendre l'histoire des roches encaissantes n'est pas toujours aisé. Ceci est démontré dans le chapitre deux, où un modèle de formation des grenats observés sous forme d'agrégats dans l'auréole de contact est proposé. Des fragments de grenats plus vieux que les roches intru- sives montrent une zone de surcroissance générée par l'apport thermique produit par la mise en place du pluton adjacent. La formation des agrégats de grenats n'est donc pas le résultat d'un seul événement, comme on le décrit habituellement, mais d'un processus en deux phases, soit l'altération de vieux grains engendrant une fracturation de ces grenats, puis la formation de zone de surcroissance autour de ces différents fragments expliquant la texture en agrégats observée. Cette interprétation en deux phases est importante, car elle engendre des différences notables lorsque l'on applique des méthodes pétrologiques comme la thermobarométrie, la géochronologie ou encore lorsque l'on étudie la distribution relative de la taille des grains. Les conditions thermales dans l'auréole de contact dépendent fortement du mode d'emplacement de l'intrusion et c'est pourquoi il est nécessaire de d'abord comprendre le pluton avant de faire des conclusions sur son auréole de contact. Une étude de terrain des roches intrusives ainsi qu'une étude géochimique, géochronologique et structurale est présente dans le troisième chapitre. Cette étude apporte des informations importantes sur la formation de l'intrusion mais également de nouvelles connaissances sur la nature de grands plutons homogènes et la structure de système magmatique en général. L'emplacement incrémental est mis en évidence et l'existence d'un réservoir intermédiaire en-dessous des plutons homogènes est proposé. Le quatrième chapitre de cette thèse illustre comment utiliser l'information extraite des roches encaissantes pour expliquer la mise en place de l'intrusion. Les températures obtenues par la combinaison des observations de terrain et l'assemblage métamorphique sont utilisées avec des modèles thermiques pour contraindre l'activité magmatique au contact directe de cette auréole. Au lieu d'utiliser le modèle thermique pour vérifier le résultat pétrologique, une approche inverse a été choisie. Les paramètres du modèle ont été changés jusqu'à ce qu'on obtienne une correspondance avec les températures observées dans l'auréole de contact. Ceci montre qu'il y a peu de combinaison qui peuvent expliquer les températures et qu'on peut contraindre la fréquence de l'activité magmatique d'un ancien système magmatique de cette manière. Dans le cinquième chapitre, les processus contrôlant l'anisotropie de la susceptibilité magnétique des roches intrusives sont expliqués à l'aide d'images de la distribution des minéraux dans les roches obtenues par tomographie 3D. Le signal associé à l'anisotropie de la susceptibilité magnétique est une fonction de la forme et de la distribution des grains ferromagnétiques. Ce signal est fréquemment utilisé pour déterminer la direction de mouvement d'un magma. En accord avec d'autres études de la littérature, les résultats montrent que le signal est dominé par la forme des cristaux magnétiques, ainsi que par la distribution des agglomérats de ces minéraux dans la roche. Dans le sixième chapitre, une étude associée à la fusion partielle de carbonates dans les roches encaissantes est présentée. Si la présence de liquides carbonatés dans les auréoles de contact a été proposée sur la base d'expériences de laboratoire, notre étude démontre clairement leur existence dans la nature. La fusion partielle est documentée par des microstructures caractéristiques pour la présence de liquides ainsi que par des données géochimiques et structurales. Les conditions nécessaires sont loin d'être extrêmes et ce processus pourrait être plus fréquent qu'attendu. Les liquides carbonatés sont très mobiles et peuvent circuler le long des limites de grain avant d'infiltrer d'autres roches en produisant une modification de leurs assemblages minéralogiques. Finalement, une curiosité minéralogique est présentée dans le chapitre sept. L'assemblage de minéraux de magnésite et de calcite en équilibre apparent est observé. Il est bien connu que ces deux carbonates ne sont pas stables ensemble dans le système CaO-MgO-FeO-CO.,. En effet, la magnésite et la calcite devraient réagir et produire de la dolomite pendant le métamorphisme. L'explication présentée pour cet assemblage à priori « interdit » est que un liquide carbonaté provenant des roches adjacentes infiltre cette roche et est responsable pour cette microstructure. Une autre implication associée à la présence de carbonates fondus est que la roche encaissante montre une diminution drastique de sa résistance et que les propriétés physiques de cette roche deviennent comparables à celles de la roche intrusive. Cette modification des propriétés rhéologiques des roches encaissantes peut faciliter la mise en place des roches intrusives. Ces différentes études démontrent bien le processus itératif utilisé et l'intérêt d'étudier aussi bien les roches intrusives que les roches encaissantes pour la compréhension des mécanismes de mise en place des magmas au sein de la croûte terrestre.