Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Computing hypergraph width measures exactly

Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A connection between these and tree decompositions is established. This enables us to almost seamlessly adapt the combinatorial and algorithmic results known for tree decompositions of graphs to the case of hypergraphs and obtain fast exact algorithms. As a consequence, we provide algorithms which, given a hypergraph H on n vertices and m hyperedges, compute the generalized hypertree-width of H in time O*(2n) and compute the fractional hypertree-width of H in time O(1.734601n.m).1

Contact and communication with healthcare providers regarding influenza vaccination during the 2009-2010 H1N1 pandemic.

Objective. The existence of two vaccines seasonal and pandemic-created the potential for confusion and misinformation among consumers during the 2009-2010 vaccination season. We measured the frequency and nature of influenza vaccination communication between healthcare providers and adults for both seasonal and 2009 influenza A(H1N1) vaccination and quantified its association with uptake of the two vaccines.Methods. We analyzed data from 4040 U.S. adult members of a nationally representative online panel surveyed between March 4th and March 24th, 2010. We estimated prevalence rates and adjusted associations between vaccine uptake and vaccination-related communication between patients and healthcare providers using bivariate probit models.Results. 64.1% (95%-CI: 61.5%-66.6%) of adults did not receive any provider-issued influenza vaccination recommendation. Adults who received a provider-issued vaccination recommendation were 14.1 (95%-CI: -2.4 to 30.6) to 32.1 (95%-CI: 24.3-39.8) percentage points more likely to be vaccinated for influenza than adults without a provider recommendation, after adjusting for other characteristics associated with vaccination.Conclusions. Influenza vaccination communication between healthcare providers and adults was relatively uncommon during the 2009-2010 pandemic. Increased communication could significantly enhance influenza vaccination rates. (C) 2011 Elsevier Inc. All rights reserved.

Transcriptional control of the hydrogen cyanide biosynthetic genes hcnABC by the anaerobic regulator ANR and the quorum-sensing regulators LasR and RhlR in Pseudomonas aeruginosa.

Virulence factors of Pseudomonas aeruginosa include hydrogen cyanide (HCN). This secondary metabolite is maximally produced at low oxygen tension and high cell densities during the transition from exponential to stationary growth phase. The hcnABC genes encoding HCN synthase were identified on a genomic fragment complementing an HCN-deficient mutant of P. aeruginosa PAO1. The hcnA promoter was found to be controlled by the FNR-like anaerobic regulator ANR and by the quorum-sensing regulators LasR and RhlR. Primer extension analysis revealed two transcription starts, T1 and T2, separated by 29 bp. Their function was confirmed by transcriptional lacZ fusions. The promoter sequence displayed an FNR/ANR box at -42.5 bp upstream of T2 and a lux box centered around -42.5 bp upstream of T1. Expression of the hcn genes was completely abolished when this lux box was deleted or inactivated by two point mutations in conserved nucleotides. The lux box was recognized by both LasR [activated by N-(oxododecanoyl)-homoserine lactone] and RhlR (activated by N-butanoyl-homoserine lactone), as shown by expression experiments performed in quorum-sensing-defective P. aeruginosa mutants and in the N-acyl-homoserine lactone-negative heterologous host P. fluorescens CHA0. A second, less conserved lux box lying 160 bp upstream of T1 seems to account for enhanced quorum-sensing-dependent expression. Without LasR and RhlR, ANR could not activate the hcn promoter. Together, these data indicate that expression of the hcn promoter from T1 can occur under quorum-sensing control alone. Enhanced expression from T2 appears to rely on a synergistic action between LasR, RhlR, and ANR.

Deregulation of the arginine deiminase (arc) operon in penicillin-tolerant mutants of Streptococcus gordonii.

