From Euclidean Geometry to Knots and Nets

This document is the Accepted Manuscript of an article accepted for publication in Synthese. Under embargo until 19 September 2018. The final publication is available at Springer via https://doi.org/10.1007/s11229-017-1558-x.This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if (a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, (b) the information thus displayed is not metrical and (c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.Peer reviewe

Diabetes causes marked inhibition of mitochondrial metabolism in pancreatic β-cells

Diabetes is a global health problem caused primarily by the inability of pancreatic β-cells to secrete adequate levels of insulin. The molecular mechanisms underlying the progressive failure of β-cells to respond to glucose in type-2 diabetes remain unresolved. Using a combination of transcriptomics and proteomics, we find significant dysregulation of major metabolic pathways in islets of diabetic βV59M mice, a non-obese, eulipidaemic diabetes model. Multiple genes/proteins involved in glycolysis/gluconeogenesis are upregulated, whereas those involved in oxidative phosphorylation are downregulated. In isolated islets, glucose-induced increases in NADH and ATP are impaired and both oxidative and glycolytic glucose metabolism are reduced. INS-1 β-cells cultured chronically at high glucose show similar changes in protein expression and reduced glucose-stimulated oxygen consumption: targeted metabolomics reveals impaired metabolism. These data indicate hyperglycaemia induces metabolic changes in β-cells that markedly reduce mitochondrial metabolism and ATP synthesis. We propose this underlies the progressive failure of β-cells in diabetes.Peer reviewe

Environmental variables, habitat discontinuity and life history shaping the genetic structure of Pomatoschistus marmoratus

Coastal lagoons are semi-isolated ecosystems exposed to wide fluctuations of environmental conditions and showing habitat fragmentation. These features may play an important role in separating species into different populations, even at small spatial scales. In this study, we evaluate the concordance between mitochondrial (previous published data) and nuclear data analyzing the genetic variability of Pomatoschistus marmoratus in five localities, inside and outside the Mar Menor coastal lagoon (SE Spain) using eight microsatellites. High genetic diversity and similar levels of allele richness were observed across all loci and localities, although significant genic and genotypic differentiation was found between populations inside and outside the lagoon. In contrast to the FST values obtained from previous mitochondrial DNA analyses (control region), the microsatellite data exhibited significant differentiation among samples inside the Mar Menor and between lagoonal and marine samples. This pattern was corroborated using Cavalli-Sforza genetic distances. The habitat fragmentation inside the coastal lagoon and among lagoon and marine localities could be acting as a barrier to gene flow and contributing to the observed genetic structure. Our results from generalized additive models point a significant link between extreme lagoonal environmental conditions (mainly maximum salinity) and P. marmoratus genetic composition. Thereby, these environmental features could be also acting on genetic structure of coastal lagoon populations of P. marmoratus favoring their genetic divergence. The mating strategy of P. marmoratus could be also influencing our results obtained from mitochondrial and nuclear DNA. Therefore, a special consideration must be done in the selection of the DNA markers depending on the reproductive strategy of the species

Quantitative Analysis of Single Nucleotide Polymorphisms within Copy Number Variation

BACKGROUND: Single nucleotide polymorphisms (SNPs) have been used extensively in genetics and epidemiology studies. Traditionally, SNPs that did not pass the Hardy-Weinberg equilibrium (HWE) test were excluded from these analyses. Many investigators have addressed possible causes for departure from HWE, including genotyping errors, population admixture and segmental duplication. Recent large-scale surveys have revealed abundant structural variations in the human genome, including copy number variations (CNVs). This suggests that a significant number of SNPs must be within these regions, which may cause deviation from HWE. RESULTS: We performed a Bayesian analysis on the potential effect of copy number variation, segmental duplication and genotyping errors on the behavior of SNPs. Our results suggest that copy number variation is a major factor of HWE violation for SNPs with a small minor allele frequency, when the sample size is large and the genotyping error rate is 0~1%. CONCLUSIONS: Our study provides the posterior probability that a SNP falls in a CNV or a segmental duplication, given the observed allele frequency of the SNP, sample size and the significance level of HWE testing

