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.

Lukšan, Ladislav; Tůma, Miroslav; Matonoha, Ctirad; Vlček, Jan; Ramešová, Nina; Šiška, M.; Hartman, J.
Ústav informatiky, 2017

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

Porubský, Štefan
Ústav informatiky, 2017

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

Jiřina, Marcel
Ústav informatiky, 2017

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

Vlček, Jan; Lukšan, Ladislav
Ústav informatiky, 2017

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

Wiedermann, Jiří
Ústav informatiky, 2016

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

Vlček, Jan; Lukšan, Ladislav
Ústav informatiky, 2016

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

Turčičová, Marie; Mandel, Jan; Eben, Kryštof
Ústav informatiky, 2016

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

Fabián, Zdeněk
Ústav informatiky, 2016

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 ...

Šíma, Jiří; Savický, Petr
Ústav informatiky, 2016

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.

Rohn, Jiří
Ústav informatiky, 2016