Filtry
Computational complexity of selected verification problems (GA15-13784S)
as a non-dispensable part of their development. Exploring the bounds of automated such problem is the equivalence of first-order schemes, which can be phrased as language equivalence of deterministic pushdown automata. Its...
IN - Informatika
- 2015 - 2017 •
- 1 940 tis. Kč •
- 1 940 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Relations between topological spaces and their topological groups of G-valued continuous functions for a given topological group G (GPP201/12/P724)
convergence. Spaces X and Y are called G-equivalent provided that the topological groups is the covering dimension preserved by G-equivalence? b) Does T-equivalence imply R-equivalence? c) Which topological proper...
BA - Obecná matematika
- 2012 - 2014 •
- 1 188 tis. Kč •
- 1 188 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
The study of the solution of the dyna- mometric vehicle (equivalent) for testing in accordance with AVTP-1 (MO03041100016)
The study of the solution of the dyna- mometric vehicle´s equivalent for testing in accordance with AVTP-1,using by the choice adapted vehicle (TATRA 815).......
KA - Vojenství
- 2000 - 2001 •
- 1 800 tis. Kč •
- 1 800 tis. Kč •
- MO
Řešení projektu: 1. 1. 2000 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo obrany
Development of field measurement device and methodology for continuous determination of snow water equivalent (TA01020673)
The objective of the proposed project is the development of field measurement device and methodology for continuous determination of snow water equivalent, its comprehensive testing in various types of terrain and vegetation cover conditions...
DA - Hydrologie a limnologie
- 2011 - 2014 •
- 14 054 tis. Kč •
- 11 178 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Technologická agentura ČR
Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)
to address is the testing of certain observational equivalences on potentially infinite equivalences on various process algebras, mainly BPA and BPPA, and their extensions PDA of decision procedures that might exist. For strong bis...
BC - Teorie a systémy řízení
- 1999 - 2002 •
- 231 tis. Kč •
- 231 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1999 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Models of mean equivalent stress convenient for the control systems of progressive hot rolling mills (GA106/04/1351)
The main target of the project is creating - based on special laboratory rolling tests - the database of simple but sufficiently precise mathematical models enabling fast prediction of mean equivalent stress of selected steels and non
JG - Hutnictví, kovové materiály
- 2004 - 2006 •
- 1 582 tis. Kč •
- 1 350 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (85%)
Poskytovatel: Grantová agentura České republiky
New Generation of the Weighting Systems (EG20_321/0024577)
The project is focused on the development of a new generation of platform scales, for which the basic criterion is to meet the key requirement, which is not only compliance with a harmonized European standard, but also its equivalent for
Electrical and electronic engineering
- 2021 - 2023 •
- 19 846 tis. Kč •
- 0 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2021 - 1. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (0%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Relaxed equivalence checking for approximate computing (GA16-17538S)
and the reference implementation, which we call relaxed equivalence checking. The project seeks the following original contributions: (1) efficient algorithms for relaxed equivalence) approximation algorithms based on genetic progr...
JC - Počítačový hardware a software
- 2016 - 2018 •
- 9 022 tis. Kč •
- 6 984 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Grantová agentura České republiky
Measurement, Analysis and Parameters Identification of Simulation Models of Induction Machines (ME 431)
Dynamic processes simulation of electrical machines especially induction machines. Analysis and parameters identification of equivalent scheme. Proposal of measurement and evaluation method.......
JA - Elektronika a optoelektronika, elektrotechnika
- 2001 - 2001 •
- 289 tis. Kč •
- 239 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2001 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Formation of the Conditions for Equivalent Female and Male Assertion in Economy and its Managerial Bodies (GA403/02/1264)
The project entitled "Formation of the Conditions for Equivalent Male and Female Assertion in Economy and its Managerial Bodies" reacts on a need of a serious and systematic approach to a problem of the females' involvement in the Czech econ...
AO - Sociologie, demografie
- 2002 - 2003 •
- 570 tis. Kč •
- 519 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 4 694