Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

8 265 (0,168s)

Projekt

תורת המשחקים ושימושיה להקצאה דינמית של ספקטרום ברשתות הטרוגניות (8G15008)

The proposed research combines the expertise of the two PIs and their groups in the field of wireless communications and networks. Becvar's group focuses on the design of adaptive medium access control protocols for wireles...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2016 - 2018
  • 1 623 tis. Kč
  • 1 623 tis. Kč
  • MŠMT
Projekt

Podpora členství v řídícím výboru mezinárodní vědecké společnosti International Society on Dynamic Games (LG11006)

Účast navrhovatele na jednáních výboru společnosti International Society for Dynamic Games, tj. 1x za rok....

BA - Obecná matematika

  • 2011 - 2013
  • 135 tis. Kč
  • 135 tis. Kč
  • MŠMT
Projekt

Plánování v komplexních dynamických doménách s oponenty (ME09053)

Cílem projektu je vytvořit techniky pro modelování oponentů, plánováni a rozhodování v složitém dynamickém prostředí, kde oponenti sledují své vlastní cíle. Algoritmy budou testovány a jejich škálovatelnost prověřena mimo jiného na simulaci humanitár...

IN - Informatika

  • 2009 - 2010
  • 656 tis. Kč
  • 656 tis. Kč
  • MŠMT
Projekt

Komplexní skríningový diagnostický systém GIS (TL01000494)

Cílem je vytvořit nový psychometricky ověřený standardizovaný online psychodiagnostický systém, který pomůže pedagogům identifikovat nadané žáky. Bude složený ze 4 subtestů: logické usuzování, prostorové schopnosti, rychlost zpracování, socioemoční...

Psychology (including human - machine relations)

  • 2018 - 2022
  • 12 868 tis. Kč
  • 11 656 tis. Kč
  • TA ČR
Projekt

Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů (GA15-17564S)

Projekt je orientován na rozvoj herně-teoretických metod pro formální analýzu a verifikaci interaktivních počítačových systémů. Chování takových systémů lze popsat v termínech teorie her jako hru dvou hráčů, systému a prostředí, kteří mají antagonist...

IN - Informatika

  • 2015 - 2017
  • 6 743 tis. Kč
  • 6 743 tis. Kč
  • GA ČR
Projekt

Výpočet a aproximace ekvilibrií ve hrách se složitými prostory strategií (GA24-12046S)

Navzdory zvyšujícímu se počtu úspěšných aplikací teorie her v praxi je expresivita nasazených modelů stále limitována výpočetními možnostmi existujících algoritmů pro hledání (přibližných) řešení. Jedním z omezujících faktorů je velká výpočetní složi...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2024 - 2026
  • 10 559 tis. Kč
  • 10 559 tis. Kč
  • GA ČR
Projekt

Herně-teoretický přístup k vícehodnotovým logikám (7AMB13AT014)

Cílem projektu je pokračovat v dlouholeté spolupráci mezi pražským a vídeňským pracovištěm na aplikaci teorie her v oblasti fuzzy logik. Projekt se bude zaměřovat zejména na následující oblasti: a) vzájemný vztah herních sémantik pro fuzzy logiky (di...

IN - Informatika

  • 2013 - 2014
  • 200 tis. Kč
  • 200 tis. Kč
  • MŠMT
Projekt

Predikátové škálované logiky a jejich aplikace v informatice (GA17-04630S)

Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze ...

IN - Informatika

  • 2017 - 2021
  • 6 926 tis. Kč
  • 5 714 tis. Kč
  • GA ČR
Projekt

Vícehodnotový přístup k optimům a ekvilibriím v ekonomii (GAP402/12/1309)

Vícehodnotový přístup nabízí efektivní nástroje pro tvorbu modelů v teorii her a analýzu ekonomických optim i ekvilibrií. Cílem tohoto projektu je využití metod mnohoznačné analýzy a vícehodnotové logiky k zevrubnému výzkumu několika vybraných náročn...

AH - Ekonomie

  • 2012 - 2016
  • 5 961 tis. Kč
  • 5 961 tis. Kč
  • GA ČR
Projekt

Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)

Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a ta...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2020
  • 9 463 tis. Kč
  • 5 660 tis. Kč
  • GA ČR
  • 1 - 10 z 8 265