Identification and Properties of New Flavins in Electron-Transferring Flavoprotein from Peptostreptococcus elsdenii and Pig-Liver Glycolate Oxidase

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65168/1/j.1432-1033.1974.tb03515.x.pd

Local reasoning about the presence of bugs: Incorrectness Separation Logic

There has been a large body of work on local reasoning for proving the absence of bugs, but none for proving their presence. We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1) separation logic and 2) incorrectness logic. We explore the theory of this new incorrectness separation logic (ISL), and use it to derive a begin-anywhere, intra-procedural symbolic execution analysis that has no false positives by construction. In so doing, we take a step towards transferring modular, scalable techniques from the world of program verification to bug catching

Regulation of Epithelial Cell Morphology and Functions Approaching To More In Vivo-Like by Modifying Polyethylene Glycol on Polysulfone Membranes

Cytocompatibility is critically important in design of biomaterials for application in tissue engineering. However, the currently well-accepted “cytocompatible" biomaterials are those which promote cells to sustain good attachment/spreading. The cells on such materials usually lack the self-assembled cell morphology and high cell functions as in vivo. In our view, biomaterials that can promote the ability of cells to self-assemble and demonstrate cell-specific functions would be cytocompatible. This paper examined the interaction of polyethylene glycol (PEG) modified polysulfone (PSf) membranes with four epithelial cell types (primary liver cells, a liver tumor cell line, and two renal tubular cell lines). Our results show that PSf membranes modified with proper PEG promoted the aggregation of both liver and renal cells, but the liver cells more easily formed aggregates than the renal tubular cells. The culture on PEG-modified PSf membranes also enhanced cell-specific functions. In particular, the cells cultured on F127 membranes with the proper PEG content mimicked the in vivo ultrastructure of liver cells or renal tubules cells and displayed the highest cell functions. Gene expression data for adhesion proteins suggest that the PEG modification impaired cell-membrane interactions and increased cell-cell interactions, thus facilitating cell self-assembly. In conclusion, PEG-modified membrane could be a cytocompatible material which regulates the morphology and functions of epithelial cells in mimicking cell performance in vivo

The integration of lipid-sensing and anti-inflammatory effects: how the PPARs play a role in metabolic balance

The peroxisomal proliferating-activated receptors (PPARs) are lipid-sensing transcription factors that have a role in embryonic development, but are primarily known for modulating energy metabolism, lipid storage, and transport, as well as inflammation and wound healing. Currently, there is no consensus as to the overall combined function of PPARs and why they evolved. We hypothesize that the PPARs had to evolve to integrate lipid storage and burning with the ability to reduce oxidative stress, as energy storage is essential for survival and resistance to injury/infection, but the latter increases oxidative stress and may reduce median survival (functional longevity). In a sense, PPARs may be an evolutionary solution to something we call the 'hypoxia-lipid' conundrum, where the ability to store and burn fat is essential for survival, but is a 'double-edged sword', as fats are potentially highly toxic. Ways in which PPARs may reduce oxidative stress involve modulation of mitochondrial uncoupling protein (UCP) expression (thus reducing reactive oxygen species, ROS), optimising forkhead box class O factor (FOXO) activity (by improving whole body insulin sensitivity) and suppressing NFkB (at the transcriptional level). In light of this, we therefore postulate that inflammation-induced PPAR downregulation engenders many of the signs and symptoms of the metabolic syndrome, which shares many features with the acute phase response (APR) and is the opposite of the phenotype associated with calorie restriction and high FOXO activity. In genetically susceptible individuals (displaying the naturally mildly insulin resistant 'thrifty genotype'), suboptimal PPAR activity may follow an exaggerated but natural adipose tissue-related inflammatory signal induced by excessive calories and reduced physical activity, which normally couples energy storage with the ability to mount an immune response. This is further worsened when pancreatic decompensation occurs, resulting in gluco-oxidative stress and lipotoxicity, increased inflammatory insulin resistance and oxidative stress. Reactivating PPARs may restore a metabolic balance and help to adapt the phenotype to a modern lifestyle

Economic impact of screening for X-linked Adrenoleukodystrophy within a newborn blood spot screening programme.

BACKGROUND: A decision tree model was built to estimate the economic impact of introducing screening for X-linked adrenoleukodystrophy (X-ALD) into an existing tandem mass spectrometry based newborn screening programme. The model was based upon the UK National Health Service (NHS) Newborn Blood Spot Screening Programme and a public service perspective was used with a lifetime horizon. The model structure and parameterisation were based upon literature reviews and expert clinical judgment. Outcomes included health, social care and education costs and quality adjusted life years (QALYs). The model assessed screening of boys only and evaluated the impact of improved outcomes from hematopoietic stem cell transplantation in patients with cerebral childhood X-ALD (CCALD). Threshold analyses were used to examine the potential impact of utility decrements for non-CCALD patients identified by screening. RESULTS: It is estimated that screening 780,000 newborns annually will identify 18 (95%CI 12, 27) boys with X-ALD, of whom 10 (95% CI 6, 15) will develop CCALD. It is estimated that screening may detect 7 (95% CI 3, 12) children with other peroxisomal disorders who may also have arisen symptomatically. If results for girls are returned an additional 17 (95% CI 12, 25) cases of X-ALD will be identified. The programme is estimated to cost an additional £402,000 (95% CI £399-407,000) with savings in lifetime health, social care and education costs leading to an overall discounted cost saving of £3.04 (95% CI £5.69, £1.19) million per year. Patients with CCALD are estimated to gain 8.5 discounted QALYs each giving an overall programme benefit of 82 (95% CI 43, 139) QALYs. CONCLUSION: Including screening of boys for X-ALD into an existing tandem mass spectrometry based newborn screening programme is projected to reduce lifetime costs and improve outcomes for those with CCALD. The potential disbenefit to those identified with non-CCALD conditions would need to be substantial in order to outweigh the benefit to those with CCALD. Further evidence is required on the potential QALY impact of early diagnosis both for non-CCALD X-ALD and other peroxisomal disorders. The favourable economic results are driven by estimated reductions in the social care and education costs