Polarizing Double Negation Translations

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the polarization of the formul{\ae}{} and adapt those translation to the different connectives and quantifiers. We show that the embedding results still hold, using a customized version of the focused classical sequent calculus. We also prove the latter equivalent to more usual versions of the sequent calculus. This polarization process allows lighter embeddings, and sheds some light on the relationship between intuitionistic and classical connectives

Analyse des délais de prise en charge des cancers thoraciques : étude prospective

RésuméIntroductionLe cancer broncho-pulmonaire est la première cause de décès par cancer en France. Son diagnostic est le plus souvent tardif, alors que le délai entre le début des symptômes et la prise en charge est considéré comme un facteur aggravant.Matériel et méthodesNotre étude prospective a recueilli les différentes dates de prise en charge de 139 patients consécutifs bénéficiant d’un traitement primaire pour un cancer thoracique dans notre hôpital entre novembre 2008 et mai 2009. L’objectif de cette étude était d’évaluer différents délais de prise en charge des patients porteurs d’un cancer thoracique quelle que soit sa prise en charge thérapeutique (médicale ou chirurgicale) et de déterminer la cause de ces délais.RésultatsLe délai médian entre la première imagerie pathologique et le traitement est de 9,6 semaines. Les délais étaient significativement plus courts dans les stades tardifs et les carcinomes à petites cellules (p=0,001). Il existait une tendance à des délais plus courts pour les femmes et des délais plus longs pour les classes d’âge les plus élevées.ConclusionL’évaluation des délais de prise en charge, en particulier pour les stades précoces, s’intègre dans le contrôle de la qualité de prise en charge de ces pathologies.SummaryIntroductionLung cancer is the main cause of cancer death in France. The diagnosis is often late and the delay between the onset of symptoms and management is considered an aggravating factor.Material and methodsOur prospective study collected the dates of the start of management of 139 consecutive patients receiving first line treatment for thoracic cancer in our hospital between November 2008 and May 2009. The aim of this study was to evaluate the delays in medical or surgical treatments in patients with thoracic cancer and to determine the cause of these delays.ResultsThe median delay between the first abnormal chest X-ray and treatment was 9.6 weeks. The delays were significantly shorter in the late stages and in small cell cancer (P=0.001). There was a tendency for shorter delays in women and for longer delays in older patients.ConclusionEvaluation of the delays in treatment, particularly in the early stages, is part of the quality control of management of these diseases

Structural Stability of Transparent Conducting Films Assembled from Length Purified Single-Wall Carbon Nanotubes

Single-wall carbon nanotube (SWCNT) films show significant promise for transparent electronics applications that demand mechanical flexibility, but durability remains an outstanding issue. In this work, thin membranes of length purified single-wall carbon nanotubes (SWCNTs) are uniaxially and isotropically compressed by depositing them on prestrained polymer substrates. Upon release of the strain, the topography, microstructure, and conductivity of the films are characterized using a combination of optical/fluorescence microscopy, light scattering, force microscopy, electron microscopy, and impedance spectroscopy. Above a critical surface mass density, films assembled from nanotubes of well-defined length exhibit a strongly nonlinear mechanical response. The measured strain dependence reveals a dramatic softening that occurs through an alignment of the SWCNTs normal to the direction of prestrain, which at small strains is also apparent as an anisotropic increase in sheet resistance along the same direction. At higher strains, the membrane conductivities increase due to a compression-induced restoration of conductive pathways. Our measurements reveal the fundamental mode of elasto-plastic deformation in these films and suggest how it might be suppressed

Epigenome-wide association study of kidney function identifies trans-ethnic and ethnic-specific loci

Background DNA methylation (DNAm) is associated with gene regulation and estimated glomerular filtration rate (eGFR), a measure of kidney function. Decreased eGFR is more common among US Hispanics and African Americans. The causes for this are poorly understood. We aimed to identify trans-ethnic and ethnic-specific differentially methylated positions (DMPs) associated with eGFR using an agnostic, genome-wide approach. Methods The study included up to 5428 participants from multi-ethnic studies for discovery and 8109 participants for replication. We tested the associations between whole blood DNAm and eGFR using beta values from Illumina 450K or EPIC arrays. Ethnicity-stratified analyses were performed using linear mixed models adjusting for age, sex, smoking, and study-specific and technical variables. Summary results were meta-analyzed within and across ethnicities. Findings were assessed using integrative epigenomics methods and pathway analyses. Results We identified 93 DMPs associated with eGFR at an FDR of 0.05 and replicated 13 and 1 DMPs across independent samples in trans-ethnic and African American meta-analyses, respectively. The study also validated 6 previously published DMPs. Identified DMPs showed significant overlap enrichment with DNase I hypersensitive sites in kidney tissue, sites associated with the expression of proximal genes, and transcription factor motifs and pathways associated with kidney tissue and kidney development. Conclusions We uncovered trans-ethnic and ethnic-specific DMPs associated with eGFR, including DMPs enriched in regulatory elements in kidney tissue and pathways related to kidney development. These findings shed light on epigenetic mechanisms associated with kidney function, bridging the gap between population-specific eGFR-associated DNAm and tissue-specific regulatory context