Yes (461)
Used filters
(4)
Number of found documents:
461
Published from
to
(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
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
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 ...
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
Verified Eigendecomposition
Rohn, Jiří
2012 - English
Keywords:
eigenvalue; eigenvector; verified result; interval arithmetic
Available in a digital repository NRGL
Verified Eigendecomposition
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
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
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
Verification of linear (in)dependence in finite precision arithmetic
Rohn, Jiří
2012 - English
Keywords:
linear dependence; linear independence; pseudoinverse matrix; finite precision arithmetic; verification; INTLAB file
Available in a digital repository NRGL
Verification of linear (in)dependence in finite precision arithmetic
A New Characterization of the Maximum Cut in a Graph. Dedicated to the memory of the Tibetan meditation master Geshe1 Langri Tangpa (1054-1123), author of the "Eight verses for training the mind"
Rohn, Jiří
2012 - English
Keywords:
graph; maximum cut; linear inequalities; norm
Available in a digital repository NRGL
A New Characterization of the Maximum Cut in a Graph. Dedicated to the memory of the Tibetan meditation master Geshe1 Langri Tangpa (1054-1123), author of the "Eight verses for training the mind"
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