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

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

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n22http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
dctermshttp://purl.org/dc/terms/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n20http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n12http://linked.opendata.cz/resource/domain/vavai/subjekt/
n21http://linked.opendata.cz/ontology/domain/vavai/
n11http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n9http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n6http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n16http://linked.opendata.cz/resource/domain/vavai/soutez/
n13http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP168/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n15http://linked.opendata.cz/resource/domain/vavai/aktivita/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GP201%2F07%2FP168
rdf:type
n21:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P168
dcterms:description
Jedná se o projekt z oblasti základního výzkumu v teoretické informatice na pomezí logiky, umělé inteligence a teorie algoritmů. Charakter projektu je převážně badatelsko-teoretický a sestává jednak z rešerší článků které souvisí se zkoumanou problematikou a jednak z vlastní badatelské práce jejímž cílem jsou nové výsledky. Menší část práce může být také experimentálního charakteru (implementace a testování nových algoritmů). This is a basic research project from the area of theoretical computer science at the border of logic, artificial intelligence and algorithms. It consists from study of the literature connected with the problems being researched and from original research with developing of new results. Small part of this project may consist of an implementation and experimental testing of newly developed algorithms.
dcterms:title
Boolean functions Booleovské funkce
skos:notation
GP201/07/P168
n3:aktivita
n15:GP
n3:celkovaStatniPodpora
n13:celkovaStatniPodpora
n3:celkoveNaklady
n13:celkoveNaklady
n3:datumDodatniDoRIV
2015-01-22+01:00
n3:druhSouteze
n17:VS
n3:duvernostUdaju
n4:S
n3:fazeProjektu
n9:65824798
n3:hlavniObor
n6:IN
n3:hodnoceniProjektu
n8:V
n3:kategorie
n11:ZV
n3:klicovaSlova
Boolean functions; Horn functions; minimization of Boolean functions; satisfiability of Boolean func
n3:partnetrHlavni
n12:orjk%3A11320
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
7
n3:pocetZverejnenychVysledkuVRIV
7
n3:posledniUvolneniVMinulemRoce
2009-04-22+02:00
n3:prideleniPodpory
n20:201%2F07%2FP168
n3:sberDatUcastniciPoslednihoRoku
n5:2009
n3:sberDatUdajeProjZameru
n5:2010
n3:soutez
n16:SGA02007GA1PD
n3:statusZobrazovaneFaze
n7:DUU
n3:typPojektu
n22:P
n3:ukonceniReseni
2009-12-31+01:00
n3:zahajeniReseni
2007-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
Kvalitní postdoc projekt s výstupy v kvalitních časopisech. Teoretické výsledky, zčásti motivované potřebami analýzy dat, které mohou mít praktické uplatnění. .
n3:zivotniCyklusProjektu
n14:ZBKU
n3:klicoveSlovo
Boolean functions Horn functions minimization of Boolean functions