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”
CS
ČeštinaEnglish

Filtry

77 (0,083s) •

Projekt

Abstrakce a jiné techniky v semi-symbolické verifikaci programů (GA18-02177S)

Projekt se zaměřuje na výzkum a vývoj nových algoritmů a datových struktur, které umožní efektivní analýzu a verifikaci počítačových programů zapsaných v programovacích jazycích C a C++. Konkrétně se projekt zaměřuje na využití abstrakcí, které jsou ...

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

  • 2018 - 2020
    • •
  • 6 232 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Projekt

Vývoj WES (Warehouse Execution System) s aplikací technologie pro využití AMR robotů (EI22_002/0000584)

ředmětem projektu je vývoj WES (Warehouse Execution System) s aplikací AMR robotů, což je nová kategorie v oblasti informačních systémů. Tato oblast digitální ekonomiky představuje obohacení stávajících informačních systému o automatizační p...

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

  • 2023 - 2025
    • •
  • 37 331 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Projekt

Pokročilá analýza a verifikace pro pokročilý software (GA23-06506S)

S cílem pomoci vývojářům software vyrovnat se s jeho obrovskou a stále rostoucí složitostí se projekt zaměřuje na nové metody automatizované analýzy a verifikace pokročilého software, založeného na nízkoúrovňovém programování, moderních vysokoúrovňov...

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

  • 2023 - 2025
    • •
  • 13 285 tis. Kč
    • •
  • 10 970 tis. Kč
    • •
  • GA ČR
Projekt

Inkulturace křesťanství v Indii Smysl a důležitost nové náboženské symboliky (GA22-13784S)

etapách, umožní sběr inkulturovaného materiálu nové náboženské symboliky dílčích prvků inkulturované symboliky, (2) způsobu jejich integrace, (3) zda prvky symboliky nadále nesou starý význam vyplývající z původního nábože...

Religious studies

  • 2022 - 2024
    • •
  • 1 619 tis. Kč
    • •
  • 1 619 tis. Kč
    • •
  • GA ČR
Projekt

Symbolika spotřebního chování v marketingu (GA402/99/0514)

Význam symboliky spotřebního chování v marketingu je všeobecně uznáván a zakládá se na zásadní kulturní podmíněnosti marketingového konceptu. Nicméně právě díky této všudypřítomnosti a rozptýlenosti problému v marketingových publikacích a st...

AH - Ekonomie

  • 1999 - 2001
    • •
  • 373 tis. Kč
    • •
  • 373 tis. Kč
    • •
  • GA ČR
Projekt

ALMARVI - Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing (7H14002)

many-core execution platform scalable with off-the-shelf heterogeneous acceleration fabrics like FPGAs, embedded GPUs, DSPs, etc. - Design tools and methods for execution......

JC - Počítačový hardware a software

  • 2014 - 2017
    • •
  • 10 701 tis. Kč
    • •
  • 8 914 tis. Kč
    • •
  • MŠMT
Projekt

Samoobslužní AI plánovací agenti (FY01010074)

Cílem projektu je zásadní a významné rozšíření cloudové platformy Filuta AI, která využívá autonomní plánovací agenty na bázi Symbolické AI. Projekt odstraní vysoké nároky na expertní znalosti, které byly historicky nutné pro implementaci plánovacích...

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

  • 2025 - 2027
    • •
  • 42 571 tis. Kč
    • •
  • 29 484 tis. Kč
    • •
  • MPO
Projekt

První česká království (GAP405/12/0358)

také symboliky a rituálů knížecích Čech, ale právě zde bádání ustrnulo, a proto stále, rituálů, symboliky a míst paměti nejen v českém, nýbrž i v širším středoevropském......

AB - Dějiny

  • 2012 - 2015
    • •
  • 1 049 tis. Kč
    • •
  • 1 049 tis. Kč
    • •
  • GA ČR
Projekt

Videografie ve vyšetřování (RN19961998002)

Projekt se zaměřuje ke zvýšení profesionální kompetence vyšetřovatelů k vybudování teoretického zázemí a zavedení nového druhu služby pro vyšetřování. Předpokládá se zvýšení efektivity vyšetřování při zkrácení nutné doby k získání potřebných informac...

AQ - Bezpečnost a ochrana zdraví, člověk – stroj

  • 1996 - 1998
    • •
  • 1 657 tis. Kč
    • •
  • 1 657 tis. Kč
    • •
  • MV
Projekt

Zavedení osazovacího systému a MES ve společnosti Solidus Tech (FX03030026)

Předmětem projektu je procesní inovace - zavedení moderního automatického osazovacího systému se základním programovým vybavením - a organizační inovace - zavedení systému MES pro řízení výrobních procesů a skladového hospodářství. Obsahem projektu j...

Electrical and electronic engineering

  • 2021 - 2023
    • •
  • 5 213 tis. Kč
    • •
  • 2 452 tis. Kč
    • •
  • MPO
  • 1 - 10 z 77