Filtry
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
Rok uplatnění
Gprot - Prototyp
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
Rok uplatnění
D - Stať ve sborníku
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
Rok uplatnění
D - Stať ve sborníku
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
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
"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
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
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
Rok uplatnění
Gprot - Prototyp
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
Rok uplatnění
D - Stať ve sborníku
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
Rok uplatnění
O - Ostatní výsledky
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
Rok uplatnění
B - Odborná kniha
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
Rok uplatnění
B - Odborná kniha
- 1 - 10 z 25 013