18
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 

      Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal

      other

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references16

          • Record: found
          • Abstract: found
          • Article: not found

          Anti-inflammatory therapies in cancer cachexia.

          Disease progression in cancer is dependent on the complex interaction between the tumor and the host inflammatory response. Indeed, both the tumor and the patient produce cytokines that act on multiple target sites such as bone marrow, myocytes, hepatocytes, adipocytes, endothelial cells and neurons, where they produce a complex cascade of biological responses leading to the wasting associated with cachexia. The cytokines that have been involved in this cachectic response are TNF-alpha, IL-1, IL-6 and interferon-gamma. Interestingly, these cytokines share the same metabolic effects and their activities are closely interrelated. In many cases these cytokines exhibit synergic effects when administered together. Therefore, therapeutic strategies - either nutritional or pharmacological - have been based on either blocking their synthesis or their action. Copyright © 2011 Elsevier B.V. All rights reserved.
            Bookmark
            • Record: found
            • Abstract: found
            • Article: found
            Is Open Access

            Semantics-based composition of EMBOSS services

            Background More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, which is meant to address exactly this challenge, is currently one of the most ambitious projects in computer science. Collective efforts within the community have already led to a basis of standards for semantic service descriptions and meta-information. In combination with process synthesis and planning methods, such knowledge about types and services can facilitate the automatic composition of workflows for particular research questions. Results In this study we apply the synthesis methodology that is available in the Bio-jETI workflow management framework for the semantics-based composition of EMBOSS services. EMBOSS (European Molecular Biology Open Software Suite) is a collection of 350 tools (March 2010) for various sequence analysis tasks, and thus a rich source of services and types that imply comprehensive domain models for planning and synthesis approaches. We use and compare two different setups of our EMBOSS synthesis domain: 1) a manually defined domain setup where an intuitive, high-level, semantically meaningful nomenclature is applied to describe the input/output behavior of the single EMBOSS tools and their classifications, and 2) a domain setup where this information has been automatically derived from the EMBOSS Ajax Command Definition (ACD) files and the EMBRACE Data and Methods ontology (EDAM). Our experiments demonstrate that these domain models in combination with our synthesis methodology greatly simplify working with the large, heterogeneous, and hence manually intractable EMBOSS collection. However, they also show that with the information that can be derived from the (current) ACD files and EDAM ontology alone, some essential connections between services can not be recognized. Conclusions Our results show that adequate domain modeling requires to incorporate as much domain knowledge as possible, far beyond the mere technical aspects of the different types and services. Finding or defining semantically appropriate service and type descriptions is a difficult task, but the bioinformatics community appears to be on the right track towards a Life Science Semantic Web, which will eventually allow automatic service composition methods to unfold their full potential.
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Model-Driven Development with the jABC

                Bookmark

                Author and book information

                Book Chapter
                2014
                : 526-544
                10.1007/978-3-662-45231-8_44
                b13c9ab3-6205-4e99-b9e6-e1b8971404ca
                History

                Comments

                Comment on this book

                Book chapters

                Similar content1,470

                Cited by1