Penicillin tolerance is an incompletely understood phenomenon that allows bacteria to resist drug-induced killing. Tolerance was studied with independent Streptococcus gordonii mutants generated by cyclic exposure to 500 times the MIC of penicillin. Parent cultures lost 4 to 5 log(10) CFU/ml of viable counts/24 h. In contrast, each of four independent mutant cultures lost < or =2 log(10) CFU/ml/24 h. The mutants had unchanged penicillin-binding proteins but contained increased amounts of two proteins with respective masses of ca. 50 and 45 kDa. One mutant (Tol1) was further characterized. The two proteins showing increased levels were homologous to the arginine deiminase and ornithine carbamoyl transferase of other gram-positive bacteria and were encoded by an operon that was >80% similar to the arginine-deiminase (arc) operon of these organisms. Partial nucleotide sequencing and insertion inactivation of the S. gordonii arc locus indicated that tolerance was not a direct consequence of arc alteration. On the other hand, genetic transformation of tolerance by Tol1 DNA always conferred arc deregulation. In nontolerant recipients, arc was repressed during exponential growth and up-regulated during postexponential growth. In tolerant transformants, arc was constitutively expressed. Tol1 DNA transformed tolerance at the same rate as transformation of a point mutation (10(-2) to 10(-3)). The tolerance mutation mapped on a specific chromosomal fragment but was physically distant from arc. Importantly, arc deregulation was observed in most (6 of 10) of additional independent penicillin-tolerant mutants. Thus, although not exclusive, the association between arc deregulation and tolerance was not fortuitous. Since penicillin selection mimicked the antibiotic pressure operating in the clinical environment, arc deregulation might be an important correlate of naturally occurring tolerance and help in understanding the mechanism(s) underlying this clinically problematic phenotype.

Establishment and characterization of a new continuous cell line from Lutzomyia longipalpis (Diptera: Psychodidae) and its susceptibility to infections with arboviruses and Leishmania chagasi

Embryonic tissue explants of the sand fly Lutzomyia longipalpis (Lutz & Neiva 1912) the main vector of Leishmania chagasi (Cunha and Chagas), were used to obtain a continuous cell line (Lulo). The tissues were seeded in MM/VP12 medium and these were incubated at 28ºC. The first subculture was obtained 45 days after explanting and 96 passages have been made to date. Lulo is composed of epithelioid cells, showed a 0.04 generations/hour exponential growth rate and population doubling time at 24.7 h. The cell line isoenzymatic profiles were determined by using PGI, PGM, MPI and 6-PGDH systems, coinciding with patterns obtained from the same species and colony's pupae and adults. The species karyotype characteristics were recognized (2n = 8), in which pair 1 is subtelocentric and pairs 2, 3 and 4 are metacentric. Lulo was free from bacterial, fungal, mycoplasmic and viral infection. Susceptibility to five arbovirus was determined, the same as Lulo interaction with Leishmania promastigotes.

Repeated injections of 131I-rituximab show patient-specific stable biodistribution and tissue kinetics.

PURPOSE: It is generally assumed that the biodistribution and pharmacokinetics of radiolabelled antibodies remain similar between dosimetric and therapeutic injections in radioimmunotherapy. However, circulation half-lives of unlabelled rituximab have been reported to increase progressively after the weekly injections of standard therapy doses. The aim of this study was to evaluate the evolution of the pharmacokinetics of repeated 131I-rituximab injections during treatment with unlabelled rituximab in patients with non-Hodgkin's lymphoma (NHL). METHODS: Patients received standard weekly therapy with rituximab (375 mg/m2) for 4 weeks and a fifth injection at 7 or 8 weeks. Each patient had three additional injections of 185 MBq 131I-rituximab in either treatment weeks 1, 3 and 7 (two patients) or weeks 2, 4 and 8 (two patients). The 12 radiolabelled antibody injections were followed by three whole-body (WB) scintigraphic studies during 1 week and blood sampling on the same occasions. Additional WB scans were performed after 2 and 4 weeks post 131I-rituximab injection prior to the second and third injections, respectively. RESULTS: A single exponential radioactivity decrease for WB, liver, spleen, kidneys and heart was observed. Biodistribution and half-lives were patient specific, and without significant change after the second or third injection compared with the first one. Blood T(1/2)beta, calculated from the sequential blood samples and fitted to a bi-exponential curve, was similar to the T(1/2) of heart and liver but shorter than that of WB and kidneys. Effective radiation dose calculated from attenuation-corrected WB scans and blood using Mirdose3.1 was 0.53+0.05 mSv/MBq (range 0.48-0.59 mSv/MBq). Radiation dose was highest for spleen and kidneys, followed by heart and liver. CONCLUSION: These results show that the biodistribution and tissue kinetics of 131I-rituximab, while specific to each patient, remained constant during unlabelled antibody therapy. RIT radiation doses can therefore be reliably extrapolated from a preceding dosimetry study.

