All
All

What are you looking for?

All
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

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

1 515 projects (0,124s) •

Project

Numerical Solution of Contact-Impact Problems in Nonlinear Finite Element Analysis (ME10114)

in the development of original three dimensional algorithm based on the pre-discretization technique for the local search problems is proposed. The algorithm will be implemented to the explicit solver of the FE code PMD (P...

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

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

Parallel Algorithms for Large Scale Simulation on PC Clusters (IBS3086102)

, the algorithms developed for the special parallel computers will be transformed for PC. Algorithms will implemented in the application software that has been developed of individual algorithms will carried out.......

BA - Obecná matematika

  • 2001 - 2005
    • •
  • 10 774 tis. Kč
    • •
  • 5 560 tis. Kč
    • •
  • AV ČR
Project

Fourier methods of special functions of affine Weyl groups (GA19-19535S)

. Consequences and reciprocal influence of these methods with fusion coefficients algorithms in solid state physics are studied. The project emphasizes general but explicit formulation of the results, illustrating them on model exam...

Particles and field physics

  • 2019 - 2023
    • •
  • 2 693 tis. Kč
    • •
  • 1 847 tis. Kč
    • •
  • GA ČR
Project

Automated Verification of Parallel and Distributed Systems (GA201/03/0509)

of verificationalgorithms. In particular, tools for rapid implementation of new or modified algorithms for more effective verification algorithms will be investigated (e.g. 1-safe Petri Nets for explicit and symbolic verif...

BA - Obecná matematika

  • 2003 - 2005
    • •
  • 3 254 tis. Kč
    • •
  • 1 175 tis. Kč
    • •
  • GA ČR
Project

Variational methods in the circuit theory and their utilisation for stability testing (GA102/98/0782)

and algorithms for stability evaluating of electrical circuits by means of variational because the present circuit theory does not have effective tools for explicit decision of so called potential stability of DC operating point. H...

JA - Elektronika a optoelektronika, elektrotechnika

  • 1998 - 2000
    • •
  • 2 721 tis. Kč
    • •
  • 2 525 tis. Kč
    • •
  • GA ČR
Project

Inteligent system for explicit and ilegal content detection in data warehouses (EG15_018/0004515)

Inteligent system for explicit and ilegal content detection in data warehouses...

IN - Informatika

  • 2015 - 2020
    • •
  • 18 440 tis. Kč
    • •
  • 4 204 tis. Kč
    • •
  • MPO
Project

Correctness Analysis of C and C++ Programs with Threads (GA15-08772S)

The goal of this project is to research and develop new algorithms and data structures to support model checking of multi-threaded programs written in the C and C, techniques for efficient combination of explicit and symbolic approa...

IN - Informatika

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

Spatially-explicit realistic model of spreading of the invasive species Pinus strobus in Bohemian Switzerland (GA526/05/0430)

Spatially-explicit realistic model of spreading of the invasive species Pinus strobus in Bohemian Switzerland: We propose to examine the role of landscape structure and different dispersal parameters for the invasion spread of a pine species...

EH - Ekologie – společenstva

  • 2005 - 2007
    • •
  • 2 498 tis. Kč
    • •
  • 2 498 tis. Kč
    • •
  • GA ČR
Project

Structure of standard invariant operators for parabolic geometries (GA201/00/P068)

; to find explicite algorithms for the construction of the Hasse diagram from...

BA - Obecná matematika

  • 2000 - 2002
    • •
  • 747 tis. Kč
    • •
  • 747 tis. Kč
    • •
  • GA ČR
Project

Inovative simulation tools for the durability-design and maintenence management of reinforced concrete traffic infrastructure (OK 324)

in-house finite element code OOFEM. A parallelization of explicit algorithms...

JJ - Ostatní materiály

  • 1998 - 2001
    • •
  • 2 775 tis. Kč
    • •
  • 1 215 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 515