About: %22Antelope%22: a hybrid-logic model checker for branching-time Boolean GRN analysis     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
rdfs:seeAlso
Description
  • We have developed Antelope (%22Analysis of Networks through TEmporal-LOgic sPEcifications%22, http://turing.iimas.unam.mx:8080/AntelopeWEB/), a model checker for analyzing and constructing Boolean GRNs. Currently, software systems for Boolean GRNs use branching time almost exclusively for asynchrony. Antelope, by contrast, also uses branching time for incompletely specified behavior and environment interaction. We show the usefulness of modeling these two phenomena in the development of a Boolean GRN of the Arabidopsis thaliana root stem cell niche. There are two obstacles to a direct approach when applying model checking to Boolean GRN analysis. First, ordinary model checkers normally only verify whether or not a given set of model states has a given property. In comparison, a model checker for Boolean GRNs is preferable if it reports the set of states having a desired property.
  • We have developed Antelope (%22Analysis of Networks through TEmporal-LOgic sPEcifications%22, http://turing.iimas.unam.mx:8080/AntelopeWEB/), a model checker for analyzing and constructing Boolean GRNs. Currently, software systems for Boolean GRNs use branching time almost exclusively for asynchrony. Antelope, by contrast, also uses branching time for incompletely specified behavior and environment interaction. We show the usefulness of modeling these two phenomena in the development of a Boolean GRN of the Arabidopsis thaliana root stem cell niche. There are two obstacles to a direct approach when applying model checking to Boolean GRN analysis. First, ordinary model checkers normally only verify whether or not a given set of model states has a given property. In comparison, a model checker for Boolean GRNs is preferable if it reports the set of states having a desired property. (en)
Title
  • %22Antelope%22: a hybrid-logic model checker for branching-time Boolean GRN analysis
  • %22Antelope%22: a hybrid-logic model checker for branching-time Boolean GRN analysis (en)
skos:prefLabel
  • %22Antelope%22: a hybrid-logic model checker for branching-time Boolean GRN analysis
  • %22Antelope%22: a hybrid-logic model checker for branching-time Boolean GRN analysis (en)
skos:notation
  • RIV/00216224:14740/11:00055435!RIV12-MSM-14740___
http://linked.open...avai/predkladatel
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(LC06034)
http://linked.open...iv/cisloPeriodika
  • 12
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
  • Benitez Keinrad, Mariana
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 186374
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14740/11:00055435
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • boolean network; model checking; root apical meristem (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • GB - Spojené království Velké Británie a Severního Irska
http://linked.open...ontrolniKodProRIV
  • [0F72F5859936]
http://linked.open...i/riv/nazevZdroje
  • BMC BIOINFORMATICS
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 2011
http://linked.open...iv/tvurceVysledku
  • Alvarez-Buylla, Elena R.
  • Arellano, Gustavo
  • Argil, Julián
  • Azpeitia, Eugenio
  • Benitez Keinrad, Mariana
  • Carrillo, Miguel
  • Gongora, Pedro
  • Rosenblueth, David A.
issn
  • 1471-2105
number of pages
http://bibframe.org/vocab/doi
  • 10.1186/1471-2105-12-490
http://localhost/t...ganizacniJednotka
  • 14740
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software