About: Computational Analysis of Large-Scale Multi-Affine ODE Models

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

About: Computational Analysis of Large-Scale Multi-Affine ODE Models 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	A biological system as considered in systems biology is understood in the form of a network of interactions among individual biochemical species. Complexity of these networks is inherently enormous, even for simple (e.g., procaryotic) organisms. When modeling and analyzing dynamics of these networks, i.e., exploring how the species evolve in time, we have to fight even another level of complexity - the enormous state space. In this paper we deal with a class of biological models that can be described in terms of multi-affine dynamic systems. First, we present a prototype tool for parallel (distributed) analysis of multi-affine systems discretized into rectangles that adapts the approach of Belta et.al. Secondly, we propose heuristics that significantly increase applicability of the approach to large biological models. Effects of different settings of the heuristics is firstly compared on a set of experiments performed on small models. Subsequently, experiments on large models are provided as well. A biological system as considered in systems biology is understood in the form of a network of interactions among individual biochemical species. Complexity of these networks is inherently enormous, even for simple (e.g., procaryotic) organisms. When modeling and analyzing dynamics of these networks, i.e., exploring how the species evolve in time, we have to fight even another level of complexity - the enormous state space. In this paper we deal with a class of biological models that can be described in terms of multi-affine dynamic systems. First, we present a prototype tool for parallel (distributed) analysis of multi-affine systems discretized into rectangles that adapts the approach of Belta et.al. Secondly, we propose heuristics that significantly increase applicability of the approach to large biological models. Effects of different settings of the heuristics is firstly compared on a set of experiments performed on small models. Subsequently, experiments on large models are provided as well. (en)
Title	Computational Analysis of Large-Scale Multi-Affine ODE Models Computational Analysis of Large-Scale Multi-Affine ODE Models (en)
skos:prefLabel	Computational Analysis of Large-Scale Multi-Affine ODE Models Computational Analysis of Large-Scale Multi-Affine ODE Models (en)
skos:notation	RIV/00216224:14330/09:00028617!RIV11-GA0-14330___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(1ET408050503), P(1M0545), P(GP201/09/P497), S, Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Fabriková, Jana Šafránek, David Černá, Ivana Barnat, Jiří Brim, Luboš Dražan, Sven
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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	307935
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/09:00028617
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	biological networks; parallel model checking; dynamics systems; rectangular abstraction (en)
http://linked.open.../riv/klicoveSlovo	rectangular abstraction dynamics systems biological networks parallel model checking
http://linked.open...ontrolniKodProRIV	[F527E9EE512F]
http://linked.open...v/mistoKonaniAkce	Trento
http://linked.open...i/riv/mistoVydani	Los Alamitos (California)
http://linked.open...i/riv/nazevZdroje	International Workshop on High Performance Computational Systems Biology
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	6 (xsd:int)
http://linked.open...cetTvurcuVysledku	6 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Automated formal verification using modern hardware Techniques for automatic verification and validation of software and hardware systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Fabriková, Jana Černá, Ivana Šafránek, David Dražan, Sven
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000275038300011
http://linked.open.../riv/zahajeniAkce	2009-01-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
number of pages	10 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IEEE Computer Society
https://schema.org/isbn	978-0-7695-3809-9
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software