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

1 537 (0,102s) •

Project

Probabilistic reasoning in late scholastic logic (GA17-12408S)

in scholastic logic and late scholastic analysis of inductive reasoning. HistoricallyThe subject matter of the project is late scholastic analysis of probabilistic reasoning, i.e., the type of arguments which are probabili...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 896 tis. Kč
    • •
  • 896 tis. Kč
    • •
  • GA ČR
Project

Benzimidazole anthelmintics and induction of biotransformation enzymes in food-producing animals (GA524/03/1361)

in veterinary medicine. A significant induction effect of a number of benzimidazole drugs, and in cell cultures. On the basis of these results there exists a reasonable suspicion that administration of benzimidazole anthelmintics t...

GJ - Choroby a škůdci zvířat, veterinární medicina

  • 2003 - 2005
    • •
  • 2 977 tis. Kč
    • •
  • 2 412 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 information essential for computational proof transformation and au...

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

Inductive Biases of Deep Neural Networks in Computer Vision (GM24-10738M)

and even the largest models lack basic generalisation and reasoning abilities despite is an appropriate inductive bias - the set of prior assumptions used to generalise and make want to study inductive biases for common Co...

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

  • 2024 - 2028
    • •
  • 23 101 tis. Kč
    • •
  • 23 101 tis. Kč
    • •
  • GA ČR
Project

Powering Automatic Theorem Provers by Machine Learning (GJ20-06390Y)

on a wide range of tasks, measured on standard automated reasoning benchmarks of the ATP systems will in turn immediately benefit practitioners of formal reasoning power of existing learning approaches in reasoning tasks.....

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

  • 2020 - 2022
    • •
  • 6 467 tis. Kč
    • •
  • 6 467 tis. Kč
    • •
  • GA ČR
Project

CAQtuS Computer-Aided Quantitative Synthesis (GJ20-02328Y)

have arisen from applications requiring quantitative reasoning, which include, e.g quantitative reasoning. The aim of this project is to develop theoretical foundations quantitative formal methods with search-based and inducti...

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

  • 2020 - 2022
    • •
  • 6 075 tis. Kč
    • •
  • 6 075 tis. Kč
    • •
  • GA ČR
Project

Theories of belief and the foundations of subjective probability (GA16-15621S)

accounts of probability. The team aims to produce novel normative accounts of inductive reasoning informed by cognitive science. Results will also include generalizations......

AA - Filosofie a náboženství

  • 2016 - 2020
    • •
  • 2 835 tis. Kč
    • •
  • 2 835 tis. Kč
    • •
  • GA ČR
Project

Research and development of multifunctional induction flow meters for explosive environments (EG15_018/0001498)

Research and development of multifunctional induction flow meters for explosive environments...

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

  • 2015 - 2020
    • •
  • 9 290 tis. Kč
    • •
  • 4 595 tis. Kč
    • •
  • MPO
Project

Pyrolysis plant with induction heating (EG15_019/0004681)

Pyrolysis plant with induction heating...

DM - Tuhý odpad a jeho kontrola, recyklace

  • 2015 - 2020
    • •
  • 42 944 tis. Kč
    • •
  • 18 592 tis. Kč
    • •
  • MPO
Project

Mechanisms of resistance to induction of apoptosis in tumor cells (GA301/01/0041)

Resistance to apoptosis induction is an important feature of cancer cells which is associated with increased resistance to the therapy. The aim of the proposed research is to describe the mechanism responsible for the resistance to apoptosis...

EB - Genetika a molekulární biologie

  • 2001 - 2003
    • •
  • 3 594 tis. Kč
    • •
  • 2 053 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 1 537