This HTML5 document contains 49 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/
n13http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/resource/domain/vavai/projekt/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F08%3A00100167%21RIV09-MSM-11320___/
n18http://linked.opendata.cz/ontology/domain/vavai/
n6http://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#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F08%3A00100167%21RIV09-MSM-11320___
rdf:type
skos:Concept n18:Vysledek
dcterms:description
In this paper we study the problem of deciding whether a given DNF represents an interval function and if so then we also want to output the corresponding interval. This result is then extended to a 'renamable' variant of interval functions, i.e. to their variable complementation closure. V tomto článku se zabýváme problémem jak rozhodnout, zda daná DNF reprezentuje intervalovou funkci a v kladném případě jak zjistit odpovídající interval. Tento výsledek je dále zobecněn na 'přejmenovatelnou' variantu intervalových funkcí, tj. na jejich uzávěr vzhledem ke komplementaci promenných. In this paper we study the problem of deciding whether a given DNF represents an interval function and if so then we also want to output the corresponding interval. This result is then extended to a 'renamable' variant of interval functions, i.e. to their variable complementation closure.
dcterms:title
Renamable interval Boolean functions Renamable interval Boolean functions Přejmenovatelné intervalové booleovské funkce
skos:prefLabel
Renamable interval Boolean functions Přejmenovatelné intervalové booleovské funkce Renamable interval Boolean functions
skos:notation
RIV/00216208:11320/08:00100167!RIV09-MSM-11320___
n3:aktivita
n12:P n12:Z
n3:aktivity
P(GA201/07/0205), P(GP201/07/P168), Z(MSM0021620838)
n3:cisloPeriodika
5
n3:dodaniDat
n17:2009
n3:domaciTvurceVysledku
n15:2702134 n15:9459413 n15:1561510
n3:druhVysledku
n8:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
392321
n3:idVysledku
RIV/00216208:11320/08:00100167
n3:jazykVysledku
n19:eng
n3:klicovaSlova
Renamable; interval; Boolean; functions
n3:klicoveSlovo
n7:functions n7:interval n7:Boolean n7:Renamable
n3:kodStatuVydavatele
JP - Japonsko
n3:kontrolniKodProRIV
[43939B4341CA]
n3:nazevZdroje
International Journal of Innovative Computing, Information and Control
n3:obor
n11:BA
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n10:GP201%2F07%2FP168 n10:GA201%2F07%2F0205
n3:rokUplatneniVysledku
n17:2008
n3:svazekPeriodika
4
n3:tvurceVysledku
Kučera, Petr Kronus, David Čepek, Ondřej
n3:wos
000255957800011
n3:zamer
n6:MSM0021620838
s:issn
1349-4198
s:numberOfPages
10
n13:organizacniJednotka
11320