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

3 815 (0,148s) •

Projekt

Classification with use of formal concept analysis (GPP202/10/P360)

The project focuses on the problem of classification using the formal concept analysis (FCA), namely constructing the decision trees from concept lattices. The emphasis is on the theory and development of methods and algorithms. The goal, ex...

IN - Informatika

  • 2010 - 2012
    • •
  • 541 tis. Kč
    • •
  • 541 tis. Kč
    • •
  • GA ČR
Projekt

Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes (GA401/07/0904)

of formal logic to analysis of natural language including formal representation will be complemented with related organizational and publication programmes aimed at philosophical......

AA - Filosofie a náboženství

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

Formal and Historical Approaches to Epistemology (GAP401/10/1504)

The project aims to foster research into the interaction of historical, philosophical and formal approaches to foundational questions about knowledge and evidence. Research areas will cover: early modern debates about epistemological problem...

AA - Filosofie a náboženství

  • 2010 - 2012
    • •
  • 2 139 tis. Kč
    • •
  • 2 139 tis. Kč
    • •
  • GA ČR
Projekt

Applications of Algebra and Combinatorics in Formal Language Theory (GA15-02862S)

in formal language theory. The output will consist of scientific publications, whichThe goal of the project is to obtain results aiming at potential solutions of three important open problems in formal language theory, nam...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 3 203 tis. Kč
    • •
  • 3 203 tis. Kč
    • •
  • GA ČR
Projekt

Implicitly Parallel Programming Models (GPP202/12/P167)

The project focuses on methods for automatic parallelization of programs in non-purely functional programming languages. The principal objective is to develop new formal models of program execution that are able to implicitly take advantage ...

IN - Informatika

  • 2012 - 2014
    • •
  • 633 tis. Kč
    • •
  • 633 tis. Kč
    • •
  • GA ČR
Projekt

Incvivility in urban public space (GP14-32200P)

incivility in urban public space of the Czech Republic. The concept of incivility is defined as conduct, which is inconsistent with either formal or informal rules and regulations of conduct in urban public spaces. The stu...

AO - Sociologie, demografie

  • 2014 - 2017
    • •
  • 1 743 tis. Kč
    • •
  • 1 743 tis. Kč
    • •
  • GA ČR
Projekt

Configuration of elderly care in the CR love, labour, and money (GA15-07898S)

and on the shifts of the boundaries between formal and informal care, in the context of market, family and public support for elderly care. A combination of quantitative......

AO - Sociologie, demografie

  • 2015 - 2019
    • •
  • 3 344 tis. Kč
    • •
  • 3 344 tis. Kč
    • •
  • GA ČR
Projekt

KATRA Knowledge, Action and Time – A Relevant Approach (GC25-17958J)

Reasoning about knowledge, time, and action is fundamental to human cognition. However, current formal models used in analytic philosophy often struggle to capture principal investigators, this project will study formal models of re...

Philosophy, History and Philosophy of science and technology

  • 2025 - 2027
    • •
  • 3 953 tis. Kč
    • •
  • 3 953 tis. Kč
    • •
  • GA ČR
Projekt

Between Reciprocity and Reflexivity The Case of Czech Reciprocal Constructions (GA18-03984S)

(in the form of formal grammatical rules covering productive grammatical processes related will be presented in research publications and the data will be publicly released as a lexicon enhanced with the information on reciprocity ...

Linguistics

  • 2018 - 2020
    • •
  • 3 175 tis. Kč
    • •
  • 2 359 tis. Kč
    • •
  • GA ČR
Projekt

Effective characterizations of classes of finite semigroups and formal languages (GA19-12790S)

of potential applications to other questions studied in formal language theory. The output will consist of scientific publications, which will be presented at prestigious......

Pure mathematics

  • 2019 - 2023
    • •
  • 3 899 tis. Kč
    • •
  • 3 560 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 3 815