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

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

Namespace Prefixes

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

Statements

Subject Item
n2:GA13-01832S
rdf:type
n21:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA13-01832S
dcterms:description
The aim of the project is to solve selected problems in areas on the border of general algebra and computer science. We will focus on the following problems: complexity of the constraint satisfaction problems (the Feder-Vardi conjecture, finer complexity classification of the CSPs, various variants of CSP), the structure of universal algebras and Maltsev conditions (the Valeriote conjecture, absorption theory), the structure of selfdistributive and medial algebras (focusing on modes, and on quandles and their relation to knot theory), and word equations (binary equality languages, binary Post Correspondence Problem, independent systems of equations). A part of our research will be supported by automated methods and we plan to provide feedback to the developers of the computer systems we shall use. Cílem navrženého projektu je vyřešit vybrané problémy na pomezí obecné algebry a teoretické informatiky. Práce se soustředí na následující oblasti: složitost problému splnitelnosti omezení (hypotéza Federa a Vardiho, jemnější složitostní klasifikace CSP, různé varianty CSP), struktura univerzálních algeber a mal'cevské podmínky (Valeriotova hypotéza, teorie absorpce), struktura samodistributivních a mediálních algeber (zejména teorie módů a teorie quandlů a její vazba na teorii uzlů), rovnice na slovech (binární ekvivalenční množiny, binární Postův korespondenční problém, nezávislé systémy rovnic). Jistou roli v rámci výzkumu budou hrát automatické metody a zpětná vazba autorům použitých počítačových systémů.
dcterms:title
General algebra and its connections to computer science Obecná algebra a její souvislost s informatikou
skos:notation
GA13-01832S
n3:aktivita
n20:GA
n3:celkovaStatniPodpora
n5:celkovaStatniPodpora
n3:celkoveNaklady
n5:celkoveNaklady
n3:datumDodatniDoRIV
2015-04-23+02:00
n3:druhSouteze
n16:VS
n3:duvernostUdaju
n10:S
n3:fazeProjektu
n8:100769618
n3:hlavniObor
n9:BA
n3:kategorie
n11:ZV
n3:klicovaSlova
constraint satisfaction problem, Maltsev conditions, non-associative algebras, combinatorics on words
n3:partnetrHlavni
n14:orjk%3A11320
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
3
n3:pocetZverejnenychVysledkuVRIV
3
n3:posledniUvolneniVMinulemRoce
2014-04-18+02:00
n3:prideleniPodpory
n17:13-01832S
n3:sberDatUcastniciPoslednihoRoku
n15:2015
n3:sberDatUdajeProjZameru
n15:2015
n3:soutez
n19:SGA0201300005
n3:statusZobrazovaneFaze
n7:DRRVB
n3:typPojektu
n12:P
n3:ukonceniReseni
2017-12-31+01:00
n3:vedlejsiObor
n9:IN
n3:zahajeniReseni
2013-02-01+01:00
n3:zivotniCyklusProjektu
n6:ZBB
n3:klicoveSlovo
constraint satisfaction problem non-associative algebras Maltsev conditions