Vectorial Languages and Linear Temporal Logic

International audienceDetermining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main difficulty is to do this computation efficiently, especially when dealing with very large texts. Considering words as vectors and working on them using vectorial (parallel) operations allows to solve the problem faster than in linear time using sequential computations. In this paper, we show first that the set of vectorial operations needed by an algorithm representing a given automaton depends only on the language accepted by the automaton. We give precise characterizations of vectorial algorithms for star-free, solvable and regular languages in terms of the vectorial operations allowed. We also consider classes of languages associated with restricted sets of vectorial operations and relate them with languages defined by fragments of linear temporal logic. Finally, we consider the converse problem of constructing an automaton from a given vectorial algorithm. As a byproduct, we show that the satisfiability problem for some extensions of linear-time temporal logic characterizing solvable and regular languages is PSPACE-complete

Doctors' learning habits: CME activities among Norwegian physicians over the last decade

<p>Abstract</p> <p>Background</p> <p>Coping with the increasing body of medical knowledge is a main challenge to all doctors. The aim of this study was to investigate self reported reading and learning habits among Norwegian doctors and their subjective ability to keep professionally updated.</p> <p>Methods</p> <p>A cross sectional survey among a randomised sample of Norwegian doctors was undertaken in 2004 (n = 1005, response rate 71%). A similar study with many identical questions was done in 1993 (n = 1041, response rate 71%) and a comparison of the results was made.</p> <p>Results</p> <p>Attending courses/congresses and reading medical literature were reported to be the most important sources of professional information in 2004, just like in 1993. Less time was spent on courses/congresses in 2004 than in 1993, and more time was spent on medical reading. The internet was regarded as useful for their professional life for three out of five, mostly among the younger and least among GPs.</p> <p>Two out of three doctors felt that they could obtain sufficient information for keeping updated in 2004, the same proportion as in 1993. A correlation was found between subjective coping with the information and a high level of continuing medical education (CME)-activities. The information copers had a higher level of job satisfaction than non-copers.</p> <p>Conclusion</p> <p>Over the last decade Norwegian doctors spend less time on attending courses/congresses and more time on medical reading, while the level of self perceived coping with information has been unchanged. The changing pattern of professional updating may reflect a more general individualistic trend in society. The consistent finding of a correlation between reading and attending courses, subjective coping and job satisfaction gives good reasons for recommending a high level of CME-activities among doctors.</p

The RR Lyrae Distance Scale

We review seven methods of measuring the absolute magnitude M_V of RR Lyrae stars in light of the Hipparcos mission and other recent developments. We focus on identifying possible systematic errors and rank the methods by relative immunity to such errors. For the three most robust methods, statistical parallax, trigonometric parallax, and cluster kinematics, we find M_V (at [Fe/H] = -1.6) of 0.77 +/- 0.13, 0.71 +/- 0.15, 0.67 +/- 0.10. These methods cluster consistently around 0.71 +/- 0.07. We find that Baade-Wesselink and theoretical models both yield a broad range of possible values (0.45-0.70 and 0.45-0.65) due to systematic uncertainties in the temperature scale and input physics. Main-sequence fitting gives a much brighter M_V = 0.45 +/- 0.04 but this may be due to a difference in the metallicity scales of the cluster giants and the calibrating subdwarfs. White-dwarf cooling-sequence fitting gives 0.67 +/- 0.13 and is potentially very robust, but at present is too new to be fully tested for systematics. If the three most robust methods are combined with Walker's mean measurement for 6 LMC clusters, V_{0,LMC} = 18.98 +/- 0.03 at [Fe/H] = -1.9, then mu_{LMC} = 18.33 +/- 0.08.Comment: Invited review article to appear in: `Post-Hipparcos Cosmic Candles', A. Heck & F. Caputo (Eds), Kluwer Academic Publ., Dordrecht, in press. 21 pages including 1 table; uses Kluwer's crckapb.sty LaTeX style file, enclose

PABPN1 gene therapy for oculopharyngeal muscular dystrophy

