{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T05:57:53Z","timestamp":1682488673026},"reference-count":9,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2016,9,11]],"date-time":"2016-09-11T00:00:00Z","timestamp":1473552000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/about_us\/legal\/notices"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,1,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:sec>\n                  <jats:title>Summary<\/jats:title>\n                  <jats:p>Simulation and behavioral analysis of genetic circuits is a standard approach of functional verification prior to their physical implementation. Many software tools have been developed to perform in silico analysis for this purpose, but none of them allow users to interact with the model during runtime. The runtime interaction gives the user a feeling of being in the lab performing a real world experiment. In this work, we present a user-friendly software tool named D-VASim (Dynamic Virtual Analyzer and Simulator), which provides a virtual laboratory environment to simulate and analyze the behavior of genetic logic circuit models represented in an SBML (Systems Biology Markup Language). Hence, SBML models developed in other software environments can be analyzed and simulated in D-VASim. D-VASim offers deterministic as well as stochastic simulation; and differs from other software tools by being able to extract and validate the Boolean logic from the SBML model. D-VASim is also capable of analyzing the threshold value and propagation delay of a genetic circuit model.<\/jats:p>\n               <\/jats:sec>\n               <jats:sec>\n                  <jats:title>Availability and Implementation<\/jats:title>\n                  <jats:p>D-VASim is available for Windows and Mac OS and can be downloaded from bda.compute.dtu.dk\/downloads\/.<\/jats:p>\n               <\/jats:sec>","DOI":"10.1093\/bioinformatics\/btw592","type":"journal-article","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T00:29:01Z","timestamp":1473640141000},"page":"297-299","source":"Crossref","is-referenced-by-count":7,"title":["D-VASim: an interactive virtual laboratory environment for the simulation and analysis of genetic circuits"],"prefix":"10.1093","volume":"33","author":[{"given":"Hasan","family":"Baig","sequence":"first","affiliation":[{"name":"Department of Applied Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby, Denmark"}]},{"given":"Jan","family":"Madsen","sequence":"additional","affiliation":[{"name":"Department of Applied Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby, Denmark"}]}],"member":"286","published-online":{"date-parts":[[2016,9,11]]},"reference":[{"key":"2023020204314126200_btw592-B1","first-page":"77","author":"Baig","year":"2016"},{"key":"2023020204314126200_btw592-B2","doi-asserted-by":"crossref","first-page":"2167","DOI":"10.1093\/bioinformatics\/btr361","article-title":"JSBML: a flexible Java library for working with SBML","volume":"27","author":"Dr\u00e4ger","year":"2011","journal-title":"Bioinformatics"},{"key":"2023020204314126200_btw592-B3","doi-asserted-by":"crossref","first-page":"1254","DOI":"10.1109\/JPROC.2008.925458","article-title":"CellDesigner 3.5: a versatile modeling tool for biochemical networks","volume":"96","author":"Funahashi","year":"2008","journal-title":"Proc. IEEE"},{"key":"2023020204314126200_btw592-B4","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","article-title":"A general method for numerically simulating the stochastic time evolution of coupled chemical reactions","volume":"22","author":"Gillespie","year":"1976","journal-title":"J. Comp. Phys"},{"key":"2023020204314126200_btw592-B5","doi-asserted-by":"crossref","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","article-title":"COPASI \u2013 a COmplex PAthway SImulator","volume":"22","author":"Hoops","year":"2006","journal-title":"Bioinformatics"},{"key":"2023020204314126200_btw592-B6","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","article-title":"The Systems Biology Markup Language (SBML): a medium for representation and exchange of biochemical network models","volume":"19","author":"Hucka","year":"2003","journal-title":"Bioinformatics"},{"key":"2023020204314126200_btw592-B7","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/j.pbiomolbio.2004.01.004","article-title":"CellML: its future, present and past","volume":"85","author":"Lloyd","year":"2004","journal-title":"Prog. Biophys. Mol. Biol"},{"key":"2023020204314126200_btw592-B8","doi-asserted-by":"crossref","first-page":"2848","DOI":"10.1093\/bioinformatics\/btp457","article-title":"iBioSim: a tool for the analysis and design of genetic circuits","volume":"25","author":"Myers","year":"2009","journal-title":"Bioinformatics"},{"key":"2023020204314126200_btw592-B9","volume-title":"Engineering Genetic Circuit","author":"Myers","year":"2009"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/33\/2\/297\/49037569\/bioinformatics_33_2_297.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/33\/2\/297\/49037569\/bioinformatics_33_2_297.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T04:32:39Z","timestamp":1675312359000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/33\/2\/297\/2525701"}},"subtitle":[],"editor":[{"given":"Cenk","family":"Sahinalp","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2016,9,11]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,1,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btw592","relation":{},"ISSN":["1367-4803","1367-4811"],"issn-type":[{"value":"1367-4803","type":"print"},{"value":"1367-4811","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2017,1,15]]},"published":{"date-parts":[[2016,9,11]]}}}