UFO 2017. Interactive System for Universal Functional Optimization
Lukšan, Ladislav; Tůma, Miroslav; Matonoha, Ctirad; Vlček, Jan; Ramešová, Nina; Šiška, M.; Hartman, J.
2017 - English
This report contains a description of the interactive system for universal functional optimization UFO, version 2017. This version contains interfaces to the MATLAB and SCILAB graphics environments.
Keywords:
numerical optimization; nonlinear programming; nonlinear approximation; algorithms; software systems
Available in digital repository of the ASCR
UFO 2017. Interactive System for Universal Functional Optimization
This report contains a description of the interactive system for universal functional optimization UFO, version 2017. This version contains interfaces to the MATLAB and SCILAB graphics environments.
Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript
Porubský, Štefan
2017 - English
Keywords:
STP cipher; Josef Růžek; Karol Cigáň; František Moravec; Czechoslovak military cryptography; Word War II
Available on request at various institutes of the ASCR
Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript
The IINC System under the ROOT Environment
Jiřina, Marcel
2017 - English
Keywords:
IINC; data separation; classification; multivariate data; distance; metric
Available in digital repository of the ASCR
The IINC System under the ROOT Environment
Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization
Vlček, Jan; Lukšan, Ladislav
2017 - English
Keywords:
unconstrained minimization; block variable metric methods; limited-memory methods; the BFGS update; global convergence; numerical results
Available in a digital repository NRGL
Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization
Nondeterministic Computations for Which Space is More Powerful than Time
Wiedermann, Jiří
2016 - English
Keywords:
nondeterministic computation; crossing sequences; complexity
Available in a digital repository NRGL
Nondeterministic Computations for Which Space is More Powerful than Time
A Block Version of the BNS Limited-Memory Variable Metric Method for Unconstrained Minimization
Vlček, Jan; Lukšan, Ladislav
2016 - English
Keywords:
unconstrained minimization; block variable metric methods; limited-memory methods; the BFGS update; global convergence; numerical results
Available in a digital repository NRGL
A Block Version of the BNS Limited-Memory Variable Metric Method for Unconstrained Minimization
Maximum Likelihood Estimation of Diagonal Covariance Matrix
Turčičová, Marie; Mandel, Jan; Eben, Kryštof
2016 - English
Keywords:
maximum likelihood estimation; parametric model; Fisher information; delta method
Available in a digital repository NRGL
Maximum Likelihood Estimation of Diagonal Covariance Matrix
Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem
Fabián, Zdeněk
2016 - English
Keywords:
score function; transformation-based score; generalized moment method; new descriptive characteristic of the data
Available on request at various institutes of the ASCR
Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem
Cut Languages in Rational Bases
Šíma, Jiří; Savický, Petr
2016 - English
We introduce a so-called cut language which contains the representations of numbers in a rational base that are less than a given threshold. The cut languages can be used to refine the analysis of neural net models between integer and rational weights. We prove a necessary and sufficient condition when a cut language is regular, which is based on the concept of a quasi-periodic power series. We show that any cut language with a rational threshold is context-sensitive while examples of non-context-free cut languages are presented.
Keywords:
cut language; rational base; quassi-periodic power series
Available in a digital repository NRGL
Cut Languages in Rational Bases
We introduce a so-called cut language which contains the representations of numbers in a rational base that are less than a given threshold. The cut languages can be used to refine the analysis of ...
Interval Matrices: Regularity Yields Singularity
Rohn, Jiří
2016 - English
It is proved that regularity of an interval matrix implies singularity of two related interval matrices.
Keywords:
interval matrix; regularity; singularity
Available in a digital repository NRGL
Interval Matrices: Regularity Yields Singularity
It is proved that regularity of an interval matrix implies singularity of two related interval matrices.
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases