468 research outputs found

    Enabling Proactive Adaptation through Just-in-time Testing of Conversational Services

    No full text
    Service-based applications (SBAs) will increasingly be composed of third-party services available over the Internet. Reacting to failures of those third-party services by dynamically adapting the SBAs will become a key enabler for ensuring reliability. Determining when to adapt an SBA is especially challenging in the presence of conversational (aka. stateful) services. A conversational service might fail in the middle of an invocation sequence, in which case adapting the SBA might be costly; e.g., due to the necessary state transfer to an alternative service. In this paper we propose just-in-time testing of conversational services as a novel approach to detect potential problems and to proactively trigger adaptations, thereby preventing costly compensation activities. The approach is based on a framework for online testing and a formal test-generation method which guarantees functional correctness for conversational services. The applicability of the approach is discussed with respect to its underlying assumptions and its performance. The benefits of the approach are demonstrated using a realistic example

    JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

    Get PDF
    Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

    Local Causal States and Discrete Coherent Structures

    Get PDF
    Coherent structures form spontaneously in nonlinear spatiotemporal systems and are found at all spatial scales in natural phenomena from laboratory hydrodynamic flows and chemical reactions to ocean, atmosphere, and planetary climate dynamics. Phenomenologically, they appear as key components that organize the macroscopic behaviors in such systems. Despite a century of effort, they have eluded rigorous analysis and empirical prediction, with progress being made only recently. As a step in this, we present a formal theory of coherent structures in fully-discrete dynamical field theories. It builds on the notion of structure introduced by computational mechanics, generalizing it to a local spatiotemporal setting. The analysis' main tool employs the \localstates, which are used to uncover a system's hidden spatiotemporal symmetries and which identify coherent structures as spatially-localized deviations from those symmetries. The approach is behavior-driven in the sense that it does not rely on directly analyzing spatiotemporal equations of motion, rather it considers only the spatiotemporal fields a system generates. As such, it offers an unsupervised approach to discover and describe coherent structures. We illustrate the approach by analyzing coherent structures generated by elementary cellular automata, comparing the results with an earlier, dynamic-invariant-set approach that decomposes fields into domains, particles, and particle interactions.Comment: 27 pages, 10 figures; http://csc.ucdavis.edu/~cmg/compmech/pubs/dcs.ht

    Agent based modelling helps in understanding the rules by which fibroblasts support keratinocyte colony formation

    Get PDF
    Background: Autologous keratincoytes are routinely expanded using irradiated mouse fibroblasts and bovine serum for clinical use. With growing concerns about the safety of these xenobiotic materials, it is desirable to culture keratinocytes in media without animal derived products. An improved understanding of epithelial/mesenchymal interactions could assist in this. Methodology/Principal Findings: A keratincyte/fibroblast o-culture model was developed by extending an agent-based keratinocyte colony formation model to include the response of keratinocytes to both fibroblasts and serum. The model was validated by comparison of the in virtuo and in vitro multicellular behaviour of keratinocytes and fibroblasts in single and co-culture in Greens medium. To test the robustness of the model, several properties of the fibroblasts were changed to investigate their influence on the multicellular morphogenesis of keratinocyes and fibroblasts. The model was then used to generate hypotheses to explore the interactions of both proliferative and growth arrested fibroblasts with keratinocytes. The key predictions arising from the model which were confirmed by in vitro experiments were that 1) the ratio of fibroblasts to keratinocytes would critically influence keratinocyte colony expansion, 2) this ratio needed to be optimum at the beginning of the co-culture, 3) proliferative fibroblasts would be more effective than irradiated cells in expanding keratinocytes and 4) in the presence of an adequate number of fibroblasts, keratinocyte expansion would be independent of serum. Conclusions: A closely associated computational and biological approach is a powerful tool for understanding complex biological systems such as the interactions between keratinocytes and fibroblasts. The key outcome of this study is the finding that the early addition of a critical ratio of proliferative fibroblasts can give rapid keratinocyte expansion without the use of irradiated mouse fibroblasts and bovine serum

    Eurasian globalization: past and present

    Get PDF
    © 2020 Informa UK Limited, trading as Taylor & Francis Group. In an attempt to examine Eurasian globalization historically, this paper outlines three phases of globalization starting from 200 BCE to 1492 CE as Phase 1 and 1500 CE to 1999 CE as Phase 2 and from 2000 CE Phase 3. By historicizing the concept and the process of globalization, the paper attempts to provide a more global rather than a Europe-centred history of globalization and modernization. The paper builds on the idea of Eurasia and offers a new perspective of Eurasian globalization by pivoting on China\u27s role in both Phase 1 and Phase 3 of globalization. The paper uses historical literature that has been not only critical of the Eurocentric view of the world but also provides a more connected view of global history. Concurring with Steger and James [2019. Globalization matters. Cambridge University Press] that globalization has not outlived its utility, the paper seeks to historicize and globalize the discussion of globalization

    Transmission of \u3cem\u3eMycobacterium Tuberculosis\u3c/em\u3e Associated with Failed Completion of Treatment for Latent Tuberculosis Infection - Chickasaw County, Mississippi, June 1999-March 2002

    Get PDF
    During June 1999-March 2002, a total of 16 tuberculosis (TB) cases were reported from Chickasaw County, Mississippi (2000 population: 19,440), corresponding to annual TB incidences of 20.5-27.6 cases per 100,000 population. In comparison, annual TB incidences for Mississippi during the same period decreased from 7.8 to 5.4 cases per 100,000 population. This report summarizes the results of an investigation of the patients and their contacts and demonstrates the need for strategies to increase the proportion of infection contacts that successfully complete treatment for latent TB infection (LTBI)

    Relationship of the genes for Chediak-Higashi syndrome (beige) and the T-cell receptor [gamma] chain in mouse and man

    Full text link
    The genetic linkage of Chediak-Higashi syndrome and its murine analog, beige (bg), to the T-cell receptor (TCR-[gamma]) [gamma] chain gene is further defined. Previous studies using recombinant inbred strains of mice demonstrated that the murine bg gene is genetically linked to a murine TCR-[gamma] gene. We report that in the mouse the frequency of recombination between these two markers is 0.025. Further, we tested the hypothesis that these two genes are linked in the human genome by analyzing restriction fragment length polymorphisms (RFLPs) in five families with children afflicted with Chediak-Higashi syndrome. In three families, RFLPs in TCR-[gamma] genes were inherited discordantly from Chediak-Higashi syndrome, demonstrating nonlinkage. We postulate that there is an evolutionary chromosomal breakpoint between the bg gene and the TCR-[gamma] gene.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/26520/1/0000058.pd

    Frequency of CDH1 germline mutations in gastric carcinoma coming from high- and low-risk areas: metanalysis and systematic review of the literature

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>The frequency of E-cadherin germline mutations in countries with different incidence rates for gastric carcinoma has not been well established. The goal of this study was to assess the worldwide frequency of <it>CDH1 </it>germline mutations in gastric cancers coming from low- and high-risk areas.</p> <p>Methods</p> <p>English articles using MEDLINE access (from 1998 to 2011). Search terms included <it>CDH1</it>, E-cadherin, germline mutation, gastric cancer, hereditary, familial and diffuse histotype.</p> <p>The study included all E-cadherin germline mutations identified in gastric cancer patients; somatic mutations and germline mutations reported in other tumors were excluded.</p> <p>The method of this study was scheduled in accordance with the "PRISMA statement for reporting systematic reviews and meta-analyses". Countries were classified as low- or middle/high risk-areas for gastric carcinoma incidence. Statistical analysis was performed to correlate the <it>CDH1 </it>mutation frequency with gastric cancer incidence areas.</p> <p>Results</p> <p>A total of 122 E-cadherin germline mutations have been identified; the majority (87.5%) occurred in gastric cancers coming from low-risk areas. In high-risk areas, we identified 16 mutations in which missense mutations were predominant. (68.8%). We verified a significant association between the mutation frequency and the gastric cancer risk area (<it>p </it>< 0.001: overall identified mutations in low- vs. middle/high-risk areas).</p> <p>Conclusions</p> <p>E-cadherin genetic screenings performed in low-risk areas for gastric cancer identified a higher frequency of <it>CDH1 </it>germline mutations. This data could open new approaches in the gastric cancer prevention test; before proposing a proband candidate for the <it>CDH1 </it>genetic screening, geographic variability, alongside the family history should be considered.</p

    Functionalized Poly(3-hexylthiophene)s via Lithium–Bromine Exchange

    Get PDF
    Poly(3-hexylthiophene) (P3HT) is one of the most extensively investigated conjugated polymers and has been employed as the active material in many devices including field-effect transistors, organic photovoltaics and sensors. As a result, methods to further tune the properties of P3HT are desirable for specific applications. Herein, we report a facile postpolymerization modification strategy to functionalize the 4-position of commercially available P3HT in two simple steps–bromination of the 4-position of P3HT (Br–P3HT) followed by lithium−bromine exchange and quenching with an electrophile. We achieved near quantitative lithium–bromine exchange with Br–P3HT, which requires over 100 thienyl lithiates to be present on a single polymer chain. The lithiated-P3HT is readily combined with functional electrophiles, resulting in P3HT derivatives with ketones, secondary alcohols, trimethylsilyl (TMS) group, fluorine, or an azide at the 4-position. We demonstrated that the azide-modified P3HT could undergo Cu-catalyzed or Cu-free click chemistry, significantly expanding the complexity of the structures that can be appended to P3HT using this method.National Science Foundation (U.S.) (ECCS-0939514
    corecore