Pattern Formation of Ion Channels with State Dependent Electrophoretic Charges and Diffusion Constants in Fluid Membranes

A model of mobile, charged ion channels in a fluid membrane is studied. The channels may switch between an open and a closed state according to a simple two-state kinetics with constant rates. The effective electrophoretic charge and the diffusion constant of the channels may be different in the closed and in the open state. The system is modeled by densities of channel species, obeying simple equations of electro-diffusion. The lateral transmembrane voltage profile is determined from a cable-type equation. Bifurcations from the homogeneous, stationary state appear as hard-mode, soft-mode or hard-mode oscillatory transitions within physiologically reasonable ranges of model parameters. We study the dynamics beyond linear stability analysis and derive non-linear evolution equations near the transitions to stationary patterns.Comment: 10 pages, 7 figures, will be submitted to Phys. Rev.

Mean flow and spiral defect chaos in Rayleigh-Benard convection

We describe a numerical procedure to construct a modified velocity field that does not have any mean flow. Using this procedure, we present two results. Firstly, we show that, in the absence of mean flow, spiral defect chaos collapses to a stationary pattern comprising textures of stripes with angular bends. The quenched patterns are characterized by mean wavenumbers that approach those uniquely selected by focus-type singularities, which, in the absence of mean flow, lie at the zig-zag instability boundary. The quenched patterns also have larger correlation lengths and are comprised of rolls with less curvature. Secondly, we describe how mean flow can contribute to the commonly observed phenomenon of rolls terminating perpendicularly into lateral walls. We show that, in the absence of mean flow, rolls begin to terminate into lateral walls at an oblique angle. This obliqueness increases with Rayleigh number.Comment: 14 pages, 19 figure

The Strategy Challenge in SMT Solving

Abstract. High-performance SMT solvers contain many tightly integrated, hand-crafted heuristic combinations of algorithmic proof methods. While these heuristic combinations tend to be highly tuned for known classes of problems, they may easily perform badly on classes of problems not anticipated by solver developers. This issue is becoming increasingly pressing as SMT solvers begin to gain the attention of practitioners in diverse areas of science and engineering. We present a challenge to the SMT community: to develop methods through which users can exert strategic control over core heuristic aspects of SMT solvers. We present evidence that the adaptation of ideas of strategy prevalent both within the Argonne and LCF theorem proving paradigms can go a long way towards realizing this goal. Prologue. Bill McCune, Kindness and Strategy, by Grant Passmore I would like to tell a short story about Bill, of how I met him, and one way his work and kindness impacted my life

Asymptotic stability of solitary waves

We show that the family of solitary waves (1-solitons) of the Korteweg-de Vries equation is asymptotically stable. Our methods also apply for the solitary waves of a class of generalized Korteweg-de Vries equations, In particular, we study the case where f(u)=u p+1 / (p+1) , p =1, 2, 3 (and 30, with f ∈ C 4 ). The same asymptotic stability result for KdV is also proved for the case p =2 (the modified Korteweg-de Vries equation). We also prove asymptotic stability for the family of solitary waves for all but a finite number of values of p between 3 and 4. (The solitary waves are known to undergo a transition from stability to instability as the parameter p increases beyond the critical value p =4.) The solution is decomposed into a modulating solitary wave, with time-varying speed c(t) and phase γ( t ) ( bound state part ), and an infinite dimensional perturbation ( radiating part ). The perturbation is shown to decay exponentially in time, in a local sense relative to a frame moving with the solitary wave. As p →4 − , the local decay or radiation rate decreases due to the presence of a resonance pole associated with the linearized evolution equation for solitary wave perturbations.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46489/1/220_2005_Article_BF02101705.pd

A novel formulation of inhaled sodium cromoglicate (PA101) in idiopathic pulmonary fibrosis and chronic cough: a randomised, double-blind, proof-of-concept, phase 2 trial

