Attributes | Values |
---|
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
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
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
| |
http://linked.open...i/riv/nazevZdroje
| |
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
| |
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
| |
number of pages
| |
http://bibframe.org/vocab/doi
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |