222 research outputs found

    Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

    No full text
    this paper took place while the author was visiting the Qualitative Reasoning Group at the Dept. of Computer Sciences of the University of Texas at Austin. G. Brajnik and D.J. Clancy / Focusing qualitative simulation 2 formation about the trajectory of a variable or relationships between the trajectories of interconnected variables. Such information allows the modeler to restrict the simulation to a region of the state space and to specify time--varying input variables. The Temporally Constrained Qsim (TeQsim, pronounced tek'sim) algorithm combines the expressive power of these two paradigms by interleaving temporal logic model checking with qualitative simulation. Temporal logic is used to specify qualitative and quantitative trajectory information that is incorporated into the simulation to constrain and refine the resulting behaviors. Qualitative simulation constructs a set of possible behaviors consistent with a model of a dynamical system represented by a qualitative differential equation (QDE). The Qsi

    Fighter wing a guided tour of an Air Force combat wing

    No full text
    New York Times bestselling author Tom Clancy takes readers on an inside tour of an Air Force combat wing--the planes, the technology, and the people--capturing the thrill of takeoff, the drama of a dogfight, and the relentless dangers which fighter pilots face every day of their lives. Exclusive photos, diagrams, and illustrations throughout

    Quality of life meta‐analysis following coloanal anastomosis versus abdominoperineal resection for low rectal cancer

    No full text
    Aim: In low rectal cancers without sphincter involvement a permanent stoma can be avoided without compromising oncological safety. Functional outcomes following coloanal anastomosis (CAA) compared to abdominoperineal excision (APR) may be significantly different. This study examines all available comparative quality of life (QoL) data for patients undergoing CAA versus APR for low rectal cancer. Methods: Published studies with comparative data on QoL outcomes following CAA versus APR for low rectal cancer were extracted from electronic databases. The study was registered with PROSPERO and adhered to PRISMA (Preferred Reporting Items in Systematic Reviews and Meta-analyses) guidelines. Data was combined using random-effects models. Results: Seven comparative series examined QoL in 527 patients. There was no difference in the numbers receiving neoadjuvant radiotherapy in the APR and CAA groups (OR: 1.19, 95% CI: 0.78-1.81, p = 0.43). CAA was associated with higher mean scores for physical functioning(std mean diff -7.08, 95% CI: -11.92 to -2.25, p = 0.004) and body image (std. mean diff 11.11, 95% CI: 6.04-16.18, p < 0.0001). Male sexual problems were significantly increased in patients who had undergone APR compared to CAA (std. mean diff -16.20, 95% CI: -25.76 to -6.64, p = 0.0009). Patients who had an APR reported more fatigue, dyspnoea and appetite loss. Those who had a CAA reported higher scores for both constipation and diarrhoea. Discussion: It is reasonable to offer a CAA to motivated patients where oncological outcomes will not be threatened. QoL outcomes appear to be superior when intestinal continuity is maintained, and permanent stoma avoided.Aim In low rectal cancers without sphincter involvement a permanent stoma can be avoided without compromising oncological safety. Functional outcomes following coloanal anastomosis (CAA) compared to abdominoperineal excision (APR) may be significantly different. This study examines all available comparative quality of life (QoL) data for patients undergoing CAA versus APR for low rectal cancer. Methods Published studies with comparative data on QoL outcomes following CAA versus APR for low rectal cancer were extracted from electronic databases. The study was registered with PROSPERO and adhered to PRISMA (Preferred Reporting Items in Systematic Reviews and Meta-analyses) guidelines. Data was combined using random-effects models. Results Seven comparative series examined QoL in 527 patients. There was no difference in the numbers receiving neoadjuvant radiotherapy in the APR and CAA groups (OR: 1.19, 95% CI: 0.78-1.81, p = 0.43). CAA was associated with higher mean scores for physical functioning(std mean diff -7.08, 95% CI: -11.92 to -2.25, p = 0.004) and body image (std. mean diff 11.11, 95% CI: 6.04-16.18, p < 0.0001). Male sexual problems were significantly increased in patients who had undergone APR compared to CAA (std. mean diff -16.20, 95% CI: -25.76 to -6.64, p = 0.0009). Patients who had an APR reported more fatigue, dyspnoea and appetite loss. Those who had a CAA reported higher scores for both constipation and diarrhoea. Discussion It is reasonable to offer a CAA to motivated patients where oncological outcomes will not be threatened. QoL outcomes appear to be superior when intestinal continuity is maintained, and permanent stoma avoided

    Exosomal microRNAs in colorectal cancer

    No full text
    Cancer cells have been shown to release a variety of extracellular membrane vesicles including microvesicles known as exosomes. Exosomes have recently been found to contain microRNAs (miRNAs) however the full range within colorectal cancer cell secreted exosomes is unknown. Profiling exosomal miRNAs released by colorectal cancer cells may provide valuable information on the pathogenesis of cancer and novel miRNAs ideal for further investigation as biomarkers. As exosomes are immunologically inert and easily cross physiological barriers, investigating the potential for exosome mediated delivery of miRNAs may have exciting therapeutic applications

    Cittàslow. The Emilia-Romagna case

    No full text
    This chapter focuses on Cittaslow association, in order to see the importance of tourism in the choice of joining as well as the eventual impact on this sector. In the first part, the author considers some recent trends of global tourism and their effects on local development and hospitality policies. The second part focuses on Cittaslow in Italy and a preliminary investigation of certified cities in Emilia-Romagna; their territorial distribution, the importance of tourism for joining, and their measures to meet the requirements in hospitality policies. The third part examines the case of Santarcangelo di Romagna and the effects of Cittaslow membership on local tourism; the relation seems to be weak even if tourism has increased over the last years

    Overview of the 2019 open-source IR replicability challenge (OSIRRC 2019)

    No full text
    The Open-Source IR Replicability Challenge (OSIRRC 2019), organized as a workshop at SIGIR 2019, aims to improve the replicability of ad hoc retrieval experiments in information retrieval by gathering a community of researchers to jointly develop a common Docker specification and build Docker images that encapsulate a diversity of systems and retrieval models. We articulate the goals of this workshop and describe the "jig" that encodes the Docker specification. In total, 13 teams from around the world submitted 17 images, most of which were designed to produce retrieval runs for the TREC 2004 Robust Track test collection. This exercise demonstrates the feasibility of orchestrating large, community-based replication experiments with Docker technology. We envision OSIRRC becoming an ongoing community-wide effort to ensure experimental replicability and sustained progress on standard test collections.Web Information System

    Efficient design of precision medical robotics

    No full text
    Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2012.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (p. 106-114).Medical robotics is increasingly demonstrating the potential to improve patient care through more precise interventions. However, taking inspiration from industrial robotics has often resulted in large, sometimes cumbersome designs, which represent high capital and per procedure expenditures, as well as increased procedure times. This thesis proposes and demonstrates an alternative model and method for developing economical, appropriately scaled medical robots that improve care and efficiency, while moderating costs. Key to this approach is a structured design process that actively reduces complexity. A selected medical procedure is decomposed into discrete tasks which are then separated into those that are conducted satisfactorily and those where the clinician encounters limitations, often where robots' strengths would be complimentary. Then by following deterministic principles and with continual user participation, prototyping and testing, a system can be designed that integrates into and assists with current procedures, rather than requiring a completely new protocol. This model is expected to lay the groundwork for increasing the use of hands-on technology in interventional medicine.by Nevan Clancy Hanumara.Ph.D

    Neutron Scattering Studies of Spin Glass Behaviour in LiNiO2

    No full text
    Title: Neutron Scattering Studies of Spin Glass Behaviour in LiNiO2, Author: James P. I. Clancy, Location: ThodeWe have performed time-of-flight neutron scattering measurements on two polycrystalline samples of LiNiO2 using the Disk Chopper Spectrometer at the NIST Center for Neutron Research. These measurements reveal an absence of magnetic Bragg peaks, indicating a lack of magnetic order down to 1.7K. In addition, we observe a significant narrowing in the width of the inelastic scattering at Tg ~ 9K, which is accompanied by a simultaneous increase in the intensity of the elastic magnetic scattering. This provides direct evidence of a spin glass transition at Tg, implying that the low temperature magnetic state of LiNiO2 is composed of frozen, disordered moments. Similar time-of-flight studies performed on NaNiO2 , the isostructural sister compound of LiNiO2, have shown the existence of a simple magnetic structure below TN ~ 23K, consisting of ferromagnetic sheets of spin 1/2 moments stacked in an antiferromagnetic fashion [1]. From the distinct similarities observed between the inelastic magnetic scattering in LiNiO2 and paramagnetic NaNiO2, it is implied that the low |Q| spin response in LiNiO2 may originate from the collapse of short-lived spin wave modes below the (0,0,1/2) position, the lowest wave vector of antiferromagnetic ordering. It is suggested that inherent chemical disorder in LiNiO2, caused by the substitution of Ni3+ and Li+ ions within the crystal structure, results in the frustration of inter-layer magnetic interactions, thereby preventing the development of a magnetically long range ordered state.ThesisMaster of Science (MS
    corecore