International audienceOculopharyngeal muscular dystrophy (OPMD) is an autosomal dominant, late-onset muscle disorder characterized by ptosis, swallowing difficulties, proximal limb weakness and nuclear aggregates in skeletal muscles. OPMD is caused by a trinucleotide repeat expansion in the PABPN1 gene that results in an N-terminal expanded polyalanine tract in polyA-binding protein nuclear 1 (PABPN1). Here we show that the treatment of a mouse model of OPMD with an adeno-associated virus-based gene therapy combining complete knockdown of endogenous PABPN1 and its replacement by a wild-type PABPN1 substantially reduces the amount of insoluble aggregates, decreases muscle fibrosis, reverts muscle strength to the level of healthy muscles and normalizes the muscle transcriptome. The efficacy of the combined treatment is further confirmed in cells derived from OPMD patients. These results pave the way towards a gene replacement approach for OPMD treatment

JWST/MIRI Data Reduction and Products

The Mid-Infrared Instrument (MIRI) is one of four science instruments to be flown aboard the James Webb Space Telescope (JWST). MIRI operates from 5 to 28.5 microns and provides a suite of versatile capabilities including imaging, low-resolution spectroscopy (LRS), medium-resolution spectroscopy (MRS) via an integral field unit, and coronagraphy. The MIRI pipeline consists of three stages: 1) Raw to Slope Images, 2) Calibrated Slope Images, and 3) Multiple Exposures Combined. The pipeline is designed to provide well-calibrated, high level data products that maximize the scientific return from the instrument

Targeting neonatal ischemic brain injury with a pentapeptide-based irreversible caspase inhibitor

Brain protection of the newborn remains a challenging priority and represents a totally unmet medical need. Pharmacological inhibition of caspases appears as a promising strategy for neuroprotection. In a translational perspective, we have developed a pentapeptide-based group II caspase inhibitor, TRP601/ORPHA133563, which reaches the brain, and inhibits caspases activation, mitochondrial release of cytochrome c, and apoptosis in vivo. Single administration of TRP601 protects newborn rodent brain against excitotoxicity, hypoxia–ischemia, and perinatal arterial stroke with a 6-h therapeutic time window, and has no adverse effects on physiological parameters. Safety pharmacology investigations, and toxicology studies in rodent and canine neonates, suggest that TRP601 is a lead compound for further drug development to treat ischemic brain damage in human newborns

Group B streptococcal carriage, serotype distribution and antibiotic susceptibilities in pregnant women at the time of delivery in a refugee population on the Thai-Myanmar border

<p>Abstract</p> <p>Background</p> <p>Group B Streptococcus (GBS) is the leading cause of neonatal sepsis in the developed world. Little is known about its epidemiology in the developing world, where the majority of deaths from neonatal infections occur. Maternal carriage of GBS is a prerequisite for the development of early onset GBS neonatal sepsis but there is a paucity of carriage data published from the developing world, in particular South East Asia.</p> <p>Methods</p> <p>We undertook a cross sectional study over a 13 month period in a remote South East Asian setting on the Thai-Myanmar border. During labour, 549 mothers had a combined vaginal rectal swab taken for GBS culture. All swabs underwent both conventional culture as well as PCR for GBS detection. Cultured GBS isolates were serotyped by latex agglutination, those that were negative or had a weak positive reaction and those that were PCR positive but culture negative were additionally tested using multiplex PCR based on the detection of GBS capsular polysaccharide genes.</p> <p>Results</p> <p>The GBS carriage rate was 12.0% (95% CI: 9.4-15.0), with 8.6% positive by both culture and PCR and an additional 3.5% positive by PCR alone. Serotypes, Ia, Ib, II, III, IV, V, VI and VII were identified, with II the predominant serotype. All GBS isolates were susceptible to penicillin, ceftriaxone and vancomycin and 43/47 (91.5%) were susceptible to erythromycin and clindamycin.</p> <p>Conclusions</p> <p>GBS carriage is not uncommon in pregnant women living on the Thai-Myanmar border with a large range of serotypes represented.</p

Structure of a bacterial type III secretion system in contact with a host membrane in situ

