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

520 (0,106s)

Projekt

Kvazirozhodovací procedury pro logické teorie reálných funkcí (GA21-09458S)

Rozhodovací procedury pro teorie v predikátové logice hrají čím dál větší roli v informatice, zejména v kombinaci s řešiči pro Boolovskou splnitelnost, tj. v SAT modulo teorie (SMT) řešičích. Existuje široké pole výzkumu rozhodovacích procedur pro ce...

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

  • 2021 - 2024
  • 2 541 tis. Kč
  • 2 541 tis. Kč
  • GA ČR
Projekt

Arrowhead (7H13007)

-Provide a technical framework adapted in terms of functions and performances, -Propose solutions for integration with legacy systems, -Implement and evaluate the cooperative automation through real experimentations in applicative d...

JB - Senzory, čidla, měření a regulace

  • 2013 - 2017
  • 1 964 tis. Kč
  • 1 636 tis. Kč
  • MŠMT
Projekt

Teorie reálných funkcí a deskriptivní teorie množin (GA201/06/0198)

Projekt počítá s pokračováním dlouhodobého výzkumu řešitelů. Budeme pokračovat ve výzkumu v teorii derivací a diferencovatelnosti funkcí. Pro funkce jedné proměnné budeme zkoumat problémy týkající se Diniho a symetrických derivací; také budeme vyšetř...

BA - Obecná matematika

  • 2006 - 2008
  • 797 tis. Kč
  • 797 tis. Kč
  • GA ČR
Projekt

Development of nanodiamond intracellular nanoprobes for oncogen transformation dynamics in living cells (7E11026)

for fundamental understanding of cellular functions, which is one of the primary real-time information about local biomolecular interactions. The present proposal nanotechnology platform for real-time monitoring (1) of liv...

FD - Onkologie a hematologie

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

Booleovské funkce (GP201/07/P168)

Jedná se o projekt z oblasti základního výzkumu v teoretické informatice na pomezí logiky, umělé inteligence a teorie algoritmů. Charakter projektu je převážně badatelsko-teoretický a sestává jednak z rešerší článků které souvisí se zkoumanou problem...

IN - Informatika

  • 2007 - 2009
  • 579 tis. Kč
  • 579 tis. Kč
  • GA ČR
Projekt

Studium vlastností nových tříd speciálních funkcí několika proměnných (7AMB13PL035)

Cílem projektu v oblasti matematiky a matematické fyziky je vytvoření česko-polského výzkumného týmu, který se bude zabývat vlastnostmi nových rodin speciálních funkcí a přidružených ortogonálních polynomů. Výzkum bude zaměřen na otevřené problémy v ...

BA - Obecná matematika

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

Arrowhead (7H13016)

framework adapted in terms of functions and performances, -Propose solutions for through real experimentations in applicative domains: electro-mobility, smart demonstrations in real working environments will be made -A tec...

BC - Teorie a systémy řízení

  • 2013 - 2017
  • 4 362 tis. Kč
  • 1 423 tis. Kč
  • MŠMT
Projekt

Experimentální testovací systém pro real-time databáze (GA102/06/1742)

Cílem i podstatou projektu je navrhnout a implementovat experimentální real-time databázový systém umožňující studium chování a zpracování real-time všech nejdůležitějších funkčních bloků skutečného real-time databázového s...

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

  • 2006 - 2008
  • 2 049 tis. Kč
  • 2 049 tis. Kč
  • GA ČR
Projekt

Kvantitativní monitorování šesti herpesvirů pomocí real-time PCR u pacientů po alogenní transplantaci hematopoetických kmenových buněk (NJ7459)

Infekce herpesviry jsou častou příčinou komplikací u pacientů po alogenní transplantaci hemtopoetických kmenových buněk. Pomocí kvantitativní real - time PCR budeme sledovat výskyt a rizikové faktory těchto infekcí.......

FN - Epidemiologie, infekční nemoci a klinická imunologie

  • 2003 - 2005
  • 4 465 tis. Kč
  • 4 420 tis. Kč
  • MZ
Projekt

Big data pRocessing and Artificial Intelligence at the Network Edge (8A20003)

functions by evaluating multiple real-world use cases and scenarios that exhibit theThe BRAINE's overall aim is to boost the development of the Edge framework and specifically energy-efficient hardware and AI-empowered software sys...

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

  • 2020 - 2023
  • 6 157 tis. Kč
  • 4 001 tis. Kč
  • MŠMT
  • 1 - 10 z 520