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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://purl.org/net/nknouf/ns/bibtex#
n12http://localhost/temp/predkladatel/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/subjekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n23http://linked.opendata.cz/resource/domain/vavai/zamer/
n22https://schema.org/
shttp://schema.org/
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#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F11%3A00049980%21RIV12-GA0-14330___/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F11%3A00049980%21RIV12-GA0-14330___
rdf:type
n11:Vysledek skos:Concept
dcterms:description
We study the runtime in probabilistic programs with unbounded recursion. As underlying formal model for such programs we use probabilistic pushdown automata (pPDA) which exactly correspond to recursive Markov chains. We study the runtime in probabilistic programs with unbounded recursion. As underlying formal model for such programs we use probabilistic pushdown automata (pPDA) which exactly correspond to recursive Markov chains.
dcterms:title
Runtime Analysis of Probabilistic Programs with Unbounded Recursion Runtime Analysis of Probabilistic Programs with Unbounded Recursion
skos:prefLabel
Runtime Analysis of Probabilistic Programs with Unbounded Recursion Runtime Analysis of Probabilistic Programs with Unbounded Recursion
skos:notation
RIV/00216224:14330/11:00049980!RIV12-GA0-14330___
n11:predkladatel
n14:orjk%3A14330
n3:aktivita
n8:P n8:Z
n3:aktivity
P(1M0545), P(GAP202/10/1469), Z(MSM0021622419)
n3:dodaniDat
n10:2012
n3:domaciTvurceVysledku
n4:7198736 n4:1762834 n4:9872655
n3:druhVysledku
n9:D
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
227923
n3:idVysledku
RIV/00216224:14330/11:00049980
n3:jazykVysledku
n15:eng
n3:klicovaSlova
pushdown automata; probabilistic systems; termination
n3:klicoveSlovo
n20:pushdown%20automata n20:termination n20:probabilistic%20systems
n3:kontrolniKodProRIV
[5FA1F01EC70D]
n3:mistoKonaniAkce
Zurich, Switzerland
n3:mistoVydani
Berlin
n3:nazevZdroje
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)
n3:obor
n7:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
4
n3:projekt
n6:1M0545 n6:GAP202%2F10%2F1469
n3:rokUplatneniVysledku
n10:2011
n3:tvurceVysledku
Kiefer, Stefan Kučera, Antonín Hutařová Vařeková, Ivana Brázdil, Tomáš
n3:typAkce
n19:WRD
n3:zahajeniAkce
2011-01-01+01:00
n3:zamer
n23:MSM0021622419
s:numberOfPages
13
n17:hasPublisher
Springer-Verlag
n22:isbn
978-3-642-22011-1
n12:organizacniJednotka
14330