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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://linked.opendata.cz/ontology/domain/vavai/cez/hodnoceni/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n7http://linked.opendata.cz/ontology/domain/vavai/cez/statusZobrazovaneFaze/
n6http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/ontology/domain/vavai/cez/faze/
n13http://linked.opendata.cz/resource/domain/vavai/resort/
n2http://linked.opendata.cz/resource/domain/vavai/zamer/
n3http://linked.opendata.cz/ontology/domain/vavai/cez/
n17http://linked.opendata.cz/resource/domain/vavai/zamer/MSM+143300001/
n14http://linked.opendata.cz/resource/domain/vavai/dodavka/
n18http://linked.opendata.cz/ontology/domain/vavai/cez/zamer/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/cez/zivotniCyklus/
n5http://linked.opendata.cz/ontology/domain/vavai/cez/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/cez/obor/
n4http://linked.opendata.cz/ontology/domain/vavai/cez/kategorieVaV/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:MSM+143300001
rdf:type
n6:Zamer
dcterms:description
Cíl:Význam nesekvenčních modelů výpočetních procesů vzrůstá jak z hlediska teoretického, tak praktického. Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů. Obsah: Analýza modelů souběžných procesů a jejich vzájemných vztahů s důrazem na algoritmické a složitostní aspekty. Analýza modelů a návrh specifikačních a transformačních nástrojů pro souběžné systémy pracující v reálném čase s důrazem na tzv. safety--critical systémy. Logiky, zejména temporální a modální, pro specifikaci a analýzu souběžných systémů. Návrh a analýza kvantových algoritmů a vývoj metod pro návrh kvantových algoritmů a protokolů, jakož i kvantových konečných automatů a celulárních automatů. Aim: Importance of non-sequential models of computing grows both from theoretical and practical point of view. The aim of this proposal for a long-term research is on one side the continuation of the already well established and successful research in the area of concurrent, distributed and parallel systems and on the other side the extension of the scope of the research into the area of quantum computing. Scope: Analysis of models of concurrency and of their mutual relations with the emphasis on decision, algorithmic and complexity problems. Analysis of models and the development of specification and transformation tools for real-time concurrent systems with emphasis on safety-critical systems. Logics, especially temporal and modal, for specificationand analysis of concurrent and distributed systems. Design and analysis of quantum algorithms and development of methods for design of quantum algorithms and protocols, as well as for quantum finite automata and quantum cellular automata.
dcterms:title
Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
n3:celkovaStatniPodpora
n17:celkovaStatniPodpora
n3:celkoveNaklady
n17:celkoveNaklady
n3:datumDodatniDoRIV
2008-06-02+02:00
n3:dodavka
n14:CEZ%2F2005%2FMSM%2FMSM500%2FU%2FN%2F8%3A4
n3:duvernostUdaju
n5:S
n3:faze
n12:32977832
n3:hlavniObor
n9:JC
n3:hodnoceni
n15:U
n3:kategorieVaV
n4:NV
n3:klicovaSlova
concurrency; process algebras; infinite state systems; real-time; modal and temporal logics; concurrent constraint systems; specification; verification; quantum algorithms and protocols; entanglement; quantum finite and cellular automata; design methodo…
n3:mesicUkonceniPodpory
12
n3:mesicZahajeniPodpory
2
n3:partnerHlavni
n16:orjk%3A14330
n3:poceVysledkuRIV
239
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetZverejnenychVysledkuVRIV
239
n3:resort
n13:MSM
n3:rokUkonceniPodpory
n8:2004
n3:rokZahajeniPodpory
n8:1999
n3:sberDatUcastniciPoslednihoRoku
n8:2005
n3:sberDatUdajeProjZameru
n8:2005
n3:statusZobrazovaneFaze
n7:DUU
n3:vedlejsiObor
n9:BA
n3:zamer
n18:Z
n3:zhodnoceniVysledkuDodavatelem
Algoritmické rozhodovnání simulačních ekvivalencí. Automatické ověřování platnosti formulý temporálních logik. Distribuované Petriho sítě s časovými hranami. Vývoj paralelních a distribuovaných verifikačních technik. Algoritmické rozhodovnání simulačních ekvivalencí. Automatické ověřování platnosti formulý temporálních logik. Distribuované Petriho sítě s časovými hranami. Vývoj paralelních a distribuovaných verifikačních technik.
n3:zivotniCyklus
n11:ZBBKKKU