Filters
On the Influence of the Variable Ordering for Algorithmic Learning using OBDDs
OBDDs with a fixed variable ordering are used successfully as data structure OBDDvariable ordering. There are functions with the following properties. They have OBDDs of linear size for optimal variable orderin...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Random Orderings of Variables for Parity Ordered Binary decision Diagrams.
It is proved that for every Boolean function, the expected size of its representation using Parity OBDD with a random ordering of the variables and the size of such a representation for the worst ordering are polynomialy re...
BA - Obecná matematika
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Approximations by OBDDs and the Variable Ordering Problem.
Original scientific paper dealing with Approximations by OBDDs and the Variable Ordering Problem.
BA - Obecná matematika
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
Permuting Variables to Improve Iterative Resynthesis
depends on variable ordering in their input; they produce different results for different variable orderings. This fact can be exploited to escape local optima an experimental analysis of influence of variable...
JC - Počítačový hardware a software
- 2014 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Chromatic aberrations of thin refractive variable-focus lens
The paper presents an approach to an analysis of the third order chromatic aberrations of thin refractive fluid lenses with a variable focal length. Formulas were derived for the change of the third-order aberration coeffic...
BH - Optika, masery a lasery
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On Using Permutation of Variables to Improve the Iterative Power of Resynthesis
and optimization processes depends on variable ordering in their input; they produce different results for different variable orderings. This fact can be exploited to escape local and optimization steps are run re...
JC - Počítačový hardware a software
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
It is known due to the work of Van den Broeck, Meert and Darwiche that weighted first-order model counting (WFOMC) in the two-variable fragment of first-order logic can be solved in time polynomial in the number of domain e...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
One-variable fragments of first-order logics
The one-variable fragment of a first-order logic may be viewed as an “S5-like-variable fragments of first-order classical logic and first-order intuitionistic logic for the one-variable fragment o...
Pure mathematics
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Comparison of approximation methods for partial derivatives of surfaces on regular grids
and the 2nd order. These derivatives are further used for computation of surfaces of derived morphometrical variables as slope, aspect and different types of curvatures. In geomorphologic researche are often required surfaces of de...
DE - Zemský magnetismus, geodesie, geografie
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Low-order Hamiltonian operators having momentum
We describe all fifth-order Hamiltonian operators in one dependent and one independent variable that possess momentum, i.e., for which there exists a Hamiltonian associated with translation in the independent variable. Simi...
BA - Obecná matematika
- 2013 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 out of 97 042