607 research outputs found

    The Effectiveness of Telemedicine for Weight Management in the MOVE! Program

    Get PDF
    PURPOSE: To examine the effectiveness of videoconferencing technology for delivering comprehensive weight management treatment.METHODS: This retrospective cohort study was conducted by extraction of data from medical records for the years 2008-2010. The treatment included a series of 12 weekly MOVE!® classes delivered using videoconferencing. Data were extracted from the time of baseline weight to 1 year after baseline weight for the MOVE! participants (n = 60) and from a concurrent control group (n = 60) that did not participate in MOVE! treatment.FINDINGS: Results indicated that the MOVE! group lost weight while the control group gained weight, resulting in a mean difference between the groups of -5.5 ± 2.7 kg (95% CI = -8.0 to -3.0; P \u3c .0001).CONCLUSIONS: These results indicate that videoconferencing is an effective method to provide the MOVE! Weight Management Program to veterans. Weight loss was maintained for one year after baseline in the MOVE! group. This is very promising as weight re-gain is a common issue and these results support using videoconferencing for a long-term weight management treatment option

    Generating natural language specifications from UML class diagrams

    Get PDF
    Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

    The play's the thing

    Get PDF
    For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration. This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity

    An Improved Rule for While Loops in Deductive Program Verification

    Get PDF
    The performance and usability of deductive program verification systems can be greatly enhanced if specifications of programs and program parts not only consist of the usual pre-/post-condition pairs and invariants but also include additional information on which memory locations are changed by executing a program. This allows to separate the aspects of (a) which locations change and (b) how they change, state the change information in a compact way, and make the proof process more efficient. In this paper, we extend this idea from method specifications to loop invariants; and we define a proof rule for while loops that makes use of the change information associated with the loop body. It has been implemented and is successfully used in the KeY software verification system

    Integrative Discovery of Epigenetically Derepressed Cancer Testis Antigens in NSCLC

    Get PDF
    Background: Cancer/testis antigens (CTAs) were first discovered as immunogenic targets normally expressed in germline cells, but differentially expressed in a variety of human cancers. In this study, we used an integrative epigenetic screening approach to identify coordinately expressed genes in human non-small cell lung cancer (NSCLC) whose transcription is driven by promoter demethylation. Methodology/Principal Findings: Our screening approach found 290 significant genes from the over 47,000 transcripts incorporated in the Affymetrix Human Genome U133 Plus 2.0 expression array. Of the top 55 candidates, 10 showed both differential overexpression and promoter region hypomethylation in NSCLC. Surprisingly, 6 of the 10 genes discovered by this approach were CTAs. Using a separate cohort of primary tumor and normal tissue, we validated NSCLC promoter hypomethylation and increased expression by quantitative RT-PCR for all 10 genes. We noted significant, coordinated coexpression of multiple target genes, as well as coordinated promoter demethylation, in a large set of individual tumors that was associated with the SCC subtype of NSCLC. In addition, we identified 2 novel target genes that exhibited growth- promoting effects in multiple cell lines. Conclusions/Significance: Coordinated promoter demethylation in NSCLC is associated with aberrant expression of CTAs and potential, novel candidate protooncogenes that can be identified using integrative discovery techniques. These findings have significant implications for discovery of novel CTAs and CT antigen directed immunotherapy. © 2009 Glazer et al

    Genomic approaches to research in lung cancer

    Get PDF
    The medical research community is experiencing a marked increase in the amount of information available on genomic sequences and genes expressed by humans and other organisms. This information offers great opportunities for improving our understanding of complex diseases such as lung cancer. In particular, we should expect to witness a rapid increase in the rate of discovery of genes involved in lung cancer pathogenesis and we should be able to develop reliable molecular criteria for classifying lung cancers and predicting biological properties of individual tumors. Achieving these goals will require collaboration by scientists with specialized expertise in medicine, molecular biology, and decision-based statistical analysis
    corecore