Filters
Show more
Show more
Show more
Show more
Show more
More filters
Projects
Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)
Mathematical induction is one of the essential concepts in the mathematician's toolbox. Though, its use makes formal proof analysis difficult. In essence, induction information essential for computational proof transformati...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2025 •
- 4 377 tis. Kč •
- 4 377 tis. Kč •
- GA ČR
Řešení projektu: 1. 7. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Hegel´s Philosophy of Religion (KJB900090902)
and ontological proof of God´s existence. That is why I proceed from the analysis of logical of Religion) and finally deal with Hegel´s reformulation of the ontological proof (on thebasis of the Lectures on the Proof
AA - Filosofie a náboženství
- 2009 - 2011 •
- 1 199 tis. Kč •
- 1 199 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Proof of honey authenticity via detection of foreign alpha amylase The targeted proteomic analysis of honey for exact proof of authenticity (QK1820088)
The project goal is to develop method for targeted proteomic detection of honey parent and foreign amylases for authenticity proof. The aim is to include to the method beta/gama-amylases and beta-fructofuranosidases, too. Particular aims are...
Biochemical research methods
- 2018 - 2020 •
- 3 861 tis. Kč •
- 3 861 tis. Kč •
- MZe
Řešení projektu: 1. 1. 2018 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo zemědělství
Combinatorics on words formalization (GA20-20621S)
Combinatorics on words is an area of discrete mathematics and like other combinatorial fields it naturally tends to technical and tedious proofs that often repeat similar arguments and contain complex case analysis. As such it is su...
Acoustics
- 2020 - 2023 •
- 3 777 tis. Kč •
- 3 741 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 30. 6. 2023
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Grantová agentura České republiky
Solution for the processing, analysis and assessment of energy statistical data (first stage) (TITIERU914-1)
The aim of the project is to create a proof of concept for stage II. innovation partnership....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2020 •
- 200 tis. Kč •
- 200 tis. Kč •
- TA ČR
Řešení projektu: 1. 11. 2019 - 31. 1. 2020
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Solution for the processing, analysis and assessment of energy statistical data (first stage) (TITIERU914-2)
The aim of the project is to create a proof of concept for stage II. innovation partnership....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2020 •
- 200 tis. Kč •
- 200 tis. Kč •
- TA ČR
Řešení projektu: 1. 11. 2019 - 31. 1. 2020
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Logic and unsatisfiability (GA23-04825S)
How does the size of the smallest proof of a statement change, as we increase the complexity of the concepts used in the proof? This is a basic question in logic which, for proofs in weak theories or in propositional logic,...
Pure mathematics
- 2023 - 2025 •
- 11 138 tis. Kč •
- 10 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
MENDELU Proof-of-Concept Project (TG02010074)
The aim of the project is an efficient system of support of the proof-of-concept activities (hereafter PoC) at MENDELU in 2015 – 2019. The proposal of the PoC suppport is drafted as an integral part of the commercialisation system developer ...
GB - Zemědělské stroje a stavby
- 2015 - 2019 •
- 23 535 tis. Kč •
- 23 535 tis. Kč •
- TA ČR
Řešení projektu: 1. 9. 2015 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Molecular epidemiology of hepatitis B virus sequencing analysis of the HBV genom as an epidemiological tool (NI6796)
Introduction of sequence analysis of PCR products of HBV isolates. Obtaining principle data about genom variability of HBV DNA isolates and geographic distribution of genotypes and mutants with clinical or epidemiological importance in Czech...
FN - Epidemiologie, infekční nemoci a klinická imunologie
- 2001 - 2003 •
- 3 679 tis. Kč •
- 1 556 tis. Kč •
- MZ
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (42%)
Poskytovatel: Ministerstvo zdravotnictví
Transfinite Certificates of Convergence (GA23-07931S)
will employ cutting-edge proof-theoretic and ordinal-theoretic techniques, including in mathematical analysis has been systematically gauged through the technique of reverse of the target fields, including analysis, combin...
Pure mathematics
- 2023 - 2023 •
- 152 tis. Kč •
- 152 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 out of 10 112