Using active learning for monitoring networks design: The example of wind power plants sites evaluation

Locating new wind farms is of crucial importance for energy policies of the next decade. To select the new location, an accurate picture of the wind fields is necessary. However, characterizing wind fields is a difficult task, since the phenomenon is highly nonlinear and related to complex topographical features. In this paper, we propose both a nonparametric model to estimate wind speed at different time instants and a procedure to discover underrepresented topographic conditions, where new measuring stations could be added. Compared to space filling techniques, this last approach privileges optimization of the output space, thus locating new potential measuring sites through the uncertainty of the model itself.

Pregnancy Outcome Following Maternal Exposure To Statins: A Multicenter Prospective Study

Introduction: Statin use for the treatment of hypercholesterolemia in women of childbearing age is increasingly common. However, published data on pregnancy outcome after exposure to statins are scarce and conflicting. This contribution addresses the safety of exposure to statins during pregnancy.Method: In a multi-center (n = 11) observational, prospective study we compared the outcomes of 249 women exposed during the 1st trimester of pregnancy to simvastatin (n = 124), atorvastatin (n = 67), pravastatin (n = 32), rosuvastatin (n = 18), fluvastatin (n = 7) or cerivastatin (n = 1) with a control group exposed to agents known to be non-teratogenic (n = 249). The data were collected by members of the European Network of Teratology Information Services (ENTIS) during individual risk counseling between 1990 and 2009. Standardized procedures for data collection were used in each center.Results: The difference in the rate of major birth defects between the statin-exposed group and the control group was not statistically significant (4.0% vs. 2.7% OR 1.5; 95% CI 0.5-4.5, P = 0.44). The crude rate of spontaneous abortions (12.8% vs. 7.1%, OR 1.9, 95% CI 1.0-3.6, P = 0.04) was higher in the exposed group. However, after adjustment to maternal age and gestational age at initial contact, the difference became statistically insignificant. The rate of elective pregnancy-termination (8.8% vs. 4.4%, P = 0.05) was higher and the rate of deliveries resulting in live births was significantly lower in the statin exposed group (77.9% vs. 88.4%, P = 0.002). Prematurity was more frequent in exposed pregnancies (16.1% vs. 8.5%; OR 2.1, 95% CI 1.1-3.8, P = 0.02). Nonetheless, gestational age at birth (median 39 weeks, IQR 37-40 vs. 39 weeks, IQR 38-40, P = 0.27) and birth weight (median 3280 g, IQR 2835-3590 vs. 3250 g, IQR 2880-3600, P = 0.95) did not differ between exposed and non-exposed pregnancies.Conclusion: This study did not detect a clear teratogenic effect of statins. Its statistical power however is not sufficient to reverse the recommendation of treatment discontinuation during pregnancy. At most, the results are reassuring in case of inadvertent exposure.

Versatile gene-specific sequence tags for Arabidopsis functional genomics: transcript profiling and reverse genetics applications.

Microarray transcript profiling and RNA interference are two new technologies crucial for large-scale gene function studies in multicellular eukaryotes. Both rely on sequence-specific hybridization between complementary nucleic acid strands, inciting us to create a collection of gene-specific sequence tags (GSTs) representing at least 21,500 Arabidopsis genes and which are compatible with both approaches. The GSTs were carefully selected to ensure that each of them shared no significant similarity with any other region in the Arabidopsis genome. They were synthesized by PCR amplification from genomic DNA. Spotted microarrays fabricated from the GSTs show good dynamic range, specificity, and sensitivity in transcript profiling experiments. The GSTs have also been transferred to bacterial plasmid vectors via recombinational cloning protocols. These cloned GSTs constitute the ideal starting point for a variety of functional approaches, including reverse genetics. We have subcloned GSTs on a large scale into vectors designed for gene silencing in plant cells. We show that in planta expression of GST hairpin RNA results in the expected phenotypes in silenced Arabidopsis lines. These versatile GST resources provide novel and powerful tools for functional genomics.

Reverse-transcriptase-associated RNaseH activity mediates template switching during reverse transcription in vitro.

During the first steps of reverse transcription of the retroviral genome, sequences present at the extremities of the RNA are used to reconstitute a host cell PolII promoter. The assembly of the promoter occurs by template switching, which takes advantage of a direct repeat at the ends of the RNA molecule. These steps are catalysed by the viral reverse transcriptase, which carries an intrinsic RNaseH activity that is probably also involved therein. To study the role of the RNaseH activity in this first template-switching event, an in vitro system has been developed based on primer extensions of synthetic RNAs. When an RNA was reverse transcribed with wild-type reverse transcriptase in the presence of a second RNA the 3' part of which was repeated at the 5' end of the first one, extension products could be observed corresponding to a chimeric cDNA comprising both RNA species. This template switching could not be detected when a mutant reverse transcriptase lacking the RNaseH activity was used. The results show that the RNaseH activity is needed to remove the 5' RNA sequences from the cDNA:RNA hybrid thereby enabling its translocation to another RNA containing an appropriate complementary target sequence.

Individual contributions of mutant protease and reverse transcriptase to viral infectivity, replication, and protein maturation of antiretroviral drug-resistant human immunodeficiency virus type 1.

Human immunodeficiency virus type 1 (HIV-1) variants resistant to protease (PR) and reverse transcriptase (RT) inhibitors may display impaired infectivity and replication capacity. The individual contributions of mutated HIV-1 PR and RT to infectivity, replication, RT activity, and protein maturation (herein referred to as "fitness") in recombinant viruses were investigated by separately cloning PR, RT, and PR-RT cassettes from drug-resistant mutant viral isolates into the wild-type NL4-3 background. Both mutant PR and RT contributed to measurable deficits in fitness of viral constructs. In peripheral blood mononuclear cells, replication rates (means +/- standard deviations) of RT recombinants were 72.5% +/- 27.3% and replication rates of PR recombinants were 60.5% +/- 33.6% of the rates of NL4-3. PR mutant deficits were enhanced in CEM T cells, with relative replication rates of PR recombinants decreasing to 15.8% +/- 23.5% of NL4-3 replication rates. Cloning of the cognate RT improved fitness of some PR mutant clones. For a multidrug-resistant virus transmitted through sexual contact, RT constructs displayed a marked infectivity and replication deficit and diminished packaging of Pol proteins (RT content in virions diminished by 56.3% +/- 10.7%, and integrase content diminished by 23.3% +/- 18.4%), a novel mechanism for a decreased-fitness phenotype. Despite the identified impairment of recombinant clones, fitness of two of the three drug-resistant isolates was comparable to that of wild-type, susceptible viruses, suggestive of extensive compensation by genomic regions away from PR and RT. Only limited reversion of mutated positions to wild-type amino acids was observed for the native isolates over 100 viral replication cycles in the absence of drug selective pressure. These data underscore the complex relationship between PR and RT adaptive changes and viral evolution in antiretroviral drug-resistant HIV-1.

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.

Recruitment, retention and exit from union membership. An analysis of member flows in Swiss union locals

This article enquires into the causes of union growth and decline by analysing flows in and out of membership at the level of 70 Swiss union locals over 2006-2008. Gross flows in union membership are much larger than the resulting net changes: annual membership turnover of 10 per cent is a surprisingly constant feature across unions. Net changes in membership are primarily determined by inflows: successful and languishing union locals differ in their entry rates, whereas exit rates are similar. Variance in union locals' entry rates is not usefully explained by the labour market context, but by differences in union strategy.