Filtry
Obohacování SMT řešičů pomocí strojového učení (LL1902)
Teorie (SMT) pomocí vývoje metod strojového učení cílených na kritické části dnešních procedur pro řešení SMT. Řešiče SMT jsou účinné nástroje, které uvažují nad fragmenty problémů z reálného světa, mnoho nástrojů závisí n...
Communication engineering and systems
- 2020 - 2025 •
- 38 916 tis. Kč •
- 38 916 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2020 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
"Inovace vývoje a výroby elektronických výrobků, především transceiver modulů" (FX04030013_3175)
Projekt reflektuje vzrůstající podíl výroby na celkových tržbách firmy a s ním související vzrůst nákladů na outsourcované služby, především SMT osazování. Výstupem projektu je komplexní inovace výrobního procesu a souvisejících procesů logi...
Computer hardware and architecture
- 2023 - 2024 •
- 23 413 tis. Kč •
- 11 470 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2023 - 30. 6. 2024
Uznané náklady
Podpora ze státního rozpočtu (49%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Abstrakce a jiné techniky v semi-symbolické verifikaci programů (GA18-02177S)
SMT dotazů, a pod.), které v souhrnu povedou k větší efektivitě procedury...
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
Řešení projektu: 1. 1. 2018 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (73%)
Poskytovatel: Grantová agentura České republiky
Efektivní techniky pro práci s automaty ve formálním usuzování (GJ16-24707Y)
Projekt si klade za cíl vyvinout nové efektivní a praktické algoritmy pro konečné automaty aplikovatelné ve formální verifikaci a analýze dynamických systémů. Bude stavět zejména na studiu souvislostí mezi automatovými problémy, metodami řešení SAT/<...
IN - Informatika
- 2016 - 2019 •
- 8 142 tis. Kč •
- 8 142 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 29. 11. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
*Frézovací pracoviště FC. (FI-IM/123)
*Vývoj, konstrukce, výroba a ověření prototypu frézovacího pracoviště FC. Výsledky vývoje budou sloužit pro uvedení nového výrobku ŠMT na trh s obráběcími stroji. Jedná se o technologické pracoviště FC , které se skládá ze základních kompone...
JQ - Strojní zařízení a nástroje
- 2004 - 2007 •
- 110 tis. Kč •
- 25 tis. Kč •
- MPO
Řešení projektu: 1. 12. 2004 - 31. 10. 2007
Uznané náklady
Podpora ze státního rozpočtu (23%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)
statických přístupů bude zvláštní důraz kladen na přístupy využívající řešení SAT/SMT...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 10 611 tis. Kč •
- 9 278 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
Biomarkery pro optimalizaci léčy sarkomů měkkých tkání (NM14)
Projekt je snahou o zavádění molekulárně-biologických metod do diagnostiky sarkomů měkkých tkání /SMT/ pro individualizované klinické rozhodování o optimálním léčebném postupu využitím biomarkerů s prediktivní hodnotou. U sarkomů měkkých tká...
FD - Onkologie a hematologie
- 1998 - 2000 •
- 1 292 tis. Kč •
- 1 028 tis. Kč •
- MZ
Řešení projektu: 1. 1. 1998 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo zdravotnictví
intALG-MAPFg Inteligentní algoritmy pro zobecněné varianty multi-agetního hledání cest (GA19-17966S)
na složité lokální a globální podmínky založené na SAT-modulovaných teoriích (SMT...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 2 693 tis. Kč •
- 2 693 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
Pattern REcognition-based Statistically Enhanced MT (7E10057)
the positive aspects of corpus-driven approaches, such as SMT and EBMT. In order...
IN - Informatika
- 2010 - 2012 •
- 1 484 tis. Kč •
- 1 484 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Pokročilé RGB LED zobrazovací systémy pro dopravní aplikace (TH02010771)
Cílem projektu je vývoj zobrazovacího panelu pro proměnné dopravní značení a/nebo zařízení pro provozní informace. Základem panelu bude čip s RGB diodami s optickým elementem (čočkou) v úpravě pro povrchovou montáž. Optický element bude zajišťovat po...
JA - Elektronika a optoelektronika, elektrotechnika
- 2017 - 2020 •
- 12 163 tis. Kč •
- 7 267 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Technologická agentura ČR
- 1 - 10 z 14