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
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n8http://purl.org/net/nknouf/ns/bibtex#
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
n16https://schema.org/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
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#
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F05%3A03113322%21RIV08-MSM-21230___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F05%3A03113322%21RIV08-MSM-21230___
rdf:type
skos:Concept n13:Vysledek
dcterms:description
Paper describes formal algorithm for automated verification of adaptive course output. Paper describes formal algorithm for automated verification of adaptive course output. Prispevek popisuje formalni algoritmus automaticke kontroly vystupu adaptivnho kurzu.
dcterms:title
Metodika implementace adaptivniho e-learningoveho hypermedialniho systemu: automaticka kontrola vystupu adaptivniho kurzu Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output
skos:prefLabel
Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output Metodika implementace adaptivniho e-learningoveho hypermedialniho systemu: automaticka kontrola vystupu adaptivniho kurzu Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output
skos:notation
RIV/68407700:21230/05:03113322!RIV08-MSM-21230___
n3:strany
174;179
n3:aktivita
n10:Z
n3:aktivity
Z(MSM6840770014)
n3:dodaniDat
n15:2008
n3:domaciTvurceVysledku
n5:7276648 n5:3729486
n3:druhVysledku
n18:D
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
529734
n3:idVysledku
RIV/68407700:21230/05:03113322
n3:jazykVysledku
n19:eng
n3:klicovaSlova
Adaptive Hypermedia; E-learning; Formal Description; Oriented Graph; Output Verification; Web
n3:klicoveSlovo
n4:Formal%20Description n4:Adaptive%20Hypermedia n4:E-learning n4:Oriented%20Graph n4:Output%20Verification n4:Web
n3:kontrolniKodProRIV
[CDA115EC3FE2]
n3:mistoKonaniAkce
Bratislava
n3:mistoVydani
Bratislava
n3:nazevZdroje
Proceedings of 6th International Conference Virtual University VU'05
n3:obor
n11:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n15:2005
n3:tvurceVysledku
Jelínek, Ivan Bureš, Miroslav
n3:typAkce
n20:WRD
n3:zahajeniAkce
2005-12-15+01:00
n3:zamer
n14:MSM6840770014
s:numberOfPages
6
n8:hasPublisher
Slovenská technická univerzita v Bratislave
n16:isbn
80-227-2336-3
n17:organizacniJednotka
21230