153 research outputs found

    Organic carbon release by phytoplankton and bacterial reassimilation

    Get PDF
    L'excrétion organique du carbone par le phytoplancton et sa réassimilation par les bactéries ont été étudiées sur le lac Léman. La Gentamyane a été utilisée comme inhibiteur de l'activité bactérienne tandis que des fractionnements par classes de tailles ont permis de distinguer les compartiments phyto et bactérioplanctoniques. Les performances de ces méthodes sont discutées. Le phytoplancton collecté à différentes périodes de l'année excrÚte moins de 20% de son carbone photoassimilé. La majeure partie (33 à 100%) de cette excrétion est réassimilée par les bactéries en une journée. Le protocole utilisé à permis d'accéder à une excrétion brute. (Résumé d'auteur

    Excrétion de carbone organique par le phytoplancton lémanique

    Get PDF
    L'excrétion du carbone organique dissous par le phytoplancton du lac Léman a été évaluée par la méthode du 14C entre mars et novembre 1984. Elle varie entre 0,01 et 0,5 mgC.m-3.h-1 et dépend en premier lieu de la vitesse d'assimilation photosynthétique. L'excrétion carbonée oscille généralement entre 2 et 5% de l'assimilation carbonée et n'excÚde qu'exceptionnellement 6%. Les valeurs sont sous-estimées par la réassimilation hétérotrophe. L'excrétion nocturne représente moins de 10% des pertes liées à la respiration. L'activité hétérotrophe évaluée par assimilation de glucose 14C présente des variations saisonniÚres parallÚlles à celles de l'excrétion phytoplanctonique. Elle ne suffit pas à réassimiler les produits d'excrétion du phytoplancton dans la couche trophogÚne (0-7,5 m). (Résumé d'auteur

    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

    Get PDF
    The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While ground transitions are used to recognize equivalence classes of terms, epsilon-transitions represent the rewriting relation between terms. From the completed automaton, it is possible to automatically build a Kripke structure abstracting the rewriting sequence. States of the Kripke structure are states of the tree automaton and the transition relation is given by the set of epsilon-transitions. States of the Kripke structure are labelled by the set of terms recognized using ground transitions. On this Kripke structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing properties. Such properties can then be checked using standard model checking algorithms. The only difference between LTL and R-LTL is that predicates are replaced by regular sets of acceptable terms

    Effects of proton versus photon irradiation on (lymph) angiogenic, inflammatory, proliferative and anti-tumor immune responses in head and neck squamous cell carcinoma

    Get PDF
    International audienceThe proximity of organs at risk makes the treatment of head and neck squamous cell carcinoma (HNSCC) challenging by standard radiotherapy. The higher precision in tumor targeting of proton (P) therapy could promote it as the treatment of choice for HNSCC. Besides the physical advantage in dose deposition, few is known about the biological impact of P versus photons (X) in this setting. To investigate the comparative biological effects of P versus X radiation in HNSCC cells, we assessed the relative biological effectiveness (RBE), viability, proliferation and mRNA levels for genes involved in (lymph)angiogenesis, inflammation, proliferation and anti-tumor immunity. These parameters, particularly VEGF-C protein levels and regulations, were documented in freshly irradiated and/or long-term surviving cells receiving low/high-dose, single (SI)/multiple (MI) irradiations with P/X. The RBE was found to be 1.1 Key (lymph)angiogenesis and inflammation genes were downregulated (except for vegf-c) after P and upregulated after X irradiation in MI surviving cells, demonstrating a more favorable profile after P irradiation. Both irradiation types stimulated vegf-c promoter activity in a NF-ÎșB-dependent transcriptional regulation manner, but at a lesser extent after P, as compared to X irradiation, which correlated with mRNA and protein levels. The cells surviving to MI by P or X generated tumors with higher volume, anarchic architecture and increased density of blood vessels. Increased lymphangiogenesis and a transcriptomic analysis in favor of a more aggressive phenotype were observed in tumors generated with X-irradiated cells. Increased detection of lymphatic vessels in relapsed tumors from patients receiving X radiotherapy was consistent with these findings. This study provides new data about the biological advantage of P, as compared to X irradiation. In addition to its physical advantage in dose deposition, P irradiation may help to improve treatment approaches for HNSCC

    Investigation of transition frequencies of two acoustically coupled bubbles using a direct numerical simulation technique

    Full text link
    The theoretical results regarding the ``transition frequencies'' of two acoustically interacting bubbles have been verified numerically. The theory provided by Ida [Phys. Lett. A 297 (2002) 210] predicted the existence of three transition frequencies per bubble, each of which has the phase difference of π/2\pi /2 between a bubble's pulsation and the external sound field, while previous theories predicted only two natural frequencies which cause such phase shifts. Namely, two of the three transition frequencies correspond to the natural frequencies, while the remaining does not. In a subsequent paper [M. Ida, Phys. Rev. E 67 (2003) 056617], it was shown theoretically that transition frequencies other than the natural frequencies may cause the sign reversal of the secondary Bjerknes force acting between pulsating bubbles. In the present study, we employ a direct numerical simulation technique that uses the compressible Navier-Stokes equations with a surface-tension term as the governing equations to investigate the transition frequencies of two coupled bubbles by observing their pulsation amplitudes and directions of translational motion, both of which change as the driving frequency changes. The numerical results reproduce the recent theoretical predictions, validating the existence of the transition frequencies not corresponding to the natural frequency.Comment: 18 pages, 8 figures, in pres

    Protective efficacy of a live attenuated vaccine against Argentine hemorrhagic fever. AHF Study Group

    Get PDF
    Fil: Maiztegui, Julio I. ANLIS Dr.C.G.MalbrĂĄn. Instituto Nacional de Enfermedades Virales Humanas; Argentina.Fil: McKee Jr, K. T. Womack Army Medical Center, Fort Bragg, North Carolina; Estados Unidos.Fil: Barrera Oro, J G. ANLIS Dr.C.G.MalbrĂĄn; Argentina.Fil: Harrison, L H. University of Pittsburgh Graduate School of Public Health,Pittsburgh, Pennsylvania; Estados Unidos.Fil: Gibbs, P H. Division of Disease Assessment, US Army Medical Research Institute of Infectious Diseases, Fort Detrick, Maryland 21701; Estados Unidos.Fil: Feuillade, MarĂ­a Rosa. ANLIS Dr.C.G.MalbrĂĄn. Instituto Nacional de Enfermedades Virales Humanas; Argentina.Fil: Enria, Delia. ANLIS Dr.C.G.MalbrĂĄn. Instituto Nacional de Enfermedades Virales Humanas; Argentina.Fil: Briggiler, Ana M. ANLIS Dr.C.G.MalbrĂĄn. Instituto Nacional de Enfermedades Virales Humanas; Argentina.Fil: Levis, Silvana. ANLIS Dr.C.G.MalbrĂĄn. Instituto Nacional de Enfermedades Virales Humanas; Argentina.Fil: Ambrosio, Ana MarĂ­a. ANLIS Dr.C.G.MalbrĂĄn. Instituto Nacional de Enfermedades Virales Humanas; Argentina.Fil: Halsey, N A. Department of International Health, Johns Hopkins Medical Institutions, Baltimore, Maryland; Estados Unidos.Fil: Peters, C J. Special Pathogens Branch, Centers for Disease Control, Atlanta, Georgia; Estados Unidos.Argentine hemorrhagic fever (AHF), caused by the arenavirus Junin, is a major public health problem among agricultural workers in Argentina. A prospective, randomized, double-blind, placebo-controlled, efficacy trial of Candid 1, a live attenuated Junin virus vaccine, was conducted over two consecutive epidemic seasons among 6500 male agricultural workers in the AHF-endemic region. Twenty-three men developed laboratory-confirmed AHF during the study; 22 received placebo and 1 received vaccine (vaccine efficacy 95%; 95% confidence interval [CI], 82%-99%). Three additional subjects in each group developed laboratory-confirmed Junin virus infection associated with mild illnesses that did not fulfill the clinical case definition for AHF, yielding a protective efficacy for prevention of any illness associated with Junin virus infection of 84% (95% CI, 60%-94%). No serious adverse events were attributed to vaccination. Candid 1, the first vaccine for the prevention of illness caused by an arenavirus, is safe and highly efficacious

    Controlled Term Rewriting

    Get PDF
    International audienceMotivated by the problem of verification of imperative tree transformation programs, we study the combination, called controlled term rewriting systems (CntTRS), of term rewriting rules with con- straints selecting the possible rewrite positions. These constraints are specified, for each rewrite rule, by a selection automaton which defines a set of positions in a term based on tree automata computations. We show that reachability is PSPACE-complete for so-called monotonic CntTRS, such that the size of every left-hand-side of every rewrite rule is larger or equal to the size of the corresponding right-hand-side, and also for the class of context-free non-collapsing CntTRS, which transform Context-Free (CF) tree language into CF tree languages. When allowing size-reducing rules, reachability becomes undecidable, even for flat CntTRS (both sides of rewrite rules are of depth at most one) when restricting to words (i.e. function symbols have arity at most one), and for ground CntTRS (rewrite rules have no variables). We also consider a restricted version of the control such that a position is selected if the sequence of symbols on the path from that position to the root of the tree belongs to a given regular language. This restriction enables decision results in the above cases
    • 

    corecore