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

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

Sensitivity and Specificity of Multiple Kato-Katz Thick Smears and a Circulating Cathodic Antigen Test for Schistosoma mansoni Diagnosis Pre- and Post-repeated-Praziquantel Treatment

Two Kato-Katz thick smears (Kato-Katzs) from a single stool are currently recommended for diagnosing Schistosoma mansoni infections to map areas for intervention. This ‘gold standard’ has low sensitivity at low infection intensities. The urine point-of-care circulating cathodic antigen test (POC-CCA) is potentially more sensitive but how accurately they detect S. mansoni after repeated praziquantel treatments, their suitability for measuring drug efficacy and their correlation with egg counts remain to be fully understood. We compared the accuracies of one to six Kato-Katzs and one POC-CCA for the diagnosis of S. mansoni in primary-school children who have received zero to ten praziquantel treatments. We determined the impact each diagnostic approach may have on monitoring and evaluation (M&E) and drug-efficacy findings

Mechanistic model of natural killer cell proliferative response to IL-15 receptor stimulation

Natural killer (NK) cells are innate lymphocytes that provide early host defense against intracellular pathogens, such as viruses. Although NK cell development, homeostasis, and proliferation are regulated by IL-15, the influence of IL-15 receptor (IL-15R)-mediated signaling at the cellular level has not been quantitatively characterized. We developed a mathematical model to analyze the kinetic interactions that control the formation and localization of IL-15/IL-15R complexes. Our computational results demonstrated that IL-15/IL-15R complexes on the cell surface were a key determinant of the magnitude of the IL-15 proliferative signal and that IL-15R occupancy functioned as an effective surrogate measure of receptor signaling. Ligand binding and receptor internalization modulated IL-15R occupancy. Our work supports the hypothesis that the total number and duration of IL-15/IL-15R complexes on the cell surface crosses a quantitative threshold prior to the initiation of NK cell division. Furthermore, our model predicted that the upregulation of IL-15Rα on NK cells substantially increased IL-15R complex formation and accelerated the expansion of dividing NK cells with the greatest impact at low IL-15 concentrations. Model predictions of the threshold requirement for NK cell recruitment to the cell cycle and the subsequent exponential proliferation correlated well with experimental data. In summary, our modeling analysis provides quantitative insight into the regulation of NK cell proliferation at the receptor level and provides a framework for the development of IL-15 based immunotherapies to modulate NK cell proliferation

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