All

What are you looking for?

All
Projects
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

12 (0,139s) •

Project

Hyperintensional logic for natural language analysis (GA15-13277S)

will conduct research into the logical framework of Transparent Intensional Logic (TIL) and apply TIL to natural-language processing, communication and reasoning. TIL is one the design and development of the TIL i...

AI - Jazykověda

  • 2015 - 2017
    • •
  • 4 679 tis. Kč
    • •
  • 4 679 tis. Kč
    • •
  • GA ČR
Project

Temporal aspects of knowledge and information (GAP401/10/0792)

Logic (TIL). Primarily, our research is classified in the area of philosophical representation and reasoning. The main problems under our scrutiny are: TIL proof calculus TIL-Script, the computational variant of TIL

AA - Filosofie a náboženství

  • 2010 - 2012
    • •
  • 4 889 tis. Kč
    • •
  • 4 889 tis. Kč
    • •
  • GA ČR
Project

Determination of functional activities and phenotype of tumor infiltrating lymphocytes in patients with ovarian cancer (NH5196)

This is project destined to investigate the potential role of adoptive ommunotherapy in the treatment of ovarian cancer.Preclinical data on henotype and cytotoxic activity of TIL,and concentrations of markers of immune activation in malignit...

EC - Imunologie

  • 1999 - 2001
    • •
  • 944 tis. Kč
    • •
  • 944 tis. Kč
    • •
  • MZ
Project

Translation of Czech sentences to transparent intensional logic constructions (GA201/05/2781)

of transparent intensional logic (TIL) as a system of higher order temporal logic with a hierarchy of types. A tool for testing the obtained TIL constructions is also planned......

JD - Využití počítačů, robotika a její aplikace

  • 2005 - 2007
    • •
  • 1 886 tis. Kč
    • •
  • 1 886 tis. Kč
    • •
  • GA ČR
Project

Transparent Intensional Logic (a Systematic Exposition) (GA401/04/2073)

and artificial intelligence. Transparent Intensional Logic (TIL), originated by late Pavel on Montague grammar. Moreover, using the key notion of logical construction, TIL offers. Recently, there are two monographs on TIL,...

AA - Filosofie a náboženství

  • 2004 - 2006
    • •
  • 585 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

A reconstruction of the philosophical logic (GA401/97/0157)

, called ´transparent intensional logic ´(TIL) has been able to solve many logical. The applicants intend to expose a systém of logic inspired by TIL.......

AA - Filosofie a náboženství

  • 1997 - 1999
    • •
  • 1 863 tis. Kč
    • •
  • 376 tis. Kč
    • •
  • GA ČR
Project

Principles of Logical Analysis of Language Expressions and Intensional Logic (GA401/03/1403)

Intensional Logic (TIL). We will advocate for explicating meaning as a structured entity - TIL logical construction that renders the logical form of the expression. Using......

AA - Filosofie a náboženství

  • 2003 - 2004
    • •
  • 162 tis. Kč
    • •
  • 162 tis. Kč
    • •
  • GA ČR
Project

Combinatorial treatment strategies to overcome immunotherapy resistance in soft tissue sarcomas (NU23J-08-00031)

will study proportions and phenotypes of TILs infiltrating selected histological subtypes therapeutic effects of immunotherapy [12, 13]. TILs will be cultured with ICIs and ELISA.International collaboration will allow investigation...

Immunology

  • 2023 - 2026
    • •
  • 5 960 tis. Kč
    • •
  • 5 960 tis. Kč
    • •
  • MZ
Project

Management of energy losses in the heat distribution networks (TK01020050)

distribution companies. The aim of the project is til the year 2020 to develop...

Energy and fuels

  • 2018 - 2020
    • •
  • 7 500 tis. Kč
    • •
  • 4 500 tis. Kč
    • •
  • TA ČR
Project

Hyperintensional Reasoning over Natural Language Texts (GA18-23891S)

Intensional Logic (TIL) that makes it possible distinguish three kinds of context in which...

General language studies

  • 2018 - 2020
    • •
  • 7 326 tis. Kč
    • •
  • 5 800 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 12