Theories, models and structures: thirty years on

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated within the partial structures formulation of the semantic or model-theoretic approach

A space-time continuous finite element method for 2D viscoelastic wave equation

International audienceA widespread approach to software service analysis uses session types. Very different type theories for binary and multiparty protocols have been developed; establishing precise connections between them remains an open problem. We present the first formal relation between two existing theories of binary and multiparty session types: a binary system rooted in linear logic, and a multiparty system based on automata theory. Our results enable the analysis of multiparty protocols using a (much simpler) type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom. As an application, we offer the first theory of multiparty session types with behavioral genericity. This theory is natural and powerful; its analysis techniques reuse results for binary session types

Introduction: Disease reservoirs : from colonial medicine to one health

Funding: Wellcome Trust, Canadian Institute for Advance Research, Agence Nationale de la Recherche.The introduction of the special issue “Disease Reservoirs: Anthropological and Historical Approaches” sets out the origins and trajectories of disease reservoir frameworks. First, it charts the emergence and elaborations of the reservoirs concept within and across early 20th-century colonial contexts, emphasising its configuration within imperial projects that sought to identify, map and control spaces of contagion among humans, animals, and pathogens. Following this, it traces the position the reservoir framework assumed within post-colonial practices and imaginaries of global health, with particular reference to the emerging infectious disease paradigm. The introduction shows that, in contemporary usages, while the concept continues to frame animals, humans and their bodies as containers of previously identified pathogens, it also emphasises the imperative of anticipating as-of-yet unknown diseases, harboured in the bodies of certain animals, through networks and techniques of surveillance. Consequently, the introduction argues that the notion of disease reservoirs remains intimately intertwined with concerns over the classification, organization, and management of peoples, pathogens, animals, and space. Finally, the introduction outlines the seven papers that form this special issue, stressing how they dialogue, complement, and challenge previous historical and anthropological approaches to disease reservoirs, with an eye to opening up new avenues for cross-disciplinary exploration.Publisher PDFPeer reviewe

Labels for non-individuals

Quasi-set theory is a first order theory without identity, which allows us to cope with non-individuals in a sense. A weaker equivalence relation called ``indistinguishability'' is an extension of identity in the sense that if $x$ is identical to $y$ then $x$ and $y$ are indistinguishable, although the reciprocal is not always valid. The interesting point is that quasi-set theory provides us a useful mathematical background for dealing with collections of indistinguishable elementary quantum particles. In the present paper, however, we show that even in quasi-set theory it is possible to label objects that are considered as non-individuals. We intend to prove that individuality has nothing to do with any labelling process at all, as suggested by some authors. We discuss the physical interpretation of our results.Comment: 11 pages, no figure

Sr-Nd isotope geochemistry of the early Precambrian sub-alkaline mafic igneous rocks from the southern Bastar craton, Central India

Sr–Nd isotope data are reported for the early Precambrian sub-alkaline mafic igneous rocks of the southern Bastar craton, central India. These mafic rocks are mostly dykes but there are a few volcanic exposures. Field relationships together with the petrological and geochemical characteristics of these mafic dykes divide them into two groups; Meso-Neoarchaean sub-alkaline mafic dykes (BD1) and Paleoproterozoic (1.88 Ga) sub-alkaline mafic dykes (BD2). The mafic volcanics are Neoarchaean in age and have very close geochemical relationships with the BD1 type. The two groups have distinctly different concentrations of high-field strength (HFSE) and rare earth elements (REE). The BD2 dykes have higher concentrations of HFSE and REE than the BD1 dykes and associated volcanics and both groups have very distinctive petrogenetic histories. These rocks display a limited range of initial 143Nd/144Nd but a wide range of apparent initial 87Sr/86Sr. Initial 143Nd/144Nd values in the BD1 dykes and associated volcanics vary between 0.509149 and 0.509466 and in the BD2 dykes the variation is between 0.510303 and 0.510511. All samples have positive εNd values the BD1 dykes and associated volcanics have εNd values between +0.3 and +6.5 and the BD2 dykes between +1.9 to +6.0. Trace element and Nd isotope data do not suggest severe crustal contamination during the emplacement of the studied rocks. The positive εNd values suggest their derivation from a depleted mantle source. Overlapping positive εNd values suggest that a similar mantle source tapped by variable melt fractions at different times was responsible for the genesis of BD1 (and associated volcanics) and BD2 mafic dykes. The Rb–Sr system is susceptible to alteration and resetting during post-magmatic alteration and metamorphism. Many of the samples studied have anomalous apparent initial 87Sr/86Sr suggesting post-magmatic changes of the Rb–Sr system which severely restricts the use of Rb–Sr for petrogenetic interpretation

Selective disruption of Tcf7l2 in the pancreatic β cell impairs secretory function and lowers β cell mass.

