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

Job Search Behavior of Employed Managers

Job search typically has been thought of as an antecedent to voluntary turnover or job choice behavior. This study extends the existing literature by proposing a model of the job search process and examining the job search behavior of employed managers. Managers were initially surveyed about their job search activity over the past year. Approximately one year later, the same managers were surveyed to assess whether they had changed jobs since the initial survey, and the circumstances surrounding the job change. This survey data was matched with job, organizational, and personal information contained in the data base of a large executive search firm. Results suggest that dissatisfaction with different aspects of the organization and job were more strongly related to job search than were perceptions of greener pastures. Moreover, although some job search activity does facilitate turnover, a considerable amount of search does not lead to turnover. Thus, it appears that search serves many purposes. Implications of managerial job search on organizations are discussed

Utility of prehospital electrocardiogram interpretation in ST-segment elevation myocardial infarction utilizing computer interpretation and transmission for interventional cardiologist consultation

Objectives: We examined the appropriateness of prehospital cardiac catheter laboratory activation (CCL-A) in ST-segment elevation myocardial infarction (STEMI) utilizing the University of Glasgow algorithm (UGA) and remote interventional cardiologist consultation. Background: The incremental benefit of prehospital electrocardiogram (PH-ECG) transmission on the diagnostic accuracy and appropriateness of CCL-A has been examined in a small number of studies with conflicting results. Methods: We identified consecutive PH-ECG transmissions between June 2, 2010 and October 6, 2016. Blinded adjudication of ECGs, appropriateness of CCL-A, and index diagnoses were performed using the fourth universal definition of MI. The primary outcome was the appropriate CCL-A rate. Secondary outcomes included rates of false-positive CCL-A, inappropriate CCL-A, and inappropriate CCL nonactivation. Results: Among 1088 PH-ECG transmissions, there were 565 (52%) CCL-As and 523 (48%) CCL nonactivations. The appropriate CCL-A rate was 97% (550 of 565 CCL-As), of which 4.9% (n = 27) were false-positive. The inappropriate CCL-A rate was 2.7% (15 of 565 CCL-As) and the inappropriate CCL nonactivation rate was 3.6% (19 of 523 CCL nonactivations). Reasons for appropriate CCL nonactivation (n = 504) included nondiagnostic ST-segment elevation (n = 128, 25%), bundle branch block (n = 132, 26%), repolarization abnormality (n = 61, 12%), artefact (n = 72, 14%), no ischemic symptoms (n = 32, 6.3%), severe comorbidities (n = 26, 5.2%), transient ST-segment elevation (n = 20, 4.0%), and others. Conclusions: PH-ECG interpretation utilizing UGA with interventional cardiologist consultation accurately identified STEMI with low rates of inappropriate and false-positive CCL-As, whereas using UGA alone would have almost doubled CCL-As. The benefits of cardiologist consultation were identifying “masquerading” STEMI and avoiding unnecessary CCL-As

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