Imaging EEG synchronization in schizophrenia patients with S-estimator

Recently a new measure of the cooperative behavior of simultaneous time series was introduced (Carmeli et al. NeuroImage 2005). This measure called S-estimator is defined from the embedding dimension in a state space. S-estimator quantifies the amount of synchronization within a data set by comparing the actual dimensionality of the set with the expected full dimensionality of the asynchronous set. It has the advantage of being a multivariate measure over traditionally used in systems neuroscience bivariate measures of synchronization. Multivariate measures of synchronization are of particular interest for applications in the field of modern multichannel EEG research, since they easily allow mapping of local and/or regional synchronization and are compatible with other imaging techniques. We applied Sestimator to the analysis of EEG synchronization in schizophrenia patients vs. matched controls. The whole-head mapping with S-estimator revealed a specific pattern of local synchronization in schizophrenia patients. The differences in the landscape of synchronization included decreased local synchronization in the territories over occipital and midline areas and increased synchronization over temporal areas. In frontal areas, the S-estimator revealed a tendency for an asymmetry: decreased S-values over the left hemisphere were adjacent to increased values over the right hemisphere. Separate calculations showed reproducibility of this pattern across the main EEG frequency bands. The maintenance of the same synchronization landscape across EEG frequencies probably implies the structural changes in the cortical circuitry of schizophrenia patients. These changes are regionally specific and suggest that schizophrenia is a misconnectivity rather than hypo- or hyper-connectivity disorder.

Forces de Casimir i les seves aplicacions

Report for the scientific sojourn carried out at the Darmouth College, from august 2007 until february 2008. It has been very successful, from different viewpoints: scientific, philosophical, human. We have definitely advanced, during the past six months, towards the comprehension of the behaviour of the fluctuations of the quantum vacuum in the presence of boundaries, moving and non-moving, and also in situations where the topology of space-time changes: the dynamical Casimir effect, regularization problems, particle creation statistics, according to different BC, etc. We have solved some longstanding problems and got in this subject quite remarkable results (as we will explain in more detail below). We also pursued a general approach towards a viable modified f(R) gravity in both the Jordan and the Einstein frames (which are known to be mathematically equivalent, but physically not so). A class of exponential, realistic modified gravities has been introduced by us and investigated with care. Special focus was made on step-class models, most promising from the phenomenological viewpoint and which provide a natural way to classify all viable modified gravities. One- and two-steps models were considered, but the analysis is extensible to N-step models. Both inflation in the early universe and the onset of recent accelerated expansion arise in these models in a natural, unified way, what makes them very promising. Moreover, it is monstrated in our work that models in this category easily pass all local tests, including stability of spherical body solution, non-violation of Newton's law, and generation of a very heavy positive mass for the additional scalar degree of freedom.

Regulation of horizontal gene transfer of the catabolic island ICEclc