Background Cough can be a debilitating symptom of idiopathic pulmonary fibrosis (IPF) and is difficult to treat. PA101 is a novel formulation of sodium cromoglicate delivered via a high-efficiency eFlow nebuliser that achieves significantly higher drug deposition in the lung compared with the existing formulations. We aimed to test the efficacy and safety of inhaled PA101 in patients with IPF and chronic cough and, to explore the antitussive mechanism of PA101, patients with chronic idiopathic cough (CIC) were also studied. Methods This pilot, proof-of-concept study consisted of a randomised, double-blind, placebo-controlled trial in patients with IPF and chronic cough and a parallel study of similar design in patients with CIC. Participants with IPF and chronic cough recruited from seven centres in the UK and the Netherlands were randomly assigned (1:1, using a computer-generated randomisation schedule) by site staff to receive PA101 (40 mg) or matching placebo three times a day via oral inhalation for 2 weeks, followed by a 2 week washout, and then crossed over to the other arm. Study participants, investigators, study staff, and the sponsor were masked to group assignment until all participants had completed the study. The primary efficacy endpoint was change from baseline in objective daytime cough frequency (from 24 h acoustic recording, Leicester Cough Monitor). The primary efficacy analysis included all participants who received at least one dose of study drug and had at least one post-baseline efficacy measurement. Safety analysis included all those who took at least one dose of study drug. In the second cohort, participants with CIC were randomly assigned in a study across four centres with similar design and endpoints. The study was registered with ClinicalTrials.gov (NCT02412020) and the EU Clinical Trials Register (EudraCT Number 2014-004025-40) and both cohorts are closed to new participants. Findings Between Feb 13, 2015, and Feb 2, 2016, 24 participants with IPF were randomly assigned to treatment groups. 28 participants with CIC were enrolled during the same period and 27 received study treatment. In patients with IPF, PA101 reduced daytime cough frequency by 31·1% at day 14 compared with placebo; daytime cough frequency decreased from a mean 55 (SD 55) coughs per h at baseline to 39 (29) coughs per h at day 14 following treatment with PA101, versus 51 (37) coughs per h at baseline to 52 (40) cough per h following placebo treatment (ratio of least-squares [LS] means 0·67, 95% CI 0·48–0·94, p=0·0241). By contrast, no treatment benefit for PA101 was observed in the CIC cohort; mean reduction of daytime cough frequency at day 14 for PA101 adjusted for placebo was 6·2% (ratio of LS means 1·27, 0·78–2·06, p=0·31). PA101 was well tolerated in both cohorts. The incidence of adverse events was similar between PA101 and placebo treatments, most adverse events were mild in severity, and no severe adverse events or serious adverse events were reported. Interpretation This study suggests that the mechanism of cough in IPF might be disease specific. Inhaled PA101 could be a treatment option for chronic cough in patients with IPF and warrants further investigation

Accelarated immune ageing is associated with COVID-19 disease severity

Background The striking increase in COVID-19 severity in older adults provides a clear example of immunesenescence, the age-related remodelling of the immune system. To better characterise the association between convalescent immunesenescence and acute disease severity, we determined the immune phenotype of COVID-19 survivors and non-infected controls. Results We performed detailed immune phenotyping of peripheral blood mononuclear cells isolated from 103 COVID-19 survivors 3–5 months post recovery who were classified as having had severe (n = 56; age 53.12 ± 11.30 years), moderate (n = 32; age 52.28 ± 11.43 years) or mild (n = 15; age 49.67 ± 7.30 years) disease and compared with age and sex-matched healthy adults (n = 59; age 50.49 ± 10.68 years). We assessed a broad range of immune cell phenotypes to generate a composite score, IMM-AGE, to determine the degree of immune senescence. We found increased immunesenescence features in severe COVID-19 survivors compared to controls including: a reduced frequency and number of naïve CD4 and CD8 T cells (p < 0.0001); increased frequency of EMRA CD4 (p < 0.003) and CD8 T cells (p < 0.001); a higher frequency (p < 0.0001) and absolute numbers (p < 0.001) of CD28−ve CD57+ve senescent CD4 and CD8 T cells; higher frequency (p < 0.003) and absolute numbers (p < 0.02) of PD-1 expressing exhausted CD8 T cells; a two-fold increase in Th17 polarisation (p < 0.0001); higher frequency of memory B cells (p < 0.001) and increased frequency (p < 0.0001) and numbers (p < 0.001) of CD57+ve senescent NK cells. As a result, the IMM-AGE score was significantly higher in severe COVID-19 survivors than in controls (p < 0.001). Few differences were seen for those with moderate disease and none for mild disease. Regression analysis revealed the only pre-existing variable influencing the IMM-AGE score was South Asian ethnicity ( = 0.174, p = 0.043), with a major influence being disease severity ( = 0.188, p = 0.01). Conclusions Our analyses reveal a state of enhanced immune ageing in survivors of severe COVID-19 and suggest this could be related to SARS-Cov-2 infection. Our data support the rationale for trials of anti-immune ageing interventions for improving clinical outcomes in these patients with severe disease

