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

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

Namespace Prefixes

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

Statements

Subject Item
n2:GD102%2F09%2FH042
rdf:type
n14:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GD102/09/H042
dcterms:description
The basic aim of the project is to create an exceptional program for educating excellent PhD students from FIT BUT and FI MU within research targeted at solving current scientific problems of reliability and security of concurrent and distributed systems, which is one of the key issues of the contemporary computer science. Within this framework, the project covers a wide variety of concrete problems ranging from the design of reliable computing platforms, through the area of computer security to methods of automatic verification of computer systems. The complexity of the studied problems necessitates a use of a combination of exact mathematical approaches with heuristic engineering techniques, which is ensured in the project by a unique combination of researchers with theoretical as well as engineering backgrounds. Apart from the complex and interdisciplinary approach, another key aspect of the preparation of students in the project lies in their intense involvement in international activities, based on exceptional international relations of the project leaders. Základním záměrem projektu je vytvořit mimořádný program přípravy vybraných špičkových doktorandů z FIT VUT a FI MU v Brně, a to v rámci řešení aktuálních vědeckých problémů spolehlivosti a bezpečnosti paralelních a distribuovaných systémů jako jednoho z klíčových výzkumných témat současné informatiky. V tomto kontextu projekt zahrnuje studium komplexního spektra problémů od návrhu spolehlivých výpočetních platforem, přes problematiku bezpečnosti, po metody automatické verifikace výpočetních systémů. Složitost zde řešených problémů vyžaduje kombinaci exaktních matematických postupů s heuristickými inženýrskými přístupy, což je v projektu umožněno unikátním spojením školitelů a doktorandů působících v technicky i univerzitně orientovaných odvětvích. Mimo komplexní a mezioborový přístup je pak dalším klíčovým aspektem nadstandardní výchovy doktorandů v projektu jejich intenzivní zapojení do mezinárodních aktivit, založené na vynikajících zahraničních kontaktech členů vedení projektu. Celková kvalita projektu je garantována dlouholetými výzkumnými a výchovnými zkušenostmi navrhovatelů.
dcterms:title
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
skos:notation
GD102/09/H042
n3:aktivita
n15:GD
n3:celkovaStatniPodpora
n12:celkovaStatniPodpora
n3:celkoveNaklady
n12:celkoveNaklady
n3:datumDodatniDoRIV
2014-01-27+01:00
n3:druhSouteze
n16:VS
n3:duvernostUdaju
n21:S
n3:fazeProjektu
n8:92952651
n3:hlavniObor
n4:JC
n3:hodnoceniProjektu
n11:U
n3:kategorie
n10:ZV
n3:klicovaSlova
computer; systems; reliability; security; concurrency; distribution; verification; computer; architectures; computer; networks; reconfigurable; systems
n3:partnetrHlavni
n20:orjk%3A26230
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
1
n3:pocetVysledkuRIV
192
n3:pocetZverejnenychVysledkuVRIV
192
n3:posledniUvolneniVMinulemRoce
2012-03-30+02:00
n3:prideleniPodpory
n6:102%2F09%2FH042
n3:sberDatUcastniciPoslednihoRoku
n18:2012
n3:sberDatUdajeProjZameru
n18:2013
n3:soutez
n17:SGA02009GA-DG
n3:statusZobrazovaneFaze
n13:DUU
n3:typPojektu
n5:P
n3:ukonceniReseni
2012-12-31+01:00
n3:vedlejsiObor
n4:IN
n3:zahajeniReseni
2009-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
The project ensured an inspiring environment for nearly 50 PhD students studying development of reliable and secure parallel or distributed systems. It contributed to education of excellent professionals - their results have been published in 16 papers (Jimp) and gained 14 prestigeous awards, e.g. European association of theoretica computer science 2010. Projekt vytvářel 4 roky inspirativní prostředí pro takřka 5 desítek doktorandů zaměřených na oblast vývoje spolehlivých a bezpečných paralelních a distribuovaných systémů. Přispěl k výchově skvělých odborníků, jejichž výsledky byly publikovány v 16 článcích (Jimp) a získaly 14 různých prestižních ocenění, např. Cena Evropské asociace teoretické informatiky (EATCS) 2010.
n3:zivotniCyklusProjektu
n7:ZBBKU
n3:klicoveSlovo
verification architectures security reliability distribution computer concurrency computer reconfigurable networks systems