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

11 211 (0,105s) •

Projekt

Advancing cryptanalytic methods through evolutionary computing (GA16-08565S)

in an algorithm output. We design a distinguisher in the form of a multiple-output logic function, using evolutionary algorithms (genetic programming). We show output. This opens up new possibili...

IN - Informatika

  • 2016 - 2018
    • •
  • 8 474 tis. Kč
    • •
  • 7 188 tis. Kč
    • •
  • GA ČR
Projekt

Signal processing and air-interface technique for MIMO radio communication systems (OC 188)

research on algorithm of signal processing and technique of radio interface for radio communication systems with multiple inputs and multiple outputs (MIMO - Multiple -Input Multiple-Output)......

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

  • 2007 - 2010
    • •
  • 1 625 tis. Kč
    • •
  • 1 625 tis. Kč
    • •
  • MŠMT
Projekt

Game-theoretical approach to many-valued logics (7AMB13AT014)

Prague and Vienna on the application of game theory in fuzzy logic. The project game semantics for fuzzy logic (dialogical/evaluation games) and their relationship for independent-friendly logic) b) consequences of the gam...

IN - Informatika

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

Optimizing Large-Scale Data-flows (7AMB12AT013)

. In other words, the overall output of the project will be an otimization framework model and an extendable set of logical and physical otimizations applicable on top of predefined and arbitrary includable processing functions<...

IN - Informatika

  • 2012 - 2013
    • •
  • 138 tis. Kč
    • •
  • 138 tis. Kč
    • •
  • MŠMT
Projekt

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as away to a logical analysis of techn...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
Projekt

Function algebras and ordered structures related to logic and data fusion (8J19AT023)

Function algebras and ordered structures form an important tool several important classes (clones) of aggregation functions on bounded lattices logics, in particular in many-valued logics, logics of quant...

Pure mathematics

  • 2019 - 2021
    • •
  • 146 tis. Kč
    • •
  • 146 tis. Kč
    • •
  • MŠMT
Projekt

Mathematical foundations of inference under vagueness and uncertainty (IAA1030601)

) and uncertainty as degrees of belief, logical systems are being developed and investigated that formalize both. The main formal means are many-valued logics and (generalized) modal logics, understood as systems of mathema...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 2 909 tis. Kč
    • •
  • 859 tis. Kč
    • •
  • AV ČR
Projekt

Foundations of Similarity-Based Data Processing (GAP103/11/1456)

relational as we base the theory on logical concepts borrowed from multiple-valued logics and computational issues of the model, establishing links to generalized logic programming......

IN - Informatika

  • 2011 - 2013
    • •
  • 1 893 tis. Kč
    • •
  • 1 893 tis. Kč
    • •
  • GA ČR
Projekt

intALG-MAPFg Intelligent Algorithms for Generalized Variants of Multi-Agent Path Finding (GA19-17966S)

Multi-agent path finding (MAPF) is a task of finding non-colliding paths for multiple distinguishable agents in a graph. The MAPF problem represents an important to this project. Generalizations in logic formulations of MAPF with fo...

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
Projekt

logicMOVE Logic Reasoning in Motion Planning for Multiple Robotic Agents (GA22-31346S)

Motion planning for multiple robotic agents (MR-MoP) is a task to find non-colliding sequences of simple movements for individual robotic agents so each agent achieves its individual goal. An important characteristic of the task is the large...

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

  • 2022 - 2024
    • •
  • 2 883 tis. Kč
    • •
  • 2 883 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 11 211