A Block Version of the BNS Limited-Memory Variable Metric Method for Unconstrained Minimization
Vlček, Jan; Lukšan, Ladislav
2016 - anglický Klíčová slova: unconstrained minimization; block variable metric methods; limited-memory methods; the BFGS update; global convergence; numerical results Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický Klíčová slova: maximum likelihood estimation; parametric model; Fisher information; delta method Plné texty jsou dostupné v digitálním repozitáři NUŠL Maximum Likelihood Estimation of Diagonal Covariance Matrix

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

Stav předaných dat a úprava rozdělení vybraných měření 2016
Chytil, Michal; Novák, J.; Jiřina jr., M.; Benešová, M.
2016 - český Klíčová slova: typový diagram dodávky; TDD; spotřeba plynu; měřící místa; kritéria; filtrace; náhrady Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Stav předaných dat a úprava rozdělení vybraných měření 2016

Chytil, Michal; Novák, J.; Jiřina jr., M.; Benešová, M.
Ústav informatiky, 2016

Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem
Fabián, Zdeněk
2016 - anglický Klíčová slova: score function; transformation-based score; generalized moment method; new descriptive characteristic of the data Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem

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

Popis TDD modelu verze 3.71
Chytil, Michal; Novák, J.; Jiřina jr., M.; Benešová, M.
2016 - český Zpráva je závěrečnou roční zprávou pro rok 2016 v rámci Projektu TDD-ČR. Cílem je předat metodiky pro užití modelu jak provozovatelem distribuční soustavy, tak operátorem trhu a dále informovat o aktuálním stavu modelu. Jsou popsány předávané soubory včetně vzorového výpočtu na reálných datech a jejich obsah. Klíčová slova: typový diagram dodávky; TDD; spotřeba plynu; popis modelu Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Popis TDD modelu verze 3.71

Zpráva je závěrečnou roční zprávou pro rok 2016 v rámci Projektu TDD-ČR. Cílem je předat metodiky pro užití modelu jak provozovatelem distribuční soustavy, tak operátorem trhu a dále informovat o ...

Chytil, Michal; Novák, J.; Jiřina jr., M.; Benešová, M.
Ústav informatiky, 2016

Cut Languages in Rational Bases
Šíma, Jiří; Savický, Petr
2016 - anglický 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. Klíčová slova: cut language; rational base; quassi-periodic power series Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický It is proved that regularity of an interval matrix implies singularity of two related interval matrices. Klíčová slova: interval matrix; regularity; singularity Plné texty jsou dostupné v digitálním repozitáři NUŠL 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

On Exact Heteroscedasticity Testing for Robust Regression
Kalina, Jan; Peštová, Barbora
2016 - anglický The paper is devoted to the least weighted squares estimator, which is one of highly robust estimators for the linear regression model. Novel permutation tests of heteroscedasticity are proposed. Also the asymptotic behavior of the permutation test statistics of the Goldfeld-Quandt and Breusch-Pagan tests is investigated. A numerical experiment on real economic data is presented, which also shows how to perform a robust prediction model under heteroscedasticity. Klíčová slova: robust estimation; outliers; variance; diagnostic tools; heteroscedasticity Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. On Exact Heteroscedasticity Testing for Robust Regression

The paper is devoted to the least weighted squares estimator, which is one of highly robust estimators for the linear regression model. Novel permutation tests of heteroscedasticity are proposed. Also ...

Kalina, Jan; Peštová, Barbora
Ústav informatiky, 2016

Robust Regularized Discriminant Analysis Based on Implicit Weighting
Kalina, Jan; Hlinka, Jaroslav
2016 - anglický In bioinformatics, regularized linear discriminant analysis is commonly used as a tool for supervised classification problems tailormade for high-dimensional data with the number of variables exceeding the number of observations. However, its various available versions are too vulnerable to the presence of outlying measurements in the data. In this paper, we exploit principles of robust statistics to propose new versions of regularized linear discriminant analysis suitable for highdimensional data contaminated by (more or less) severe outliers. The work exploits a regularized version of the minimum weighted covariance determinant estimator, which is one of highly robust estimators of multivariate location and scatter. The performance of the novel classification methods is illustrated on real data sets with a detailed analysis of data from brain activity research. Klíčová slova: high-dimensional data; classification analysis; robustness; outliers; regularization Plné texty jsou dostupné v digitálním repozitáři NUŠL Robust Regularized Discriminant Analysis Based on Implicit Weighting

In bioinformatics, regularized linear discriminant analysis is commonly used as a tool for supervised classification problems tailormade for high-dimensional data with the number of variables ...

Kalina, Jan; Hlinka, Jaroslav
Ústav informatiky, 2016

On Nominal Automata as Models of Java-like Object-Oriented Programs
Suzuki, Tomoyuki
2016 - anglický In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker. Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. On Nominal Automata as Models of Java-like Object-Oriented Programs

In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker.

Suzuki, Tomoyuki
Ústav informatiky, 2016