Many bacterial pathogens of animals and plants use a conserved type III secretion system (T3SS) to inject virulence effector proteins directly into eukaryotic cells to subvert host functions. Contact with host membranes is critical for T3SS activation, yet little is known about T3SS architecture in this state or the conformational changes that drive effector translocation. Here we use cryo-electron tomography and sub-tomogram averaging to derive the intact structure of the primordial Chlamydia trachomatis T3SS in the presence and absence of host membrane contact. Comparison of the averaged structures demonstrates a marked compaction of the basal body (4 nm) occurs when the needle tip contacts the host cell membrane. This compaction is coupled to a stabilization of the cytosolic sorting platform– ATPase. Our findings reveal the first structure of a bacterial T3SS from a major human pathogen engaged with a eukaryotic host, and reveal striking ‘pump-action’ conformational changes that underpin effector injection

A Latent Pro-survival Function for the Mir-290-295 Cluster in Mouse Embryonic Stem Cells

MicroRNAs (miRNAs) post-transcriptionally regulate the expression of thousands of distinct mRNAs. While some regulatory interactions help to maintain basal cellular functions, others are likely relevant in more specific settings, such as response to stress. Here we describe such a role for the mir-290-295 cluster, the dominant miRNA cluster in mouse embryonic stem cells (mESCs). Examination of a target list generated from bioinformatic prediction, as well as expression data following miRNA loss, revealed strong enrichment for apoptotic regulators, two of which we validated directly: Caspase 2, the most highly conserved mammalian caspase, and Ei24, a p53 transcriptional target. Consistent with these predictions, mESCs lacking miRNAs were more likely to initiate apoptosis following genotoxic exposure to gamma irradiation or doxorubicin. Knockdown of either candidate partially rescued this pro-apoptotic phenotype, as did transfection of members of the mir-290-295 cluster. These findings were recapitulated in a specific mir-290-295 deletion line, confirming that they reflect miRNA functions at physiological levels. In contrast to the basal regulatory roles previously identified, the pro-survival phenotype shown here may be most relevant to stressful gestations, where pro-oxidant metabolic states induce DNA damage. Similarly, this cluster may mediate chemotherapeutic resistance in a neoplastic context, making it a useful clinical target.National Institutes of Health (U.S.) (NIH grant RO1-GM34277)National Cancer Institute (U.S.) (NCI grant PO1-CA42063)National Cancer Institute (U.S.) (NCI Cancer Center Support (core) grant P30-CA14051

Establishment, molecular and biological characterization of HCB-514: a novel human cervical cancer cell line

Cervical cancer is the fourth most common cancer in women. Although cure rates are high for early stage disease, clinical outcomes for advanced, metastatic, or recurrent disease remain poor. To change this panorama, a deeper understanding of cervical cancer biology and novel study models are needed. Immortalized human cancer cell lines such as HeLa constitute crucial scientific tools, but there are few other cervical cancer cell lines available, limiting our understanding of a disease known for its molecular heterogeneity. This study aimed to establish novel cervical cancer cell lines derived from Brazilian patients. We successfully established one (HCB-514) out of 35 cervical tumors biopsied. We confirmed the phenotype of HCB-514 by verifying its' epithelial and tumor origin through cytokeratins, EpCAM and p16 staining. It was also HPV-16 positive. Whole-exome sequencing (WES) showed relevant somatic mutations in several genes including BRCA2, TGFBR1 and IRX2. A copy number variation (CNV) analysis by nanostring and WES revealed amplification of genes mainly related to kinases proteins involved in proliferation, migration and cell differentiation, such as EGFR, PIK3CA, and MAPK7. Overexpression of EGFR was confirmed by phospho RTK-array and validated by western blot analysis. Furthermore, the HCB-514 cell line was sensitive to cisplatin. In summary, this novel Brazilian cervical cancer cell line exhibits relevant key molecular features and constitutes a new biological model for pre-clinical studies.Barretos Cancer Hospital Research Support Department (NAP) for sample collection, Barretos Cancer Hospital Biobank for sample processing, Dr. Flávia de Paula and Gabriela Fernandes for technical support of STRs and BRCA2 Sanger validation, respectively, and Dr. Laura Musselwhite (Duke University) for revising the manuscript. This study was supported by grants from the FINEP (MCTI/FINEP/MS/SCTIE/DECIT-01/2013 - FPXII- BIOPLAT - Process number 01.13.0469.00) and Barretos Cancer Hospital. PhD scholarship from FINEP (Grant numbers 384088/2014-7 and 380434/2015-6) and Barretos Cancer Hospital to MNR