871 research outputs found

    The correction of residual astigmatism with toric corneal contact lenses

    Get PDF
    The correction of residual astigmatism with toric corneal contact lense

    State Space Reduction for Dynamic Process Creation

    Get PDF
    Automated verification of dynamic multi-threaded computing systems is severely affected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such systems. To make the new technique applicable to a wide range of different system models, we express it in terms of general labelled transition systems. At the heart of our technique is an equivalence relation on system states based on a suitable isomorphism between their component parts and relationships between component process identifiers. In addition, the equivalence takes into account new process identifiers which can be derived from those present in the states being compared, in effect performing a limited lookahead. Applying state space reduction based on such a state equivalence may produce a finite representation of an infinite state system while still allowing to validate essential behavioural properties, e.g., freedom from deadlocks. We evaluate the feasibility of the proposed method through extensive experiments. The results clearly demonstrate that the new state space reduction technique can be implemented in an efficient way. We also describe how the new state equivalence relation can be implemented for a class of high-level Petri nets supporting dynamic thread creation

    A FOLLOW-UP INVESTIGATION OF “TEACHING PRESENCE” IN THE SUNY LEARNING NETWORK

    Get PDF
    This paper is a follow-up study to a preliminary investigation of teaching presence in the State University of New York Learning Network (SLN). In the present studywe review ongoing issues of pedagogy and faculty development, and their relationship to student satisfaction, and reported learning in SLN. We provide an overview of the SLN program,and summarize a conceptual framework for our current research on higher education, online learning environments. This framework integrates research on how people learn, with principles of good practice in higher education and recent research on learning in asynchronous learning networks (ALNs) in higher education. We also present resultsof a follow-up study on one aspect of the model, “Teaching Presence”. The SUNY Learning Network is a proud recipient of two Sloan-C Awards, the 2001 Award for Excellence in ALN Faculty Development and the 2002 Award for Excellence in ALN Programming. We believe that it is no coincidence that SLN was recognized in this order; that is to say, we feel our efforts to create a systematic faculty development program has allowed us to create an outstanding program of online courses and degrees. A clear vision regarding the prerequisites for a high quality online learning environment, especially prerequisites related to faculty development, is essential to building effective ALN programs. As this special edition of JALN is dedicated to such efforts we would like to focus on our model for learning environments design and share results of research on specific aspects of the model. In past studies we have argued that student-faculty and student-student interaction are among the variables most strongly correlated with student satisfaction and reported learning. In the present study, we focus on one aspect of our model for online learning environments and examine interaction more deeply. Building upon the work of Anderson and colleagues we examine the kinds of activities that comprise and sustain productive interaction. These researchers have categorized interactions that occur in asynchronous learning environments that encourage knowledge creation and identify online behaviors and processes that approximate (and may improve upon) those that occur in face-to-face settings. We look at a key element of their work, “teaching presence,” and present results of a follow-up study examining students’ perceptions of this constellation of online faculty behaviors. We also identify the components of teaching presence that correlate most highly with student satisfaction and reported learning

    Bipotential Adult Liver Progenitors Are Derived from Chronically Injured Mature Hepatocytes

    Get PDF
    SummaryAdult liver progenitor cells are biliary-like epithelial cells that emerge only under injury conditions in the periportal region of the liver. They exhibit phenotypes of both hepatocytes and bile ducts. However, their origin and their significance to injury repair remain unclear. Here, we used a chimeric lineage tracing system to demonstrate that hepatocytes contribute to the progenitor pool. RNA-sequencing, ultrastructural analysis, and in vitro progenitor assays revealed that hepatocyte-derived progenitors were distinct from their biliary-derived counterparts. In vivo lineage tracing and serial transplantation assays showed that hepatocyte-derived proliferative ducts retained a memory of their origin and differentiated back into hepatocytes upon cessation of injury. Similarly, human hepatocytes in chimeric mice also gave rise to biliary progenitors in vivo. We conclude that human and mouse hepatocytes can undergo reversible ductal metaplasia in response to injury, expand as ducts, and subsequently contribute to restoration of the hepatocyte mass

    Histological response of peritoneal carcinomatosis after hyperthermic intraperitoneal chemoperfusion (HIPEC) in experimental investigations

    Get PDF
    BACKGROUND: In selected patients with peritoneal carcinomatosis from colorectal cancer prognosis can be improved by hyperthermic intraperitoneal chemotherapy (HIPEC) after cytoreductive surgery. The aim of this study was to evaluate the tumor response of peritoneal carcinomatosis in tumor-bearing rats treated with HIPEC. METHODS: CC531 colon carcinoma (2,5 × 10(6 )cells), implanted intraperitoneally in Wag/Rija rats, was treated by hyperthermic intraperitoneal chemotherapy. After 10 days of tumor growth the animals were randomized into five groups of six animals each: group I: control (n = 6), group II: sham operated animals (n = 6), group III: hyperthermic intraperitoneal perfusion (HIP) without cytostatic drugs, group IV: HIPEC with mitomycin C in a concentration of 15 mg/m(2 )(n = 6), group V: mitomycin C i.p. alone in a concentration of 10 mg/m(2 )(n = 6). After 10 days the extent of tumor spread and histological outcome were analysed by autopsy. RESULTS: All control animals developed extensive intraperitoneal tumor growth. Histological tumor load was significantly reduced in group III and group V and was lowest in group IV. In group II tumor load was significantly higher than in group I. Implanted metastases were significantly decreased in group IV compared with group I and group II. CONCLUSION: These findings indicate that HIPEC is an effective treatment for peritoneal carcinomatosis in this animal model. HIPEC reduced macroscopic and microscopic intraperitoneal tumor spread

    py4DSTEM: a software package for multimodal analysis of four-dimensional scanning transmission electron microscopy datasets

    Get PDF
    Scanning transmission electron microscopy (STEM) allows for imaging, diffraction, and spectroscopy of materials on length scales ranging from microns to atoms. By using a high-speed, direct electron detector, it is now possible to record a full 2D image of the diffracted electron beam at each probe position, typically a 2D grid of probe positions. These 4D-STEM datasets are rich in information, including signatures of the local structure, orientation, deformation, electromagnetic fields and other sample-dependent properties. However, extracting this information requires complex analysis pipelines, from data wrangling to calibration to analysis to visualization, all while maintaining robustness against imaging distortions and artifacts. In this paper, we present py4DSTEM, an analysis toolkit for measuring material properties from 4D-STEM datasets, written in the Python language and released with an open source license. We describe the algorithmic steps for dataset calibration and various 4D-STEM property measurements in detail, and present results from several experimental datasets. We have also implemented a simple and universal file format appropriate for electron microscopy data in py4DSTEM, which uses the open source HDF5 standard. We hope this tool will benefit the research community, helps to move the developing standards for data and computational methods in electron microscopy, and invite the community to contribute to this ongoing, fully open-source project

    Nonexistence of self-similar singularities for the 3D incompressible Euler equations

    Full text link
    We prove that there exists no self-similar finite time blowing up solution to the 3D incompressible Euler equations. By similar method we also show nonexistence of self-similar blowing up solutions to the divergence-free transport equation in Rn\Bbb R^n. This result has direct applications to the density dependent Euler equations, the Boussinesq system, and the quasi-geostrophic equations, for which we also show nonexistence of self-similar blowing up solutions.Comment: This version refines the previous one by relaxing the condition of compact support for the vorticit

    Adaptation and validation of the Patient Expectations and Satisfaction with Prenatal Care instrument among Brazilian pregnant women

    Get PDF
    Objective: to adapt and validate the Patient Expectations and Satisfaction with Prenatal Care instrument for use in Brazil. It contains 41 items divided into two dimensions: expectations and satisfaction. The adapted version was submitted to analysis for stability, convergent construct validity, and internal consistency (Cronbach’s alpha) for distinct groups and dimensions. Method: 119 pregnant women receiving prenatal care were interviewed and 26 of these women answered the instrument twice (retest). Internal consistency was appropriate (Cronbach’s alpha ≥ 0.70); test-retest presented strong correlation (r=0.82; p<0.001) for the domain expectations and moderate correlation (r=0.66; p<0.001) for the satisfaction domain. The analysis confirmed that the instrument’s adapted version is valid in the studied group. Results: there is strong evidence for the validity and reliability of the instrument’s adaptation. Conclusion: the instrument needs to be tested in groups of pregnant women with different social characteristics.CAPESCAPE
    corecore