Polynomial calculus space and resolution width

We show that if a k-CNF requires width w to refute in resolution, then it requires space square root of √ω to refute in polynomial calculus, where the space of a polynomial calculus refutation is the number of monomials that must be kept in memory when working through the proof. This is the first analogue, in polynomial calculus, of Atserias and Dalmau's result lower-bounding clause space in resolution by resolution width. As a by-product of our new approach to space lower bounds we give a simple proof of Bonacina's recent result that total space in resolution (the total number of variable occurrences that must be kept in memory) is lower-bounded by the width squared. As corollaries of the main result we obtain some new lower bounds on the PCR space needed to refute specific formulas, as well as partial answers to some open problems about relations between space, size, and degree for polynomial calculus

Strong association between a single gene and fertilization efficiency of males and fecundity of their mates in the bulb mite.

Although variation in male fertilization efficiency has been shown to have a genetic basis in several species, the genes responsible for the effect are generally unknown. Here, we show a strong association between the fertilization success of males and their phosphogluconate dehydrogenase (Pgdh) genotype in the bulb mite Rhizoglyphus robini. Males homozygous for the slow (S) allele fathered a significantly greater proportion of offspring when competing with males homozygous for the fast (F) allele. There was no evidence that female fecundity was influenced by their Pgdh genotype. The fecundity of FF females did not differ significantly from the fecundity of SS females but female fecundity was significantly influenced by the genotype of their mate. Females paired with SS males laid significantly fewer eggs than females paired with FF males. Altogether these data show a trade-off, with the male SS genotype associated with their higher fertilization efficiency but at the cost of a negative impact on the fecundity of females mating with them

Certainty relations between local and nonlocal observables

We demonstrate that for an arbitrary number of identical particles, each defined on a Hilbert-space of arbitrary dimension, there exists a whole ladder of relations of complementarity between local, and every conceivable kind of joint (or nonlocal) measurements. E.g., the more accurate we can know (by a measurement) some joint property of three qubits (projecting the state onto a tripartite entangled state), the less accurate some other property, local to the three qubits, become. We also show that the corresponding complementarity relations are particularly tight for particles defined on prime dimensional Hilbert spaces.Comment: 4 pages, no figure

Text messaging and brief phone calls for weight loss in overweight and obese English- and Spanish-speaking adults: A 1-year, parallel-group, randomized controlled trial.

