Publikation:

Model checking the evolution of gene regulatory networks

Lade...
Vorschaubild

Dateien

Giacobbe_2-egxwg6wqgydt8.pdf
Giacobbe_2-egxwg6wqgydt8.pdfGröße: 781.34 KBDownloads: 298

Datum

2017

Autor:innen

Giacobbe, Mirco
Guet, Călin C.
Gupta, Ashutosh
Henzinger, Thomas A.
Paixão, Tiago

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

ArXiv-ID

Internationale Patentnummer

Link zur Lizenz

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Hybrid
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published

Erschienen in

Acta Informatica. 2017, 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x

Zusammenfassung

The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Model Check; Linear Temporal Logic; Satisfiability Modulo Theory; Quantifier Elimination Linear Temporal Logic Formula

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690GIACOBBE, Mirco, Călin C. GUET, Ashutosh GUPTA, Thomas A. HENZINGER, Tiago PAIXÃO, Tatjana PETROV, 2017. Model checking the evolution of gene regulatory networks. In: Acta Informatica. 2017, 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x
BibTex
@article{Giacobbe2017-12Model-42117,
  year={2017},
  doi={10.1007/s00236-016-0278-x},
  title={Model checking the evolution of gene regulatory networks},
  number={8},
  volume={54},
  issn={0001-5903},
  journal={Acta Informatica},
  pages={765--787},
  author={Giacobbe, Mirco and Guet, Călin C. and Gupta, Ashutosh and Henzinger, Thomas A. and Paixão, Tiago and Petrov, Tatjana}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/42117">
    <dc:contributor>Gupta, Ashutosh</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:language>eng</dc:language>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Giacobbe, Mirco</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-20T10:47:47Z</dc:date>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42117/1/Giacobbe_2-egxwg6wqgydt8.pdf"/>
    <dc:creator>Guet, Călin C.</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42117/1/Giacobbe_2-egxwg6wqgydt8.pdf"/>
    <dc:creator>Paixão, Tiago</dc:creator>
    <dc:contributor>Petrov, Tatjana</dc:contributor>
    <dcterms:abstract xml:lang="eng">The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.</dcterms:abstract>
    <dcterms:issued>2017-12</dcterms:issued>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/42117"/>
    <dc:creator>Giacobbe, Mirco</dc:creator>
    <dc:creator>Petrov, Tatjana</dc:creator>
    <dc:contributor>Paixão, Tiago</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:rights>Attribution 4.0 International</dc:rights>
    <dc:creator>Gupta, Ashutosh</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-20T10:47:47Z</dcterms:available>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>
    <dc:creator>Henzinger, Thomas A.</dc:creator>
    <dc:contributor>Henzinger, Thomas A.</dc:contributor>
    <dcterms:title>Model checking the evolution of gene regulatory networks</dcterms:title>
    <dc:contributor>Guet, Călin C.</dc:contributor>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen