Počet nalezených dokumentů:
461
Publikováno od
do
(Z; z)-Solutions
Rohn, Jiří
2012 - anglický
Klíčová slova:
interval linear equations; (Z; z)-solution; AE-solution; characterization; tolerance solution; control solution
Plné texty jsou dostupné v digitálním repozitáři NUŠL
(Z; z)-Solutions
An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1
Rohn, Jiří
2012 - anglický
Klíčová slova:
linear inequalities; absolute value; NP-completeness; algorithm
Plné texty jsou dostupné v digitálním repozitáři NUŠL
An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1
Neural and Fuzzy Modelling of Hydrological Data
Neruda, Roman; Coufal, David
2012 - anglický
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.
Klíčová slova:
environmental modelling; fuzzy systems; neural networks; meta-learning
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
Klíčová slova:
Gaussian radial networks; Gaussian kernel networks; functionally equivalent networks; approximation of functions by neural networks
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Fixed and Variable-Width Gaussian Networks
Verified Eigendecomposition
Rohn, Jiří
2012 - anglický
Klíčová slova:
eigenvalue; eigenvector; verified result; interval arithmetic
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Verified Eigendecomposition
Verified Singular Value Decomposition
Rohn, Jiří
2012 - anglický
Klíčová slova:
singular value decomposition; verified result; interval arithmetic
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Verified Singular Value Decomposition
A Lower Bound Method for Branching Programs and Its Application
Žák, Stanislav
2012 - anglický
Klíčová slova:
branching programs; lower bound techniques
Plné texty jsou dostupné v digitálním repozitáři NUŠL
A Lower Bound Method for Branching Programs and Its Application
Calculus Digest
Rohn, Jiří
2012 - anglický
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Calculus Digest
Verification of linear (in)dependence in finite precision arithmetic
Rohn, Jiří
2012 - anglický
Klíčová slova:
linear dependence; linear independence; pseudoinverse matrix; finite precision arithmetic; verification; INTLAB file
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
Klíčová slova:
graph; maximum cut; linear inequalities; norm
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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"
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze