This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n18http://localhost/temp/predkladatel/
n19http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00070437%21RIV14-MSM-14330___/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00070437%21RIV14-MSM-14330___
rdf:type
skos:Concept n14:Vysledek
rdfs:seeAlso
http://talks.ox.ac.uk/talk/index/13917
dcterms:description
The goal of computational systems biology is to develop models that can predict and explain uknown facts about the dynamics of biological systems, especially, non-trivial behaviour emerging from the interplay among the enormous number of individual biochemical components. The models are based on known first principles, wet-lab measurements, and existing hypotheses available in literature. A lot of information remains unknown, e.g., quantitative parameters such as rates of individual biochemical events. All the known or expected biological facts can be formalized in temporal logics. Model checking techniques known from formal verification can be then used to explore models with respect to a given set of temporal properties (dynamical constraints). The space of uncertainty in models can be then restricted by means of these constraints. This gives the modellers a powerful alternative to traditional parameter fitting methods. The goal of computational systems biology is to develop models that can predict and explain uknown facts about the dynamics of biological systems, especially, non-trivial behaviour emerging from the interplay among the enormous number of individual biochemical components. The models are based on known first principles, wet-lab measurements, and existing hypotheses available in literature. A lot of information remains unknown, e.g., quantitative parameters such as rates of individual biochemical events. All the known or expected biological facts can be formalized in temporal logics. Model checking techniques known from formal verification can be then used to explore models with respect to a given set of temporal properties (dynamical constraints). The space of uncertainty in models can be then restricted by means of these constraints. This gives the modellers a powerful alternative to traditional parameter fitting methods.
dcterms:title
Model Checking of Biological Systems Model Checking of Biological Systems
skos:prefLabel
Model Checking of Biological Systems Model Checking of Biological Systems
skos:notation
RIV/00216224:14330/13:00070437!RIV14-MSM-14330___
n14:predkladatel
n15:orjk%3A14330
n3:aktivita
n13:S n13:P
n3:aktivity
P(EE2.3.20.0256), S
n3:dodaniDat
n10:2014
n3:domaciTvurceVysledku
n19:8225400
n3:druhVysledku
n16:O
n3:duvernostUdaju
n6:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
88721
n3:idVysledku
RIV/00216224:14330/13:00070437
n3:jazykVysledku
n4:eng
n3:klicovaSlova
model checking; systems biology; parameter synthesis
n3:klicoveSlovo
n5:parameter%20synthesis n5:model%20checking n5:systems%20biology
n3:kontrolniKodProRIV
[FC2B97A488E8]
n3:obor
n9:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n17:EE2.3.20.0256
n3:rokUplatneniVysledku
n10:2013
n3:tvurceVysledku
Šafránek, David
n18:organizacniJednotka
14330