Stabilisation progressive

International audienceCet article est un résumé étendu de (Altisen et al., Euro-Par 2016) dans lequel nous nous intéressons à des réseaux pouvant subir des changements topologiques transitoires. Nous proposons une nouvelle spécialisation de l'autostabilisation adaptée à ce type de réseau : la stabilisation progressive. Un algorithme est progressivement stabilisant sous hypothèse de (τ, ρ)-dynamicité s'il est autostabilisant et satisfait la propriété supplémentaire suivante : après au plus τ pas dynamiques vérifiant la condition ρ et se produisant à partir d'une configuration légitime, l'algorithme converge rapidement vers une configuration où une spécification plus faible est satisfaite ; puis il continue à converger progressivement vers des configurations où des spécifications de plus en plus fortes sont vérifiées, et ce, jusqu'à retrouver une configuration légitime vérifiant la spécification initiale du problème. Nous illustrons cette nouvelle propriété en proposant un algorithme progressivement stabilisant de synchronisation d'horloges

Stabilisation progressive

International audienceCet article est un résumé étendu de (Altisen et al., Euro-Par 2016) dans lequel nous nous intéressons à des réseaux pouvant subir des changements topologiques transitoires. Nous proposons une nouvelle spécialisation de l'autostabilisation adaptée à ce type de réseau : la stabilisation progressive. Un algorithme est progressivement stabilisant sous hypothèse de (τ, ρ)-dynamicité s'il est autostabilisant et satisfait la propriété supplémentaire suivante : après au plus τ pas dynamiques vérifiant la condition ρ et se produisant à partir d'une configuration légitime, l'algorithme converge rapidement vers une configuration où une spécification plus faible est satisfaite ; puis il continue à converger progressivement vers des configurations où des spécifications de plus en plus fortes sont vérifiées, et ce, jusqu'à retrouver une configuration légitime vérifiant la spécification initiale du problème. Nous illustrons cette nouvelle propriété en proposant un algorithme progressivement stabilisant de synchronisation d'horloges

Élection Autostabilisante dans les Réseaux à Haute Dynamicité

National audienceNous nous intéressons à la conception d'algorithmes autostabilisants pour des réseaux identifiés hautement dynamiques. Précisément, nous considérons le problème de l'élection dans trois classes de graphes dynamiques (TVG) : la classe T C B (∆) des TVG de diamètre temporel borné par ∆, la classe TCQ (∆) des TVG de diamètre temporel quasiment borné par ∆ et la classe TCR des TVG à connectivité temporelle récurrente. Nous montrons qu'en dépit des identités, dans les classes TCQ (∆) et TCR, tout algorithme autostabilisant d'élection nécessite la connaissance exacte du nombre de processus. Puis nous proposons trois algorithmes d'élection. Le premier, pour la classe TCB(∆), stabilise en au plus 3∆ rondes. Dans TCQ(∆) et TCR, le temps de stabilisation d'un algorithme autostabilisant d'élection ne peut pas être borné. Cependant, nous montrons que nos deux solutions sont spéculatives, c'est-à-dire qu'elles ont de bonnes performances dans des cas favorables ; en effet, elles stabilisent en O(∆) rondes lorsque l'on se restreint à la classe TCB(∆)

Detecting and Characterizing Particulate Organic Nitrates with an Aerodyne Long-ToF Aerosol Mass Spectrometer

