(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

Rohn, Jiří
Ústav informatiky, 2012

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

Rohn, Jiří
Ústav informatiky, 2012

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 ...

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

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

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

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

Rohn, Jiří
Ústav informatiky, 2012

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

Rohn, Jiří
Ústav informatiky, 2012

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

Žák, Stanislav
Ústav informatiky, 2012

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

Rohn, Jiří
Ústav informatiky, 2012

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

Rohn, Jiří
Ústav informatiky, 2012

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"

Rohn, Jiří
Ústav informatiky, 2012