About: On Algorithmic Analysis of Biological Networks

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

About: On Algorithmic Analysis of Biological Networks 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	This presentation focuses on analysis of dynamic systems describing functionality of biological networks. In particular, the biological model is considered as a system of multi-affine ODEs. The continuous state space of the dynamic system is abstracted into a finite automaton by employing the rectangular abstraction method. The analysis is performed on abstracted models. In particular, the state space reachable from given initial conditions (initial concentration of species) is automatically generated and analysed. This presentation focuses on analysis of dynamic systems describing functionality of biological networks. In particular, the biological model is considered as a system of multi-affine ODEs. The continuous state space of the dynamic system is abstracted into a finite automaton by employing the rectangular abstraction method. The analysis is performed on abstracted models. In particular, the state space reachable from given initial conditions (initial concentration of species) is automatically generated and analysed. (en)
Title	On Algorithmic Analysis of Biological Networks On Algorithmic Analysis of Biological Networks (en)
skos:prefLabel	On Algorithmic Analysis of Biological Networks On Algorithmic Analysis of Biological Networks (en)
skos:notation	RIV/00216224:14330/08:00028409!RIV10-MSM-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET408050503), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Šafránek, David
http://linked.open.../riv/druhVysledku	O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku
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	384540
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/08:00028409
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	bilogical networks; model checking; systems biology (en)
http://linked.open.../riv/klicoveSlovo	systems biology model checking bilogical networks
http://linked.open...ontrolniKodProRIV	[A6F2BC49350F]
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Techniques for automatic verification and validation of software and hardware systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Šafránek, David
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
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