BACKGROUND:Weight loss interventions based solely on text messaging (short message service [SMS]) have been shown to be modestly effective for short periods of time and in some populations, but limited evidence is available for positive longer-term outcomes and for efficacy in Hispanic populations. Also, little is known about the comparative efficacy of weight loss interventions that use SMS coupled with brief, technology-mediated contact with health coaches, an important issue when considering the scalability and cost of interventions. We examined the efficacy of a 1-year intervention designed to reduce weight among overweight and obese English- and Spanish-speaking adults via SMS alone (ConTxt) or in combination with brief, monthly health-coaching calls. ConTxt offered 2-4 SMS/day that were personalized, tailored, and interactive. Content was theory- and evidence-based and focused on reducing energy intake and increasing energy expenditure. Monthly health-coaching calls (5-10 minutes' duration) focused on goal-setting, identifying barriers to achieving goals, and self-monitoring. METHODS AND FINDINGS:English- and Spanish-speaking adults were recruited from October 2011 to March 2013. A total of 298 overweight (body mass index [BMI] 27.0 to 39.9 kg/m2) adults (aged 21-60 years; 77% female; 41% Hispanic; 21% primarily Spanish speaking; 44% college graduates or higher; 22% unemployed) were randomly assigned (1:1) to receive either ConTxt only (n = 101), ConTxt plus health-coaching calls (n = 96), or standard print materials on weight reduction (control group, n = 101). We used computer-based permuted-block randomization with block sizes of three or six, stratified by sex and Spanish-speaking status. Participants, study staff, and investigators were masked until the intervention was assigned. The primary outcome was objectively measured percent of weight loss from baseline at 12 months. Differences between groups were evaluated using linear mixed-effects regression within an intention-to-treat framework. A total of 261 (87.2%) and 253 (84.9%) participants completed 6- and 12-month visits, respectively. Loss to follow-up did not differ by study group. Mean (95% confidence intervals [CIs]) percent weight loss at 12 months was -0.61 (-1.99 to 0.77) in the control group, -1.68 (-3.08 to -0.27) in ConTxt only, and -3.63 (-5.05 to -2.81) in ConTxt plus health-coaching calls. At 12 months, mean (95% CI) percent weight loss, adjusted for baseline BMI, was significantly different between ConTxt plus health-coaching calls and the control group (-3.0 [-4.99 to -1.04], p = 0.003) but not between the ConTxt-only and the control group (-1.07 [-3.05 to 0.92], p = 0.291). Differences between ConTxt plus health-coaching calls and ConTxt only were not significant (-1.95 [-3.96 to 0.06], p = 0.057). These findings were consistent across other weight-related secondary outcomes, including changes in absolute weight, BMI, and percent body fat at 12 months. Exploratory subgroup analyses suggested that Spanish speakers responded more favorably to ConTxt plus health-coaching calls than English speakers (Spanish contrast: -7.90 [-11.94 to -3.86], p < 0.001; English contrast: -1.82 [-4.03 to 0.39], p = 0.107). Limitations include the unblinded delivery of the intervention and recruitment of a predominantly female sample from a single site. CONCLUSIONS:A 1-year intervention that delivered theory- and evidence-based weight loss content via daily personalized, tailored, and interactive SMS was most effective when combined with brief, monthly phone calls. TRIAL REGISTRATION:ClinicalTrials.gov NCT01171586

Effect of Fasciola hepatica proteins on the functioning of rat hepatocytes

Fasciolosis is a hepatic parasitic infection that affects many mammal species and creates a great economic and veterinary problem. Molecular mechanisms of parasite–hepatocyte interactions have not been precisely characterized yet. Therefore, the aim of the study was to investigate alterations in the metabolic activity of rat liver cells exposed to Fasciola hepatica somatic proteins. Hepatocytes were incubated with 0–1 mg/ml of fluke's somatic proteins for various periods of time. Afterward, changes in hepatocytes metabolic activity were determined with MTT and enzyme leakage tests. Hepatocytes' capacity to synthesize albumin was also investigated. It was observed that protein concentration, as well as longevity of their action, influenced metabolic activity of rat liver cells. Diminution of hepatocytes survival rate, an increase in enzyme leakage and altered synthetic capacity after treatment with parasite's proteins were reported. It is concluded that somatic proteins of F. hepatica may play an important role in liver cell damaging

Heteroacene-Based Amphiphile as a Molecular Scaffold for Bioimaging Probes

The challenges faced with current fluorescence imaging agents have motivated us to study two nanostructures based on a hydrophobic dye, 6H-pyrrolo[3,2-b:4,5-b’]bis [1,4]benzothiazine (TRPZ). TRPZ is a heteroacene with a rigid, pi-conjugated structure, multiple reactive sites, and unique spectroscopic properties. Here we coupled TRPZ to a tert-butyl carbamate (BOC) protected 2,2-bis(hydroxymethyl)propanoic acid (bisMPA) dendron via azide-alkyne Huisgen cycloaddition. Deprotection of the protected amine groups on the dendron afforded a cationic terminated amphiphile, TRPZ-bisMPA. TRPZ-bisMPA was nanoprecipitated into water to obtain nanoparticles (NPs) with a hydrodynamic radius that was \u3c150 nm. For comparison, TRPZ-PG was encapsulated in pluronic-F127 (Mw = 12 kD), a polymer surfactant to afford NPs almost twice as large as those formed by TRPZ-bisMPA. Size and stability studies confirm the suitability of the TRPZ-bisMPA NPs for biomedical applications. The photophysical properties of the TRPZ-bisMPA NPs show a quantum yield of 49%, a Stokes shift of 201 nm (0.72 eV) and a lifetime of 6.3 ns in water. Further evidence was provided by cell viability and cellular uptake studies confirming the low cytotoxicity of TRPZ-bisMPA NPs and their potential in bioimaging

Experimental study and analysis of lubricants dispersed with nano Cu and TiO2 in a four-stroke two wheeler

The present investigation summarizes detailed experimental studies with standard lubricants of commercial quality known as Racer-4 of Hindustan Petroleum Corporation (India) dispersed with different mass concentrations of nanoparticles of Cu and TiO2. The test bench is fabricated with a four-stroke Hero-Honda motorbike hydraulically loaded at the rear wheel with proper instrumentation to record the fuel consumption, the load on the rear wheel, and the linear velocity. The whole range of data obtained on a stationery bike is subjected to regression analysis to arrive at various relationships between fuel consumption as a function of brake power, linear velocity, and percentage mass concentration of nanoparticles in the lubricant. The empirical relation correlates with the observed data with reasonable accuracy. Further, extension of the analysis by developing a mathematical model has revealed a definite improvement in brake thermal efficiency which ultimately affects the fuel economy by diminishing frictional power in the system with the introduction of nanoparticles into the lubricant. The performance of the engine seems to be better with nano Cu-Racer-4 combination than the one with nano TiO2

Normalizing single-cell RNA sequencing data: challenges and opportunities

Single-cell transcriptomics is becoming an important component of the molecular biologist's toolkit. A critical step when analyzing data generated using this technology is normalization. However, normalization is typically performed using methods developed for bulk RNA sequencing or even microarray data, and the suitability of these methods for single-cell transcriptomics has not been assessed. We here discuss commonly used normalization approaches and illustrate how these can produce misleading results. Finally, we present alternative approaches and provide recommendations for single-cell RNA sequencing users