Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent (GA201/06/0770)
Myšlenka softwarových komponent již byla obecně přijata jako klíčová pro řešení rostoucí složitosti vytvářených softwarových systémů. Po letech výzkumu především na akademické půdě, softwarové komponenty jsou již přijímány IT průmyslem v nyní podporo...
IN - Informatika
- 2006 - 2008 •
- 1 467 tis. Kč •
- 1 467 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Robotika a pokročilá průmyslová výroba (EH22_008/0004590)
Cíli projektu jsou: - provádění hlavních výzkumných činností v rámci dvou výzkumných záměrů (řízení a optimalizace systémů, materiálů a výroby; robotika a výpočetní metody pro výrobu) - posílení vědecko-výzkumných kapacit zřízením a rozvojem špičkový...
Electrical and electronic engineering
- 2024 - 2028 •
- 467 907 tis. Kč •
- 118 381 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2024 - 30. 6. 2028
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Centrum komputační lingvistiky (LN00A063)
Centrum se bude věnovat výzkumu češtiny na docela nové úrovni, tj. na základě Českého závislostního korpusu, ve kterém už je k dispozici poloautomatická analýza desítek tisíc vět z textů různého druhu (vypracovaná v Laboratoři pro zprac. jazykových d...
AI - Jazykověda
- 2000 - 2004 •
- 132 626 tis. Kč •
- 97 895 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2000 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (74%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Vzdělávání dospělých v různých fázích životního cyklu priority, příležitosti a možnosti rozvoje (1J017/04-DP2)
Projekt se věnuje vzdělávání dospělých v rámci celoživotního učení. Mapuje a analyzuje situaci v ČR v oblasti vzdělávacích potřeb dospělé populace, obecně i diferencovaně v souvislosti s dominantními životními rolemi, a v oblasti vzdělávací nabídky.....
AM - Pedagogika a školství
- 2004 - 2008 •
- 5 711 tis. Kč •
- 5 700 tis. Kč •
- MPSV
Řešení projektu: 1. 7. 2004 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo práce a sociálních věcí
Spolupráce v oblasti návrhu a implementace jazykových systémů (MEB080878)
Hlavním výstupem projektu bude vybudování česko-slovenského týmu vědců a odborníků v oblasti návrhu a implementace jazykových systémů. Tato spolupráce by měla zvýšit kvalitu aktuálně řešených projektů. Důležité je zapojení mladých pracovníků, kteří d...
IN - Informatika
- 2008 - 2009 •
- 42 tis. Kč •
- 42 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Získávání parametrů biologických modelů pomocí techniky ověřování modelů (GA15-11089S)
Současné problémy mezioborové disciplíny výpočetní systémové biologie vyžadují nasazení pokročilých nástrojů informatiky, zejména formálních metod. Tento fakt je motivován potřebou výpočetní analýzy těžko predikovatelných emergentních chování komplex...
IN - Informatika
- 2015 - 2017 •
- 4 562 tis. Kč •
- 4 562 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Netradiční studenti studující pedagogické obory v terciárním vzdělávání v ČR (GA18-15451S)
Předložený projekt se zaměřuje na netradiční studenty (studenty s netradiční vzdělávací drahou) studující v terciárním vzdělávání pro získání pedagogické kvalifikace. Z kategorie netradičních studentů jsme vybrali ty, kteří si zvolili vysokoškolské v...
Education, general; including training, pedagogy, didactics [and education systems]
- 2018 - 2023 •
- 3 541 tis. Kč •
- 3 077 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
Verifikace a analýza pravděpodobnostních programů (GJ19-15134Y)
Pravděpodobnostní programy (PP) jsou programy napsané v některém z univerzálních programovacích jazyků obohaceném o pravděpodobnostní instrukce, např. o náhodné přiřazení hodnot proměnným dle dané distribuce. PP jsou využívány v různorodých oblastech...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 5 053 tis. Kč •
- 5 053 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Speciální techniky soft computing pro rozhodování v managementu (1P05ME739)
studium speciálních metod formální logiky pro reprezentaci hiearchických soustav fuzzy IF-THEN pravidel...
IN - Informatika
- 2005 - 2005 •
- 67 tis. Kč •
- 67 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2005 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
CAQtuS Počítačem podporovaná kvantitativní syntéza (GJ20-02328Y)
Počítačem podporovaná syntéza je nový přístup k návrhu systémů, který automaticky transformuje formální specifikaci systému na jeho korektní implementaci. Tento přístup odstraňuje časovou náročnost klasického vývojového procesu, kdy je fáze implement...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 6 075 tis. Kč •
- 6 075 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 1 058