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

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

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n16http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n12http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n14http://linked.opendata.cz/ontology/domain/vavai/
n22http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n21http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n19http://linked.opendata.cz/resource/domain/vavai/soutez/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP276/
n20http://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/
n11http://linked.opendata.cz/resource/domain/vavai/aktivita/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GP201%2F07%2FP276
rdf:type
n14:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P276
dcterms:description
Tento projekt navrhuje studovat tři úzce související oblasti výpočetní složitosti: dolní odhady pro obvody a rozhodovací diagramy, komunikační složitost více hráčů a derandomizaci. V první oblasti navrhujeme studium velikosti početních obvodů omezené hloubky a hloubky Booleovských obvodů potřebných pro vyhodnocování explicitních funkcí. Dále pak navrhujeme studium nedávno zavedených druhů rozhodovacích diagramů, inkrementálních a těsných rozhodovacích diagramů. V oblasti komunikační složitosti více hráčů navrhujeme analyzovat vztah mezi deterministickými, nedeterministickými a pravděpodobnostními protokoly. V oblasti derandomizace se chceme soustředit na studium několika klíčových problémů derandomizace výpočtů běžících v omezeném prostoru. The project proposes to study three related areas of computational complexity: circuit and branching program lower bounds, multi-party communication complexity and derandomization. In the first area we propose to study the size of bounded-depth counting circuits and the depth of Boolean circuits needed to compute explicit functions. Furthermore, we propose to study the recently introduced variants of branching programs---incremental and tight branching programs. In the area of multiparty communication complexity we want to focus on the relationship among deterministic, nondeterministic and randomized protocols. In the area of derandomization we want to consider several key problems related to derandomization of space-bounded computation.
dcterms:title
Výpočetní a komunikační složitost Booleovských funkcí a derandomizace Computational and communication complexity of Boolean functions, and derandomization
skos:notation
GP201/07/P276
n3:aktivita
n11:GP
n3:celkovaStatniPodpora
n4:celkovaStatniPodpora
n3:celkoveNaklady
n4:celkoveNaklady
n3:datumDodatniDoRIV
2015-01-22+01:00
n3:druhSouteze
n10:VS
n3:duvernostUdaju
n22:S
n3:fazeProjektu
n21:65824822
n3:hlavniObor
n9:IN
n3:hodnoceniProjektu
n17:V
n3:kategorie
n18:ZV
n3:klicovaSlova
branching programs; Boolean circuits; communication complexity; derandomization
n3:partnetrHlavni
n15:ico%3A67985840
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
13
n3:pocetZverejnenychVysledkuVRIV
13
n3:posledniUvolneniVMinulemRoce
2009-04-22+02:00
n3:prideleniPodpory
n12:201%2F07%2FP276
n3:sberDatUcastniciPoslednihoRoku
n6:2009
n3:sberDatUdajeProjZameru
n6:2010
n3:soutez
n19:SGA02007GA1PD
n3:statusZobrazovaneFaze
n20:DUU
n3:typPojektu
n8:P
n3:ukonceniReseni
2009-12-31+01:00
n3:vedlejsiObor
n9:BA n9:BD
n3:zahajeniReseni
2007-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
. Řešitel se výzkumných úkolů zhostil vynikajícím způsobem a dosažené výsledky mají světovou úroveň. Tomuto hodnocení odpovídají i publikační výstupy. Úctyhodná je nejen jejich kvantita, ale především kvalita. Konference typu CCC nebo LICS se zcela jistě ve
n3:zivotniCyklusProjektu
n16:ZBKU
n3:klicoveSlovo
communication complexity Boolean circuits branching programs