ICEclc is a mobile genetic element found in two copies on the chromosome of the bacterium Pseudomonas knackmussii B13. ICEclc harbors genes encoding metabolic pathways for the degradation of chlorocatechols (CLC) and 2-aminophenol (2AP). At low frequencies, ICEclc excises from the chromosome, closes into a circular DNA molecule which can transfer to another bacterium via conjugation. Once in the recipient cell, ICEclc can reintegrate into the chromosome by site-specific recombination. This thesis aimed at identifying the regulatory network underlying the decisions for ICEclc horizontal transfer (HGT). The first chapter is an introduction on integrative and conjugative elements (ICEs) more in general, of which ICEclc is one example. In particular I emphasized the current knowledge of regulation and conjugation machineries of the different classes of ICE. In the second chapter, I describe a transcriptional analysis using microarrays and other experiments to understand expression of ICEclc in exponential and stationary phase. By overlaying transcriptomic profiles with Northern hybridizations and RT- PCR data, we established a transcription map for the entire core region of ICEclc, a region assumed to encode the ICE conjugation process. We also demonstrated how transcription of the ICEclc core is maximal in stationary phase, which correlates to expression of reporter genes fused to key ICEclc promoters. In the third chapter, I present a transcriptome analysis of ICEclc in a variety of different host species, in order to explore whether there are species-specific differences. In the fourth chapter, I focus on the role of a curious ICEclc-encoded TetR-type transcriptional repressor. We find that this gene, which we name mfsR, not only controls its own expression but that of a set of genes for a putative multi-drug efflux pump (mfsABC) as well. By using a combination of biochemical and molecular biology techniques, I could show that MfsR specifically binds to operator boxes in two ICEclc promoters (PmfsR and PmfsA), inhibiting the transcription of both the mfsR and mfsABC-orf38184 operons. Although we could not detect a clear phenotype of an mfsABC deletion, we discuss the implications of pump gene reorganizations in ICEclc and close relatives. In the fifth chapter, we find that mfsR not only controls its own expression and that of the mfsABC operon, but is also indirectly controlling ICEclc transfer. Using gene deletions, microarrays, transfer assays and microscopy-based reporter fusions, we demonstrate that mfsR actually controls a small operon of three regulatory genes. The last gene of this mfsR operon, orf17162, encodes a LysR-type activator that when deleted strongly impairs ICEclc transfer. Interestingly, deletion of mfsR leads to transfer competence in almost all cells, thereby overruling the bistability process in the wild-type. In the final sixth chapter, I discuss the relevance of the present thesis and the resulting perspectives for future studies.

Migraineurs without aura show microstructural abnormalities in the cerebellum and frontal lobe.

The involvement of the cerebellum in migraine pathophysiology is not well understood. We used a biparametric approach at high-field MRI (3 T) to assess the structural integrity of the cerebellum in 15 migraineurs with aura (MWA), 23 migraineurs without aura (MWoA), and 20 healthy controls (HC). High-resolution T1 relaxation maps were acquired together with magnetization transfer images in order to probe microstructural and myelin integrity. Clusterwise analysis was performed on T1 and magnetization transfer ratio (MTR) maps of the cerebellum of MWA, MWoA, and HC using an ANOVA and a non-parametric clusterwise permutation F test, with age and gender as covariates and correction for familywise error rate. In addition, mean MTR and T1 in frontal regions known to be highly connected to the cerebellum were computed. Clusterwise comparison among groups showed a cluster of lower MTR in the right Crus I of MWoA patients vs. HC and MWA subjects (p = 0.04). Univariate and bivariate analysis on T1 and MTR contrasts showed that MWoA patients had longer T1 and lower MTR in the right and left pars orbitalis compared to MWA (p < 0.01 and 0.05, respectively), but no differences were found with HC. Lower MTR and longer T1 point at a loss of macromolecules and/or micro-edema in Crus I and pars orbitalis in MWoA patients vs. HC and vs. MWA. The pathophysiological implications of these findings are discussed in light of recent literature.

An examination of male and female odds ratios by BMI, cigarette smoking, and alcohol consumption for cancers of the oral cavity, pharynx, and larynx in pooled data from 15 case-control studies.

BACKGROUND: Greater tobacco smoking and alcohol consumption and lower body mass index (BMI) increase odds ratios (OR) for oral cavity, oropharyngeal, hypopharyngeal, and laryngeal cancers; however, there are no comprehensive sex-specific comparisons of ORs for these factors. METHODS: We analyzed 2,441 oral cavity (925 women and 1,516 men), 2,297 oropharynx (564 women and 1,733 men), 508 hypopharynx (96 women and 412 men), and 1,740 larynx (237 women and 1,503 men) cases from the INHANCE consortium of 15 head and neck cancer case-control studies. Controls numbered from 7,604 to 13,829 subjects, depending on analysis. Analyses fitted linear-exponential excess ORs models. RESULTS: ORs were increased in underweight (<18.5 BMI) relative to normal weight (18.5-24.9) and reduced in overweight and obese categories (>/=25 BMI) for all sites and were homogeneous by sex. ORs by smoking and drinking in women compared with men were significantly greater for oropharyngeal cancer (p < 0.01 for both factors), suggestive for hypopharyngeal cancer (p = 0.05 and p = 0.06, respectively), but homogeneous for oral cavity (p = 0.56 and p = 0.64) and laryngeal (p = 0.18 and p = 0.72) cancers. CONCLUSIONS: The extent that OR modifications of smoking and drinking by sex for oropharyngeal and, possibly, hypopharyngeal cancers represent true associations, or derive from unmeasured confounders or unobserved sex-related disease subtypes (e.g., human papillomavirus-positive oropharyngeal cancer) remains to be clarified.

