Schemes in Lean

We tell the story of how schemes were formalized in three different ways in the Lean theorem prover

Distribution of raphespinal fibers in the mouse spinal cord

Background: Serotonergic raphespinal neurons and their fibers have been mapped in large mammals, but the non- serotonergic ones have not been studied, especially in the mouse. The present study aimed to investigate the termination pattern of fibers arising from the hindbrain raphe and reticular nuclei which also have serotonergic neurons by injecting the anterograde tracer BDA into them. Results: We found that raphespinal fibers terminate in both the dorsal and ventral horns in addition to lamina 10. There is a shift of the fibers in the ventral horn towards the dorsal and lateral part of the gray matter. Considerable variation in the termination pattern also exists between raphe nuclei with raphe magnus having more fibers terminating in the dorsal horn. Fibers from the adjacent gigantocellular reticular nucleus show similar termination pattern as those from the raphe nuclei with slight difference. Immunofluorescence staining showed that raphespinal fibers were heterogeneous and serotoninergic fibers were present in all laminae but mainly in laminae 1, 2, medial lamina 8, laminae 9 and 10. Surprisingly, immunofluorescence staining on clarified spinal cord tissue revealed that serotoninergic fibers formed bundles regularly in a short distance along the rostrocaudal axis in the medial part of the ventral horn and they extended towards the lateral motor neuron column area. Conclusion: Serotonergic and non-serotonergic fibers arising from the hindbrain raphe and reticular nuclei had similar termination pattern in the mouse spinal cord with subtle difference. The present study provides anatomical foundation for the multiple roles raphe and adjacent reticular nuclei play

Impact of Reference Gene Selection for Target Gene Normalization on Experimental Outcome Using Real-Time qRT-PCR in Adipocytes

Background: With the current rise in obesity-related morbidities, real-time quantitative reverse transcription polymerase chain reaction (qRT-PCR) has become a widely used method for assessment of genes expressed and regulated by adipocytes. In order to measure accurate changes in relative gene expression and monitor intersample variability, normalization to endogenous control genes that do not change in relative expression is commonly used with qRT-PCR determinations. However, historical evidence has clearly demonstrated that the expression profiles of traditional control genes (e.g., b-actin, GAPDH, a-tubulin) are differentially regulated across multiple tissue types and experimental conditions. Methodology/Principal Findings: Therefore, we validated six commonly used endogenous control genes under diverse experimental conditions of inflammatory stress, oxidative stress, synchronous cell cycle progression and cellular differentiation in 3T3-L1 adipocytes using TaqMan qRT-PCR. Under each study condition, we further evaluated the impact of reference gene selection on experimental outcome using examples of target genes relevant to adipocyte function and differentiation. We demonstrate that multiple reference genes are regulated in a condition-specific manner that is not suitable for use in target gene normalization. Conclusion/Significance: Data are presented demonstrating that inappropriate reference gene selection can have profound influence on study conclusions ranging from divergent statistical outcome to inaccurate data interpretation of significan

Impact of metabolic comorbidity on the association between body mass index and heatlh-related quality of life: a Scotland-wide cross-sectional study of 5,608 participants

<p/>Background: The prevalence of obesity is rising in Scotland and globally. Overall, obesity is associated with increased morbidity, mortality and reduced health-related quality of life. Studies suggest that "healthy obesity" (obesity without metabolic comorbidity) may not be associated with morbidity or mortality. Its impact on health-related quality of life is unknown. <p/>Methods: We extracted data from the Scottish Health Survey on self-reported health-related quality of life, body mass index (BMI), demographic information and comorbidity. SF-12 responses were converted into an overall health utility score. Linear regression analyses were used to explore the association between BMI and health utility, stratified by the presence or absence of metabolic comorbidity (diabetes, hypertension, hypercholesterolemia or cardiovascular disease), and adjusted for potential confounders (age, sex and deprivation quintile). <p/>Results: Of the 5,608 individuals, 3,744 (66.8%) were either overweight or obese and 921 (16.4%) had metabolic comorbidity. There was an inverted U-shaped relationship whereby health utility was highest among overweight individuals and fell with increasing BMI. There was a significant interaction with metabolic comorbidity (p = 0.007). Individuals with metabolic comorbidty had lower utility scores and a steeper decline in utility with increasing BMI (morbidly obese, adjusted coefficient: -0.064, 95% CI -0.115, -0.012, p = 0.015 for metabolic comorbidity versus -0.042, 95% CI -0.067, -0.018, p = 0.001 for no metabolic comorbidity). <p/>Conclusions: The adverse impact of obesity on health-related quality of life is greater among individuals with metabolic comorbidity. However, increased BMI is associated with reduced health-related quality of life even in the absence of metabolic comorbidity, casting doubt on the notion of "healthy obesity"

