About: Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing

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

About: Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Zamer
Description	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. (en) 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ů.
Title	Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing (en) Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM+143300001/celkovaStatniPodpora
http://linked.open...ez/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM+143300001/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-06-02 (xsd:date)
http://linked.open...vavai/cez/dodavka	http://linked.opendata.cz/resource/domain/vavai/dodavka/CEZ%2F2005%2FMSM%2FMSM500%2FU%2FN%2F8%3A4
http://linked.open...ez/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...in/vavai/cez/faze	32977832
http://linked.open...ai/cez/hlavniObor	JC - Počítačový hardware a software
http://linked.open...vai/cez/hodnoceni	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open.../cez/kategorieVaV	NV - Aplikovaný výzkum s výjimkou průmyslového výzkumu (tzv. %22neprůmyslový výzkum%22)
http://linked.open.../cez/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… (en)
http://linked.open...icUkonceniPodpory	12 (xsd:int)
http://linked.open...icZahajeniPodpory	2 (xsd:int)
http://linked.open...cez/partnerHlavni	Fakulta informatiky
http://linked.open...z/poceVysledkuRIV	239 (xsd:int)
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cez/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open...enychVysledkuVRIV	239 (xsd:int)
http://linked.open.../vavai/cez/resort	Ministry of Education, Youth and Sports
http://linked.open...okUkonceniPodpory	2004
http://linked.open...okZahajeniPodpory	1999
http://linked.open...iciPoslednihoRoku	2005
http://linked.open...atUdajeProjZameru	2005
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open.../cez/vedlejsiObor	BA - Obecná matematika
http://linked.open...n/vavai/cez/zamer	Z - Výzkumný záměr financovaný ze státního rozpočtu
http://linked.open...sledkuDodavatelem	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. (en) 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. (cs)
http://linked.open...cez/zivotniCyklus	ZBBKKKU
is http://linked.open...omain/vavai/zamer of	http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/1999/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/2000/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/2001/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/2002/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/2003/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/2004/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+143300001/2005/orjk%3A14330
is http://linked.open...n/vavai/cez/zamer of	http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+143300001/1999 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+143300001/2000 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+143300001/2001 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+143300001/2002 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+143300001/2003 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+143300001/2004

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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