| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - Parsybone is a command-line tool for synthesis of discrete kinetic parameters in gene regulatory networks and for their further analysis. Regulatory networks are provided using a so-called Thomas formalism and analyzed using a method of colored LTL model checking. The model checking procedure is based on the behavioral constraints provided in the form of Büchi automata. Features of this tool include: reduction of parameter space by static and dynamic behaviour constraints, analysis w.r.t. time series measurements and further ranking of acceptable parametrizations, computation of behavioural maps, possible execution in distributed environment, usage of colored LTL model checking. This software transfers original research results into practise. Its main contribution to the field of bioinformatics is providing of a sophisticated support for discrete analysis of models of gene regulatory networks which has not been available before.
- Parsybone is a command-line tool for synthesis of discrete kinetic parameters in gene regulatory networks and for their further analysis. Regulatory networks are provided using a so-called Thomas formalism and analyzed using a method of colored LTL model checking. The model checking procedure is based on the behavioral constraints provided in the form of Büchi automata. Features of this tool include: reduction of parameter space by static and dynamic behaviour constraints, analysis w.r.t. time series measurements and further ranking of acceptable parametrizations, computation of behavioural maps, possible execution in distributed environment, usage of colored LTL model checking. This software transfers original research results into practise. Its main contribution to the field of bioinformatics is providing of a sophisticated support for discrete analysis of models of gene regulatory networks which has not been available before. (en)
|
| Title
| - Parsybone: Parameter Synthesizer for Boolean Networks
- Parsybone: Parameter Synthesizer for Boolean Networks (en)
|
| skos:prefLabel
| - Parsybone: Parameter Synthesizer for Boolean Networks
- Parsybone: Parameter Synthesizer for Boolean Networks (en)
|
| skos:notation
| - RIV/00216224:14330/12:00058665!RIV13-GA0-14330___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...onomickeParametry
| - Významným ekonomickým přínosem tohoto software pro biologické laboratoře zabývající se zpracováním microarray dat a inferencí prediktivních modelů je významné ušetření času nezbytného pro manuální zpracování enormního množství predikovaných dat. Automatizací zpracování a zavedením klasifikačních metrik je usnadněno a významně urychleno nalezení modelů, které odpovídají experimentálně naměřeným výsledkům. SW je dle zvyklostí vysoce dynamického oboru bioinformatiky šířen zdarma, jeho využití je předpokládáno převážně v akademickém prostředí biologických laboratoří.
|
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/12:00058665
|
| http://linked.open...terniIdentifikace
| |
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - coloured model checking; parameter identification; boolean models; systems biology; gene regulatory networks (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open.../licencniPoplatek
| |
| 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...echnickeParametry
| - Software implementuje unikátní metodu ověřování temporálních vlastností na parametrizovaných modelech prostřednictvím heuristiky vyvinuté laboratoří Sybila (coloured model checking). Metoda je využita k enumerativnímu řešení problému nalezení parametrů vyhovujících zadaným podmínkám (omezení dynamiky dané např. experimentálním měřením genové exprese in vitro). Software tak obohacuje klíčovou oblast bioinformatiky (rekontrukce sítí genových regulací) o výkonný nástroj využivající špičkových technologií formální verifikace. Metoda je adaptována pro boolovské modely genové exprese a umožňuje zpracování sítí o několika desítkách genů. To je umožněno efektivní paralelní implementací algoritmu v distribuovaném prostředí. Implementace v C++. Licence: GNU GPL. Odpovědná osoba: RNDr. David Šafránek, Ph.D.; email: safranek@fi.muni.cz; telefon: 549494476; adresa: David Šafránek, Fakulta informatiky Masarykovy univerzity, Botanická 68a, 602 00 Brno.
|
| http://linked.open...iv/tvurceVysledku
| - Brim, Luboš
- Šafránek, David
- Streck, Adam
|
| http://linked.open...avai/riv/vlastnik
| |
| http://linked.open...itiJinymSubjektem
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)