Počet nalezených dokumentů:
525
Publikováno od
do
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"
What is graded fuzzy logic?
Hájek, Petr
2012 - anglický
Klíčová slova:
graded theories; mathematical fuzzy logic
Plné texty jsou dostupné v digitálním repozitáři NUŠL
What is graded fuzzy logic?
A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012
Rohn, Jiří
2012 - anglický
Klíčová slova:
interval linear problems; auxiliary results; interval matrices; systems of interval linear equations (square case); systems of interval linear equations and inequalities (rectangular case); interval linear programming; algorithms; and many others
Plné texty jsou dostupné v digitálním repozitáři NUŠL
A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012
Methods for parallel mining of frequent itemsets
Kessl, Robert
2012 - anglický
Klíčová slova:
data mining; parallel algorithms; frequent itemset mining; approximate counting
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Methods for parallel mining of frequent itemsets
Flying Amorphous Computer: A Robust Model
Petrů, L.; Wiedermann, Jiří
2012 - anglický
Klíčová slova:
amorphous computing; simulation; RAM; robustness; complexity
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Flying Amorphous Computer: A Robust Model
An Iterative Method for Solving Absolute Value Equations
Hooshyarbakhsh, V.; Lotfi, T.; Farhadsefat, R.; Rohn, Jiří
2012 - anglický
Klíčová slova:
absolute value equation; iterative method
Plné texty jsou dostupné v digitálním repozitáři NUŠL
An Iterative Method for Solving Absolute Value Equations
A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices
Hooshyarbakhsh, V.; Farhadsefat, R.; Rohn, Jiří
2012 - anglický
Klíčová slova:
interval matrix; regularity; necessary and sufficient condition
Plné texty jsou dostupné v digitálním repozitáři NUŠL
A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices
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