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

74 (0,108s)

Výsledek výzkumu

Kombinatorické generování reprezentací matroidů: teorie a praxe

Matroidy (jinak kombinatorické geometrie) představují silné zobecnění grafů, o generování matroidů toho dosud moc známo není. Asi hlavním problémem je velmi složitá vnitřní struktura matroidů. Proto se zaměřujeme na generov...

IN - Informatika

  • 2007
  • D
Výsledek výzkumu

MACEK - skutečné strukturáůní výpočty s reprezentovanými matroidy

Představujeme náš softwarový balík MACEK pro strukturální výpočty s matroidy.

IN - Informatika

  • 2006
  • O
Výsledek výzkumu

Plné generování neekvivalentních matroidů

Článek popisuje algoritmus pro generování matroidů, který je použit v autorově softwarovém balíku MACEK [http://www.mcs.vuw.ac.nz/research/macek, 2001-05]....

IN - Informatika

  • 2006
  • Jx
Výsledek výzkumu

O problémech reprezentovatelnosti a minorů na matroidech

Článek dokazuje těžkost problémů reprezentovatelnosi matroidů a testování matroidových minorů.

IN - Informatika

  • 2006
  • D
Výsledek výzkumu

MACEK: softwarový nástroj pro strukturální výpočty s reprezentovanými matroidy

Projekt Macek je vyvíjen primárně pro potřeby matematického výzkumu matroidů s třídami matroidů. Uživatelům doporučujeme se seznámit s knihou [J.G. Oxley, MatroidTheory, Oxford University Press 1992]. Program Macek pracuje především...

BA - Obecná matematika

  • 2005
  • A
Výsledek výzkumu

Interpretation of States Structures in the Control of Development of Ecosystems

IN - Informatika

  • 2015
  • Jx
  • Odkaz
Výsledek výzkumu

Phase transition as an emergent phenomenon analysed by violation of structural invariant (M, BM)

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

  • 2020
  • JSC
  • Odkaz
Výsledek výzkumu

O rozhodnutelnosti MSO teorií kombinatorických struktur: Obecné matroidy?

Studujeme problém rozhodnutelnosti MSO teorií v kombinatorice se speciálním zřetelem na matroidy.

IN - Informatika

  • 2006
  • O
Výsledek výzkumu

Matroidy v teoretické informatice

Matroidy jsou kombinatorické struktury, které široce zobecňují jak grafy [Edmonds a další], matroidy nejsou příliš rozšířeny v teoretické informatice. V naší matroidů v informatice. Centrálním pojmem naší prezentace je větv...

BD - Teorie informace

  • 2005
  • A
Výsledek výzkumu

CAPACITY OF SPACES OF PROPERTIES Formulae, Approximations and Qualitative shapes

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

  • 2018
  • JSC
  • Odkaz
  • 1 - 10 z 74