About: Formal models and effective algorithms for the intelligent protection of transport infrastructures.

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

About: Formal models and effective algorithms for the intelligent protection of transport infrastructures. 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
Description	The aim is to develop theoretical and algorithmic foundation of effective protection of transport networks against attack by an intelligent adversary. Employing game-theoretical framework, we will develop formal model of transport security game and synthesize effective solution algorithms by extending single and double oracle method [TSAi09] and large scale linear optimization using column generation techniques [Conitzer04]. We will also study cooperation in transport security scenarios by means of cooperative game theory. Resulting algorithms will be analyzed both formally and empirically using a computational agent-based model of the respective target scenarios. In addition to technical goals, the project aims to strengthen cooperation between ATG@CVUT and TEAMCORE@USC, leverage TEAMCORE’s technical expertise and community links and develop potential for a sustainable existence of a team of excellent researchers in transport and infrastructure security. (en) Bezprostředním cílem projektu je v účinné spoluprácí s americkým pracovištěm vypracovat teoretické základy inteligentní ochrany dopravní sítí před motivovaným útočníkem, zejména pak formální model dopravní bezpečnostní hry a výpočetně efektivních algoritmů pro jejich řešení. Plánovaným důsledkem kvalitního plnění tohoto cíle bude sepsání kvalitních, impaktovaných vědeckých publikací, které budou mít šanci na citovanost a tudíž zajištění uznání a věhlasu vědecké práce mladého týmu výzkumníků a doktorandů. Dalším cílem navrhovaného projektu je rozšíření a zintenzivnění existující spolupráce mezi Katedrou kybernetiky při FEL ČVUT (ATG) a Department of Computer Science při USC (TEAMCORE) a rozvinutí a vzájemná výměna know-how v oblasti bezpečnostních her. Cílem projektu je dále vytvoření týmu mladých vědeckých pracovníků, kteří budou vynikat v perspektivní a rychle se rozvíjející oblasti základního výzkumu s vysokou praktickou relevancí a tím i vysokým potenciálem pro návazný aplikovaný výzkum. (cs)
Title	Formal models and effective algorithms for the intelligent protection of transport infrastructures. (en) Formální modely a efektivní algoritmy pro inteligentní ochranu dopravní infrastruktury. (cs)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/6970/2011-320
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/54559530
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/JD
http://linked.open...vai/vedlejsi-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/IN
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/LH
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SMSM2011LH1
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	critical infrastructure protection; multi-agent systems; game theory; agent-based simulation; security (en)
http://linked.open...avai/konec-reseni	2013-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/MSM
http://linked.open...avai/start-reseni	2011-03-01 (xsd:date)
http://linked.open...ai/statni-podpora	2332 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	2332 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	4 (xsd:integer)
http://linked.open...ku-zverejnovanych	4 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/LH11051/orjk-21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2012/LH11051/orjk-21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2013/LH11051/orjk-21230

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, 92 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software