Tantalum-Based Ceramics for Refractory Composites

A family of tantalum-based ceramics has been invented as ingredients of high-temperature composite insulating tiles. These materials are suitable for coating and/or permeating the outer layers of rigid porous (foam-like or fibrous) ceramic substrates to (1) render the resulting composite ceramic tiles impervious to hot gases and (2) enable the tiles to survive high heat fluxes at temperatures that can exceed 3,000 F ( 1,600 C)

Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

MiRNA-200C expression in Fanconi anemia pathway functionally deficient lung cancers

The Fanconi Anemia (FA) pathway is essential for human cells to maintain genomic integrity following DNA damage. This pathway is involved in repairing damaged DNA through homologous recombination. Cancers with a defective FA pathway are expected to be more sensitive to cross-link based therapy or PARP inhibitors. To evaluate downstream effectors of the FA pathway, we studied the expression of 734 different micro RNAs (miRNA) using NanoString nCounter miRNA array in two FA defective lung cancer cells and matched control cells, along with two lung tumors and matched non-tumor tissue samples that were deficient in the FA pathway. Selected miRNA expression was validated with real-time PCR analysis. Among 734 different miRNAs, a cluster of microRNAs were found to be up-regulated including an important cancer related micro RNA, miR-200C. MiRNA-200C has been reported as a negative regulator of epithelial-mesenchymal transition (EMT) and inhibits cell migration and invasion by promoting the upregulation of E-cadherin through targeting ZEB1 and ZEB2 transcription factors. miRNA-200C was increased in the FA defective lung cancers as compared to controls. AmpliSeq analysis showed significant reduction in ZEB1 and ZEB2 mRNA expression. Our findings indicate the miRNA-200C potentially play a very important role in FA pathway downstream regulation

Enhancement of gene targeting in human cells by intranuclear permeation of the Saccharomyces cerevisiae Rad52 protein

The introduction of exogenous DNA in human somatic cells results in a frequency of random integration at least 100-fold higher than gene targeting (GT), posing a seemingly insurmountable limitation for gene therapy applications. We previously reported that, in human cells, the stable over-expression of the Saccharomyces cerevisiae Rad52 gene (yRAD52), which plays the major role in yeast homologous recombination (HR), caused an up to 37-fold increase in the frequency of GT, indicating that yRAD52 interacts with the double-strand break repair pathway(s) of human cells favoring homologous integration. In the present study, we tested the effect of the yRad52 protein by delivering it directly to the human cells. To this purpose, we fused the yRAD52 cDNA to the arginine-rich domain of the TAT protein of HIV (tat11) that is known to permeate the cell membranes. We observed that a recombinant yRad52tat11 fusion protein produced in Escherichia coli, which maintains its ability to bind single-stranded DNA (ssDNA), enters the cells and the nuclei, where it is able to increase both intrachromosomal recombination and GT up to 63- and 50-fold, respectively. Moreover, the non-homologous plasmid DNA integration decreased by 4-fold. yRAD52tat11 proteins carrying point mutations in the ssDNA binding domain caused a lower or nil increase in recombination proficiency. Thus, the yRad52tat11 could be instrumental to increase GT in human cells and a ‘protein delivery approach’ offers a new tool for developing novel strategies for genome modification and gene therapy applications

Toward full-stack in silico synthetic biology: integrating model specification, simulation, verification, and biological compilation

YesWe present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification of the desired synthetic system, followed by simulation and verification of the system in high- performance environments and ending with the eventual compilation of the system specification into suitable genetic constructs. IBW integrates modelling, simulation, verification and bicompilation features into a single software suite. This integration is achieved through a new domain-specific biological programming language, the Infobiotics Language (IBL), which tightly combines these different aspects of in silico synthetic biology into a full-stack integrated development environment. Unlike existing synthetic biology modelling or specification languages, IBL uniquely blends modelling, verification and biocompilation statements into a single file. This allows biologists to incorporate design constraints within the specification file rather than using decoupled and independent formalisms for different in silico analyses. This novel approach offers seamless interoperability across different tools as well as compatibility with SBOL and SBML frameworks and removes the burden of doing manual translations for standalone applications. We demonstrate the features, usability, and effectiveness of IBW and IBL using well-established synthetic biological circuits.The work of S.K. is supported by EPSRC (EP/R043787/1). N.K., A.W., and B.B. acknowledge a Royal Academy of Engineering Chair in Emerging Technologies award and an EPSRC programme grant (EP/N031962/1)

