Model Checking Tap Withdrawal in C. Elegans

We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is the use of Fan and Mitra's recently developed technique for automatically computing local discrepancy (convergence and divergence rates) of general nonlinear systems. We show that the results we obtain are in agreement with the experimental results of Wicks et al. (1995). As opposed to the fixed parameters found in most biological models, which can only produce the predominant behavior, our techniques characterize ranges of parameters that produce (and do not produce) all three observed behaviors: reversal of movement, acceleration, and lack of response

Modified Contactor for Experimental Studies of Mass Transfer and Chemical Reaction Across a Liquid-Liquid Interface

A Modified Stirred-Cell Type Contactor Has Been Designed and Tested for its Use in Experimental Investigations of Mass Transfer and Chemical Reaction in Liquid-Liquid Systems. its Design overcomes the Shortcomings of Previously Proposed Contactors. It is Easy to Operate and Has the Ability to Investigate the Effect of a Wide Range of Operating Conditions. the Mixing Performance of the Contactor Was Tested using a Dye Injection and a Tracer Technique. Experiments to Evaluate Mass-Transfer Coefficients Across a Liquid-Liquid Interface Have Been Conducted to Determine its Effectiveness. the Results Verified that the Contactor Could Be Successfully Employed as a Useful Experimental Research Apparatus

Investigating off-Hugoniot states using multi-layer ring-up targets

Laser compression has long been used as a method to study solids at high pressure. This is commonly achieved by sandwiching a sample between two diamond anvils and using a ramped laser pulse to slowly compress the sample, while keeping it cool enough to stay below the melt curve. We demonstrate a different approach, using a multilayer ‘ring up’ target whereby laser-ablation pressure compresses Pb up to 150 GPa while keeping it solid, over two times as high in pressure than where it would shock melt on the Hugoniot. We find that the efficiency of this approach compares favourably with the commonly used diamond sandwich technique and could be important for new facilities located at XFELs and synchrotrons which often have higher repetition rate, lower energy lasers which limits the achievable pressures that can be reached

Analyses of SRS waste glass buried in granite in Sweden and salt in the United States

Simulated Savannah River Site (SRS) waste glass forms have been buried in the granite geology of the Stirpa mine in Sweden for two years. Analyses of glass surfaces provided a measure of the performance of the waste glasses as a function of time. Similar SRS waste glass compositions have also been buried in salt at the WIPP facility in Carlsbad, New Mexico for a similar time period. Analyses of the SRS waste glasses buried in-situ in granite will be presented and compared to the performance of these same compositions buried in salt at WIPP

Acoustics of weirs: Potential implications for micro-hydropower noise.

There is great potential for the expansion of the small or micro scale hydropower network. Of the 43 thousand weirs in the UK there are only 500 consented hydro schemes. Planning applications for such schemes require a noise assessment. Noise evaluation of a proposed renewable scheme is often complicated by the turbine sites having distinct noise characteristics in the first instance, which are often caused by the weirs themselves. Three types of weir were studied: Broad Crest weirs were studied in detail; this is complimented by further studies in Flat V and Crump weirs. Flow data was collected for ten sites from the Environment Agency and the National Rivers Flow Archive to assess the collected Sound Pressure Level (SPL) and calculated Sound poWer Level (SWL) in relation to various river flows. Weir head height, width and meteorological data were also collected. It has been shown that the SPL data collection method used was the right choice, as the greatest amplitudes at the water impact interface at all weir types was recorded. SPL and SWL were found to be within a 36e82 dBz and 45e86 dBz range respectively for all weir types. These values can be used in computer simulations of sound propagation. The mean SPL and SWL difference between the weir types are 6.1 dBz and 6.3 dBz. Head height has the greatest effect on SPLs. Attenuation with distance was found to be similar to that of a free field line source in general

Inhibition of ErbB kinase signalling promotes resolution of neutrophilic inflammation

Neutrophilic inflammation with prolonged neutrophil survival is common to many inflammatory conditions, including chronic obstructive pulmonary disease (COPD). There are few specific therapies that reverse neutrophilic inflammation, but uncovering mechanisms regulating neutrophil survival is likely to identify novel therapeutic targets. Screening of 367 kinase inhibitors in human neutrophils and a zebrafish tail fin injury model identified ErbBs as common targets of compounds that accelerated inflammation resolution. The ErbB inhibitors gefitinib, CP-724714, erbstatin and tyrphostin AG825 significantly accelerated apoptosis of human neutrophils, including neutrophils from people with COPD. Neutrophil apoptosis was also increased in Tyrphostin AG825 treated-zebrafish in vivo. Tyrphostin AG825 decreased peritoneal inflammation in zymosan-treated mice, and increased lung neutrophil apoptosis and macrophage efferocytosis in a murine acute lung injury model. Tyrphostin AG825 and knockdown of egfra and erbb2 by CRISPR/Cas9 reduced inflammation in zebrafish. Our work shows that inhibitors of ErbB kinases have therapeutic potential in neutrophilic inflammatory disease.Animal science