Particulate organic nitrate (pON) can be a major part of secondary organic aerosol (SOA) and is commonly quantified by indirect means from aerosol mass spectrometer (AMS) data. However, pON quantification remains challenging. Here, we set out to quantify and characterize pON in the boreal forest, through direct field observations at Station for Measuring Ecosystem Atmosphere Relationships (SMEAR) II in Hyytia''la'', Finland, and targeted single precursor laboratory studies. We utilized a long time-of-flight AMS (LToF-AMS) for aerosol chemical characterization, with a particular focus to identify CxHyOzN+ ("CHON+") fragments. We estimate that during springtime at SMEAR II, pON (including both the organic and nitrate part) accounts for similar to 10% of the particle mass concentration (calculated by the NO+/NO2+ method) and originates mainly from the NO3 radical oxidation of biogenic volatile organic compounds. The majority of the background nitrate aerosol measured is organic. The CHON+ fragment analysis was largely unsuccessful at SMEAR II, mainly due to low concentrations of the few detected fragments. However, our findings may be useful at other sites as we identified 80 unique CHON+ fragments from the laboratory measurements of SOA formed from NO3 radical oxidation of three pON precursors (beta-pinene, limonene, and guaiacol). Finally, we noted a significant effect on ion identification during the LToF-AMS high-resolution data processing, resulting in too many ions being fit, depending on whether tungsten ions (W+) were used in the peak width determination. Although this phenomenon may be instrument-specific, we encourage all (LTOF-) AMS users to investigate this effect on their instrument to reduce the possibility of incorrect identifications.Peer reviewe

Hypervulnerability to Sound Exposure through Impaired Adaptive Proliferation of Peroxisomes

A deficiency in pejvakin, a protein of unknown function, causes a strikingly heterogeneous form of human deafness. Pejvakin-deficient (Pjvk(-/-)) mice also exhibit variable auditory phenotypes. Correlation between their hearing thresholds and the number of pups per cage suggest a possible harmful effect of pup vocalizations. Direct sound or electrical stimulation show that the cochlear sensory hair cells and auditory pathway neurons of Pjvk(-/-) mice and patients are exceptionally vulnerable to sound. Subcellular analysis revealed that pejvakin is associated with peroxisomes and required for their oxidative-stress-induced proliferation. Pjvk(-/-) cochleas display features of marked oxidative stress and impaired antioxidant defenses, and peroxisomes in Pjvk(-/-) hair cells show structural abnormalities after the onset of hearing. Noise exposure rapidly upregulates Pjvk cochlear transcription in wild-type mice and triggers peroxisome proliferation in hair cells and primary auditory neurons. Our results reveal that the antioxidant activity of peroxisomes protects the auditory system against noise-induced damage

Famílies botàniques de plantes medicinals

Facultat de Farmàcia, Universitat de Barcelona. Ensenyament: Grau de Farmàcia, Assignatura: Botànica Farmacèutica, Curs: 2013-2014, Coordinadors: Joan Simon, Cèsar Blanché i Maria Bosch.Els materials que aquí es presenten són els recull de 175 treballs d’una família botànica d’interès medicinal realitzats de manera individual. Els treballs han estat realitzat per la totalitat dels estudiants dels grups M-2 i M-3 de l’assignatura Botànica Farmacèutica durant els mesos d’abril i maig del curs 2013-14. Tots els treballs s’han dut a terme a través de la plataforma de GoogleDocs i han estat tutoritzats pel professor de l’assignatura i revisats i finalment co-avaluats entre els propis estudiants. L’objectiu principal de l’activitat ha estat fomentar l’aprenentatge autònom i col·laboratiu en Botànica farmacèutica

Platine sur silice (exemples réussis de synthèse par voie organométallique pour la catalyse hétérogène)

