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”

Filtry

25 013 (0,115s)

Výsledek výzkumu

ZT-AS 05A - Table with bell buttons

Tableau with bell buttons is designed for connecting 4-17 home telephone apparatuses using 2-wires line. Tableau realizes voice communication with separate home telephones. It supports remote opening entrance door from home telephon...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2011
  • Gprot
Výsledek výzkumu

Genzen-like Proofs in Description Logic DL1

On the base of the binary tree representation of tableau proofs in description representation of tableau proofs gives besides a possibility of transparent creation of models in the cases of direct tableau proofs also a poss...

IN - Informatika

  • 2009
  • D
Výsledek výzkumu

A Semi-Dedicable Semantic Tableau Proof System in a Description Logic DL1

In the article a description logic language DL1 with a modified semantics of the universal restriction constructor forall R .C is proposed. A proposed tableau decision-making procedure that shares with FOL its semi- decidability reflects in ...

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

  • 2008
  • D
Výsledek výzkumu

Guiding Inferences in Connection Tableau by Recurrent Neural Networks

We present a dataset and experiments on applying recurrent neural networks (RNNs) for guiding clause selection in the connection tableau proof calculus. The RNN encodes a sequence of literals from the current branch of the partial proof an e...

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

  • 2020
  • D
  • Odkaz
Výsledek výzkumu

"Tableau de la France" de Jules Michelet : geographical, historical or poetical space?

The article deals with the notion of space in the works of Jules Michelet (1798-1874), more precisely in his text Tableau de la France. The aim of the article resurrection“. Then it explains the specific position of Tableau de la Fr...

General literature studies

  • 2018
  • Jost
  • Odkaz
Výsledek výzkumu

ZT-AS04A - table with keyboard

door, direct opening using a password from keyboard of tableau. It enables of configuration - using personal computer and manually using keyboard of tableau. Actual......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2011
  • Gprot
Výsledek výzkumu

Note on the Tableau Technique for Commutative Transition Systems

We define a class of transition systems called effective commutative transition systems (ECTS) and show, by generalising a tableau-based proof for BPP, that strong bisimilarity between any two states of such a transition system is decidable....

BD - Teorie informace

  • 2002
  • D
Výsledek výzkumu

Programming solution of Spatial analysis of labour market in 2019

The report summarizes outputs of the work done in 2019, including update of transport accessibility database for municipalities, update of geographical data for creation of statistical maps and spatial analysis, training, a proposal of GIS developmen...

Social and economic geography

  • 2019
  • O
Výsledek výzkumu

Alfons Mucha, Fraternal Slavdom

The book deals with Alphonse Mucha´s designs for a night-time gala show on the River Vltava in Prague held on 3 July 1926, under the title Fraternal Slavdom. The idea for the event and its style derive directly from Mucha´s cycle of monumental painti...

AL - Umění, architektura, kulturní dědictví

  • 2005
  • B
Výsledek výzkumu

A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation

Three algorithms for deciding bisimilarity of normed BPA processes (two using bisimulation base and one using tableau) are evaluated. The evaluation is based on experimental results and some weak and strong points of algorithms with regard t...

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

  • 2001
  • B
  • 1 - 10 z 25 013