Employing the Gini coefficient to measure participation inequality in treatment-focused Digital Health Social Networks

Digital Health Social Networks (DHSNs) are common; however, there are few metrics that can be used to identify participation inequality. The objective of this study was to investigate whether the Gini coefficient, an economic measure of statistical dispersion traditionally used to measure income inequality, could be employed to measure DHSN inequality. Quarterly Gini coefficients were derived from four long-standing DHSNs. The combined data set included 625,736 posts that were generated from 15,181 actors over 18,671 days. The range of actors (8–2323), posts (29–28,684), and Gini coefficients (0.15–0.37) varied. Pearson correlations indicated statistically significant associations between number of actors and number of posts (0.527–0.835, p < .001), and Gini coefficients and number of posts (0.342–0.725, p < .001). However, the association between Gini coefficient and number of actors was only statistically significant for the addiction networks (0.619 and 0.276, p < .036). Linear regression models had positive but mixed R2 results (0.333–0.527). In all four regression models, the association between Gini coefficient and posts was statistically significant (t = 3.346–7.381, p < .002). However, unlike the Pearson correlations, the association between Gini coefficient and number of actors was only statistically significant in the two mental health networks (t = −4.305 and −5.934, p < .000). The Gini coefficient is helpful in measuring shifts in DHSN inequality. However, as a standalone metric, the Gini coefficient does not indicate optimal numbers or ratios of actors to posts, or effective network engagement. Further, mixed-methods research investigating quantitative performance metrics is required

Large Isoforms of UNC-89 (Obscurin) Are Required for Muscle Cell Architecture and Optimal Calcium Release in Caenorhabditis elegans

Calcium, a ubiquitous intracellular signaling molecule, controls a diverse array of cellular processes. Consequently, cells have developed strategies to modulate the shape of calcium signals in space and time. The force generating machinery in muscle is regulated by the influx and efflux of calcium ions into the muscle cytoplasm. In order for efficient and effective muscle contraction to occur, calcium needs to be rapidly, accurately and reliably regulated. The mechanisms underlying this highly regulated process are not fully understood. Here, we show that the Caenorhabditis elegans homolog of the giant muscle protein obscurin, UNC-89, is required for normal muscle cell architecture. The large immunoglobulin domain-rich isoforms of UNC-89 are critical for sarcomere and sarcoplasmic reticulum organization. Furthermore, we have found evidence that this structural organization is crucial for excitation-contraction coupling in the body wall muscle, through the coordination of calcium signaling. Thus, our data implicates UNC-89 in maintaining muscle cell architecture and that this precise organization is essential for optimal calcium mobilization and efficient and effective muscle contraction

Hypoxia and the Hypoxic Response Pathway Protect against Pore-Forming Toxins in C. elegans

Pore-forming toxins (PFTs) are by far the most abundant bacterial protein toxins and are important for the virulence of many important pathogens. As such, cellular responses to PFTs critically modulate host-pathogen interactions. Although many cellular responses to PFTs have been recorded, little is understood about their relevance to pathological or defensive outcomes. To shed light on this important question, we have turned to the only genetic system for studying PFT-host interactions—Caenorhabditis elegans intoxication by Crystal (Cry) protein PFTs. We mutagenized and screened for C. elegans mutants resistant to a Cry PFT and recovered one mutant. Complementation, sequencing, transgenic rescue, and RNA interference data demonstrate that this mutant eliminates a gene normally involved in repression of the hypoxia (low oxygen response) pathway. We find that up-regulation of the C. elegans hypoxia pathway via the inactivation of three different genes that normally repress the pathway results in animals resistant to Cry PFTs. Conversely, mutation in the central activator of the hypoxia response, HIF-1, suppresses this resistance and can result in animals defective in PFT defenses. These results extend to a PFT that attacks mammals since up-regulation of the hypoxia pathway confers resistance to Vibrio cholerae cytolysin (VCC), whereas down-regulation confers hypersusceptibility. The hypoxia PFT defense pathway acts cell autonomously to protect the cells directly under attack and is different from other hypoxia pathway stress responses. Two of the downstream effectors of this pathway include the nuclear receptor nhr-57 and the unfolded protein response. In addition, the hypoxia pathway itself is induced by PFT, and low oxygen is protective against PFT intoxication. These results demonstrate that hypoxia and induction of the hypoxia response protect cells against PFTs, and that the cellular environment can be modulated via the hypoxia pathway to protect against the most prevalent class of weapons used by pathogenic bacteria