Effects of sleep disturbance on dyspnoea and impaired lung function following hospital admission due to COVID-19 in the UK: a prospective multicentre cohort study

Background: Sleep disturbance is common following hospital admission both for COVID-19 and other causes. The clinical associations of this for recovery after hospital admission are poorly understood despite sleep disturbance contributing to morbidity in other scenarios. We aimed to investigate the prevalence and nature of sleep disturbance after discharge following hospital admission for COVID-19 and to assess whether this was associated with dyspnoea. Methods: CircCOVID was a prospective multicentre cohort substudy designed to investigate the effects of circadian disruption and sleep disturbance on recovery after COVID-19 in a cohort of participants aged 18 years or older, admitted to hospital for COVID-19 in the UK, and discharged between March, 2020, and October, 2021. Participants were recruited from the Post-hospitalisation COVID-19 study (PHOSP-COVID). Follow-up data were collected at two timepoints: an early time point 2–7 months after hospital discharge and a later time point 10–14 months after hospital discharge. Sleep quality was assessed subjectively using the Pittsburgh Sleep Quality Index questionnaire and a numerical rating scale. Sleep quality was also assessed with an accelerometer worn on the wrist (actigraphy) for 14 days. Participants were also clinically phenotyped, including assessment of symptoms (ie, anxiety [Generalised Anxiety Disorder 7-item scale questionnaire], muscle function [SARC-F questionnaire], dyspnoea [Dyspnoea-12 questionnaire] and measurement of lung function), at the early timepoint after discharge. Actigraphy results were also compared to a matched UK Biobank cohort (non-hospitalised individuals and recently hospitalised individuals). Multivariable linear regression was used to define associations of sleep disturbance with the primary outcome of breathlessness and the other clinical symptoms. PHOSP-COVID is registered on the ISRCTN Registry (ISRCTN10980107). Findings: 2320 of 2468 participants in the PHOSP-COVID study attended an early timepoint research visit a median of 5 months (IQR 4–6) following discharge from 83 hospitals in the UK. Data for sleep quality were assessed by subjective measures (the Pittsburgh Sleep Quality Index questionnaire and the numerical rating scale) for 638 participants at the early time point. Sleep quality was also assessed using device-based measures (actigraphy) a median of 7 months (IQR 5–8 months) after discharge from hospital for 729 participants. After discharge from hospital, the majority (396 [62%] of 638) of participants who had been admitted to hospital for COVID-19 reported poor sleep quality in response to the Pittsburgh Sleep Quality Index questionnaire. A comparable proportion (338 [53%] of 638) of participants felt their sleep quality had deteriorated following discharge after COVID-19 admission, as assessed by the numerical rating scale. Device-based measurements were compared to an age-matched, sex-matched, BMI-matched, and time from discharge-matched UK Biobank cohort who had recently been admitted to hospital. Compared to the recently hospitalised matched UK Biobank cohort, participants in our study slept on average 65 min (95% CI 59 to 71) longer, had a lower sleep regularity index (–19%; 95% CI –20 to –16), and a lower sleep efficiency (3·83 percentage points; 95% CI 3·40 to 4·26). Similar results were obtained when comparisons were made with the non-hospitalised UK Biobank cohort. Overall sleep quality (unadjusted effect estimate 3·94; 95% CI 2·78 to 5·10), deterioration in sleep quality following hospital admission (3·00; 1·82 to 4·28), and sleep regularity (4·38; 2·10 to 6·65) were associated with higher dyspnoea scores. Poor sleep quality, deterioration in sleep quality, and sleep regularity were also associated with impaired lung function, as assessed by forced vital capacity. Depending on the sleep metric, anxiety mediated 18–39% of the effect of sleep disturbance on dyspnoea, while muscle weakness mediated 27–41% of this effect. Interpretation: Sleep disturbance following hospital admission for COVID-19 is associated with dyspnoea, anxiety, and muscle weakness. Due to the association with multiple symptoms, targeting sleep disturbance might be beneficial in treating the post-COVID-19 condition. Funding: UK Research and Innovation, National Institute for Health Research, and Engineering and Physical Sciences Research Council