Notes on Condensed Detachment
Chvalovský, Karel
2011 - English Keywords: propositional logic; Hilbert-style proof systems; the rule of condensed detachment Available in a digital repository NRGL Notes on Condensed Detachment

Chvalovský, Karel
Ústav informatiky, 2011

Interaction-Sensitive Fuzzy Measure in Dynamic Classifier Aggregation: an Experimental Comparison
Štefka, David
2011 - English Keywords: Fuzzy measure; Dynamic classifier aggregation Available in a digital repository NRGL Interaction-Sensitive Fuzzy Measure in Dynamic Classifier Aggregation: an Experimental Comparison

Štefka, David
Ústav informatiky, 2011

Data Security in Biomedicine
Horňáková, Anna
2011 - English This thesis analyzes current state of use of biometrics in computer security. It provides an overview of the most commonly used anatomical-physiological and behavioral biometric identification methods. The result of the work will be a new set of methods, which allows reliable identification of the user in the most comfortable way. These new principles of data security will be used to enhance the protection of specialized health record. This will contribute to expansion of generally conceived EHR MUDR concept to other application areas. Keywords: biometrics; data security; electronic health record Available in a digital repository NRGL Data Security in Biomedicine

This thesis analyzes current state of use of biometrics in computer security. It provides an overview of the most commonly used anatomical-physiological and behavioral biometric identification ...

Horňáková, Anna
Ústav informatiky, 2011

On Heteroscedasticity in Robust Regression
Kalina, Jan
2011 - English This work studies the phenomenon of heteroscedasticity and its consequences for various methods of linear regression, including the least squares, least weighted squares and regression quantiles. We focus on hypothesis tests for these regression methods. The new approach consists in deriving asymptotic heteroscedasticity tests for robust regression, which are asymptotically equivalent to standard tests computed for the least squares regression. One approach to modeling heteroscedasticity assumes a prior knowledge or specific model for the variability of random regression errors. Another (and more general) approach does not assume a specific form of heteroscedasticity. The paper also describes heteroscedastic regression, which is a tool to incorporate heteroscedasticity to the model. This allows us to define the heteroscedastic least weighted squares regression. Keywords: robust statistics; linear regression; diagnostics Fulltext is available at external website. On Heteroscedasticity in Robust Regression

This work studies the phenomenon of heteroscedasticity and its consequences for various methods of linear regression, including the least squares, least weighted squares and regression quantiles. We ...

Kalina, Jan
Ústav informatiky, 2011

Static Load Balancing of Parallel Mining of Frequent Itemsets Using Reservoir Sampling
Kessl, Robert
2010 - English Available in a digital repository NRGL Static Load Balancing of Parallel Mining of Frequent Itemsets Using Reservoir Sampling

Kessl, Robert
Ústav informatiky, 2010

Inverse Modelling of Emissions in CTM
Resler, Jaroslav
2010 - English Keywords: air pollution; adjoint; emission; inverse modelling Available in digital repository of the ASCR Inverse Modelling of Emissions in CTM

Resler, Jaroslav
Ústav informatiky, 2010

Modelling and Analysis of Spontaneous Brain Activity
Hlinka, Jaroslav
2010 - English Keywords: fMRI; functional connectivity; nonlinearity; low-frequency fluctuations; biological neural networks Available in a digital repository NRGL Modelling and Analysis of Spontaneous Brain Activity

Hlinka, Jaroslav
Ústav informatiky, 2010

Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation
Dzetkulič, Tomáš
2010 - English Keywords: hybrid dynamical systems; verification Available in a digital repository NRGL Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation

Dzetkulič, Tomáš
Ústav informatiky, 2010

Spiking Neural Networks, Perspective
Surgent, Daniel
2010 - English Available in a digital repository NRGL Spiking Neural Networks, Perspective

Surgent, Daniel
Ústav informatiky, 2010

Ontology Matching in the Context of Web Services Composition
Tyl, Pavel
2010 - English Keywords: ontology matching; web services composition; web services Available in a digital repository NRGL Ontology Matching in the Context of Web Services Composition

Tyl, Pavel
Ústav informatiky, 2010