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

3 895 (0,179s) •

Project

Symbolic methods in topological dynamics of groups (GA25-15366S)

We aim to apply the methods of symbolic dynamics of countable groups to study Cantor dynamical systems and finitely presented systems of groups. This includes for example investigation of the dynamics of the canoni...

Pure mathematics

  • 2025 - 2027
    • •
  • 3 399 tis. Kč
    • •
  • 3 399 tis. Kč
    • •
  • GA ČR
Project

Identities in Motion Cultural Dynamics of Global Migration and the Reconstruction of Symbolic Boundaries (GA403/06/1734)

and anthropological discourses which explore how the cultural dynamics of global migration effects the reconstruction of local symbolic boundaries. The research strategy aims to achieve the reconstruction of symbolic bound...

AO - Sociologie, demografie

  • 2006 - 2007
    • •
  • 496 tis. Kč
    • •
  • 496 tis. Kč
    • •
  • GA ČR
Project

Automata and Logic for Symbolic Verification of Software (MEB021023)

The scientific goal of the proposed project is to significantly advance the state of the art in the area of symbolic logic-based and automata-based verification methods for infinite-state software, namely to increase the scalability) arrays,...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Project

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)

structures, such as collections or dynamic linked data structures based on pointers such programs, the project focuses on extending the current and developing new symbolic logic and symbolic memory graphs, predicate abstra...

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

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Project

New algorithms for accurate, efficient and robust analysis of large-scale systems (GA20-26849S)

and simulation by standard simulation programs. Non-linear dynamics, memory behavior: (a) methods for time-domain simulation of nonlinear dynamical systems, steady-state analysis, and optimization; (b) symbolic methods foc...

Electrical and electronic engineering

  • 2020 - 2023
    • •
  • 7 260 tis. Kč
    • •
  • 7 260 tis. Kč
    • •
  • GA ČR
Project

Symbolism of consumer behavior in marketing (GA402/99/0514)

The importance of symbolism in consumer behavior is generally accepted and studies adeeper concentrated view on the involvement of symbolism in marketing failures of marketing symbolic activities in the consumer goods marke...

AH - Ekonomie

  • 1999 - 2001
    • •
  • 373 tis. Kč
    • •
  • 373 tis. Kč
    • •
  • GA ČR
Project

The Symbolic Networks of the Waldstein Family in 17. and 18. century (GPP405/12/P312)

) and also symbolical components accentuating outwardly their exclusivity and building changes of symbolical networks, state or church interventions in them etc. My the developmental dynamics and the transition from baroqu...

AB - Dějiny

  • 2012 - 2016
    • •
  • 1 246 tis. Kč
    • •
  • 1 246 tis. Kč
    • •
  • GA ČR
Project

Myth as a Constitutive Exception Dynamics of Transgressive Reflexivity (GA17-09663S)

The present project will focus on developing and elaborating the concept of myth as an example of the mechanisms societies/symbolic systems employ to sustain a reflexive, autopoietic dynamism. The primary material will stem from anc...

AA - Filosofie a náboženství

  • 2017 - 2018
    • •
  • 2 248 tis. Kč
    • •
  • 2 248 tis. Kč
    • •
  • GA ČR
Project

Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)

(including dynamic data structures based on pointers) and/or with advanced features of concurrency. In the former case, the project concentrates on research on symbolic......

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

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

Symbolic Regression for Reinforcement Learning in Continuous Spaces (GA15-22731S)

Reinforcement Learning (RL) algorithms can optimally solve dynamic decision and control problems in engineering, economics, medicine, artificial intelligence and other disciplines. However, state-of-the-art RL methods still have not solved o...

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

  • 2015 - 2019
    • •
  • 5 920 tis. Kč
    • •
  • 5 920 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 3 895