All
All

What are you looking for?

All
Projects
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

-
19912025

Join usingOrAnd

Join usingOrAnd

SelectAll/None

    • Show more

SelectAll/None

    • Show more

        • Show more

        • Show more

        • Show more

        • Show more

      • Show more

SelectAll/None

    • Show more

More filters

Results

317 712 results (0,568s) •

Result

Towards a Formal Model for Functional Generative Description: Analysis by Reduction and Restarting Automata

Towards a Formal Model for Functional Generative Description: Analysis by Reduction and Restarting Automata...

AI - Jazykověda

  • 2007
    • •
  • Jx
Result

Formal Analysis Approach on Networks with Dynamic Behaviours

networkconditions. This paper describes the two main components of the formal verification process, formal modelling and the analysis process. For formal modelling, computerFormal verifi...

IN - Informatika

  • 2010
    • •
  • D
Result

OOPN and DEVS Formalisms for System Specification and Analysis

, which combines design models with simulation models. Obviously, a system representation allowing simulation analysis differs from design models and have approach uses formalisms which can be used for sys...

IN - Informatika

  • 2010
    • •
  • D
Result

Testability Analysis Based on Formal Model

Formal model of a circuit on RT level is described in this paper. The model is used to describe properties of Testable Block. It is indicated how the concept of Testable Block can be used to reduce RT level test application...

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

  • 2006
    • •
  • D
Result

Conceptual and Cluster Analysis for Organizational Structure Modeling

The organizational structure is usually defined using the best experience and there is a minimum of neither formal nor semiformal approach involved....

BD - Teorie informace

  • 2004
    • •
  • D
Result

Three approaches of making formal ontologies

In this paper we discuss three approaches of making formal ontologies. First approach is formal concept analysis (Ganter and Wille) based on mathematic formal model (Savinov), which can also be represented...

IN - Informatika

  • 2009
    • •
  • D
Result

Model of communication CENJ unit and EDOS unit, coverage analysis

This report describes formal model of communication between CENJ unit and EDOS unit. This model is used for preparing test cases that control correct implementation of units. Report contains analysis of formal<...

JD - Využití počítačů, robotika a její aplikace

  • 2016
    • •
  • Vsouhrn
Result

Towards a formal model of natural language description based on restarting automata with parallel DR-structures

We provide a formal model of a stratificational dependency approach to natural language description. This formal model is motivated by an elementary method of analysis by reduction, which serves for descri...

AI - Jazykověda

  • 2010
    • •
  • D
Result

Model based analysis and formal verification of WEDA architectural style

In this paper, the Weda (Web-event-driven-architecture) is modeled as a network of timed automata that communicate via message passing after successfull handshaking. This results in a compact and intuitively appealing specification....

IN - Informatika

  • 2013
    • •
  • D
    • •
  • Link
Result

Formal concept analysis applied to the prediction of additives for galvanizing process

Formal concept analysis is a new mathematical approach to data analysis, data mining and to discavering patterns in data. The result of the application of the formal concept analysis method to the behavior...

BA - Obecná matematika

  • 2010
    • •
  • Jx
  • 1 - 10 out of 317 712