Real Theorem Provers Deserve Real User-Interfaces

This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments

Biophysical, Molecular and Proteomic Profiling of Human Retinal Organoid-Derived Exosomes

PurposeThere is a growing interest in extracellular vesicles (EVs) for ocular applications as therapeutics, biomarkers, and drug delivery vehicles. EVs secreted from mesenchymal stem cells (MSCs) have shown to provide therapeutic benefits in ocular conditions. However, very little is known about the properties of bioreactor cultured-3D human retinal organoids secreted EVs. This study provides a comprehensive morphological, nanomechanical, molecular, and proteomic characterization of retinal organoid EVs and compares it with human umbilical cord (hUC) MSCs.MethodsThe morphology and nanomechanical properties of retinal organoid EVs were assessed using Nanoparticle tracking analysis (NTA) and Atomic force microscopy (AFM). Gene expression analysis of exosome biogenesis of early and late retinal organoids were compared using qPCR. The protein profile of the EVs were analyzed with proteomic tools.ResultsNTA indicated the average size of EV as 100-250 nm. A high expression of exosome biogenesis genes was observed in late retinal organoids EVs. Immunoblot analysis showed highly expressed exosomal markers in late retinal organoids EVs compared to early retinal organoids EVs. Protein profiling of retinal organoid EVs displayed a higher differential expression of retinal function-related proteins and EV biogenesis proteins than hUCMSC EVs, implicating that the use of retinal organoid EVs may have a superior therapeutic effect on retinal disorders.ConclusionThis study provides supplementary knowledge on the properties of retinal organoid EVs and suggests their potential use in the diagnostic and therapeutic treatments for ocular diseases

Medical Student Perspectives on Undergraduate Oncology Education in the UK.

AimsThe British Oncology Network for Undergraduate Societies (BONUS) surveyed students who attended an oncology revision day to determine their views on the current quantity, quality and type of curriculum-based oncology teaching they have experienced.Materials and methodsStudents attending two BONUS revision days received a questionnaire assessing their experience of oncology teaching within the medical curriculum and interest in pursuing a future career in oncology using a 10-point Likert scale. Data were collected with informed consent to be anonymised and used for research. Student demographics and qualitative and quantitative data about experiences of oncology education were analysed.ResultsIn total, 451 students registered to attend the revision days. After removal of duplicates, non-responders and non-UK participants, responses from 153 students studying across years 1-6 at 22 UK medical schools were analysed. The mean quantity of oncology lectures students reported receiving was 8.9 hours and the mean quantity of clinic/ward-based oncology teaching was 7.5 hours. Ninety (62.1%) of the 145 students who responded to the relevant question reported that they had received dedicated teaching in oncology. Students who had received dedicated oncology teaching reported a statistically significantly higher mean quality 6.1 (95% confidence interval 5.6-6.5) versus 5.0 (95% confidence interval 4.3-5.5; P = 0.003) and quantity 5.2 (95% confidence interval 4.7-5.6) versus 4.3 (95% confidence interval 3.7-4.9; P = 0.03) of oncology teaching compared with those who had not received this.ConclusionAppropriate oncology education is essential for all medical students due to the high prevalence of cancer. All future doctors need the appropriate knowledge and communication skills to care for cancer patients. Our analysis provides quantitative evidence to support the value of specialist oncology teaching within the medical school curriculum in improving student-reported experience. National student-led revision days and events may widen interest in a future career in oncology and aid collaboration between oncology societies. It is important for the general undergraduate medical curriculum to integrate specialty content. An integrated curriculum should facilitate a holistic approach that spans prevention, screening, treatment and palliation rather than being split by subspeciality