About: High-performance analysis of biological systems dynamics with the DiVinE model checker

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: High-performance analysis of biological systems dynamics with the DiVinE model checker 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological modelling is based on unifying several kinds of data captured in terms of large-scale biological networks, scalable and automatized methods are necessary to obtain novel predictions and understanding. In this review, we provide a brief description of the tool DiVinE adapted for automatized analysis of biological systems dynamics. The tool employs high-performance computing techniques to enable analysis of large models. The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological modelling is based on unifying several kinds of data captured in terms of large-scale biological networks, scalable and automatized methods are necessary to obtain novel predictions and understanding. In this review, we provide a brief description of the tool DiVinE adapted for automatized analysis of biological systems dynamics. The tool employs high-performance computing techniques to enable analysis of large models. (en)
Title	High-performance analysis of biological systems dynamics with the DiVinE model checker High-performance analysis of biological systems dynamics with the DiVinE model checker (en)
skos:prefLabel	High-performance analysis of biological systems dynamics with the DiVinE model checker High-performance analysis of biological systems dynamics with the DiVinE model checker (en)
skos:notation	RIV/00216224:14330/10:00043826!RIV11-GA0-14330___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GA201/09/1389), P(GP201/09/P497), S, Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Šafránek, David Barnat, Jiří Brim, Luboš
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	261585
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/10:00043826
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	molecular interaction networks; mathematical modeling and computer simulation; kinetic models; discrete abstraction; high-performance computing; model checking (en)
http://linked.open.../riv/klicoveSlovo	model checking kinetic models discrete abstraction high-performance computing mathematical modeling and computer simulation molecular interaction networks
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[3B412D105A17]
http://linked.open...i/riv/nazevZdroje	Briefings in Bioinformatics
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Verification and Analysis of Large-Scale Computer Systems Automated formal verification using modern hardware
http://linked.open...UplatneniVysledku	2010
http://linked.open...v/svazekPeriodika	11
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Šafránek, David
http://linked.open...ain/vavai/riv/wos	00027798530
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	1467-5463
number of pages	12 (xsd:int)
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software