Filters
Language equivalence of probabilistic pushdown automata.
We study the language equivalence problem for probabilistic pushdown automata (pPDA) and their subclasses. We show that the problem is interreducible with the multiplicity equivalence problem for context-f...
IN - Informatika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Circuit Equivalence in 2-Nilpotent Algebras
The circuit equivalence problem Ceqv(A) of a finite algebra A is the problem of deciding whether two circuits over A compute the same function or not. This problem not only generalises the equivalence ...
Pure mathematics
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Nonlinear problems of equivalent adjustment algorithms
Many problems of adjustment can be solved in different however equivalent ways. A model of a direct measurement of a vector parameter with constraints can be expressed in equivalent way as a model of indirect measurement wi...
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that ...
Philosophy, History and Philosophy of science and technology
- 2019 •
- D
Rok uplatnění
D - Stať ve sborníku
On the equivalence of quaternionic contact structures
Following the Cartan’s original method of equivalence supported by methods of parabolic geometry, we provide a complete solution for the equivalence problem of quaternionic contact structures, that is, the problem ...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS
It is well known that the constraint satisfaction problem over a general relational structure A is polynomial time equivalent to the constraint problem over some that the corresponding constraint satisfaction problem
BA - Obecná matematika
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Complexity of Equivalence Checking Problems
The article summarizes the results of the author in the area of automated verification of systems and concurrency theory. These results are concerning the computational complexity of equivalence checking problems. The main aim of th...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Solidarity and Equivalence in Social System - Current Problems
Main topics of the document: solidarity; equivalence; social systems...
AH - Ekonomie
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Characteristic Properties of Equivalent Structures in Compositional Models
model with this structure. The equivalence problem is how to characterise whether structure P and vice versa. This problem can be solved in several ways. A partial solution of the so-called direct characterisation of an
BA - Obecná matematika
- 2011 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
The local equivalence problem in CR geometry
The article is dedicated to the centenary of the local equivalence problem, formulated by Henri Poincaré in 1907. The first part gives an account of Poincaré's. Then we sketch the beautiful completion of Poincaré's approach to the <...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 101 809