Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

13 321 (0,107s) •

Projekt

Intelligent Testing and Analysis of Concurrent Software (LH13265)

., noise-based dynamic analysis of concurrent binary code). Higher automation should that will significantly improve the efficiency, generality, and degree of automation of testing and analysis of multi-th...

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

  • 2013 - 2015
    • •
  • 1 361 tis. Kč
    • •
  • 1 361 tis. Kč
    • •
  • MŠMT
Projekt

Big Code Scalable Analysis of Massive Code Bases (EF15_003/0000421)

our ability to perform automated analysis of program code and to gain deeper a system for exploring the possibilities of extensive code analyse, which requires......

Communication engineering and systems

  • 2019 - 2023
    • •
  • 45 693 tis. Kč
    • •
  • 45 693 tis. Kč
    • •
  • MŠMT
Projekt

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

, and automated analysis and verification methods are needed. However, despite a lot of recent, and/or capabilities of analysing complex properties of advanced code. This is exactly what the project aims to attack, concentr...

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
Projekt

SheetIQ Platform (EI24_062/0007437)

The SheetIQ project focuses on the development of an innovative no-code platform enabling the automated creation of business forms, templates, and workflows using artificial intelligence. It utilizes generative language models (LLMs...

Communication engineering and systems

  • 2026 - 2027
    • •
  • 17 796 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Projekt

Engineering of Data Analysis Pipelines (LL2325)

of code used for data analysis. This phase of the project will contribute program analysis techniques that blend static and dynamic analyses to account for the nature of the data science codes. Second, pr...

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

  • 2023 - 2028
    • •
  • 52 130 tis. Kč
    • •
  • 51 130 tis. Kč
    • •
  • MŠMT
Projekt

Abstraction and Other Techniques in Semi-Symbolic Program Verification (GA18-02177S)

structures to enable efficient analysis and verification of computer programs written-code of the program. Programs annotated with such speculative asssumptions employ other program analysis<...

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

  • 2018 - 2020
    • •
  • 6 232 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Projekt

Verification and Bug Hunting for Advanced Software (GA17-12465S)

, even human lives. This project aims at new automated methods of static formal verification (based on approaches such as symbolic verification and automated abstraction) as well as extrapolating dynamic analysis and advanc...

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

  • 2017 - 2019
    • •
  • 8 912 tis. Kč
    • •
  • 7 448 tis. Kč
    • •
  • GA ČR
Projekt

Efficient Finite Automata for Automated Reasoning (LL1908)

This project aims at delivering a strong push towards unleashing the theoretical potential of finite automata in practical applications in automated reasoning such as software and hardware analysis and verification or pattern matchi...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Registration of cultural monuments - computer-supported system (PK96P07OPP006)

of automated support for record keeping of movables based on object identification using bar codes, including code assignment, code positioning and its fixation interface definition for cooperation with other ...

AF - Dokumentace, knihovnictví, práce s informacemi

  • 1996 - 1998
    • •
  • 5 738 tis. Kč
    • •
  • 5 738 tis. Kč
    • •
  • MK
Projekt

NATHAN 2 - Digitization and Marketplace (EG21_374/0027277)

The main goal of the project solution is the development of an application using machine learning, automation, the cloud and so on. code programming, which serves to digitize processes and make companies run more efficientl...

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

  • 2022 - 2023
    • •
  • 14 743 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
  • 1 - 10 z 13 321