OntoMathPROOntoMath^{PRO} Ontology: A Linked Data Hub for Mathematics

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.Comment: 15 pages, 6 images, 1 table, Knowledge Engineering and the Semantic Web - 5th International Conferenc

The limits of social class in explaining ethnic gaps in educational attainment

This paper reports an analysis of the educational attainment and progress between age 11 and age 14 of over 14,500 students from the nationally representative Longitudinal Study of Young People in England (LSYPE). The mean attainment gap in national tests at age 14 between White British and several ethnic minority groups were large, more than three times the size of the gender gap, but at the same time only about one-third of the size of the social class gap. Socio-economic variables could account for the attainment gaps for Black African, Pakistani and Bangladeshi students, but not for Black Caribbean students. Further controls for parental and student attitudes, expectations and behaviours indicated minority ethnic groups were on average more advantaged on these measures than White British students, but this was not reflected proportionately in their levels of attainment. Black Caribbean students were distinctive as the only group making less progress than White British students between age 11 and 14 and this could not be accounted for by any of the measured contextual variables. Possible explanations for the White British-Black Caribbean gap are considered

Analytic Metaphysics versus Naturalized Metaphysics: The Relevance of Applied Ontology

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by French & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field

Collagen matricryptin promotes cardiac function by mediating scar formation

This is an open access article under the CC BY-NC-ND license.Aims A peptide mimetic of a collagen-derived matricryptin (p1159) was shown to reduce left ventricular (LV) dilation and fibrosis after 7 days delivery in a mouse model of myocardial infarction (MI). This suggested p1159 long-term treatment post-MI could have beneficial effects and reduce/prevent adverse LV remodeling. This study aimed to test the potential of p1159 to reduce adverse cardiac remodeling in a chronic MI model and to elucidate p1159 mode-of-action. Materials and methods Using a permanent occlusion MI rodent model, animals received p1159 or vehicle solution up to 28 days. We assessed peptide treatment effects on scar composition and structure and on systolic function. To assess peptide effects on scar vascularization, a cohort of mice were injected with Griffonia simplicifolia isolectin-B4. To investigate p1159 mode-of-action, LV fibroblasts from naïve animals were treated with increasing doses of p1159. Key findings Matricryptin p1159 significantly improved systolic function post-MI (2-fold greater EF compared to controls) by reducing left ventricular dilation and inducing the formation of a compliant and organized infarct scar, which promoted LV contractility and preserved the structural integrity of the heart. Specifically, infarcted scars from p1159-treated animals displayed collagen fibers aligned parallel to the epicardium, to resist circumferential stretching, with reduced levels of cross-linking, and improved tissue perfusion. In addition, we found that p1159 increases cardiac fibroblast migration by activating RhoA pathways via the membrane receptor integrin α4. Significance Our data indicate p1159 treatment reduced adverse LV remodeling post-MI by modulating the deposition, arrangement, and perfusion of the fibrotic scar.ECU Open Access Publishing Support Fun

Correction of both immunodeficiency and hypoparathyroidism by thymus transplantation in complete DiGeorge Syndrome

Combined immune deficiency due to athymia in patients with complete DiGeorge syndrome can be corrected by allogeneic thymus transplantation. Hypoparathyroidism is a frequent concomitant clinical problem in these patients, which persists after thymus transplantation. Cotransplantation of allogeneic thymus and parental parathyroid tissue has been attempted but does not achieve durable correction of the patients' hypoparathyroidism due to parathyroid graft rejection. Surprisingly, we observed correction of hypoparathyroidism in one patient after thymus transplantation. Immunohistochemical analysis and fluorescence in situ hybridization confirmed the presence of allogeneic parathyroid tissue in the patient's thymus transplant biopsy. Despite a lack of HLA‐matching between thymus donor and recipient, the reconstituted immune system displays tolerance toward the thymus donor. Therefore we expect this patient's hypoparathyroidism to be permanently cured. It is recognised that ectopic parathyroid tissue is not infrequently found in the thymus. If such thymuses could be identified, we propose that their use would offer a compelling approach to achieving lasting correction of both immunodeficiency and hypoparathyroidism

Flexible provisioning of Web service workflows

Web services promise to revolutionise the way computational resources and business processes are offered and invoked in open, distributed systems, such as the Internet. These services are described using machine-readable meta-data, which enables consumer applications to automatically discover and provision suitable services for their workflows at run-time. However, current approaches have typically assumed service descriptions are accurate and deterministic, and so have neglected to account for the fact that services in these open systems are inherently unreliable and uncertain. Specifically, network failures, software bugs and competition for services may regularly lead to execution delays or even service failures. To address this problem, the process of provisioning services needs to be performed in a more flexible manner than has so far been considered, in order to proactively deal with failures and to recover workflows that have partially failed. To this end, we devise and present a heuristic strategy that varies the provisioning of services according to their predicted performance. Using simulation, we then benchmark our algorithm and show that it leads to a 700% improvement in average utility, while successfully completing up to eight times as many workflows as approaches that do not consider service failures

Annotations for Rule-Based Models

The chapter reviews the syntax to store machine-readable annotations and describes the mapping between rule-based modelling entities (e.g., agents and rules) and these annotations. In particular, we review an annotation framework and the associated guidelines for annotating rule-based models of molecular interactions, encoded in the commonly used Kappa and BioNetGen languages, and present prototypes that can be used to extract and query the annotations. An ontology is used to annotate models and facilitate their description