This HTML5 document contains 51 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
n11	http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dcterms	http://purl.org/dc/terms/
n21	http://localhost/temp/predkladatel/
n13	http://purl.org/net/nknouf/ns/bibtex#
n12	http://linked.opendata.cz/resource/domain/vavai/projekt/
n6	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n20	http://linked.opendata.cz/ontology/domain/vavai/
n19	http://linked.opendata.cz/resource/domain/vavai/zamer/
n16	https://schema.org/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F06%3A00002602%21RIV07-MSM-11320___/
n22	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216208%3A11320%2F06%3A00002602%21RIV07-MSM-11320___

rdf:type

n20:Vysledek skos:Concept

dcterms:description

Intervalové funkce tvoří speciální třídu Booleovských funkcí pro kterou se dá velmi rychle a snadno určit jejich funkční hodnota pro daný vstupní vektor. Tato hodnota je 'pravda' tehdy a jen tehdy, když vstupní data, vnímáma jako n-bitový vektor, leží v intervalu [a,b], který funkci zadává. Zde se zabýváme problémem jak rozpoznat zda daná DNF reprezentuje intervalovou funkci a v jak kladném případě určit odpovídající interval. Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their value is 'true' if and only if the input data viewed as an $n$-bit number belongs to the interval [a,b] corresponding to the function concerned. Therefore we study the problem of deciding whether given DNF represents interval function and if so then we also want to output the corresponding interval. Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their value is 'true' if and only if the input data viewed as an $n$-bit number belongs to the interval [a,b] corresponding to the function concerned. Therefore we study the problem of deciding whether given DNF represents interval function and if so then we also want to output the corresponding interval.

dcterms:title

Recognition of Interval Boolean Functions Recognition of Interval Boolean Functions Rozpoznávání Intervalových Booleovských Funkcí

skos:prefLabel

Recognition of Interval Boolean Functions Recognition of Interval Boolean Functions Rozpoznávání Intervalových Booleovských Funkcí

skos:notation

RIV/00216208:11320/06:00002602!RIV07-MSM-11320___

n3:strany

14;28

n3:aktivita

n14:Z n14:P

n3:aktivity

P(GA201/04/1102), P(GD201/05/H014), Z(MSM0021620838)

n3:dodaniDat

n4:2007

n3:domaciTvurceVysledku

n6:9459413 n6:2702134 n6:1561510

n3:druhVysledku

n18:D

n3:duvernostUdaju

n10:S

n3:entitaPredkladatele

n8:predkladatel

n3:idSjednocenehoVysledku

496719

n3:idVysledku

RIV/00216208:11320/06:00002602

n3:jazykVysledku

n17:eng

n3:klicovaSlova

Recognition; Interval; Boolean; Functions

n3:klicoveSlovo

n9:Recognition n9:Interval n9:Functions n9:Boolean

n3:kontrolniKodProRIV

[0707A79AC367]

n3:mistoKonaniAkce

Praha

n3:mistoVydani

Praha

n3:nazevZdroje

Proceedings of MIS 2006

n3:obor

n22:BA

n3:pocetDomacichTvurcuVysledku

3

n3:pocetTvurcuVysledku

3

n3:projekt

n12:GD201%2F05%2FH014 n12:GA201%2F04%2F1102

n3:rokUplatneniVysledku

n4:2006

n3:tvurceVysledku

Čepek, Ondřej Kronus, David Kučera, Petr

n3:typAkce

n11:CST

n3:zahajeniAkce

2006-01-01+01:00

n3:zamer

n19:MSM0021620838

s:numberOfPages

15

n13:hasPublisher

Univerzita Karlova v Praze. Matematicko-fyzikální fakulta

n16:isbn

80-7378-000-3

n21:organizacniJednotka

11320