All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

      • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

37 projects (0,149s) •

Project

Hyperintensional Meaning, Type Theory and Logical Deduction (GA19-12420S)

. The project will focus on development of these deduction rules for the adopted type system...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2023
    • •
  • 2 391 tis. Kč
    • •
  • 2 252 tis. Kč
    • •
  • GA ČR
Project

Framework for the deductive analysis of embedded software (GP201/07/P544)

The proposed project aims at basic research in the area of possible support of formal methods for domain specific modeling languages (DSML) for embedded systems by means of designing a formal verification framework based on a deductive verif...

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

  • 2007 - 2008
    • •
  • 352 tis. Kč
    • •
  • 352 tis. Kč
    • •
  • GA ČR
Project

Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)

Mathematical induction is one of the essential concepts in the mathematician's toolbox. Though, its use makes formal proof analysis difficult. In essence, induction compresses an infinite argument into a finite statement. This process obfuscates info...

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

  • 2022 - 2025
    • •
  • 4 377 tis. Kč
    • •
  • 4 377 tis. Kč
    • •
  • GA ČR
Project

Model checking concurrent software using automated deduction of object ownership patterns (GPP202/12/P180)

for automated deduction of object ownership patterns. Further, we will extend current...

IN - Informatika

  • 2012 - 2013
    • •
  • 672 tis. Kč
    • •
  • 672 tis. Kč
    • •
  • GA ČR
Project

Modeling vague quantifiers in mathematical fuzzy logic (GF15-34650L)

adequateness, automated deduction, and embeddability in logical frameworks the potential of deductive systems studied by mathematical fuzzy logic. The aim......

IN - Informatika

  • 2015 - 2019
    • •
  • 6 071 tis. Kč
    • •
  • 6 071 tis. Kč
    • •
  • GA ČR
Project

NextReason Next Generation Computer Assisted Reasoning (GX25-17929X)

deduction, learning and conjecturing in complex feedback loops. There is solid evidence objects, and (v) systems combining learning, theory exploration and deduction......

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

  • 2025 - 2029
    • •
  • 49 505 tis. Kč
    • •
  • 49 505 tis. Kč
    • •
  • GA ČR
Project

Diagnostic of malignant diseases according to stages in data of the National cancer registry of the CR - a descriptive epidemiological study (NO6585)

The study is based on data of the National cancer registry and it proposes to desribe situation in extent of diagnosed malignities,its trends,comparison with other countries,deduction of consequences including recommendations for the cancer ...

FQ - Veřejné zdravotnictví, sociální lékařství

  • 2001 - 2002
    • •
  • 551 tis. Kč
    • •
  • 551 tis. Kč
    • •
  • MZ
Project

Human disaffection to the nature research (1C/4/40/04)

; realize advancement evaluation and results deduction; positive turnover insection...

DN - Vliv životního prostředí na zdraví

  • 2004 - 2005
    • •
  • 1 893 tis. Kč
    • •
  • 1 434 tis. Kč
    • •
  • MŽP
Project

Archaeogeography of Neolithic Settlement Areas. Microspace Analysis of Artifacts (GA404/03/0361)

, as well as a critical evaluation of present theories and deductive reasoningapplied...

AC - Archeologie, antropologie, etnologie

  • 2003 - 2005
    • •
  • 1 479 tis. Kč
    • •
  • 1 479 tis. Kč
    • •
  • GA ČR
Project

Vegetation of brambles - an example of coenogenesis of apomictic plants (IAA6005906)

(including the deductive method). At accepted communities their relation to environmental...

EF - Botanika

  • 1999 - 2001
    • •
  • 738 tis. Kč
    • •
  • 375 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 37