Individual variation in levels of haptoglobin-related protein in children from Gabon

Background: Haptoglobin related protein (Hpr) is a key component of trypanosome lytic factors (TLF), a subset of highdensity lipoproteins (HDL) that form the first line of human defence against African trypanosomes. Hpr, like haptoglobin (Hp) can bind to hemoglobin (Hb) and it is the Hpr-Hb complexes which bind to these parasites allowing uptake of TLF. This unique form of innate immunity is primate-specific. To date, there have been no population studies of plasma levels of Hpr, particularly in relation to hemolysis and a high prevalence of ahaptoglobinemia as found in malaria endemic areas. Methods and Principal Findings: We developed a specific enzyme-linked immunosorbent assay to measure levels of plasma Hpr in Gabonese children sampled during a period of seasonal malaria transmission when acute phase responses (APR), malaria infection and associated hemolysis were prevalent. Median Hpr concentration was 0.28 mg/ml (range 0.03-1.1). This was 5-fold higher than that found in Caucasian children (0.049 mg/ml, range 0.002-0.26) with no evidence of an APR. A general linear model was used to investigate associations between Hpr levels, host polymorphisms, parasitological factors and the acute phase proteins, Hp, C-reactive protein (CRP) and albumin. Levels of Hpr were associated with Hp genotype, decreased with age and were higher in females. Hpr concentration was strongly correlated with that of Hp, but not CRP

Relationship between the magnitude of intraocular pressure during an episode of acute elevation and retinal damage four weeks later in rats

PURPOSE: To determine relationship between the magnitude of intraocular pressure (IOP) during a fixed-duration episode of acute elevation and the loss of retinal function and structure 4 weeks later in rats. METHODS: Unilateral elevation of IOP (105 minutes) was achieved manometrically in adult Brown Norway rats (9 groups; n = 4 to 8 each, 10-100 mm Hg and sham control). Full-field ERGs were recorded simultaneously from treated and control eyes 4 weeks after IOP elevation. Scotopic ERG stimuli were white flashes (-6.04 to 2.72 log cd.s.m(-2)). Photopic ERGs were recorded (1.22 to 2.72 log cd.s.m(-2)) after 15 min of light adaptation (150 cd/m(2)). Relative amplitude (treated/control, %) of ERG components versus IOP was described with a cummulative normal function. Retinal ganglion cell (RGC) layer density was determined post mortem by histology. RESULTS: All ERG components failed to recover completely normal amplitudes by 4 weeks after the insult if IOP was 70 mmHg or greater during the episode. There was no ERG recovery at all if IOP was 100 mmHg. Outer retinal (photoreceptor) function demonstrated the least sensitivity to prior acute IOP elevation. ERG components reflecting inner retinal function were correlated with post mortem RGC layer density. CONCLUSIONS: Retinal function recovers after IOP normalization, such that it requires a level of acute IOP elevation approximately 10 mmHg higher to cause a pattern of permanent dysfunction similar to that observed during the acute event. There is a 'threshold' for permanent retinal functional loss in the rat at an IOP between 60 and 70 mmHg if sustained for 105 minutes or more

Emergent dynamic chirality in a thermally driven artificial spin ratchet

Modern nanofabrication techniques have opened the possibility to create novel functional materials, whose properties transcend those of their constituent elements. In particular, tuning the magnetostatic interactions in geometrically frustrated arrangements of nanoelements called artificial spin ice1, 2 can lead to specific collective behaviour3, including emergent magnetic monopoles4, 5, charge screening6, 7 and transport8, 9, as well as magnonic response10, 11, 12. Here, we demonstrate a spin-ice-based active material in which energy is converted into unidirectional dynamics. Using X-ray photoemission electron microscopy we show that the collective rotation of the average magnetization proceeds in a unique sense during thermal relaxation. Our simulations demonstrate that this emergent chiral behaviour is driven by the topology of the magnetostatic field at the edges of the nanomagnet array, resulting in an asymmetric energy landscape. In addition, a bias field can be used to modify the sense of rotation of the average magnetization. This opens the possibility of implementing a magnetic Brownian ratchet13, 14, which may find applications in novel nanoscale devices, such as magnetic nanomotors, actuators, sensors or memory cells