Análisis bioinformáticos sobre la tecnología Hadoop

Desde el inicio del proyecto del genoma humano y su éxito en el año 2001 se han secuenciado genomas de multitud de especies. La mejora en las tecnologías de secuenciación ha generado volúmenes de datos con un crecimiento exponencial. El proyecto Análisis bioinformáticos sobre la tecnología Hadoop abarca la computación paralela de datos biológicos como son las secuencias de ADN. El estudio ha sido encauzado por la naturaleza del problema a resolver. El alineamiento de secuencias genéticas con el paradigma MapReduce.

Are oxygen uptake kinetics modified when using a respiratory snorkel?

PURPOSE: The aim of this study was to compare VO2 kinetics during constant power cycle exercise measured using a conventional facemask (CM) or a respiratory snorkel (RS) designed for breath-by-breath analysis in swimming. METHODS: VO2 kinetics parameters-obtained using CM or RS, in randomized counterbalanced order-were compared in 10 trained triathletes performing two submaximal heavy-intensity cycling square-wave transitions. These VO2 kinetics parameters (ie, time delay: td1, td2; time constant: τ1, τ2; amplitude: A1, A2, for the primary phase and slow component, respectively) were modeled using a double exponential function. In the case of the RS data, this model incorporated an individually determined snorkel delay (ISD). RESULTS: Only td1 (8.9 ± 3.0 vs 13.8 ± 1.8 s, P < .01) differed between CM and RS, whereas all other parameters were not different (τ1 = 24.7 ± 7.6 vs 21.1 ± 6.3 s; A1 = 39.4 ± 5.3 vs 36.8 ± 5.1 mL x min(-1) x kg(-1); td2 = 107.5 ± 87.4 vs 183.5 ± 75.9 s; A2' (relevant slow component amplitude) = 2.6 ± 2.4 vs 3.1 ± 2.6 mL x min(-1) x kg(-1) for CM and RS, respectively). CONCLUSIONS: Although there can be a small mixture of breaths allowed by the volume of the snorkel in the transition to exercise, this does not appear to significantly influence the results. Therefore, given the use of an ISD, the RS is a valid instrument for the determination of VO2 kinetics within submaximal exercise.

In Bacillus subtilis W23, the duet sigmaXsigmaM, two sigma factors of the extracytoplasmic function subfamily, are required for septum and wall synthesis under batch culture conditions.

The synthesis of poly(RboP), the main Bacillus subtilis W23 teichoic acid, is encoded by tarDF-tarABIJKL operons, the latter being controlled by two promoters designated PtarA-int and PtarA-ext. Analysis by lacZ fusions reveals that PtarA-int activity exhibits sharp increases at the beginning and end of the transition between exponential and stationary growth phase. As confirmed by mRNA quantification, these increases are mediated by ECF sigma factors sigmaX and sigmaM respectively. In liquid media, strain W23 sigX sigM double mutants experience serious difficulties in the transition and stationary growth phases. Inactivation of sigmaX- and sigmaM-controlled regulons, which precludes transcription from PtarA-int, leads to (i) delays in chromosome segregation and septation and (ii) a transient loss of up to 30% of the culture OD or lysis. However, specific inactivation of PtarA-int, leading mainly to a shortage of poly(RboP), does not affect growth while, nevertheless, interfering with normal septation, as revealed by electron microscopy. The different sigM transcription in strains W23 and 168 is discussed. In W23, expression of tarA and sigM, which is shown to control divIC, is inversely correlated with growth rate, suggesting that the sigM regulon is involved in the control of cell division.