Go4it; study design of a randomised controlled trial and economic evaluation of a multidisciplinary group intervention for obese adolescents for prevention of diabetes mellitus type 2

<p>Abstract</p> <p>Background</p> <p>In the Netherlands, the first adolescents with diabetes mellitus type 2 as a result of obesity have recently been diagnosed. Therefore, it is very important that programs aiming at the prevention of type 2 diabetes of obese adolescents are developed and evaluated.</p> <p>Methods</p> <p>Go4it is a multidisciplinary group treatment that focuses on: 1) increasing awareness of the current dietary and physical activity behaviour (i.e. energy balance behaviour), 2) improving diet, 3) decreasing sedentary behaviour, 4) increasing levels of physical activity, and 5) coping with difficult situations. Go4it consists of 7 sessions with an interval of 2–3 weeks.</p> <p>The effectiveness of the multidisciplinary group treatment compared with usual care (i.e. referral to a dietician) was evaluated in a randomised controlled trial. We examined effects on BMI(sds), body composition, energy expenditure, glucose tolerance and insulin resistance (primary outcome measure), as well as dietary and physical activity behaviour and quality of life. An economic evaluation from a societal perspective was conducted alongside the randomised trial to evaluate the cost-effectiveness of the multidisciplinary treatment program vs. usual care.</p> <p>Discussion</p> <p>In this paper we described a multidisciplinary treatment program (Go4it) for obese adolescents and the design of a randomised controlled trial and economic evaluation to evaluate its effectiveness and cost-effectiveness.</p> <p>Trial registration</p> <p>Netherlands Trial Register (ISRCTN27626398).</p

Estimates of linkage disequilibrium and effective population size in rainbow trout

<p>Abstract</p> <p>Background</p> <p>The use of molecular genetic technologies for broodstock management and selective breeding of aquaculture species is becoming increasingly more common with the continued development of genome tools and reagents. Several laboratories have produced genetic maps for rainbow trout to aid in the identification of loci affecting phenotypes of interest. These maps have resulted in the identification of many quantitative/qualitative trait loci affecting phenotypic variation in traits associated with albinism, disease resistance, temperature tolerance, sex determination, embryonic development rate, spawning date, condition factor and growth. Unfortunately, the elucidation of the precise allelic variation and/or genes underlying phenotypic diversity has yet to be achieved in this species having low marker densities and lacking a whole genome reference sequence. Experimental designs which integrate segregation analyses with linkage disequilibrium (LD) approaches facilitate the discovery of genes affecting important traits. To date the extent of LD has been characterized for humans and several agriculturally important livestock species but not for rainbow trout.</p> <p>Results</p> <p>We observed that the level of LD between syntenic loci decayed rapidly at distances greater than 2 cM which is similar to observations of LD in other agriculturally important species including cattle, sheep, pigs and chickens. However, in some cases significant LD was also observed up to 50 cM. Our estimate of effective population size based on genome wide estimates of LD for the NCCCWA broodstock population was 145, indicating that this population will respond well to high selection intensity. However, the range of effective population size based on individual chromosomes was 75.51 - 203.35, possibly indicating that suites of genes on each chromosome are disproportionately under selection pressures.</p> <p>Conclusions</p> <p>Our results indicate that large numbers of markers, more than are currently available for this species, will be required to enable the use of genome-wide integrated mapping approaches aimed at identifying genes of interest in rainbow trout.</p

Evidence for Female-Biased Dispersal in the Protandrous Hermaphroditic Asian Seabass, Lates calcarifer