Chimie organométallique résonne avec catalyse homogène, et chimie des surfaces avec catalyse hétérogène. Mais la frontière établie entre ces deux domaines est en réalité très mince. Leur rapprochement aboutit dans les années 1990 au développement d une nouvelle science : la chimie organométallique de surface, qui souligne leur complémentarité. L objectif de cette science, dans laquelle s inscrit ce travail de thèse, est de créer des catalyseurs hétérogènes à partir de composés organométalliques. Notre objectif est d apporter une contribution à la compréhension de la formation de nanoparticules de platine - métal incontournable en catalyse hétérogène - sur des supports de silice amorphe, et ce grâce à la chimie organométallique. Au cours de ce travail, une palette de catalyseurs Pt/SiO2 a été préparée à partir de trois précurseurs de platine : le composé classique H2PtIVCl6.xH2O et deux composés organométalliques PtII( 4-C8H12)Cl2 et Pt0( 2-C7H10)3 , et de trois supports : une silice commerciale (Davison), une silice mésoporeuse SBA-15 synthétisée au laboratoire et unesilice naturelle, la diatomite. De plus, l étude du catalyseur de référence au platine EuroPt-1 a permis de développer une méthodologie de suivi operando par Spectroscopie Infrarouge à Transformée de Fourier par Réflexion Diffuse (DRIFTS) de l adsorption du monoxyde de carbone (CO) sur les différents sites d une nanoparticule de platine. En conclusion, les catalyseurs préparés à partir de Pt0( 2-C7H10)3 s avèrent être plus actifs qu EuroPt-1 pour la réaction d oxydation du CO, ce qui démontre le potentiel d utilisation des composés organométalliques dans le domaine de la catalyse hétérogène.Organometallic chemistry resonates with homogeneous catalysis, and surface chemistry with heterogeneous catalysis. But the frontier between these two fields is very thin. In the 90 s, these fields approached each other and led to the development of a new science: organometallic surface chemistry, which underlines their complementarity. The goal of this science, with which this work is associated, is to create heterogeneous catalysts from organometallic compounds. Our goal is to contribute to the understanding of platinum nanoparticle formation - platinum being an important metal in heterogeneous catalysis - onto amorphous silica supports, thanks to organometallic chemistry. During this work, various Pt/SiO2 catalysts were prepared fromthree platinum precursors: the classical one, H2PtIVCl6.xH2O and two organometallic compounds PtII( 4-C8H12)Cl2 et Pt0( 2-C7H10)3, and involved three supports: a commercial silica (Davison), a mesoporous silica SBA-15 synthesized in the laboratory, and a natural silica, the diatomite. Moreover, the study of the standard platinum reference catalyst EuroPt-1 lead to the development of a methodology of operando Diffuse Reflectance Infrared Fourier Transform Spectroscopy (DRIFTS) of carbon monoxide (CO) adsorption on the different sites of a platinum nanoparticle. Catalysts prepared from Pt0( 2-C7H10)3 are more active than EuroPt-1 for the CO oxidation reaction, and this work shows the potential of organometallic precursors in the domain of heterogeneous catalysis.STRASBOURG-Bib.electronique 063 (674829902) / SudocSudocFranceF

Thérapie génique des surdités humaines

Durant les vingt dernières années, des progrès considérables ont été accomplis dans la compréhension de la pathogénie des diverses formes de surdités, congénitales ou acquises. L’identification de gènes responsables de surdité chez l’homme, l’ingénierie et la caractérisation fonctionnelle de modèles murins de certaines formes de surdité humaine ont également fait progresser la physiologie moléculaire des cellules sensorielles auditives. Ces avancées ont ouvert la voie au développement de nouvelles stratégies thérapeutiques, alternatives aux prothèses conventionnelles (amplificateurs du son) ou aux implants cochléaires permettant d’améliorer la fonction auditive. Dans cette revue, nous présentons d’abord les progrès accomplis sur le chemin de la thérapie génique des surdités au cours de la dernière décennie. Nous discutons ensuite le potentiel de la thérapie génique pour traiter les surdités acquises ou héréditaires, ainsi que les principaux obstacles qui doivent être surmontés avant qu’une application clinique puisse être envisagée

Stabilisation progressive

International audienceCet article est un résumé étendu de (Altisen et al., Euro-Par 2016) dans lequel nous nous intéressons à des réseaux pouvant subir des changements topologiques transitoires. Nous proposons une nouvelle spécialisation de l'autostabilisation adaptée à ce type de réseau : la stabilisation progressive. Un algorithme est progressivement stabilisant sous hypothèse de (τ, ρ)-dynamicité s'il est autostabilisant et satisfait la propriété supplémentaire suivante : après au plus τ pas dynamiques vérifiant la condition ρ et se produisant à partir d'une configuration légitime, l'algorithme converge rapidement vers une configuration où une spécification plus faible est satisfaite ; puis il continue à converger progressivement vers des configurations où des spécifications de plus en plus fortes sont vérifiées, et ce, jusqu'à retrouver une configuration légitime vérifiant la spécification initiale du problème. Nous illustrons cette nouvelle propriété en proposant un algorithme progressivement stabilisant de synchronisation d'horloges

Gradual stabilization

International audienc