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 624 (0,204s) •

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 fact that biological systems can be understoo...

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

Scalable Techniques for Analysis of Complex Properties of Computer Systems (GA20-07487S)

static approaches based on abstract interpretation and model checking as well...

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

  • 2020 - 2022
    • •
  • 10 611 tis. Kč
    • •
  • 9 278 tis. Kč
    • •
  • GA ČR
Project

Advanced Analysis and Verification for Advanced Software (GA23-06506S)

, suitably combined with methods like abstract interpretation, slicing, and advanced type...

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

  • 2023 - 2025
    • •
  • 13 285 tis. Kč
    • •
  • 10 970 tis. Kč
    • •
  • GA ČR
Project

Interpretations of Probability by Czech Philosophers (GA401/09/1850)

The project is devoted to the philosophical interpretations of probability interpretations of probability had undergone a great renaissance recently. However, nothing the middle of the 20th century, and the connection of an abst...

AA - Filosofie a náboženství

  • 2009 - 2011
    • •
  • 305 tis. Kč
    • •
  • 305 tis. Kč
    • •
  • GA ČR
Project

Abstractions and Extensive-Form Games with Imperfect Recall (GA15-23235S)

for solving large extensive-form games is to transform the game into a smaller abstracted game, solve this abstracted game, and translate the abstracted strategies back, a generalization to all extensive-form games is not ...

IN - Informatika

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

Aspect and Abstraction Connections Between the Representation of Images in Decorative Arts and Natural Sciences (1850-1914) (GA408/08/1567)

) and the pictorial patterns they display (mental abstractions) will be discussed. Interdisciplinary probes will be interpreted from the vantage point of art history and visual......

AL - Umění, architektura, kulturní dědictví

  • 2008 - 2010
    • •
  • 618 tis. Kč
    • •
  • 618 tis. Kč
    • •
  • GA ČR
Project

Paradigmatic thinking singularity, universality, self-reference (GA19-16680S)

involves a paradigm, it is never quite abstract. The power of abstraction is limited and of course Kuhn’s scientific theories – they all can be, up to a point, interpreted......

Philosophy, History and Philosophy of science and technology

  • 2019 - 2023
    • •
  • 1 931 tis. Kč
    • •
  • 1 931 tis. Kč
    • •
  • GA ČR
Project

Being and Natural Theology in Scotism (GA21-35651S)

claims that God and creatures are "primo diversa" in reality, whence the abstraction of abstraction according to Scotus. All this suggest quite a special logico-semantical status of thought have proposed various interpretations...

Philosophy, History and Philosophy of science and technology

  • 2021 - 2023
    • •
  • 1 455 tis. Kč
    • •
  • 1 455 tis. Kč
    • •
  • GA ČR
Project

Abstracts "Jews in the Czech and Polish Civil Society" (LA 081)

Czech - Polish conference, Prag - 13.-15.10. 1998. Publication of the Abstracts...

AB - Dějiny

  • 1999 - 1999
    • •
  • 80 tis. Kč
    • •
  • 80 tis. Kč
    • •
  • MŠMT
Project

Hardware Abstraction Layer for a European Software Defined Vehicle approach (9A24008)

Unifying software interfaces, creating a hardware abstraction framework, enabling Over-The-Air (OTA) updates, designing platform architecturtes, ensuring hardware abstraction and virtualization, offering hardware support, automating...

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

  • 2024 - 2027
    • •
  • 20 026 tis. Kč
    • •
  • 5 006 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 624