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

2 552 (0,141s) •

Project

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

as complex concurrent processes. One of the widely used formalisms is Boolean network for analysis of Boolean networks with respect to parameter uncertainty without the need to generate the complete state space of...

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

Research of neural networks capability to provide nonlinear Boolean factor analysis (GA201/01/1192)

The aim of the project is the development of the neural network approach to the Boolean factorization, which is assumed to be the main function of the hippocampal-neocortical interaction Man- suggested that this function is performe...

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

  • 2001 - 2003
    • •
  • 1 753 tis. Kč
    • •
  • 718 tis. Kč
    • •
  • GA ČR
Project

Constraint programming and Boolean satisfiability for artificial intelligence (GP201/09/P318)

The aim of the project is to improve constraint programming and Boolean the improvements of constraint programming and Boolean satisfiability. The project is targeted on studying several particular questions, namely: (i) How to appl...

IN - Informatika

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

Boolean functions (GP201/07/P168)

This is a basic research project from the area of theoretical computer science at the border of logic, artificial intelligence and algorithms. It consists from study of the literature connected with the problems being researched and from original res...

IN - Informatika

  • 2007 - 2009
    • •
  • 579 tis. Kč
    • •
  • 579 tis. Kč
    • •
  • GA ČR
Project

Continuous structures and Boolean algebras (IAA119401)

9O - 9

  • 1994 - 1996
    • •
  • 184 tis. Kč
    • •
  • 286 tis. Kč
    • •
  • AV ČR
Project

Boolean techniques in knowledge representation (GA15-15511S)

This is a basic research project in which we plan to work on theoretical problems which belong to the areas of knowledge compression and knowledge compilation in case the knowledge representation is based on Boolean functions. A partial list...

IN - Informatika

  • 2015 - 2017
    • •
  • 2 430 tis. Kč
    • •
  • 2 430 tis. Kč
    • •
  • GA ČR
Project

Construction of Statistical Tests in Spatial Statistics (KJB101420801)

The first part of the project concerns asymptotic goodness-of-fit tests for a Boolean model. The second part concerns the tests in a nonstationary marked point processes. The Boolean model is a basic model of a random set. Individua...

BA - Obecná matematika

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

Computational and communication complexity of Boolean functions, and derandomization (GP201/07/P276)

The project proposes to study three related areas of computational complexity: circuit and branching program lower bounds, multi-party communication complexity and derandomization. In the first area we propose to study the size of bounded-depth count...

IN - Informatika

  • 2007 - 2009
    • •
  • 606 tis. Kč
    • •
  • 606 tis. Kč
    • •
  • GA ČR
Project

Boolean Representation Languages Complete for Unit Propagation (GA19-19463S)

This is a basic research project in which we plan to work on problems in the area of knowledge compilation. We consider a particular case of knowledge compilation where the knowledge base is represented by a boolean function, usually in a co...

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

  • 2019 - 2022
    • •
  • 6 019 tis. Kč
    • •
  • 4 789 tis. Kč
    • •
  • GA ČR
Project

Decompositions of Matrices with Boolean and Ordinal Data Theory and Algorithms (GA15-17899S)

The proposed project focuses on decompositions of matrices with Boolean and ordinal data and their utilization in data analysis. The project also proposes contributions to: closure operators and lattices of fixpoints, Galois connections, con...

IN - Informatika

  • 2015 - 2017
    • •
  • 4 503 tis. Kč
    • •
  • 4 503 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 552