Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - The use of model checking for the analysis of biological networks has attracted much attention recently. However, one of the practical limitations is the size of the model. The primary aim of this work is to demonstrate that such a limitation can be overcome by employing parallel LTL model checking.
- The use of model checking for the analysis of biological networks has attracted much attention recently. However, one of the practical limitations is the size of the model. The primary aim of this work is to demonstrate that such a limitation can be overcome by employing parallel LTL model checking. (en)
- Použití metody ověřování modelů se stává již zavedeným mechanismem systémové biologie. Problémem, který brání masívnímu nasazení této technologie, je praktické omezení velikostí modelů. Cílem této práce je demonstrovat možnosti paralelního přístupu k ověřování modelů. (cs)
|
Title
| - Paralelní analýza genetických regulačních sítí (cs)
- Parallel Analysis of Genetic Regulatory Networks
- Parallel Analysis of Genetic Regulatory Networks (en)
|
skos:prefLabel
| - Paralelní analýza genetických regulačních sítí (cs)
- Parallel Analysis of Genetic Regulatory Networks
- Parallel Analysis of Genetic Regulatory Networks (en)
|
skos:notation
| - RIV/00216224:14330/07:00019480!RIV08-AV0-14330___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1ET408050503), Z(MSM0021622419)
|
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:14330/07:00019480
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - parallel model checking; genetic regulatory networks; piece-wise linear approximation (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...i/riv/kodPristupu
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...telVyzkumneZpravy
| |
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...iv/tvurceVysledku
| - Barnat, Jiří
- Brim, Luboš
- Černá, Ivana
- Šafránek, David
- Dražan, Sven
|
http://linked.open...rzeVyzkumneZpravy
| - Towards Systems Biology Workshop 2007
|
http://linked.open...n/vavai/riv/zamer
| |
http://localhost/t...ganizacniJednotka
| |