Type 2 diabetes (T2D) is characterized by β cell dysfunction and loss. Single nucleotide polymorphisms in the T-cell factor 7-like 2 (TCF7L2) gene, associated with T2D by genome-wide association studies, lead to impaired β cell function. While deletion of the homologous murine Tcf7l2 gene throughout the developing pancreas leads to impaired glucose tolerance, deletion in the β cell in adult mice reportedly has more modest effects. To inactivate Tcf7l2 highly selectively in β cells from the earliest expression of the Ins1 gene (∼E11.5) we have therefore used a Cre recombinase introduced at the Ins1 locus. Tcfl2(fl/fl)::Ins1Cre mice display impaired oral and intraperitoneal glucose tolerance by 8 and 16 weeks, respectively, and defective responses to the GLP-1 analogue liraglutide at 8 weeks. Tcfl2(fl/fl)::Ins1Cre islets displayed defective glucose- and GLP-1-stimulated insulin secretion and the expression of both the Ins2 (∼20%) and Glp1r (∼40%) genes were significantly reduced. Glucose- and GLP-1-induced intracellular free Ca(2+) increases, and connectivity between individual β cells, were both lowered by Tcf7l2 deletion in islets from mice maintained on a high (60%) fat diet. Finally, analysis by optical projection tomography revealed ∼30% decrease in β cell mass in pancreata from Tcfl2(fl/fl)::Ins1Cre mice. These data demonstrate that Tcf7l2 plays a cell autonomous role in the control of β cell function and mass, serving as an important regulator of gene expression and islet cell coordination. The possible relevance of these findings for the action of TCF7L2 polymorphisms associated with Type 2 diabetes in man is discussed

Selective disruption of Tcf7l2 in the pancreatic β cell impairs secretory function and lowers β cell mass

Type 2 diabetes (T2D) is characterized by β cell dysfunction and loss. Single nucleotide polymorphisms in the T-cell factor 7-like 2 (TCF7L2) gene, associated with T2D by genome-wide association studies, lead to impaired β cell function. While deletion of the homologous murine Tcf7l2 gene throughout the developing pancreas leads to impaired glucose tolerance, deletion in the β cell in adult mice reportedly has more modest effects. To inactivate Tcf7l2 highly selectively in β cells from the earliest expression of the Ins1 gene (∼E11.5) we have therefore used a Cre recombinase introduced at the Ins1 locus. Tcfl2fl/fl::Ins1Cre mice display impaired oral and intraperitoneal glucose tolerance by 8 and 16 weeks, respectively, and defective responses to the GLP-1 analogue liraglutide at 8 weeks. Tcfl2fl/fl::Ins1Cre islets displayed defective glucose- and GLP-1-stimulated insulin secretion and the expression of both the Ins2 (∼20%) and Glp1r (∼40%) genes were significantly reduced. Glucose- and GLP-1-induced intracellular free Ca2+ increases, and connectivity between individual β cells, were both lowered by Tcf7l2 deletion in islets from mice maintained on a high (60%) fat diet. Finally, analysis by optical projection tomography revealed ∼30% decrease in β cell mass in pancreata from Tcfl2fl/fl::Ins1Cre mice. These data demonstrate that Tcf7l2 plays a cell autonomous role in the control of β cell function and mass, serving as an important regulator of gene expression and islet cell coordination. The possible relevance of these findings for the action of TCF7L2 polymorphisms associated with Type 2 diabetes in man is discusse

Fluoroquinolone resistance during 2000–2005 : An observational study

<p>Abstract</p> <p>Background</p> <p>Moxifloxacin is a respiratory fluoroquinolone with a community acquired pneumonia indication. Unlike other fluoroquinolones used in our healthcare system, moxifloxacin's urinary excretion is low and thus we hypothesized that increased use of moxifloxacin is associated with an increase in fluoroquinolone resistance amongst gram negative uropathogens.</p> <p>Methods</p> <p>All antibiograms for Gram negative bacteria were obtained for 2000 to 2005. The defined daily dose (DDD) for each fluoroquinolone was computed according to World Health Organization criteria. To account for fluctuation in patient volume, DDD/1000 bed days was computed for each year of study. Association between DDD/1000 bed days for each fluoroquinolone and the susceptibility of Gram negative bacteria to ciprofloxacin was assessed using Pearson's Correlation Coefficient, r.</p> <p>Results</p> <p>During the study period, there were 48,261 antibiograms, 347,931 DDD of fluoroquinolones, and 1,943,338 bed days. Use of fluoroquinolones among inpatients decreased from 237.2 DDD/1000 bed days in 2000 to 115.2 DDD/1000 bed days in 2005. With the exception of <it>Enterobacter aerogenes</it>, moxifloxacin use was negatively correlated with sensitivity among all 13 Gram negative species evaluated (r = -0.07 to -0.97). When the sensitivities of all Gram negative organisms were aggregated, all fluoroquinolones except moxifloxacin were associated with increased sensitivity (r = 0.486 to 1.000) while moxifloxacin was associated with decreased sensitivity (r = -0.464).</p> <p>Conclusion</p> <p>Moxifloxacin, while indicated for empiric treatment of community acquired pneumonia, may have important negative influence on local antibiotic sensitivities amongst Gram negative organisms. This effect was not shared by other commonly used members of the fluoroquinolone class.</p