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 454 (0,093s) •

Project

Invariance and equivariance in statistical estimation (IAA101120801)

We shall study the structure and properties of statistical estimators and other statistics, equivariant with respect to a group of transformations of the sample space, and properties of statistical procedures based...

BA - Obecná matematika

  • 2008 - 2010
    • •
  • 709 tis. Kč
    • •
  • 709 tis. Kč
    • •
  • AV ČR
Project

Hybrid neural network architectures for image recognition (GA24-10069S)

Current convolutional networks work with inefficient pixel-wise image representation, which does not provide almost any invariance. This leads to using very large invariant image representations such that the high-level representati...

Robotics and automatic control

  • 2024 - 2026
    • •
  • 9 266 tis. Kč
    • •
  • 9 266 tis. Kč
    • •
  • GA ČR
Project

C*-Algebras of Symmetries and their Invariants (GF25-15403K)

the Elliott invariant, consisting of K-theory and traces, we will consider non-stable K-theory (stable rank) and equivariant bivariant invariants, such as Ext-theory, and their invariants. Three research directio...

Pure mathematics

  • 2025 - 2027
    • •
  • 6 333 tis. Kč
    • •
  • 6 333 tis. Kč
    • •
  • GA ČR
Project

Martingale approximations and U-statistics (GPP201/11/P164)

The project studies the methods of martingale approximations and has two main goals. First of them is use of the methods of martingale approximations to derive new conditions for the central limit theorem, the invariance principle and the la...

BA - Obecná matematika

  • 2011 - 2015
    • •
  • 699 tis. Kč
    • •
  • 699 tis. Kč
    • •
  • GA ČR
Project

Statistical models for structural changes and related problems II. (GA201/03/0945)

The aim of the project is to develop statistical models for detection of changes in the structure and dynamics of real events and processes, treat statistical and applicability invarious real situations. Especially, gradual...

BA - Obecná matematika

  • 2003 - 2005
    • •
  • 3 033 tis. Kč
    • •
  • 1 477 tis. Kč
    • •
  • GA ČR
Project

Moments and Moment Invariants in Image Analysis (GAP103/11/1552)

The project dealswith generalization of existing theory of moment invariants, with derivation ofnew invariants for object description and recognition, with proposal, and with theirsoftwareimplementation in a form of MATLAB toolbox. ...

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

  • 2011 - 2013
    • •
  • 13 888 tis. Kč
    • •
  • 13 888 tis. Kč
    • •
  • GA ČR
Project

Homotopically invariant algebraic structures (ME 603)

The project is focused on applications of the methods of homotopy invariant algebraic structures in mathematical physics, , ,...

BA - Obecná matematika

  • 2002 - 2005
    • •
  • 996 tis. Kč
    • •
  • 327 tis. Kč
    • •
  • MŠMT
Project

Random walks and random fields in models of statistical mechanics (GAP201/11/1558)

will be investigated. The proposal will have definite impact on statistical mechanics, particularly...

BA - Obecná matematika

  • 2011 - 2015
    • •
  • 1 194 tis. Kč
    • •
  • 1 194 tis. Kč
    • •
  • GA ČR
Project

Affine moment invariants of higher orders (GA201/03/0675)

The project is concerned with the theory of the affine moment invariants major stages: (a) computation of affine moment invariants of higher orders and weights, (b) selection of the irreducible invariants from the computed ...

BA - Obecná matematika

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

Simulation-Based Computation of Robust Invariants of Hybrid Dynamical Systems (GA15-14484S)

One of the most important objects used in the field of formal verification are invariants. An invariant is a set of states of a given system such that the system on the constraint-based computation of invariants, that reduc...

IN - Informatika

  • 2015 - 2017
    • •
  • 2 610 tis. Kč
    • •
  • 2 610 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 1 454