153 research outputs found
Organic carbon release by phytoplankton and bacterial reassimilation
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
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
EP-1796: Definition of thresholds to detect anatomy changes using Delivery Analysis software for Tomotherapy
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
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
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
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
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
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
Reference conditions and WFD compliant class boundaries for phytoplankton biomass and chlorophyll-a in Alpine lakes
Controlled Term Rewriting
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
- âŠ