Simple Scaling for Variable Metric Updates
LUKŠAN, Ladislav, VLČEK, Jan. <em>Simple Scaling for Variable Metric Updates</em>. Prague: ICS AS CR, 1994. Technical Report, V-611.
An Algorithm for Checking Stability of Symmetric Interval Matrices
ROHN, Jiří. <em>An Algorithm for Checking Stability of Symmetric Interval Matrices</em>. Prague: ICS AS CR, 1994. Technical Report, V-595.
Dvouvrstvá neuronová síť
JIŘINA, Marcel. <em>Dvouvrstvá neuronová síť</em>. Patentový spis 278768. 20. 4. 1994. Dostupné z: http://spisy.upv.cz/Patents/FullDocuments/278/278768.pdf
The Computational Power of Bi-Greedy In-Branching Programs, and its Bounds
ŽÁK, Stanislav. <em>The Computational Power of Bi-Greedy In-Branching Programs, and its Bounds</em>. Prague: ICS AS CR, 1994. Technical Report, V-601.
Any Nonicreasing Convergence Curve is Possible for GMRES
GREENBAUM, A., PTÁK, Vlastimil, STRAKOŠ, Zdeněk. <em>Any Nonicreasing Convergence Curve is Possible for GMRES</em>. Prague: ICS AS CR, 1994. Technical Report, V-594.
PC-GUHA Brief Manual
HARMANCOVÁ, Dagmar. <em>PC-GUHA Brief Manual</em>. Prague: ICS AS CR, 1994. Technical Report, V-617.
Approximation of the Mixed-Hybrid Formulation of the Porous Media Flow Problem
MARYŠKA, Jiří. <em>Approximation of the Mixed-Hybrid Formulation of the Porous Media Flow Problem</em>. Prague: ICS AS CR, 1994. Technical Report, V-609.
Zpráva o výsledcích výzkumu pro Centrum klastrové medicíny za rok 1993
KUFUDAKI, Olga, ŽÁK, Přemysl, HARMANCOVÁ, Dagmar, HÁJEK, Petr, ŠTULLER, Július, PROKOP, J., JAVORSKÝ, Stanislav, HRYCEJ, David. <em>Zpráva o výsledcích výzkumu pro Centrum klastrové medicíny za rok 1993</em>. Praha: ÚIVT AV ČR, 1994. Výzkumná zpráva, V-573.
On the Length of Proof of Consistency
PUDLÁK, Pavel. <em>On the Length of Proof of Consistency</em>. Prague, 1994. Dizertační práce. ICS AS CR.