Theoretical Characterization of Enclosures
Rohn, Jiří
2012 - English Keywords: interval linear equations; solution set; enclosure; component; characterization Available in a digital repository NRGL Theoretical Characterization of Enclosures

Rohn, Jiří
Ústav informatiky, 2012

(Z; z)-Solutions
Rohn, Jiří
2012 - English Keywords: interval linear equations; (Z; z)-solution; AE-solution; characterization; tolerance solution; control solution Available in a digital repository NRGL (Z; z)-Solutions

Rohn, Jiří
Ústav informatiky, 2012

An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1
Rohn, Jiří
2012 - English Keywords: linear inequalities; absolute value; NP-completeness; algorithm Available in a digital repository NRGL An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1

Rohn, Jiří
Ústav informatiky, 2012

Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
2012 - English Keywords: software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy Available at various institutes of the ASCR Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)

Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
Ústav informatiky, 2012

Neural and Fuzzy Modelling of Hydrological Data
Neruda, Roman; Coufal, David
2012 - English The main goal of this work is to model flood waves based on runoff and precipitation data. We utilize data from the Smeda rivera catchment provided by the CHMI in order to build several models of flood episodes. Multilayer perceptron networks and Fuzzy system models are used and their performance is compared to traditional hydrological approaches. Keywords: environmental modelling; fuzzy systems; neural networks; meta-learning Available in a digital repository NRGL Neural and Fuzzy Modelling of Hydrological Data

The main goal of this work is to model flood waves based on runoff and precipitation data. We utilize data from the Smeda rivera catchment provided by the CHMI in order to build several models of ...

Neruda, Roman; Coufal, David
Ústav informatiky, 2012

Fixed and Variable-Width Gaussian Networks
Kůrková, Věra; Kainen, P.C.
2012 - English Keywords: Gaussian radial networks; Gaussian kernel networks; functionally equivalent networks; approximation of functions by neural networks Available in a digital repository NRGL Fixed and Variable-Width Gaussian Networks

Kůrková, Věra; Kainen, P.C.
Ústav informatiky, 2012

Verified Eigendecomposition
Rohn, Jiří
2012 - English Keywords: eigenvalue; eigenvector; verified result; interval arithmetic Available in a digital repository NRGL Verified Eigendecomposition

Rohn, Jiří
Ústav informatiky, 2012

Verified Singular Value Decomposition
Rohn, Jiří
2012 - English Keywords: singular value decomposition; verified result; interval arithmetic Available in a digital repository NRGL Verified Singular Value Decomposition

Rohn, Jiří
Ústav informatiky, 2012

A Lower Bound Method for Branching Programs and Its Application
Žák, Stanislav
2012 - English Keywords: branching programs; lower bound techniques Available in a digital repository NRGL A Lower Bound Method for Branching Programs and Its Application

Žák, Stanislav
Ústav informatiky, 2012

Calculus Digest
Rohn, Jiří
2012 - English Keywords: function of one variable; limit; continuity; derivative; minima and maxima; plotting; definite integral; indefinite integral; integration by parts and by substitution; function of two variables Available in a digital repository NRGL Calculus Digest

Rohn, Jiří
Ústav informatiky, 2012