The Practice of Ensuring Repeatable and Reproducible Computational
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Practical Resources for Enhancing the Reproducibility of Mechanistic Modeling in Systems Biology
Practical Resources for Enhancing the Reproducibility of Mechanistic Modeling in Systems Biology Michael L. Blinova,g, John H. Gennarib,g, Jonathan R. Karrc,d,g, Ion I. Morarua,g, David P. Nickersone,g, Herbert M. Saurof,g,h aCenter for Cell Analysis and Modeling, UConn Health, Farmington, CT, US bDepartment of Biomedical Informatics and Medical Education, University of Washington, Seattle, WA, US cIcahn Institute for Data Science and Genomic Technology, Icahn School of Medicine at Mount Sinai, New York, NY, US dDepartment of Genetics and Genomic Sciences, Icahn School of Medicine at Mount Sinai, New York, NY, US eAuckland Bioengineering Institute, University of Auckland, Auckland, NZ fDepartment of Bioengineering, University of Washington, Seattle, WA, US gThese authors contributed equally to this work hCorrespondence: [email protected] Abstract Although reproducibility is a core tenet of the scientific method, it remains challenging to re- produce many results. Surprisingly, this also holds true for computational results in domains such as systems biology where there have been extensive standardization efforts. For exam- ple, Tiwari et al. recently found that they could only repeat 50% of published simulation results in systems biology. Toward improving the reproducibility of computational systems research, we identified several resources that investigators can leverage to make their research more accessible, executable, and comprehensible by others. In particular, we identified sev- eral domain standards and curation services, as well as powerful approaches pioneered by the software engineering industry that we believe many investigators could adopt. Together, we believe these approaches could substantially enhance the reproducibility of systems biology research. In turn, we believe enhanced reproducibility would accelerate the development of more sophisticated models that could inform precision medicine and synthetic biology. -
Virtual Machine Technologies and Their Application in the Delivery of ICT
Virtual Machine Technologies and Their Application In The Delivery Of ICT William McEwan accq.ac.nz n Christchurch Polytechnic Institute of Technology Christchurch, New Zealand [email protected] ABSTRACT related areas - a virtual machine or network of virtual machines can be specially configured, allowing an Virtual Machine (VM) technology was first ordinary user supervisor rights, and it can be tested implemented and developed by IBM to destruction without any adverse effect on the corporation in the early 1960's as a underlying host system. mechanism for providing multi-user facilities This paper hopes to also illustrate how VM in a secure mainframe computing configurations can greatly reduce our dependency on environment. In recent years the power of special purpose, complex, and expensive laboratory personal computers has resulted in renewed setups. It also suggests the important additional role interest in the technology. This paper begins that VM and VNL is likely to play in offering hands-on by describing the development of VM. It practical experience to students in a distance e- discusses the different approaches by which learning environment. a VM can be implemented, and it briefly considers the advantages and disadvantages Keywords: Virtual Machines, operating systems, of each approach. VM technology has proven networks, e-learning, infrastructure, server hosting. to be extremely useful in facilitating the Annual NACCQ, Hamilton New Zealand July, 2002 www. Annual NACCQ, Hamilton New Zealand July, teaching of multiple operating systems. It th offers an alternative to the traditional 1. INTRODUCTION approaches of using complex combinations Virtual Machine (VM) technology is not new. It was of specially prepared and configured OS implemented on mainframe computing systems by the images installed via the network or installed IBM Corporation in the early 1960’s (Varian 1997 pp permanently on multiple partitions or on 3-25, Gribben 1989 p.2, Thornton 2000 p.3, Sugarman multiple physical hard drives. -
Virtual Alpha User Guide for Avanti, Avantiflex, & Freeaxp 05-JAN-2018 Version 3.0: This Manual Covers All Releases of Avanti™, Avantiflex™ and Freeaxp™
Migration Specialties International, Inc. 217 West 2nd Street, Florence, CO 81226-1403 +1 719-784-9196 E-mail: [email protected] www.MigrationSpecialties.com Continuity in Computing Virtual Alpha User Guide for Avanti, AvantiFlex, & FreeAXP 05-JAN-2018 Version 3.0: This manual covers all releases of Avanti™, AvantiFlex™ and FreeAXP™. This manual describes how to install and use Avanti, AvantiFlex, and FreeAXP, Migration Specialties' AlphaServer 400 hardware emulators. AvantiFlex and Avanti are commercial products that require purchase of a product license. AvantiFlex and Avanti include 30 days of manufacturer support after purchase and the option to buy an extended support contract. FreeAXP can be used for personal and commercial purposes. FreeAXP is unsupported without purchase of a support contract. If you have questions or problems with FreeAXP and have not purchased a support contract, visit the FreeAXP forum at the OpenVMS Hobbyist web site. Avanti & Avanti Flex Links Product Info: http://www.migrationspecialties.com/Emulator-Alpha.html User Guide: http://www.migrationspecialties.com/pdf/VirtualAlpha_UserGuide.pdf Release Notes: http://www.migrationspecialties.com/pdf/VirtualAlpha_ReleaseNotes.pdf License: http://www.migrationspecialties.com/pdf/AvantiLicense.pdf SPD: http://www.migrationspecialties.com/pdf/Avanti_SPD.pdf Pricing Guide: http://www.migrationspecialties.com/pdf/VirtualAlphaPricingGuide.pdf FreeAXP Links Product Info: http://www.migrationspecialties.com/FreeAXP.html User Guide: http://www.migrationspecialties.com/pdf/VirtualAlpha_UserGuide.pdf Release Notes: http://www.migrationspecialties.com/pdf/VirtualAlpha_ReleaseNotes.pdf License: http://www.migrationspecialties.com/pdf/FreeAXP_License.pdf SPD: http://www.migrationspecialties.com/pdf/FreeAXP_SPD.pdf User Forum: http://www.vmshobbyist.com/forum/viewforum.php?forum_id=163 Download: http://www.migrationspecialties.com/FreeAXP.html Copyright 2018, Migration Specialties. -
"Using Views of Systems Biology Cloud: Application
Theory Biosci. (2011) 130:45–54 DOI 10.1007/s12064-010-0108-6 ORIGINAL PAPER Using views of Systems Biology Cloud: application for model building Oliver Ruebenacker • Michael Blinov Received: 17 November 2009 / Accepted: 4 July 2010 / Published online: 21 August 2010 Ó Springer-Verlag 2010 Abstract A large and growing network (‘‘cloud’’) of PubMed or database records for pathways, substances and interlinked terms and records of items of Systems Biology processes. A typical model creation (such as in Virtual Cell knowledge is available from the web. These items include modeling and simulation framework (Moraru et al. 2008)) pathways, reactions, substances, literature references, involves specifying species (represented by one type of organisms, and anatomy, all described in different data node), reactions (represented by another type of node), and sets. Here, we discuss how the knowledge from the cloud specify which species serve as reactants, products or cat- can be molded into representations (views) useful for data alysts (represented by different types of arrows connecting visualization and modeling. We discuss methods to create species and reactions). If the model is intended to be and use various views relevant for visualization, modeling, reused, then the user will use knowledge from the literature and model annotations, while hiding irrelevant details to add annotations, such as assigning UniProt (http:// without unacceptable loss or distortion. We show that uniprot.org/) or ChEBI (Degtyarenko et al. 2009) identifi- views are compatible with understanding substances and ers to species nodes and PubMed identifiers to reaction processes as sets of microscopic compounds and events nodes. The connection between the reality described in the respectively, which allows the representation of special- article or database, the model elements (species, reaction, izations and generalizations as subsets and supersets participation, etc.) and the annotation (UniProt and Pub- respectively. -
Systems Biology Graphical Notation Systems Biology Markup
Systems Biology Markup Language (SBML) 2057 S models and tacit rule-based models have long been used in product development and safety testing in Systems Biology Graphical Notation various engineering disciplines, such as aerospace engineering and electronic circuit design. It can be ▶ SBGN envisaged that predictive approaches is expected to increase significantly in the coming years in drug dis- covery too. The extent of omics-scale data and the advances in systems technologies to enable compre- Systems Biology Markup Language hension of such large complex data in the form of (SBML) meaningful biological models are promising to help in this process. The power of systems biology methods Michael Hucka is such that it may become possible in the not-too Computing and Mathematical Sciences, distant future, that a disease could get diagnosed in California Institute of Technology, Pasadena, a clinical setting and characterized at the systems level CA, USA with precise genotype and phenotype definitions, lead- ing all the way up to predictive quantitative titrations of the available remedies and finally personalized Synonyms prescriptions. SBML References Boran D, Iyengar R (2010) Systems approaches to polyphar- Definition macology and drug discovery. Curr Opin Drug Discov Dev 13(3):297–309 SBML (the Systems Biology Markup Language) is Butcher EC, Berg EL et al (2004) Systems biology in drug a representation format, based upon XML, used for discovery. Nat Biotechnol 22(10):1253–1259 Forst CV (2006) Host-pathogen systems biology. Drug Discov communicating and storing computational models of Today 11:220–227 biological processes (Hucka et al. 2003). SBML can Glaab E, Baudot A et al (2012) EnrichNet: network-based represent many different classes of biological phenom- gene set enrichment analysis. -
Principled Annotation of Quantitative Models in Systems Biology
Principled annotation of quantitative models in Systems Biology Nicolas Le Novère, EMBL-EBI Computational model in SysBio Computational model in SysBio Not a bimolecular interaction Computational model in SysBio Not a bimolecular interaction complexes Computational model in SysBio Not a bimolecular interaction complexes Non-phos and phos of the same Computational model in SysBio Why not C2P? Not a bimolecular interaction complexes Non-phos and phos of the same Computational model in SysBio Tyson JJ (1991) Modeling the cell division cycle: cdc2 and cyclin interactions. Proc. Natl. Acad. Sci. U.S.A. 88: 7328-7332 http://www.ebi.ac.uk/biomodels/ BIOMD0000000005 What do-we want to do with it f(x,y) u(x,y) g(x,y) h(x,y) Integration f(x,y) u(x,y) g(x,y) h(x,y) What do-we want to do with it f(x,y) u(x,y) g(x,y) h(x,y) Integration f(x,y) u(x,y) g(x,y) h(x,y) Encapsulation a(i,j) b(i,j) g(i,j) What do-we want to do with it f(x,y) u(x,y) Communication g(x,y) h(x,y) Integration f(x,y) u(x,y) g(x,y) h(x,y) Encapsulation a(i,j) b(i,j) g(i,j) What do-we want to do with it f(x,y) u(x,y) Communication g(x,y) h(x,y) Integration f(x,y) u(x,y) g(x,y) h(x,y) Standards of representation Encapsulation Interfaces (ontologies) a(i,j) Data resources b(i,j) g(i,j) Is SBML enough? What's missing? An SBML model lists participants, but does not identify them. -
Virtualization Technologies Overview Course: CS 490 by Mendel
Virtualization technologies overview Course: CS 490 by Mendel Rosenblum Name Can boot USB GUI Live 3D Snaps Live an OS on mem acceleration hot of migration another ory runnin disk alloc g partition ation system as guest Bochs partially partially Yes No Container s Cooperati Yes[1] Yes No No ve Linux (supporte d through X11 over networkin g) Denali DOSBox Partial (the Yes No No host OS can provide DOSBox services with USB devices) DOSEMU No No No FreeVPS GXemul No No Hercules Hyper-V iCore Yes Yes No Yes No Virtual Accounts Imperas Yes Yes Yes Yes OVP (Eclipse) Tools Integrity Yes No Yes Yes No Yes (HP-UX Virtual (Integrity guests only, Machines Virtual Linux and Machine Windows 2K3 Manager in near future) (add-on) Jail No Yes partially Yes No No No KVM Yes [3] Yes Yes [4] Yes Supported Yes [5] with VMGL [6] Linux- VServer LynxSec ure Mac-on- Yes Yes No No Linux Mac-on- No No Mac OpenVZ Yes Yes Yes Yes No Yes (using Xvnc and/or XDMCP) Oracle Yes Yes Yes Yes Yes VM (manage d by Oracle VM Manager) OVPsim Yes Yes Yes Yes (Eclipse) Padded Yes Yes Yes Cell for x86 (Green Hills Software) Padded Yes Yes Yes No Cell for PowerPC (Green Hills Software) Parallels Yes, if Boot Yes Yes Yes DirectX 9 Desktop Camp is and for Mac installed OpenGL 2.0 Parallels No Yes Yes No partially Workstati on PearPC POWER Yes Yes No Yes No Yes (on Hypervis POWER 6- or (PHYP) based systems, requires PowerVM Enterprise Licensing) QEMU Yes Yes Yes [4] Some code Yes done [7]; Also supported with VMGL [6] QEMU w/ Yes Yes Yes Some code Yes kqemu done [7]; Also module supported -
Controlled Vocabularies and Semantics in Systems Biology
Molecular Systems Biology 7; Article number 543; doi:10.1038/msb.2011.77 Citation: Molecular Systems Biology 7: 543 & 2011 EMBO and Macmillan Publishers Limited All rights reserved 1744-4292/11 www.molecularsystemsbiology.com PERSPECTIVE Controlled vocabularies and semantics in systems biology Me´lanie Courtot1,19, Nick Juty2,19, Christian Knu¨pfer3,19, provides semantic information about the model compo- Dagmar Waltemath4,19, Anna Zhukova2,19, Andreas Dra¨ger5, nents. The Kinetic Simulation Algorithm Ontology (KiSAO) Michel Dumontier6, Andrew Finney7, Martin Golebiewski8, supplies information about existing algorithms available Janna Hastings2, Stefan Hoops9, Sarah Keating2, Douglas B for the simulation of systems biology models, their characterization and interrelationships. The Terminology Kell10,11, Samuel Kerrien2, James Lawson12, Allyson Lister13,14, for the Description of Dynamics (TEDDY) categorizes James Lu15, Rainer Machne16, Pedro Mendes10,17, 14 2 10,17 dynamical features of the simulation results and general Matthew Pocock , Nicolas Rodriguez , Alice Villeger , systems behavior. The provision of semantic information 13 2 2 Darren J Wilkinson , Sarala Wimalaratne , Camille Laibe , extends a model’s longevity and facilitates its reuse. It 18 2, Michael Hucka and Nicolas Le Nove`re * provides useful insight into the biology of modeled processes, and may be used to make informed decisions 1 Terry Fox Laboratory, Vancouver, Canada, on subsequent simulation experiments. 2 Department of Computational Neurobiology, EMBL European Bioinformatics -
State of the Port to X86-64
OpenVMS State of the Port to x86-64 October 6, 2017 1 Executive Summary - Development The Development Plan consists of five strategic work areas for porting the OpenVMS operating system to the x86-64 architecture. • OpenVMS supports nine programming languages, six of which use a DEC-developed proprietary backend code generator on both Alpha and Itanium. A converter is being created to internally connect these compiler frontends to the open source LLVM backend code generator which targets x86-64 as well as many other architectures. LLVM implements the most current compiler technology and associated development tools and it provides a direct path for porting to other architectures in the future. The other three compilers have their own individual pathways to the new architecture. • Operating system components are being modified to conform to the industry standard AMD64 ABI calling conventions. OpenVMS moved away from proprietary conventions and formats in porting from Alpha to Itanium so there is much less work in these areas in porting to x86-64. • As in any port to a new architecture, a number of architecture-defined interfaces that are critical to the inner workings of the operating system are being implemented. • OpenVMS is currently built for Alpha and Itanium from common source code modules. Support for x86-64 is being added, so all conditional assembly directives must be verified. • The boot manager for x86-64 has been upgraded to take advantage of new features and methods which did not exist when our previous implementation was created for Itanium. This will streamline the entire boot path and make it more flexible and maintainable. -
DOE Systems Biology Knowledgebase Implementation Plan
DOE Systems Biology Knowledgebase Implementation Plan As part of the U.S. Department of Energy’s (DOE) Office of Science, the Office of Biological and Environmental Research (BER) supports fundamental research and technology development aimed at achieving predictive, systems-level understand- ing of complex biological and environmental systems to advance DOE missions in energy, climate, and environment. DOE Contact Susan Gregurick 301.903.7672, [email protected] Office of Biological and Environmental Research U.S. Department of Energy Office of Science www.science.doe.gov/Program_Offices/BER.htm Acknowledgements The DOE Office of Biological and Environmental Research appreciates the vision and leadership exhibited by Bob Cottingham and Brian Davison (both from Oak Ridge National Laboratory) over the past year to conceptualize and guide the effort to create the DOE Systems Biology Knowledgebase Implementation Plan. Furthermore, we are grateful for the valuable contributions from about 300 members of the scientific community to organize, participate in, and provide the intellectual output of 5 work- shops, which culminated with the implementation plan. The plan was rendered into its current form by the efforts of the Biological and Environmental Research Information System (Oak Ridge National Laboratory). The report is available via • www.genomicscience.energy.gov/compbio/ • www.science.doe.gov/ober/BER_workshops.html • www.systemsbiologyknowledgebase.org Suggested citation for entire report: U.S. DOE. 2010. DOE Systems Biology Knowledgebase Implementation Plan. U.S. Department of Energy Office of Science (www.genomicscience.energy.gov/compbio/). DOE Systems Biology Knowledgebase Implementation Plan September 30, 2010 Office of Biological and Environmental Research The document is available via genomicscience.energy.gov/compbio/. -
QEMU As a Platform for PLC Virtualization an Analysis from a Cyber Security Perspective
QEMU as a platform for PLC virtualization An analysis from a cyber security perspective HANNES HOLM, MATS PERSSON FOI Swedish Defence Research Agency Phone: +46 8 555 030 00 www.foi.se FOI-R--4576--SE SE-164 90 Stockholm Fax: +46 8 555 031 00 ISSN 1650-1942 April 2018 Hannes Holm, Mats Persson QEMU as a platform for PLC virtualization An analysis from a cyber security perspective Bild/Cover: Hannes Holm FOI-R--4576--SE Titel QEMU as a platform for PLC virtualization Title Virtualisering av PLC:er med QEMU Rapportnr/Report no FOI-R--4576--SE Månad/Month April Utgivningsår/Year 2018 Antal sidor/Pages 36 ISSN 1650-1942 Kund/Customer MSB Forskningsområde 4. Informationssäkerhet och kommunikation FoT-område Projektnr/Project no E72086 Godkänd av/Approved by Christian Jönsson Ansvarig avdelning Ledningssytem Detta verk är skyddat enligt lagen (1960:729) om upphovsrätt till litterära och konstnärliga verk, vilket bl.a. innebär att citering är tillåten i enlighet med vad som anges i 22 § i nämnd lag. För att använda verket på ett sätt som inte medges direkt av svensk lag krävs särskild överenskommelse. This work is protected by the Swedish Act on Copyright in Literary and Artistic Works (1960:729). Citation is permitted in accordance with article 22 in said act. Any form of use that goes beyond what is permitted by Swedish copyright law, requires the written permission of FOI. FOI-R--4576--SE Sammanfattning IT-säkerhetsutvärderingar är ofta svåra att genomföra inom operativa industriella informations- och styrsystem (ICS) då de medför risk för avbrott, vilket kan få mycket stor konsekvens om tjänsten som ett system realiserar är samhällskritisk. -
VAX MP Technical Overview
To the light of extinguished STAR VAX MP A multiprocessor VAX simulator Technical Overview Sergey Oboguev [email protected] Initial edition: November 21, 2012 Last update: December 31, 2012 (rev. 3) Content and intended audience: This document describes internal design of VAX MP multiprocessor simulator. It is intended for VAX MP developers or those interested in VAX MP internal architecture, not for end users. End users should refer to “VAX MP OpenVMS User Manual”. This document discusses VAX MP design principles and decisions, key problems met during VAX MP design and implementation, their possible solutions and rationales for chosen and rejected solutions. The document does not attempt to describe VAX MP internal interfaces, data structures or other internal details, since that would have required a much longer document. Only a brief description is made of some basic interfaces introduced in the portability layer and key interfaces changed compared to the original uniprocessor SIMH, as well as interfaces relevant for modifying SIMH virtual device handlers for multiprocessing environment. 2 Introduction VAX MP is a derivative variant of popular SIMH simulator1 that extends original SIMH to simulate multiprocessor VAX system. The intent of VAX MP is to run OpenVMS and perhaps in the future also BSD Unix in SMP (symmetric shared-memory multiprocessor) mode. In technical parlance this is also known as SMP virtualization. VAX MP targets primarily hobbyist use of OpenVMS and possibly BSD Unix for the purposes of retro- computing, i.e. preservation of computer history and the past of computer and software technology. While the intent of VAX MP is to provide reasonably stable SMP VAX system simulation environment for hobbyist purposes, multiprocessing poses unique challenges to quality assurance, as explained below – challenges that go well beyond the resources available within a single-developer free-time non- commercial project.