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

1 535 (0,08s) •

Projekt

Splnitelnost omezujících podmínek a univerzální algebra (GP201/09/P223)

Projekt se zabývá studiem výpočetní složitosti problému splnitelnosti omezujících podmínek (CSP) a úzce souvisejících problémů univerzální algebry. Cílem je dokázat dichotomickou hypotézu Federa a Vardiho pro co nejširší třídu C...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 633 tis. Kč
    • •
  • 633 tis. Kč
    • •
  • GA ČR
Projekt

Obecná algebra a její souvislost s informatikou (GA13-01832S)

a teoretické informatiky. Práce se soustředí na následující oblasti: složitost problému splnitelnosti omezení (hypotéza Federa a Vardiho, jemnější složitostní klasifikace CSP, různé varianty CSP), struktura univerzálních a...

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 6 852 tis. Kč
    • •
  • 6 852 tis. Kč
    • •
  • GA ČR
Projekt

Algebraický přístup k problému splnitelnosti omezujících podmínek (MEB050817)

Hlavním cílem spolupráce je umožnit českým a polským řešitelům sdílet zkušenosti a myšlenky týkající se problému splnitelnosti omezujících podmínek (CSP), zejména otázky dichotomie. Spolupráce již započala četnými návštěvami polskýc...

BA - Obecná matematika

  • 2008 - 2009
    • •
  • 90 tis. Kč
    • •
  • 85 tis. Kč
    • •
  • MŠMT
Projekt

Algebraické metody teorie reprezentací (aproximace, realizace a omezení) (GA201/09/0816)

Předkládaný pětiletý projekt základního výzkumu je zaměřen na tři aktuální témata současné algebry: (i) Strukturu projektivních a vychylujících modulů nad asociativními okruhy a jejich aplikace. (ii) Algebraické reprezentace svazů. (iii) Problém<...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 2 382 tis. Kč
    • •
  • 2 382 tis. Kč
    • •
  • GA ČR
Projekt

Realizace modulu CSP v HW verzi pro použití ve státní správě (SU20012001006)

Cilem projektu je realizace narodniho CSP (Crypto Service Provider) v podobe hardwaroveho prostredku na bazi PCI karty pro pocitace PC IBM kompatibilni.......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2001 - 2001
    • •
  • 3 549 tis. Kč
    • •
  • 3 549 tis. Kč
    • •
  • NBÚ
Projekt

Charakterizace a efektivní řešitelnost constraintových jazyků pomocí logických metod (GA25-16324S)

hypotézy o dichotomii CSP a s vývojem algebraického přístupu k problému Promise CSP...

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

  • 2025 - 2027
    • •
  • 6 185 tis. Kč
    • •
  • 5 892 tis. Kč
    • •
  • GA ČR
Projekt

Cyklofruktany a jejich deriváty jako nové chirální selektory pro kapalinovou chromatografii a kapilární elektroforézu (LH11018)

Cílem projektu je vývoj a podrobná charakterizace nových chirálních selektorů (CS) / chirálních stacionárních fází (CSP), jejichž základní strukturou jsou cyklofruktany o různém počtu spojených fruktosových jednotek. Z obecnějšího pohledu vý...

CB - Analytická chemie, separace

  • 2011 - 2014
    • •
  • 3 800 tis. Kč
    • •
  • 3 800 tis. Kč
    • •
  • MŠMT
Projekt

Nové chirální stacionární fáze odvozené od přírodních látek (8J23AT017)

projektu zahrnují syntézu a vyhodnocení nových chirálních stacionárních fází (CSP protokolů vedoucích k cílovým CSP a metodice plnění kolon, což je zvláště důležité pro zajištění plného potenciálu CSP. A konečně, chromatog...

Organic chemistry

  • 2023 - 2024
    • •
  • 105 tis. Kč
    • •
  • 105 tis. Kč
    • •
  • MŠMT
Projekt

Predikce a ladění paralelní výkonnosti (GA102/02/0503)

, tak se sdílenou pamětí a postaveny na kalkulu komunikujících sekvenčních procesů (CSP), v němž Transim založeného na CSP v nejširším možném spektru reálných a realistických......

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

  • 2002 - 2004
    • •
  • 1 154 tis. Kč
    • •
  • 794 tis. Kč
    • •
  • GA ČR
Projekt

Omezující podmínky a booleovská splnitelnost pro umělou inteligenci (GP201/09/P318)

(i) Aplikovat toky v sítích pro relaxaci těžkých problémů z umělé inteligence. (ii) Navrhnout konzistenční techniky založené na strukturálních vlastnostech. (iii) Popsat strukturu vysoce paralelního plánování. (iv) Charakterizovat obtížnost problémů ...

IN - Informatika

  • 2009 - 2011
    • •
  • 882 tis. Kč
    • •
  • 882 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 1 535