Movement of individuals influences individual reproductive success, fitness, genetic diversity and relationships among individuals within populations and gene exchange among populations. Competition between males or females for mating opportunities and/or local resources predicts a female bias in taxa with monogamous mating systems and a male-biased dispersal in polygynous species. In birds and mammals, the patterns of dispersal between sexes are well explored, while dispersal patterns in protandrous hermaphroditic fish species have not been studied. We collected 549 adult individuals of Asian seabass (Lates calcarifer) from four locations in the South China Sea. To assess the difference in patterns of dispersal between sexes, we genotyped all individuals with 18 microsatellites. Significant genetic differentiation was detected among and within sampling locations. The parameters of population structure (FST), relatedness (r) and the mean assignment index (mAIC), in combination with data on tagging-recapture, supplied strong evidences for female-biased dispersal in the Asian seabass. This result contradicts our initial hypothesis of no sex difference in dispersal. We suggest that inbreeding avoidance of females, female mate choice under the condition of low mate competition among males, and male resource competition create a female-biased dispersal. The bigger body size of females may be a cause of the female-biased movement. Studies of dispersal using data from DNA markers and tagging-recapture in hermaphroditic fish species could enhance our understanding of patterns of dispersal in fish

Potential Pathways to Restore β-Cell Mass: Pluripotent Stem Cells, Reprogramming, and Endogenous Regeneration

Currently available β-cell replacement therapies for patients with diabetes, including islet and pancreas transplantation, are largely successful in restoring normal glucose metabolism, but the scarcity of organ donors restricts their more widespread use. To solve this supply problem, several different strategies for achieving β-cell mass restoration are being pursued. These include the generation of β cells from stem cells and their subsequent transplantation, or regeneration-type approaches, such as stimulating endogenous regenerative mechanisms or inducing reprogramming of non-β cells into β cells. Because these strategies would ultimately generate allogeneic or syngeneic β cells in humans, the control of alloimmunity and/or autoimmunity in addition to replacing lost β cells will be of utmost importance. We briefly review the recent literature on these three promising strategies toward β-cell replacement or restoration and point out the major issues impacting their translation to treating human diabetes

Genetic and oceanographic tools reveal high population connectivity and diversity in the endangered pen shell Pinna nobilis

For marine meta-populations with source-sink dynamics knowledge about genetic connectivity is important to conserve biodiversity and design marine protected areas (MPAs). We evaluate connectivity of a Mediterranean sessile species, Pinna nobilis. To address a large geographical scale, partial sequences of cytochrome oxidase I (COI, 590 bp) were used to evaluate phylogeographical patterns in the Western Mediterranean, and in the whole basin using overlapping sequences from the literature (243 bp). Additionally, we combined (1) larval trajectories based on oceanographic currents and early life-history traits and (2) 10 highly polymorphic microsatellite loci collected in the Western Mediterranean. COI results provided evidence for high diversity and low inter-population differentiation. Microsatellite genotypes showed increasing genetic differentiation with oceanographic transport time (isolation by oceanographic distance (IBD) set by marine currents). Genetic differentiation was detected between Banyuls and Murcia and between Murcia and Mallorca. However, no genetic break was detected between the Balearic populations and the mainland. Migration rates together with numerical Lagrangian simulations showed that (i) the Ebro Delta is a larval source for the Balearic populations (ii) Alicante is a sink population, accumulating allelic diversity from nearby populations. The inferred connectivity can be applied in the development of MPA networks in the Western Mediterranean.Spanish Ministry of Economy and Competitiveness [CTM2009-07013]; Ramon y Cajal Fellowship [RYC2014-14970]; Conselleria d'Innovacio, Recerca i Turisme of the Balearic Government; Spanish Ministry of Economy, Industry and Competitiveness IFCT [IF/00998/2014]; FCT [SFRH/BPD/63703/2009, SFRH/BPD/107878/2015, EXCL/AAG-GLO/0661/2012]; National Science Foundation [OCE-1419450]; Albert II of Monaco Foundationinfo:eu-repo/semantics/publishedVersio