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

2 580 (0,115s) •

Project

Quasi-Decision Procedures for First-Order Theories of Real Functions (GA21-09458S)

satisfiability solvers, that is, in the form of SAT modulo theory (SMT) solvers. WhileDecision procedures for predicate logical theories play an increasingly, arrays, and many other theories, the...

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

  • 2021 - 2024
    • •
  • 2 541 tis. Kč
    • •
  • 2 541 tis. Kč
    • •
  • GA ČR
Project

Powering SMT Solvers by Machine Learning (LL1902)

"The POSTMAN project aims at a breakthrough in the field of Satisfiability Modulo Theories (SMT) by developing Machine Learning methods targeted at the critical parts of today's SMT procedures. SMT

Communication engineering and systems

  • 2020 - 2025
    • •
  • 38 916 tis. Kč
    • •
  • 38 916 tis. Kč
    • •
  • MŠMT
Project

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

in the SAT modulo theory framework (SMT) and complex local and global constraints...

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
Project

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 number o...

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
Project

Number theory and its applications (MEB080877)

To find new scientific results and their applications in two fields of number theory: theory of generating pseudorandom numbers and theory of densities of sets of positive integers.......

BA - Obecná matematika

  • 2008 - 2009
    • •
  • 54 tis. Kč
    • •
  • 54 tis. Kč
    • •
  • MŠMT
Project

Abstraction and Other Techniques in Semi-Symbolic Program Verification (GA18-02177S)

result. The goal of the project is to build a theory of speculative assumptions, and to materialise this theory in a verification tool/framework. This framework will additionaly employ other program analysis and verification techni...

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

  • 2018 - 2020
    • •
  • 6 232 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Project

Pattern REcognition-based Statistically Enhanced MT (7E10057)

(such as extended clustering or neural networks) or game theory techniques towards with the positive aspects of corpus-driven approaches, such as SMT and EBMT. In order......

IN - Informatika

  • 2010 - 2012
    • •
  • 1 484 tis. Kč
    • •
  • 1 484 tis. Kč
    • •
  • MŠMT
Project

"Innovation in the development and production of electronic products, especially transceiver modules" (FX04030013_3175)

The project reflects the increasing share of production in the company's total sales and the related increase in costs for outsourced services, especially SMT assembly. The output of the project is a comprehensive innovation of the productio...

Computer hardware and architecture

  • 2023 - 2024
    • •
  • 28 615 tis. Kč
    • •
  • 11 470 tis. Kč
    • •
  • MPO
Project

Effective field theories from on-shell amplitudes (GA21-26574S)

theories. In recent years our team and several other groups initiated a systematic study of the S-matrix in these theories, finding some remarkable structures and relations. We have learnt that amplitudes in specific effective fiel...

Particles and field physics

  • 2021 - 2023
    • •
  • 12 210 tis. Kč
    • •
  • 12 210 tis. Kč
    • •
  • GA ČR
Project

Game Theory in Formal Analysis and Verification of Computer Systems (GA15-17564S)

The project is focussed on the development of game-theoretic methods and algorithms for formal analysis and verification of interactive computer systems. The behaviour of such systems can be understood as a game of two players, the system and its env...

IN - Informatika

  • 2015 - 2017
    • •
  • 6 743 tis. Kč
    • •
  • 6 743 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 580