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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n16	http://linked.opendata.cz/ontology/domain/vavai/
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
skos	http://www.w3.org/2004/02/skos/core#
rdfs	http://www.w3.org/2000/01/rdf-schema#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F05%3A00012708%21RIV10-GA0-14330___/hodnoceni/
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n12	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F05%3A00012708%21RIV10-GA0-14330___/hodnoceni/2010/
n8	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdh	http://www.w3.org/2001/XMLSchema#
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n11	http://localhost/ontology/
n6	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:2010

rdf:type

n16:OhodnocenyVysledek

rdfs:seeAlso

http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F05%3A00012708!RIV10-GA0-14330___

dcterms:title

Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion

skos:notation

RIV/00216224:14330/05:00012708!RIV10-GA0-14330___

n3:bodoveHodnoceniCelehoVysledku

8.0

n3:bodovyPodilHodnoceniNaVysledku

8.0

n3:druhVysledkuVHodnoceni

n4:D

n3:navaznostiVysledku

n17:P%281M0545%29

n3:podilHodnoceniNaVysledku

1.0

n3:publikacniKanal

Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005)

n3:rokHodnoceniVysledku

n6:2011

n3:rozsahVyrazeni

n15:0

n3:skupinaOboru

n10:03

n3:upraveneBodoveHodnoceniCelehoVysledku

14.448000000000000398

n3:upravenyBodovyPodilHodnoceniNaVysledku

14.448000000000000398

n3:vysledek

n8:RIV%2F00216224%3A14330%2F05%3A00012708%21RIV10-GA0-14330___

n3:vysledekDruh

n9:D

n11:zpusobPrizazeniBodu-duvodVyrazeni

Metodika hodnocení, výsledek hodnocený již v předchozím hodnocení, body se přebírají.

n3:korekcniKoeficient

1.8060000000000000497

n3:domaciTvurceVysledku

n12:tvurce_Br%C3%A1zdil%2C%20Tom%C3%A1%C5%A1

n3:idSjednocenehoVysledku

7D98A5352E5BE316F5113E20F31691E08958031A

n3:obor

n14:IN

n3:rokUplatneniVysledku

n6:2005