About: On Parameter Synthesis by Parallel Model Checking     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
  • An important problem in current computational systems biology is to analyse models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
  • An important problem in current computational systems biology is to analyse models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models. (en)
Title
  • On Parameter Synthesis by Parallel Model Checking
  • On Parameter Synthesis by Parallel Model Checking (en)
skos:prefLabel
  • On Parameter Synthesis by Parallel Model Checking
  • On Parameter Synthesis by Parallel Model Checking (en)
skos:notation
  • RIV/00216224:14330/12:00057196!RIV13-GA0-14330___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA201/09/1389), S, Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika
  • 3
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
  • 156293
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/12:00057196
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • CZ - Česká republika
http://linked.open...ontrolniKodProRIV
  • [5D49B0BB2A3A]
http://linked.open...i/riv/nazevZdroje
  • IEEE/ACM Transactions on Computational Biology and 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
  • 9
http://linked.open...iv/tvurceVysledku
  • Barnat, Jiří
  • Brim, Luboš
  • Šafránek, David
  • Krejčí, Adam
  • Streck, Adam
  • Vejnár, Martin
  • Vejpustek, Tomáš
http://linked.open...ain/vavai/riv/wos
  • 000301293900006
http://linked.open...n/vavai/riv/zamer
issn
  • 1545-5963
number of pages
http://bibframe.org/vocab/doi
  • 10.1109/TCBB.2011.110
http://localhost/t...ganizacniJednotka
  • 14330
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, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software