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”

Filters

170 542 (0,225s)

Result

The Global Simulation in the Course of French in Diplomacy and International Relations

Basic themes of document: global simulation; French for specific objectives; international relations; hybrid teaching...

Linguistics

  • 2018
  • JSC
  • Link
Result

Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata

We address the problem of computing simulation relations over tree automata. In particular, we consider downward and upward simulations on tree automata, which are, loosely speaking, analogous to forward and backward re...

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

  • 2008
  • A
Result

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata

various upward and downward bisimulation and simulation relations in order to obtain a language-preserving combined relation suitable for reducing tree automata without-)simulation relations. We analyse p...

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

  • 2009
  • Jx
Result

Simulation Model of Prague Main Station (Praha hl.n.)

in relation with simulation experiments focused on technological processes verification and evaluation of infrastructural layout variants. Current work of simulation team is mainlyThe paper pays attention to presentation o...

JO - Pozemní dopravní systémy a zařízení

  • 2005
  • D
Result

Architectures and Simulation: Why Fault Tolerance is not at a Maximum Level?

of relations are frequent issues. Simulation helps understand new conditions and changes. Good experiences are achieved based on simulation with link to these approaches surveys relate of problem with budgets, tim...

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

  • 2016
  • Jost
Result

Architecture of an interpreter related to a specific subclass of coloured Petri net

There is paid attention to development of an interpreter related to specific sublclass of coloured Petri net. The interpreter is integrated to simulation kernel of ABAsim architecture. The case study of application to simulation...

JO - Pozemní dopravní systémy a zařízení

  • 2007
  • D
Result

Simulation of systems containing simulating objects

The relation between computer simulation and imagining a future process...

AA - Filosofie a náboženství

  • 2003
  • D
Result

Simulation and mathematics

Relation between simulation and mathematics, description based on the author's experiences obtained during 40 years...

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

  • 2008
  • D
Result

Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata)

We address the problem of computing simulation relations over tree automata. In particular, we consider downward and upward simulations on tree automata, which are, loosely speaking, analogous to forward and backward re...

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

  • 2008
  • D
Result

Simulation-based rail traffic optimisations applying multicriterial evaluations of variants

The contribution pays attention to assessing a selected method related decision-making processes related to special operational situations, which emerge within rail traffic simulators. The relevant case study resolves an op...

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

  • 2019
  • D
  • Link
  • 1 - 10 out of 170 542