About: Boolean functions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Boolean functions Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P168
Description	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. (en) 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ů).
Title	Boolean functions (en) Booleovské funkce
skos:notation	GP201/07/P168
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP168/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP168/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-01-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	65824798
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Boolean functions; Horn functions; minimization of Boolean functions; satisfiability of Boolean func (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	7 (xsd:int)
http://linked.open...enychVysledkuVRIV	7 (xsd:int)
http://linked.open...lneniVMinulemRoce	2009-04-22 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F07%2FP168
http://linked.open...iciPoslednihoRoku	2009
http://linked.open...atUdajeProjZameru	2010
http://linked.open.../vavai/cep/soutez	SGA02007GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2009-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2007-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	. (en) 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í. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	Boolean functions Horn functions minimization of Boolean functions
is http://linked.open...vavai/riv/projekt of	Renamable interval Boolean functions Recognition of interval Boolean functions A subclass of Horn CNFs optimally compressible in polynomial time Exclusive and essential sets of implicates of Boolean functions Boolean Functions with a Simple Certificate for CNF Complexity Disjoint essential sets of implicates of a CQ Horn function Analysing DNA Microarray Data Using Boolean Techniques
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP168/2007/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP168/2008/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP168/2009/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP168/2010/orjk%3A11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software