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

16 537 (0,105s) •

Project

Parameter Discovery for Biological Models Using Model Checking (GA15-11089S)

Current challenges in computational systems biology call for new insights coming from computer science, especially, the field of formal methods in systems biology. The direct measurement of parame...

IN - Informatika

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

Abstract interpretation and verification of boolean regulatory networks (8J18FR045)

Analysis of dynamical systems by means of suitable computational models is one of the cornerstones of systems biology paradigm. Motivation for using formal methods based in computer science comes from the ...

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

  • 2018 - 2019
    • •
  • 108 tis. Kč
    • •
  • 98 tis. Kč
    • •
  • MŠMT
Project

Local team and international consortium for computational modelling of a cyanobacterial cell (EE2.3.20.0256)

The project will strengthen the competitiveness of Czech scientists and postgraduate students in the area of systemic biology, bioinformatics, bioenergetics and computer science. The global purpose of formation computat...

EI - Biotechnologie a bionika

  • 2012 - 2015
    • •
  • 35 498 tis. Kč
    • •
  • 35 498 tis. Kč
    • •
  • MŠMT
Project

Bioinformatics and Computational Biology (EF16_018/0002296)

The aim of the project is to strengthen human resources in research in the field of bioinformatics and computational biology, which will provide the labor doctoral study program Bioinformatics and Computational Biology<...

IN - Informatika

  • 2017 - 2023
    • •
  • 11 480 tis. Kč
    • •
  • 1 149 tis. Kč
    • •
  • MŠMT
Project

Bioinformatics and Computational Biology (EF16_017/0002359)

program Bioinformatics and Computational Biology developed within the callout corresponding to the current state of knowledge in biology, biomedicine and computer science for IT specialists, bioinformatics and

EI - Biotechnologie a bionika

  • 2017 - 2023
    • •
  • 51 127 tis. Kč
    • •
  • 5 114 tis. Kč
    • •
  • MŠMT
Project

Center for Artificial Intelligence and Quantum Computing in System Brain Research (EH23_029/0008437)

CLARA, the Center for Artificial Intelligence and Quantum Computing in System Brain Research, represents the interdisciplinary center of excellence focused on the next generation of artificial intelligence/machine learning applicati...

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

  • 2025 - 2029
    • •
  • 699 945 tis. Kč
    • •
  • 180 236 tis. Kč
    • •
  • MŠMT
Project

Optimally integrated models of modern information technologies (GA201/04/0441)

The presented project integrates various computational models into systems. In particular, these systems are used to discuss computational cooperation, distribution, concurrence, and parallelism. Most of the sy...

BD - Teorie informace

  • 2004 - 2006
    • •
  • 1 036 tis. Kč
    • •
  • 1 036 tis. Kč
    • •
  • GA ČR
Project

Center for Systems Biology (LM2015055)

potential in the field of systems biology, integrating the diverse systems biology research in the Czech Republic into the European research infrastructure for systems biology - ISBE (Infrastruct...

EB - Genetika a molekulární biologie

  • 2016 - 2019
    • •
  • 72 803 tis. Kč
    • •
  • 72 803 tis. Kč
    • •
  • MŠMT
Project

Artificial neural nets and grammar systems (GA201/98/P047)

Parallel grammar systems and artificial neural networks are two types of highly parallel computational formalisms. Technological limitation of the classical Von Neumann type computers makes their study more attractive durin...

BC - Teorie a systémy řízení

  • 1998 - 2000
    • •
  • 522 tis. Kč
    • •
  • 432 tis. Kč
    • •
  • GA ČR
Project

Discrete Bifurcation Analysis of Reactive Systems (GA18-00178S)

formal verification of computer systems.Parametric reactive systems represent a large class of real-world processes to stimuli from the environment. To analyze system dynamics with respect to a given set of param...

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

  • 2018 - 2020
    • •
  • 3 923 tis. Kč
    • •
  • 2 375 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 16 537