Sandbox university: Estimating influence of institutional action

The approach presented in this article represents a generalizable and adaptable methodology for identifying complex interactions in educational systems and for investigating how manipulation of these systems may affect educational outcomes of interest. Multilayer Minimum Spanning Tree and Monte-Carlo methods are used. A virtual Sandbox University is created in order to facilitate effective identification of successful and stable initiatives within higher education, which can affect students' credits and student retention - something that has been lacking up until now. The results highlight the importance of teacher feedback and teacher-student rapport, which is congruent with current educational findings, illustrating the methodology's potential to provide a new basis for further empirical studies of issues in higher education from a complex systems perspective

Topology by Design in Magnetic nano-Materials: Artificial Spin Ice

Artificial Spin Ices are two dimensional arrays of magnetic, interacting nano-structures whose geometry can be chosen at will, and whose elementary degrees of freedom can be characterized directly. They were introduced at first to study frustration in a controllable setting, to mimic the behavior of spin ice rare earth pyrochlores, but at more useful temperature and field ranges and with direct characterization, and to provide practical implementation to celebrated, exactly solvable models of statistical mechanics previously devised to gain an understanding of degenerate ensembles with residual entropy. With the evolution of nano--fabrication and of experimental protocols it is now possible to characterize the material in real-time, real-space, and to realize virtually any geometry, for direct control over the collective dynamics. This has recently opened a path toward the deliberate design of novel, exotic states, not found in natural materials, and often characterized by topological properties. Without any pretense of exhaustiveness, we will provide an introduction to the material, the early works, and then, by reporting on more recent results, we will proceed to describe the new direction, which includes the design of desired topological states and their implications to kinetics.Comment: 29 pages, 13 figures, 116 references, Book Chapte

Boron microlocalization in oral mucosal tissue: implications for boron neutron capture therapy

Clinical studies of the treatment of glioma and cutaneous melanoma using boron neutron capture therapy (BNCT) are currently taking place in the USA, Europe and Japan. New BNCT clinical facilities are under construction in Finland, Sweden, England and California. The observation of transient acute effects in the oral mucosa of a number of glioma patients involved in the American clinical trials, suggests that radiation damage of the oral mucosa could be a potential complication in future BNCT clinical protocols, involving higher doses and larger irradiation field sizes. The present investigation is the first to use a high resolution surface analytical technique to relate the microdistribution of boron-10 (10B) in the oral mucosa to the biological effectiveness of the 10B(n,α)7Li neutron capture reaction in this tissue. The two boron delivery agents used clinically in Europe/Japan and the USA, borocaptate sodium (BSH) and p-boronophenylalanine (BPA), respectively, were evaluated using a rat ventral tongue model. 10B concentrations in various regions of the tongue mucosa were estimated using ion microscopy. In the epithelium, levels of 10B were appreciably lower after the administration of BSH than was the case after BPA. The epithelium:blood 10B partition ratios were 0.2:1 and 1:1 for BSH and BPA respectively. The 10B content of the lamina propria was higher than that measured in the epithelium for both BSH and BPA. The difference was most marked for BSH, where 10B levels were a factor of six higher in the lamina propria than in the epithelium. The concentration of 10B was also measured in blood vessel walls where relatively low levels of accumulation of BSH, as compared with BPA, was demonstrated in blood vessel endothelial cells and muscle. Vessel wall:blood 10B partition ratios were 0.3:1 and 0.9:1 for BSH and BPA respectively. Evaluation of tongue mucosal response (ulceration) to BNC irradiation indicated a considerably reduced radiation sensitivity using BSH as the boron delivery agent relative to BPA. The compound biological effectiveness (CBE) factor for BSH was estimated at 0.29 ± 0.02. This compares with a previously published CBE factor for BPA of 4.87 ± 0.16. It was concluded that variations in the microdistribution profile of 10B, using the two boron delivery agents, had a significant effect on the response of oral mucosa to BNC irradiation. From a clinical perspective, based on the findings of the present study, it is probable that potential radiation-induced oral mucositis will be restricted to BNCT protocols involving BPA. However, a thorough high resolution analysis of 10B microdistribution in human oral mucosal tissue, using a technique such as ion microscopy, is a prerequisite for the use of experimentally derived CBE factors in clinical BNCT. © 2000 Cancer Research Campaig