Technical Reports V-1 – V-1199
- V-1199:
Jiřina, Marcel.
IINC classifier for MS Excel. The principle, method and Program.
Prague : ICS AS CR, 2014. 9 s.
- V-1198:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2012/2013.
Prague : ICS AS CR, 2013. 7 s.
- V-1197:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Popis modelu TDD, verze 3.4.
Prague : ICS AS CR, 2013. 26 s.
- V-1196:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt TDD-ČR: Stav předaných dat a úprava rozdělení vybraných měření – rok 2013.
Prague : ICS AS CR, 2013. 15 s.
- V-1195:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Predikce celkové roční spotřeby domácností a maloodběratelů podle ceníkových pásem.
Prague : ICS AS CR, 2013. 42 s.
- V-1194:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2011/2012.
Prague : ICS AS CR, 2012. 7 s.
- V-1193:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Popis modelu TDD, verze 3.3.
Prague : ICS AS CR, 2012. 26 s.
- V-1192:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období říjen – prosinec 2012.
Prague : ICS AS CR, 2012. 13 s.
- V-1191:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Matonoha, Ctirad – Hartman, J.
UFO 2013 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2014. 310 s.
- V-1190:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací paní RNDr. Věry Kůrkové, DrSc. zpracovaný v listopadu 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti životního jubilea autorky.
Prague : ICS AS CR, 2013. 80 s.
- V-1189:
Fabián, Zdeněk.
Score function of distribution and revival of the moment method. Final version.
Prague : ICS AS CR, 2013. 27 s.
- V-1188:
Kalina, Jan.
Robust Template Matching.
Prague : ICS AS CR, 2013. 12 s.
- V-1187:
Kůrková, Věra.
Representations of Highly-Varying Functions by One-Hidden-Layer Networks.
Prague : ICS AS CR, 2013. 10 s.
- V-1186:
Běhounek, Libor.
Fuzzied linear orderings, fuzzy maxima and minima.
Prague : ICS AS CR, 2014. 16 s.
- V-1185:
Rohn, Jiří.
A Triple Sufficient Condition for Regularity of Interval Matrices.
Prague : ICS AS CR, 2013. 6 s.
- V-1184:
Rohn, Jiří.
A Bendixson-Type Theorem for Eigenvalues of Interval Matrices.
Prague : ICS AS CR, 2013. 3 s.
- V-1183:
Nedoma, Jiří.
Propagation of elastic waves in fractured media under a self-gravity field.
Prague : ICS AS CR, 2013. 21 s.
- V-1182:
Fabián, Zdeněk.
Correlation and heavy-tails.
Prague : ICS AS CR, 2013. 14 s.
- V-1181:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací pana prof. Ing. Ladislava Lukšana, DrSc. zpracovaný ke dni 14. září 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 70 narozenin autora.
Prague : ICS AS CR, 2013. 59 s.
- V-1180:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací pana prof. RNDr. Jiřího Wiedermanna, DrSc. zpracovaný ke dni 24. dubna 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 65. narozenin autora.
Prague : ICS AS CR, 2013. 38 s.
- V-1179:
Daniel, Milan.
Steps Towards a Conflicting Part of a Belief Function.
Prague : ICS AS CR, 2013. 20 s.
- V-1178:
Nedoma, Jiří.
Models of Bone Cancers – Part I. Mathematical Models of Cancers. An Introduction.
Prague : ICS AS CR, 2013. 28 s.
- V-1177:
Lukšan, Ladislav – Vlček, Jan.
Efficient tridiagonal preconditioner for the matrix-free truncated Newton method.
Prague : ICS AS CR, 2013. 18 s.
- V-1176:
Fabián, Zdeněk.
Score Function of Distribution and Revival of the Moment Method.
Prague : ICS AS CR, 2012. 18 s.
- V-1175:
Savický, Petr.
Partitions of the Boolean cube with a vertex-transitive automorphism group.
Prague : ICS AS CR, 2012. 15 s.
- V-1174:
Kůrková, Věra – Kainen, P.C.
Fixed and Variable-Width Gaussian Networks.
Prague : ICS AS CR, 2012. 5 s.
- V-1173:
Petrů, L. ; Wiedermann, Jiří.
Flying Amorphous Computer: A Robust Model.
Prague : ICS AS CR, 2012. 14 s.
- V-1172:
Coufal, David – Neruda, Roman.
Neural and Fuzzy Modelling of Hydrological Data.
Prague : ICS AS CR, 2012. 51 s.
- V-1171:
Žák, Stanislav.
A Lower Bound Method for Branching Programs and Its Application.
Prague : ICS AS CR, 2012. 19 s.
- V-1170:
Kessl, Robert.
Methods for parallel mining of frequent itemsets.
Prague : ICS AS CR, 2012. 35 s.
- V-1169:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období červenec – srpen 2012.
Prague : ICS AS CR, 2012. 10 s.
- V-1168:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období duben – červen 2012.
Prague : ICS AS CR, 2012. 20 s.
- V-1167:
Nedoma, Jiří.
The Primal-Dual Active Set (PDAS) Method for Dynamic Variational Inequalities Arising from the Fractured Bone Neoplasm Models.
Prague : ICS AS CR, 2012. 23 s.
- V-1166:
Nedoma, Jiří.
Mathematical models of odontogenic cysts and of fractures of jaw-bones. An introductory study.
Prague : ICS AS CR, 2012. 41 s.
- V-1165:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací pana prof. RNDr. Jiřího Rohna, DrSc. zpracovaný ke dni 19. června 2012 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 65. narozenin autora a doplněný citačním ohlasem a scientometrickými a statistickými daty.
Prague : ICS AS CR, 2012. 39 s.
- V-1164:
Rohn, Jiří.
A Manual of Results on Interval Linear Problems. Dedicated to my grandchildren Matthias, William and Beata, and also to those who might yet come. 10.08.2004 / 11.02.2005 / 05.07.2012.
Prague : ICS AS CR, 2012. 307 s.
- V-1163:
Rohn, Jiří.
A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012.
Prague : ICS AS CR, 2012. 75 s.
- V-1162:
Kramosil, Ivan.
Some results on set-valued possibilistic distributions.
Prague : ICS AS CR, 2012. 14 s.
- V-1160:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období leden – březen 2012.
Prague : ICS AS CR, 2012. 12 s.
- V-1159:
Rohn, Jiří.
(Z; z)-Solutions.
Prague : ICS AS CR, 2012. 3 s.
- V-1158:
Rohn, Jiří.
Theoretical Characterization of Enclosures.
Prague : ICS AS CR, 2012. 4 s.
- V-1157:
Rohn, Jiří.
Compact Form of the Hansen-Bliek-Rohn Enclosure.
Prague : ICS AS CR, 2012. 8 s.
- V-1156:
Rohn, Jiří.
Verification of linear (in)dependence in finite precision arithmetic.
Prague : ICS AS CR, 2012. 8 s.
- V-1155:
Rohn, Jiří.
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“.
Prague : ICS AS CR, 2012. 3 s.
- V-1154:
Rohn, Jiří.
Calculus Digest.
Prague : ICS AS CR, 2012. 26 s.
- V-1153:
Robnik-Šikonja, M – Savický, Petr.
Trends in random forests parameters for classi cation of imbalanced data.
Prague : ICS AS CR, 2012. 11 s.
- V-1152:
Lukšan, Ladislav.
Numerické optimalizační metody. Nepodmíněná minimalizace.
Prague : ICS AS CR, 2011. 420 s.
- V-1151:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Hartman, J – Matonoha, Ctirad.
UFO 2011 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2011. 299 s.
- V-1150:
Rohn, Jiří.
An Algorithm for Solving the P-Matrix Problem.
Prague : ICS AS CR, 2012. 9 s.
- V-1149:
Rohn, Jiří.
An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1.
Prague : ICS AS CR, 2012. 8 s.
- V-1148:
Hájek, Petr.
What is graded fuzzy logic?.
Prague : ICS AS CR, 2012. 3 s.
- V-1147:
Hooshyarbakhsh, V – Farhadsefat, R – Rohn, Jiří.
A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices.
Prague : ICS AS CR, 2012. 3 s.
- V-1146:
Běhounek, Libor – Bodenhofer, U – Cintula, Petr – Saminger-Platz, S – Sarkoci, P.
Graded dominance and related graded properties of fuzzy connectives.
Prague : ICS AS CR, 2011. 19 s.
- V-1145:
Hooshyarbakhsh, V – Lotfi, T – Farhadsefat, R – Rohn, Jiří.
An Iterative Method for Solving Absolute Value Equations.
Prague : ICS AS CR, 2012. 7 s.
- V-1144:
Rohn, Jiří.
Verified Singular Value Decomposition.
Prague : ICS AS CR, 2012. 4 s.
- V-1143:
Rohn, Jiří. Verified Eigendecomposition.
Prague : ICS AS CR, 2012. 5 s.
- V-1142:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období říjen – prosinec 2011.
Prague : ICS AS CR, 2012. 5 s.
- V-1141:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období červenec – září 2011.
Prague : ICS AS CR, 2011. 12 s.
- V-1140:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období duben – červen 2011.
Prague : ICS AS CR, 2011. 15 s.
- V-1139:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období leden – březen 2011.
Prague : ICS AS CR, 2011. 11 s.
- V-1138:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Metodika vyhodnocení přesnosti modelu TDD.
Prague : ICS AS CR, 2011. 8 s.
- V-1137:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Popis modelu TDD, verze 3.2.
Prague : ICS AS CR, 2011. 31 s.
- V-1136:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Popis modelu TDD, verze 3.1.
Prague : ICS AS CR, 2010. 54 s.
- V-1135:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období říjen – prosinec 2010.
Prague : ICS AS CR, 2010. 17 s.
- V-1134:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období červenec – září 2010.
Prague : ICS AS CR, 2010. 18 s.
- V-1133:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období duben – červen 2010.
Prague : ICS AS CR, 2010. 20 s.
- V-1132:
Konár, Ondřej – Brabec, Tomáš – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období leden – březen 2010.
Prague : ICS AS CR, 2010. 18 s.
- V-1131:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Zdůvodnění změny počtu tříd TDD v roce 2011.
Prague : ICS AS CR, 2010. 3 s.
- V-1130:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Metodika použití TDD provozovatelem distribuční soustavy pro rok 2011.
Prague : ICS AS CR, 2010. 5 s.
- V-1129:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Transformace metodiky použití TDD dle požadavků OTE.
Prague : ICS AS CR, 2010. 6 s.
- V-1128:
Konár, Ondřej – Brabec, Tomáš – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Metodika rozpočtu známé spotřeby modelem TDD.
Prague : ICS AS CR, 2010. 6 s.
- V-1127:
Vlček, Jan – Lukšan, Ladislav.
Modifications of the limited-memory BNS method for better satisfaction of previous quasi-Newton conditions.
Prague : ICS AS CR, 2011. 14 s.
- V-1126:
Jiřina, Marcel – Hakl, František.
Volatility of selected separators/classifiers wrt. data sets from field of particle physics.
Prague : ICS AS CR, 2011. 10 s.
- V-1125:
Šíma, Jiří.
Gradient Learning in Networks of Smoothly Spiking Neurons with an Additional Penalty Term.
Prague : ICS AS CR, 2011. 13 s.
- V-1124:
Pelikán, Emil – Juruš, Pavel – Musílek, P – Brabec, Marek – Krč, Pavel – Paluš, Milan – Vejmelka, Martin.
Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions.
Prague : ICS AS CR, 2011. 11 s.
- V-1123:
Papáček, Š – Kaňa, Radek – Matonoha, Ctirad.
Estimation of Diffusivity of Phycobilisomes on Thylakoid Membrane based on spatio-temporal FRAP images.
Prague : ICS AS CR, 2011. 9 s.
- V-1122:
Farhadsefat, R – Rohn, Jiří – Lotfi, T.
Norms of Interval Matrices.
Prague : ICS AS CR, 2011. 12 s.
- V-1121:
Rohn, Jiří.
Verified Solutions of Linear Equations.
Prague : ICS AS CR, 2011. 9 s.
- V-1120:
Vlček, Jan – Lukšan, Ladislav.
A conjugate directions approach to improve the limited-memory BFGS method.
Prague : ICS AS CR, 2011. 13 s.
- V-1119:
Rohn, Jiří. VERSOFT: Examples.
Prague : ICS AS CR, 2011. 12 s.
- V-1118:
Rohn, Jiří. VERSOFT: Guide.
Prague : ICS AS CR, 2011. 6 s.
- V-1117:
Rohn, Jiří. INTLAB Primer.
Prague : ICS AS CR, 2011. 9 s.
- V-1116:
Farhadsefat, R – Lotfi, T – Rohn, Jiří.
A New Sufficient Condition for Regularity of Interval Matrices.
Prague : ICS AS CR, 2011. 9 s.
- V-1115:
Húsek, Dušan – Frolov, A. A – Polyakov, P.
Hybrid Method of Boolean Factor Analysis.
Prague : ICS AS CR, 2011. 23 s.
- V-1114:
Matonoha, Ctirad – Papáček, Š – Štys, D.
Model of Photosynthesis and Photoinhibition in Microalgae: A Singularly Perturbed Problem.
Prague : ICS AS CR, 2010. 11 s.
- V-1113:
Papáček, Š – Štumbauer, V – Štys, D – Petera, K – Matonoha, Ctirad.
Growth impact of hydrodynamic dispersion in Couette-Taylor bioreactor.
Prague : ICS AS CR, 2010. 7 s.
- V-1112:
Papáček, Š – Matonoha, Ctirad – Štumbauer, V – Štys, D.
Modelling and simulation of photosynthetic microorganism growth: Random walk vs. Finite difference method.
Prague : ICS AS CR, 2010. 15 s.
- V-1111:
Rohn, Jiří.
Disproving the P-Matrix Property.
Prague : ICS AS CR, 2011. 7 s.
- V-1110:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací pana prof. RNDr. Miroslava Fiedlera, DrSc. zpracovaný ke dni 7. dubna 2011 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 85. narozenin autora a doplněný citačním ohlasem a scientometrickými a statistickými daty.
Prague : ICS AS CR, 2011. 42 s.
- V-1109:
Húsek, Dušan – Frolov, A. A – Polyakov, P.
Two new EM-Methods for Boolean Factor Analysis.
Prague : ICS AS CR, 2011. 33 s.
- V-1107:
Rohn, Jiří.
An Algorithm for Solving the Absolute Value Inequality.
Prague : ICS AS CR, 2011. 7 s.
- V-1106:
Rohn, Jiří.
Every Two Square Matrices of the Same Size Have Some Solution in Common.
Prague : ICS AS CR, 2011. 4 s.
- V-1105:
Rohn, Jiří.
An Algorithm for Solving Basic Interval Linear Problems.
Prague : ICS AS CR, 2011. 6 s.
- V-1104:
Rohn, Jiří.
The Hansen-Bliek Optimality Result as a Consequence of the General Theory.
Prague : ICS AS CR, 2011. 5 s.
- V-1103:
Rohn, Jiří.
A Perturbation Theorem for Linear Equations.
Prague : ICS AS CR, 2011. 2 s.
- V-1100:
Kessl, Robert.
Static load balancing of parallel mining of frequent itemsets using reservoir sampling.
Prague : ICS AS CR, 2010. 12 s.
- V-1099:
Klaschka, Jan.
BlakerCI: An algorithm and R package for the Blaker’s binomial confidence limits calculation.
Prague : ICS AS CR, 2010. 20 s.
- V-1098:
Tyl, Pavel – Řimnáč, Martin – Špánek, Roman – Štuller, Július – Linková, Zdeňka – Kozler, J – Antošová, B – Váňa, V.
Tvorba ontologie huminových látek.
Prague : ICS AS CR, 2010. 32 s.
- V-1097:
Petrů, L – Wiedermann, Jiří.
A Universal Flying Amorphous Computer.
Prague : ICS AS CR, 2010. 10 s.
- V-1094:
Kůrková, Věra.
Learning as an Inverse Problem in Reproducing Kernel Hilbert Spaces.
Prague : ICS AS CR, 2010. 17 s.
- V-1093:
Rohn, Jiří.
On Rump’s Characterization of P-Matrices.
Prague : ICS AS CR, 2010. 5 s.
- V-1092:
Rohn, Jiří.
A Theorem of the Alternatives for the Equation |Ax| – |B||x| = b.
Prague : ICS AS CR, 2010. 8 s.
- V-1091:
Rohn, Jiří.
An Algorithm for Computing All Solutions of an Absolute Value Equation.
Prague : ICS AS CR, 2010. 7 s.
- V-1090:
Rohn, Jiří.
A Note on Generating P-Matrices.
Prague : ICS AS CR, 2010. 4 s.
- V-1089:
Jiřina, Marcel – Hakl, František.
Testing selected separators/classifiers on simulated data sets from field of particle physics.
Prague : ICS AS CR, 2010. 15 s.
- V-1088:
Červinka, Michal – Matonoha, Ctirad – Outrata, Jiří.
On the computation of relaxed pessimistic solutions to MPECs (revised version).
Prague : ICS AS CR, 2010. 20 s.
- V-1087:
Rohn, Jiří.
An Algorithm for Finding a Singular Matrix in an Interval Matrix.
Prague : ICS AS CR, 2010. 9 s.
- V-1086:
Kramosil, Ivan – Daniel, Milan.
Statistical Estimations of Lattice-Valued Possibilistic Distributions.
Prague : ICS AS CR, 2010. 9 s.
- V-1085:
Kramosil, Ivan.
Embedding Upper-Semilattice-Valued Mappings to Complete Lattice-Valued Possibilistic Measures.
Prague : ICS AS CR, 2010. 10 s.
- V-1084:
Fabián, Zdeněk.
Uncertainty of Random Variables.
Prague : ICS AS CR, 2010. 7 s.
- V-1083:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Hartman, J – Matonoha, Ctirad.
UFO 2010 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2010. 298 s.
- V-1082:
Húsek, Dušan – Frolov, A – Polyakov, P.
Analysis and Evaluation of Different Methods for Barr Problem Solving.
Prague : ICS AS CR, 2010. 27 s.
- V-1081:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Modified CUTE Problems for Sparse Unconstrained Optimization.
Prague : ICS AS CR, 2010. 13 s.
- V-1080:
Královcová, J – Lukšan, Ladislav – Mlýnek, J.
Exposure optimization for warming of shapes in the automotive industry.
Prague : ICS AS CR, 2010. 13 s.
- V-1079:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Band preconditioners for the matrix-free truncated Newton method.
Prague : ICS AS CR, 2010. 21 s.
- V-1078:
Fabián, Zdeněk – Jiřina, Marcel – Jiřina jr., M.
Linear Regression with Arbitrarily Distributed Residuals.
Prague : ICS AS CR, 2010. 9 s.
- V-1077:
Fabián, Zdeněk.
Scalar Score Function and Score Correlation.
Prague : ICS AS CR, 2010. 9 s.
- V-1076:
Fabián, Zdeněk.
A New Statistical Tool: Scalar Score Function.
Prague : ICS AS CR, 2010. 16 s.
- V-1075:
Jiřina, Marcel – Jiřina jr., M.
Testing Random Forests for Unix and Windows.
Prague : ICS AS CR, 2010. 33 s.
- V-1074:
Rohn, Jiří.
An Algorithm for Computing the Hull of the Solution Set of Interval Linear Equations.
Prague : ICS AS CR, 2010. 9 s.
- V-1073:
Rohn, Jiří.
Inverse Interval Matrix: A Survey.
Prague : ICS AS CR, 2010. 9 s.
- V-1072:
Rohn, Jiří.
A Characterization of Strong Regularity of Interval Matrices.
Prague : ICS AS CR, 2010. 9 s.
- V-1071:
Rohn, Jiří.
Explicit Inverse of an Interval Matrix with Unit Midpoint.
Prague : ICS AS CR, 2010. 9 s.
- V-1070:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací prof. RNDr. Petra Hájka, DrSc. řazený podle roku vydání, typu dokumentu a názvu, zpracovaný ke dni 6. 2. 2010 knihovnou Ústavu informatiky AV CR, v. v. i. k príležitosti 70. narozenin autora. Opravené a aktualizované vydání – únor 2013. 65 s.
Prague : ICS AS CR, 2010.
- V-1068:
Hakl, František – Mrazík, M.
Studie realizovatelnosti neuronové síte daných vlastností pomocí analogových elektrických obvodů.
Prague : ICS AS CR, 2010. 32 s.
- V-1067:
Rohn, Jiří.
A General Method for Enclosing Solutions of Interval Linear Equations.
Prague : ICS AS CR, 2010. 9 s.
- V-1066:
Kramosil, Ivan.
Entropy Function for Chained Lattice-Valued Possibilistic Distributions and Their Non-Interactive Products.
Prague : ICS AS CR, 2010. 18 s.
- V-1065:
Rohn, Jiří.
An Improvement of the Bauer-Skeel Bounds.
Prague : ICS AS CR, 2010. 9 s.
- V-1064:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Sparse Test Problems for Unconstrained Optimization.
Prague : ICS AS CR, 2010. 24 s.
- V-1063:
Rohn, Jiří.
An Algorithm for Solving the Absolute Value Equation: An Improvement.
Prague : ICS AS CR, 2010. 8 s.
- V-1062:
Daniel, Milan.
New Approach to Conflicts within and between Belief Functions.
Prague : ICS AS CR, 2009. 11 s.
- V-1061:
Vaculín, Roman – Neruda, Roman – Sycara, K.
Towards Optimized Discovery of Service Combinations without Collisions.
Prague : ICS AS CR, 2009. 26 s.
- V-1060:
Vlček, Jan – Lukšan, Ladislav.
Generalizations of the limited-memory BFGS method based on quasi-product form of update.
Prague : ICS AS CR, 2009. 19 s.
- V-1059:
Lukšan, Ladislav – Vlček, Jan.
Recursive formulation of limited memory variable metric methods.
Prague : ICS AS CR, 2010. 10 s.
- V-1058:
Lukšan, Ladislav.
Numerické optimalizační metody. Nepodmíněná minimalizace.
Prague : ICS AS CR, 2009. 379 s.
- V-1057:
Červinka, Michal – Matonoha, Ctirad – Outrata, Jiří.
On the Computation of Relaxed Pessimistic Solutions to MPECs.
Prague : ICS AS CR, 2009. 13 s.
- V-1056:
Šeflová, Petra.
Aplikace Filtry.
Prague : ICS AS CR, 2010. 8 s.
- V-1055:
Haniková, Zuzana.
Logics with Truth Constants for Delimiting Idempotents.
Prague : ICS AS CR, 2009. 9 s.
- V-1054:
Šíma, Jiří – Žák, Stanislav.
A Characterization of Hitting Sets for 1-Branching Programs of Width 3 (Revised Version).
Prague : ICS AS CR, 2009. 18 s.
- V-1052:
Žák, Stanislav.
Branching Programs: Paradoxes in the Method.
Prague : ICS AS CR, 2009. 16 s.
- V-1051 a LSS 341/08,09:
Novák, Mirko.
Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics.
Praha : ICS AS CR + LSS FD ČVUT, 2009. 30 s.
- V-1050:
Královcová, J – Lukšan, Ladislav – Mlýnek, J.
Optimalizace osvitu pro tepelný ohřev forem v automobilovém průmyslu.
Prague : ICS AS CR, 2009. 20 s.
- V-1049:
Eben, Kryštof – Juruš, Pavel – Resler, Jaroslav – Krč, Pavel – Liczki, Jitka – Belda, Michal – Pelikán, Emil.
ARRAS – Atmospheric Release Risk Assessment System. Verze 1.0 (prototyp, 10. 1. 2009).
Prague : ICS AS CR, 2009. 5 s.
- V-1048:
Vaculín, Roman – Neruda, Roman – Sycara, K.
Towards a Process Mediation Framework for Semantic Web Service.
Prague : ICS AS CR, 2008. 24 s.
- V-1047:
Coufal, David.
Zpráva V-1047 o řešení projektu 1F84B/042/520 MD ČR v roce 2008 za Ústav informatiky AV ČR v. v. i.
Prague : ICS AS CR, 2008. 4 s.
- V-1046:
Coufal, David.
Zpráva V-1046 o řešení projektu ME 949 MŠMT ČR za Ústav informatiky AV ČR v. v. i.
Prague : ICS AS CR, 2008. 4 s.
- V-1045:
Šíma, Jiří.
Gradient Learning in Networks of Smoothly Spiking Neurons (Revised Version).
Prague : ICS AS CR, 2009. 12 s.
- V-1044:
Kramosil, Ivan.
Possibilistic Distributions Taking Values in an Incomplete Lattice.
Prague : ICS AS CR, 2008. 7 s.
- V-1043:
Lukšan, Ladislav.
Matematické programování.
Prague : ICS AS CR, 2008. 91 s.
- V-1042:
Běhounek, Libor – Bodenhofer, U – Cintula, Petr – Sarkoci, P – Saminger-Platz, S.
Graded Properties of Binary Fuzzy Connectives.
Prague : ICS AS CR, 2008. 12 s.
- V-1041:
Jiřina, Marcel – Jiřina jr., M.
Classifier Based on Inverted Indexes of Neighbors II. Theory and Appendix.
Prague : ICS AS CR, 2008. 26 s.
- V-1040:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Hartman, J – Matonoha, Ctirad.
UFO 2008. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2008. 272 s.
- V-1039:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Interior-Point Method for Nonlinear Programming with Complementarity Constraints.
Prague : ICS AS CR, 2008. 12 s.
- V-1038:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Computational experience with modified conjugate gradient methods for unconstrained optimization.
Prague : ICS AS CR, 2008. 16 s.
- V-1037:
Vlček, Jan – Lukšan, Ladislav.
Transformations enabling to construct limited-memory Broyden class methods.
Prague : ICS AS CR, 2008. 8 s.
- V-1036:
Vlček, Jan – Lukšan, Ladislav.
Limited-memory projective variable metric methods for unconstrained minimization.
Prague : ICS AS CR, 2008. 13 s.
- V-1035:
Jiřina, Marcel – Hakl, František.
Analysis of Decay Processes Separation.
Prague : ICS AS CR, 2008. 11 s.
- V-1034:
Jiřina, Marcel – Jiřina jr., M.
Classifier Based on Inverted Indexes of Neighbors.
Prague : ICS AS CR, 2008. 11 s.
- V-1032:
Běhounek, Libor.
Number-free reductions in logic-based fuzzy mathematics.
Prague : ICS AS CR, 2008. 16 s.
- V-1031:
Andrey, Ladislav – Ando, H – Aihara, K.
The Dynamics of Complex Logistic.
Prague : ICS AS CR, 2008. 9 s.
- V-1030:
Daněk, Josef.
On the Application of the Mortar Finite Element Method for Linear Elliptic Problem.
Prague : ICS AS CR, 2008. 16 s.
- V-1029:
Šíma, Jiří – Žák, Stanislav.
A Characterization of Hitting Sets for 1 Branching Programs of Width 3.
Prague : ICS AS CR, 2008. 11 s.
- V-1028 a LSS 343/08:
Novák, Mirko – Votruba, Z.
Reliability Requirements on Driver Interaction with Car Assistance System Alliances.
Praha : ICS AS CR + LSS FD ČVUT, 2008. 10 s.
- V-1027:
Andrey, Ladislav.
The Quantum Second Law and Quantum Information.
Prague : ICS AS CR, 2008. 8 s.
- V-1026:
Jiřina, Marcel – Jiřina jr., M.
Learning Weighted Metrics Method with Nonsmooth Learning Process. [Metoda váhované metriky s nehladkým procesem učení.]
Prague : CTU + ICS AS CR, 2008. 15 s.
- V-1025:
Jiřina, Marcel – Jiřina jr., M.
Decomposition of Correlation Integral to Local Functions.
Prague : CTU + ICS AS CR, 2008. 18 s.
- V-1024:
Wiedermann, Jiří – Petrů, L.
Communicating Mobile Nano-Machines and their Computational Power.
Prague : ICS AS CR, 2008. 9 s.
- V-1023:
Kainen, P.C – Kůrková, Věra.
An integral upper bound for neural-network approximation.
Prague : ICS AS CR, 2008. 14 s.
- V-1022:
Šámalová, Terezie – Šámal, R.
Pruning Algorithms for One-hidden-layer Feedforward Neural Networks.
Prague : ICS AS CR, 2008. 32 s.
- V-1021:
Šámalová, Terezie.
G-Variation in Lp Spaces and Integral Representation.
Prague : ICS AS CR, 2008. 26 s.
- V-1020 a LSS 325/08:
Novák, Mirko – Votruba, Z – Moos, P – Brandejský, T.
Dynamics of Sensitivity in Transportation System Alliances.
Praha : ICS AS CR + LSS FD ČVUT, 2008. 25 s.
- V-1019:
Resler, Jaroslav.
Inverzní modelování emisí.
Prague : ICS AS CR, 2008. 22 s.
- V-1018:
Juruš, Pavel.
Pravděpodobnostní modelování lokálních povětrnostních podmínek s aplikacemi v dopravě.
Prague : ICS AS CR, 2008. 19 s.
- V-1017:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Primal Interior Point Method for Minimization of Generalized minimax Functions.
Prague : ICS AS CR, 2007. 23 s.
- V-1015:
Fabián, Zdeněk.
Confidence Intervals for Johnson Mean.
Prague : ICS AS CR, 2007. 10 s.
- V-1014:
Fabián, Zdeněk.
Parametric Estimation using Generalized Moment Method.
Prague : ICS AS CR, 2007. 11 s.
- V-1013:
Tomášek, Luboš – Daněk, Josef.
Numerical Analysis of the Long Bone with the Marrow.
Prague : ICS AS CR, 2007. 27 s.
- V-1012:
Žák, Stanislav.
A Superpolynomial Lower Bound for a Class of Restricted Branching Programs.
Prague : ICS AS CR, 2007. 9 s.
- V-1011:
Nedoma, Jiří.
Tectonics Along the Himalayan and Andean Mountain Ranges: Numerical Analyses of Collision and Subduction Zones.
Prague : ICS AS CR, 2007. 47 s.
- V-1010:
Fabián, Zdeněk.
Johnson Information and its use in Multivariate Problems and Time-Series Analysis.
Prague : ICS AS CR, 2007. 6 s.
- V-1009:
Wiedermann, Jiří – Petrů, Lukáš.
On the Universal Computing Power of Amorphous Computing Systems.
Prague : ICS AS CR, 2007. 11 s.
- V-1008:
Kramosil, Ivan.
Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions.
Prague : ICS AS CR, 2007. 8 s.
- V-1007:
Lanzendörfer, Martin.
Modifikace FEC – dynamická kontaktní úloha v lineární vazkopružnosti se třením.
Prague : ICS AS CR, 2007. 9 s.
- V-1006:
Lanzendörfer, Martin – Daněk, Josef.
Aplikace FEC v biomechanice kolenního kloubu.
Prague : ICS AS CR, 2007. 15 s.
- V-1005:
Nedoma, Jiří – Daněk, Josef.
Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach.
Prague : ICS AS CR, 2007. 27 s.
- V-1004:
Šíma, Jiří.
Gradient Learning in Networks of Smoothly Spiking Neurons.
Prague : ICS AS CR, 2007. 9 s.
- V-1003 a LSS 315/07:
Novák, Mirko – Votruba, Z – Brandejský, T.
Aliance v heterogenních sítích.
Praha : ICS AS CR + LSS FD ČVUT, 2007. 21 s.
- V-1002:
Hartman, J – Lukšan, Ladislav.
Implementace automatického derivování v systému UFO.
Prague : ICS AS CR, 2007. 37 s.
- V-1001:
Kramosil, Ivan.
Possibilistic Entropy Functions.
Prague : ICS AS CR, 2007. 11 s.
- V-1000:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Subroutines for Large-Scale Nonlinear Programming.
Prague : ICS AS CR, 2007. 10 s.
- V-999:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
New Subroutines for Large-Scale Optimization.
Prague : ICS AS CR, 2007. 55 s.
- V-998:
Fabián, Zdeněk.
Geometry in the Data Space.
Prague : ICS AS CR, 2007. 7 s.
- V-997:
Fabián, Zdeněk.
Johnson System of Parametric Families.
Prague : ICS AS CR, 2007. 10 s.
- V-996:
Fabián, Zdeněk.
New Measures of Central Tendency and Variability of Continuous Distributions.
Prague : ICS AS CR, 2007. 13 s.
- V-995:
Klán, Petr.
WEB Processor for Measuring, Control and Synchronization.
Prague : ICS AS CR, 2007. 30 s.
- V-994:
Klán, Petr.
Handbook for Non-U.S. Intel ISEF Finalists.
Prague : ICS AS CR, 2007. 30 s.
- V-993:
Hlaváček, Ivan.
Mortarové konečné prvky a jejich aplikace na kontaktní úlohy.
Prague : ICS AS CR, 2007. 12 s.
- V-992:
Hartman, J – Lukšan, Ladislav – Zítko, J.
Automatic Differentiation and its Program Realization.
Prague : ICS AS CR, 2007. 14 s.
- V-991:
Žák, Stanislav.
A Lower Bound Technique for Restricted Branching Programs (version G).
Prague : ICS AS CR, 2007. 7 s.
- V-990:
Daněk, Josef.
Výsledky numerického modelování zatížení keramické náhrady kolenního kloubu.
Prague : ICS AS CR, 2007. 59 s.
- V-989:
Novák, Mirko.
Časové závislosti funkcí systémových aliancí.
Prague : ICS AS CR, 2007. 30 s.
- V-988:
Lukšan, Ladislav – Rozložník, Miroslav – Tůma, Miroslav.
Programy pro řešení rovnic chemické kinetiky.
Prague : ICS AS CR, 2006. 34 s.
- V-987:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Interior Point Methods for Minimization of Composite Nonsmooth Functions.
Prague : ICS AS CR, 2006. 10 s.
- V-986:
Neruda, Roman – Slušný, Stanislav.
Evolving Neural Networks which Control a Simple Robotic Agent.
Prague : ICS AS CR, 2006. 14 s.
- V-985:
Kramosil, Ivan.
Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part II.
Prague : ICS AS CR, 2006. 66 s.
- V-984:
Nedoma, Jiří – Tomášek, Luboš.
Zatížení trubkovité kosti vyplněné kostní dření: numerické řešení 2D modelové úlohy.
Prague : ICS AS CR, 2006. 6 s.
- V-983:
Daněk, Josef – Stehlík, J – Nedoma, Jiří – Hlaváček, Ivan.
Výsledky numerického modelování zatíženého kolenního kloubu a jeho náhrada s uvažováním kolenního pouzdra.
Prague : ICS AS CR, 2006. 68 s.
- V-982:
Daněk, Josef.
Problematika přípravy 3D sítě pro metodu konečných prvků s využitím medicínských obrazových dat a následné možné způsoby vizualizace výsledků.
Prague : ICS AS CR, 2006. 19 s.
- V-981:
Nedoma, Jiří.
Matematický model zatěžování kolenního systému časově proměnnými silami.
Prague : ICS AS CR, 2006. 25 s.
- V-980:
Lanzendörfer, Martin.
Modifikace FEC – kód pro dynamickou kontaktní úlohu v lineární pružnosti.
Prague : ICS AS CR, 2006. 16 s.
- V-979:
Žák, Stanislav.
A Lower Bound Technique for Restricted Branching Programs (version F).
Prague : ICS AS CR, 2006. 6 s.
- V-978:
Fabián, Zdeněk.
New Measures of Central Tendency and Variability of Continuous Distributions.
Prague : ICS AS CR, 2006. 14 s.
- V-977:
Lukšan, Ladislav – Tůma, Miroslav – Hartman, J – Vlček, Jan – Ramešová, Nina – Šiška, M – Matonoha, Ctirad.
UFO 2006. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2006. 265 s.
- V-976:
Kainen, P.C – Kůrková, Věra – Sanguineti, M.
Rates of Approximation of Smooth Functions by Gaussian Radial-Basis Networks.
Prague : ICS AS CR, 2006. 10 s.
- V-975:
Wiedermann, Jiří – Pardubská, D.
Computing by Broadcasting: Alternation in Disguise (Extended Version).
Prague : ICS AS CR, 2006. 12 s.
- V-974:
Špánek, Roman.
Web Search Engines and Linear Algebra.
Prague : ICS AS CR, 2006. 7 s.
- V-973:
Vlček, Jan – Lukšan, Ladislav.
New Class of Limited-Memory Variationally-Derived Variable Metric Methods.
Prague : ICS AS CR, 2006. 17 s.
- V-972:
Savický, Petr.
A Strong Nonrandom Pattern in Matlab Default Random Number Generator.
Prague : ICS AS CR, 2006. 19 s.
- V-971:
Fabián, Zdeněk.
Johnson Point and Johnson Variance.
Prague : ICS AS CR, 2006. 10 s.
- V-970:
Petrů, L – Wiedermann, Jiří.
A Model of an Amorphous Computer and its Communication Protocol.
Prague : ICS AS CR, 2006. 8 s.
- V-969:
Fabián, Zdeněk.
Johnson System of Parametric Families.
Prague : ICS AS CR, 2006. 11 s.
- V-968:
Kainen, P.C – Kůrková, Věra – Vogt, A.
Integral Combinations of Heavisides.
Prague : ICS AS CR, 2006. 26 s.
- V-967:
Wiedermann, Jiří.
Chtěli byste být mozkem v baňce?.
Prague : ICS AS CR, 2006. 7 s.
- V-966:
Wiedermann, Jiří.
HUGO: A Cognitive Architecture with an Incorporated World Model.
Prague : ICS AS CR, 2006. 15 s.
- V-965:
Hlaváček, Ivan.
Primárně duální metoda aktivních množin pro jednostranný kontakt pružných těles s daným třením.
Prague : ICS AS CR, 2006. 30 s.
- V-964:
Daniel, Milan.
The minC Combination of Belief Functions: Derivation and Formulas.
Prague : ICS AS CR, 2006. 19 s.
- V-963:
Fabián, Zdeněk.
Johnson Score and Characteristics of Distribution.
Prague : ICS AS CR, 2006. 15 s.
- V-962:
Frolov, A. A – Húsek, Dušan – Muraviev, I. P – Polyakov, P. A.
Boolean Factor Analysis by Hopfield-Like Autoassociative Memory: Factors Search.
Prague : ICS AS CR, 2006. 14 s.
- V-961:
Frolov, A. A – Húsek, Dušan – Muraviev, I. P – Polyakov, P. A.
Boolean Factor Analysis by Hopfield-Like Autoassociative Memory.
Prague : ICS AS CR, 2006. 19 s.
- V-959:
Stehlík, J – Vavřík, P – Daněk, Josef – Nedoma, Jiří – Hlaváček, Ivan – Denk, F.
Analysis of Axial Angle Changes in the Weight-Bearing Total Knee Replacements.
Prague : ICS AS CR, 2006. 17 s.
- V-958:
Stehlík, J – Vavřík, P – Daněk, Josef – Nedoma, Jiří – Hlaváček, Ivan – Denk, F.
Biomechanical Analysis of the Effect of Axial Angle Changes on the Weight-Bearing Total Knee Replacements.
Prague : ICS AS CR, 2006. 14 s.
- V-957:
Stehlík, J – Nedoma, Jiří.
Návrh totální náhrady kolenního kloubu s rotační polyetylénovou vložkou.
Prague : ICS AS CR, 2006. 11 s.
- V-956:
Lukšan, Ladislav – Stuchlý, J – Vlček, Jan.
Primal Interior-Point Method for Large Sparse Inequality Constrained Optimization.
Prague : ICS AS CR, 2005. 12 s.
- V-955:
Beuster, G – Neruda, Roman – Pelzer, B.
Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
Prague : ICS AS CR, 2006. 23 s.
- V-954:
Lukšan, Ladislav – Rozložník, Miroslav – Tůma, Miroslav.
Programy pro řešení rovnic chemické rovnováhy.
Prague : ICS AS CR, 2005. 62 s.
- V-953:
Savický, Petr – Šíma, Jiří – Žák, Stanislav.
An Explicit Polynomial Size Hitting Set for Restricted 1-Branching Programs Width 3.
Prague : ICS AS CR, 2005. 8 s.
- V-952:
Kramosil, Ivan.
Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part I.
Prague : ICS AS CR, 2005. 55 s.
- V-951:
Nedoma, Jiří – Hlaváček, Ivan – Daněk, Josef – Lanzendörfer, Martin.
Matematické modely umělých náhrad kloubů ve vazbě na navigované operační techniky s využitím CT a MRI. II. Algoritmy umožňující numerickou analýzu umělých náhrad kloubů ve vazbě na CT, MRI a navigovanou operační techniku.
Prague : ICS AS CR, 2005. 60 s.
- V-950:
Nedoma, Jiří.
Matematické modely umělých náhrad kloubů ve vazbě na navigované operační techniky a za použití CT a MRI. I. Dynamické zatěžování TEP a TKR, matematické 2D a 3D modely.
Prague : ICS AS CR, 2005. 45 s.
- V-949:
Linková, Zdeňka.
European Summer School in Information Retrieval ESSIR 2005.
Prague : ICS AS CR, 2006. 18 s.
- V-948:
Hrubý, Jaroslav – Andrej, Ladislav.
Kvantový šumátor a jeho testování.
Prague : ICS AS CR, 2005. 27 s.
- V-947:
Neruda, Roman – Vaculín, Roman.
Concept Nodes Architecture within the Bang3 System.
Prague : ICS AS CR, 2005. 11 s.
- V-945:
Jiřina, Marcel – Jiřina jr., M.
Correlation Dimension-Based Classifier.
Prague : CTU + ICS AS CR, 2006. 15 s.
- V-944:
Wiedermann, Jiří – Pardubská, D.
On the Power of Broadcasting in Mobile Computing.
Prague : ICS AS CR, 2005. 15 s.
- V-943:
Rydvan, Pavel.
Schemes of Multiagent Systems.
Prague : ICS AS CR, 2005. 8 s.
- V-942:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Trust-region Interior-Point Method for Large Sparse l1 Optimization.
Prague : ICS AS CR, 2005. 18 s.
- V-941:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Primal Interior-Point Method for Large Sparse Minimax Optimization.
Prague : ICS AS CR, 2005. 25 s.
- V-940:
Duintjer Tebbens, Jurjen – Tůma, Miroslav.
Preconditioner Updates for Solving Sequences of Large and Sparse Nonsymmetric Linear Systems.
Prague : ICS AS CR, 2005. 19 s.
- V-939:
Běhounek, Libor – Cintula, Petr.
Fuzzy Class Theory: A Primer v1.0.
Prague : ICS AS CR, 2006. 20 s.
- V-938:
Linková, Zdeňka – Nedbal, Radim.
Building Ontologies for GIS – Part 2.
Prague : ICS AS CR, 2005. 12 s.
- V-937:
Hájek, Petr.
One More Variety in Fuzzy Logic: Quasihoops.
Prague : ICS AS CR, 2005. 6 s.
- V-936:
Jiřina, Marcel – Jiřina jr., M.
Measures and Characteristics of Classification Quality.
Prague : CTU + ICS AS CR, 2005. 17 s.
- V-935:
Kudová, Petra – Šidlofová, Terezie.
Sum and Product Kernel Regularization Networks.
Prague : ICS AS CR, 2005. 18 s.
- V-934:
Daniel, Milan.
On Probabilistic Transformations of Belief Functions.
Prague : ICS AS CR, 2005. 14 s.
- V-933:
Andrey, Ladislav.
Chaotic Dynamics in Simple Neuronal Systems – Theory and Applications.
Prague : ICS AS CR, 2005. 27 s.
- V-932:
Linková, Zdeňka – Nedbal, Radim – Řimnáč, Martin.
Building Ontologies for GIS.
Prague : ICS AS CR, 2005. 9 s.
- V-931:
Nedoma, Jiří.
Rozbor faktorů ovlivňujících funkci přirozeného a umělého kloubu s ohledem na potřeby matematického modelování.
Prague : ICS AS CR, 2005. 32 s.
- V-930:
Lukšan, Ladislav.
Numerické optimalizační metody.
Prague : ICS AS CR, 2005. 262 s.
- V-929:
Wiedermann, Jiří.
Autopoietic Automata.
Prague : ICS AS CR, 2005. 10 s.
- V-928:
Juruš, Pavel – Máj, Petr.
Statistiky web serveru MEDARD-ONLINE rok 2004.
Prague : ICS AS CR, 2005. 16 s.
- V-927:
Halenka, T – Brechler, J – Eben, Kryštof.
Troposférický ozón.
Prague : ICS AS CR, 2004. 35 s.
- V-926:
Eben, Kryštof – Juruš, Pavel – Belda, Michal.
Modeling Wind Speed in the Lower PBL.
Prague : ICS AS CR, 2004. 6 s.
- V-925:
Linková, Zdeňka.
The Logic Summer School 2004.
Prague : ICS AS CR, 2005. 10 s.
- V-924:
Coufal, David.
Representation of Continuous Archimedean Radial Fuzzy Systems.
Prague : ICS AS CR, 2004. 14 s.
- V-923:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Hartman, J – Matonoha, Ctirad.
UFO 2004. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2004. 227 s.
- V-922:
Linková, Zdeňka.
Data Integration in VirGIS and in the Semantic Web.
Prague : ICS AS CR, 2005. 11 s.
- V-921:
Hlaváček, Ivan.
Mixed Finite Element Analysis of Semi-Coercive Unilateral Contact Problem with Given Friction.
Prague : ICS AS CR, 2004. 14 s.
- V-919:
Jiřina, Marcel – Jiřina jr., M.
Feature Selection by Reodering According to their Weights.
Prague : CTU + ICS AS CR, 2004. 7 s.
- V-918:
Rohn, Jiří.
Problém lineární komplementarity a kvadratické programování (stručný učební text). [The Linear Complementarity Problem and Quadratic Programming (A Brief Introductory Text).]
Prague : ICS AS CR, 2004. 11 s.
- V-917:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Interior Point Methods for Large-Scale Nonlinear Programming.
Prague : ICS AS CR, 2004. 15 s.
- V-916:
Lukšan, Ladislav – Vlček, Jan.
Variable Metric Method for Minimization of Partially Separable Nonsmooth Functions.
Prague : ICS AS CR, 2005. 12 s.
- V-915:
Lukšan, Ladislav – Vlček, Jan.
Efficient Methods for Large-Scale Unconstrained Optimization.
Prague : ICS AS CR, 2004. 24 s.
- V-914:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
A Shifted Steihaug-Toint Method for Computing a Trust-Region Step.
Prague : ICS AS CR, 2004. 9 s.
- V-913:
Jiřina, Marcel – Jiřina jr., M.
Features of Nearest Neighbors Distances in High-Dimensional Space.
Prague : CTU + ICS AS CR, 2004. 13 s.
- V-912:
Cintula, Petr.
Weakly Implicative (Fuzzy) Logics.
Prague : ICS AS CR, 2004. 27 s.
- V-911:
Rohn, Jiří.
A Method for Handling Dependent Data in Interval Linear Systems.
Prague : ICS AS CR, 2004. 7 s.
- V-910:
Rohn, Jiří.
Linear Interval Equations: Midpoint Preconditioning may Produce a 100 Percent Overestimation for Arbitrarily Narrow Data Even in Case n=4.
Prague : ICS AS CR, 2004. 8 s.
- V-909:
Holeňa, Martin.
A Relational Framework for Data Mining.
Prague : ICS AS CR, 2004. 21 s.
- V-908:
Šíma, Jiří.
Tristrips on Hopfield Networks.
Prague : ICS AS CR, 2004. 8 s.
- V-907:
Wiedermann, Jiří.
Coupling Computational and Non-Computational Processes: Minimal Artificial Life.
Prague : ICS AS CR, 2004. 11 s.
- V-906:
Kůrková, Věra.
Supervised Learning as an Inverse Problem.
Prague : ICS AS CR, 2004. 7 s.
- V-905:
Rohn, Jiří.
Lineární algebra a optimalizace na slidech. [Linear Algebra and Optimization on Slides.]
Prague : ICS AS CR, 2004. 456 s.
- V-904:
Šidlofová, Terezie.
Minimization Problems with Fourier Based Stabilizers.
Prague : ICS AS CR, 2004. 6 s.
- V-903:
Jiřina, Marcel – Hakl, František.
Study of Undeterministic Methods for Data Separation in Physics.
Prague : ICS AS CR, 2003. 33 s.
- V-902:
Jiřina, Marcel.
Probability Density Estimation Classifier Based on Sample Distances.
Prague : CTU + ICS AS CR, 2003. 10 s.
- V-901:
Kůrková, Věra – Sanguineti, M.
Learning with Generalization Capability by Kernel Methods of Bounded Complexity.
Prague : ICS AS CR, 2003. 16 s.
- V-900:
Kainen, P.C – Kůrková, Věra – Vogt, A.
A Sobolev-Type Upper Bound for Rates of Approximatoin by Linear Combinations of Plane Waves.
Prague : ICS AS CR, 2004. 11 s.
- V-899:
Vlček, Jan – Lukšan, Ladislav.
Additional Properties of Shifted Variable Metric Methods.
Prague : ICS AS CR, 2004. 16 s.
- V-898:
Cullum, J – Tůma, Miroslav.
Matrix-Free Preconditioning using Partial Matrix Estimation.
Prague : ICS AS CR, 2004. 15 s.
- V-897:
Lukšan, Ladislav – Vlček, Jan.
Test Problems for Unconstrained Optimization.
Prague : ICS AS CR, 2003. 26 s.
- V-896:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
LSA: Algorithms for Large-Scale Optimization.
Prague : ICS AS CR, 2004. 38 s.
- V-895:
Rohn, Jiří.
Přehled některých důležitých vět z teorie matic.
Prague : ICS AS CR, 2003. 48 s.
- V-894:
Wiedermann, Jiří.
Mirror Neurons, Embodied Cognitive Agents and Imitation Learning.
Prague : ICS AS CR, 2003. 9 s.
- V-893:
Hájek, Petr.
Fleas and Fuzzy Logic – A Survey
Prague : ICS AS CR, 2003. 5 s.
- V-892:
Strakoš, Zdeněk – Tichý, Petr.
Simple Estimation of the A-norm of the Error in the Preconditioned Conjugate Gradient Method.
Prague : ICS AS CR, 2003. 36 s.
- V-891:
Hájek, Petr – Harmancová, Dagmar.
A Note on Dempster Rule.
Prague : ICS AS CR, 2003. 5 s.
- V-890:
Daniel, Milan.
Algebraic Structures Related to the Combination of Belief Functions. The Consensus Operator and Josang’s Semigroup.
Prague : ICS AS CR, 2003. 17 s.
- V-889:
Beuster, Gerd.
Formal Reasoning in the Bang3 Multi-Agent System.
Prague : ICS AS CR, 2003. 16 s.
- V-888:
Wiedermann, Jiří.
Místo a role zrcadlových neuronů ve vtělených kognitivních systémech.
Prague : ICS AS CR, 2003. 14 s.
- V-887:
Bock, R.K – Chilingarian, A – Gaug, M – Hakl, František – Hengstebeck, T – Jiřina, Marcel – Klaschka, Jan – Kotrč, Emil – Savický, Petr – Towers, S – Vaicilius, A – Wittek, W.
Methods for Multidimensional Event Classification: A Case Study.
Prague : ICS AS CR, 2003. 31 s.
- V-886:
Beneš, Michal – Makovička, J.
Mathematical Modelling of Steam and Flue Gas Flow in a Heat Exchanger of a Steam Boiler by the Means of Continuum Mechanics.
Prague : ICS AS CR, 2002. 8 s.
- V-885:
Mikyška, J – Beneš, Michal.
Thermal Flow and Heat Transport in the Vicinity of Sources of the Geothermal Energy.
Prague : ICS AS CR, 2002. 8 s.
- V-884:
Beneš, Michal.
Diffuse Interface Model of Microstructure Formation in Solidification with Anisotropy based on Finsler Geometry.
Prague : ICS AS CR, 2002. 12 s.
- V-883:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, M – Vlček, Jan – Ramešová, Nina.
UFO 2002. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2002. 201 s.
- V-882:
Kůrková, Věra – Sanguineti, M.
Error Estimates for Approximate Optimization by the Extended Ritz Method.
Prague : ICS AS CR, 2002. 17 s.
- V-881:
Jiřina, Marcel.
All Training Samples Density Estimation Classifier.
Prague : CTU + ICS AS CR, 2002. 8 s.
- V-880:
Hakl, František.
Doktorandský den ’02.
Prague : ICS AS CR, 2002. 73 s.
- V-879:
Krušina, Pavel – Kudová, Petra – Petrová, Zuzana – Neruda, Roman.
Hybrid AI Models using Bang.
Prague : ICS AS CR, 2002. 5 s.
- V-878:
Jiřina, Marcel.
Nearest Neighbour Distance Statistics Estimation.
Prague : CTU + ICS AS CR, 2002. 12 s.
- V-877:
Fabián, Zdeněk.
Core Distance and Testing Hypotheses.
Prague : ICS AS CR, 2002. 13 s.
- V-876:
Vlček, Jan – Lukšan, Ladislav.
New Variable Metric Methods for Unconstrained Minimization Covering the Large-Scale Case.
Prague : ICS AS CR, 2002. 30 s.
- V-875:
Rohn, Jiří.
Systems of Interval Linear Equations and Inequalities (Rectangular Case).
Prague : ICS AS CR, 2002. 69 s.
- V-874:
Hájek, Petr.
Fuzzy Logic and Lindström’s Theorem.
Prague : ICS AS CR, 2002. 5 s.
- V-873:
Jiřina, Marcel – Hakl, František.
Wave Algorithm for Searching Track with Bremsstrahlung – Testing Abilities of the Method.
Prague : ICS AS CR, 2002. 23 s.
- V-872:
Daniel, Milan.
Algebraic Structures Related to the Combination of Belief Functions.
Prague : ICS AS CR, 2002. 14 s.
- V-871:
Fabián, Zdeněk.
Core Functions and Systems of Distribution.
Prague : ICS AS CR, 2002. 13 s.
- V-870:
Fabián, Zdeněk.
Center of Gravity and Information of Continuous Distribution.
Prague : ICS AS CR, 2002. 13 s.
- V-869:
Jiřina, Marcel.
Circular Regression for Approximation of Particle Tracks.
Prague : ICS AS CR, 2002. 17 s.
- V-868:
Jiřina, Marcel – Hakl, František.
The Wave Algorithm for Track Searching.
Prague : ICS AS CR, 2002. 22 s.
- V-867:
Hájek, Petr – Feglar, Tomáš – Rauch, Jan – Coufal, David.
The GUHA method, data preprocessing and mining. (Position paper.).
Prague : ICS AS CR, 2002. 5 s.
- V-866:
Wiedermann, Jiří – van Leeuwen, J.
Relativistic Computers and Non-Uniform Complexity Theory.
Prague : ICS AS CR, 2002. 10 s.
- V-865:
Kůrková, Věra – Sanguineti, M.
Tight Bounds on Rates of Variable-Basis Approximation via Estimates of Covering Numbers.
Prague : ICS AS CR, 2001. 12 s.
- V-864:
Kainen, P.C – Kůrková, Věra – Sanguineti, M.
Minimization of Error Functionals over Variable-Basis Functions.
Prague : ICS AS CR, 2002. 17 s.
- V-863:
Fabián, Zdeněk – Vajda, Igor.
Core Functions and Core Divergences of Regular Distributions.
Prague : ICS AS CR, 2002. 16 s.
- V-860:
Hlaváček, Ivan – Nedoma, Jiří.
Reliable Solution of a Unilateral Frictionless Contact Problem in Quasi-Coupled Thermo-Elasticity with Uncertain Input Data.
Prague : ICS AS CR, 2002. 10 s.
- V-859:
Hájek, Petr – Havránek, Tomáš.
Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory. Originally published by Springer-Verlag Berlin Heidelberg New York in 1978, ISBN 3-540-08738-9.
Prague : ICS AS CR, 2002. 321 s.
- V-858:
Feglar, Tomáš.
The GUHA Virtual Machine – Frameworks and Key Concept. Research Report COST 274.
Prague : ICS AS CR, 2001. 31 s.
- V-857:
Hájek, Petr.
Some Hedges for Continuous t-norm Logics.
Prague : ICS AS CR, 2001. 4 s.
- V-856:
Coufal, David.
Incremental Structure Learning of Wang Neuro-Fuzzy System.
Prague : ICS AS CR, 2001. 7 s.
- V-855:
Savický, Petr – Klaschka, Jan.
Optimally Trained Classification Trees and Occam’s Razor.
Prague : ICS AS CR, 2001. 33 s.
- V-854:
Andrey, Ladislav – Franěk, M – Rokyta, R – Vaculín, Š.
Dynamic Treatment of Pain.
Prague : ICS AS CR, 2001. 15 s.
- V-851:
Kudová, Petra.
Learning of Generalized Regularization Networks.
Prague : ICS AS CR, 2003. 6 s.
- V-850:
Andrey, Ladislav – Erzan, R.
The Sigmoidal Transfer Function and the Gain-Threshold Exponential Dependence for Neurons from Statistical Mechanics Treatment.
Prague : ICS AS CR, 2001. 7 s.
- V-849:
Wiedermann, Jiří.
On the Super-Turing Computational Power of Non-Uniform Families of Neuromata.
Prague : ICS AS CR, 2001. 6 s.
- V-848:
Jiřina, Marcel.
Radial Basis Function Neural Networks with Example Weights and LMS Linear Regression Weight Settings.
Prague : ICS AS CR, 2001. 9 s.
- V-847:
Štuller, Július.
Data Integration Inconsistencies Resulution.
Prague : ICS AS CR, 2001. 16 s.
- V-846:
Hakl, František.
Doktorandský den ’01.
Prague : ICS AS CR, 2001. 77 s.
- V-845:
Rohn, Jiří.
Lineární programování (stručný učební text). [Linear Programming (Brief Lecture Notes).]
Prague : ICS AS CR, 2001. 24 s.
- V-844:
Lukšan, Ladislav – Vlček, Jan.
Nonsmooth Equation Method for Nonlinear Nonconvex Optimization.
Prague : ICS AS CR, 2001. 12 s.
- V-843:
Wiedermann, Jiří – van Leeuwen, J.
Beyond the Turing Limit: Evolving Interactive Systems.
Prague : ICS AS CR, 2001. 15 s.
- V-842:
Berrocal, J – Nedoma, Jiří – Kestřánek, Zdeněk.
Numerical Modelling of Tectonic Evolutuin of the Wadati-Benioff Zone Beneath the Andean Region. The extended version.
Prague : ICS AS CR, 2001. 50 s.
- V-841:
Kramosil, Ivan.
A Nonstandard Modification of Dempster Combination Rule.
Prague : ICS AS CR, 2001. 10 s.
- V-839:
Wiedermann, Jiří.
Fuzzy Neuroidal Nets and Recurrent Computations.
Prague : ICS AS CR, 2001. 9 s.
- V-838:
Wiedermann, Jiří.
Fuzzy Turing Machines Revised.
Prague : ICS AS CR, 2001. 9 s.
- V-837:
Lukšan, Ladislav – Vlček, Jan.
Variable Metric Methods for Nonsmooth Optimization.
Prague : ICS AS CR, 2001. 9 s.
- V-836:
Lukšan, Ladislav – Vlček, Jan.
Interior Point Method for Nonlinear Nonconvex Optimization.
Prague : ICS AS CR, 2001. 8 s.
- V-835:
Šíma, Jiří.
Training a Sigmoid Neuron is Hard.
Prague : ICS AS CR, 2001. 12 s.
- V-834:
Drkošová, Jitka – Mayer, Petr – Štědrý, Arnošt.
Some Notes on Parallel Implementations of Solvers for Stochastic Matrices on Cluster of Workstations.
Prague : ICS AS CR, 2001. 8 s.
- V-833:
Wiedermann, Jiří – van Leeuwen, J.
Emergence of a Super-Turing Computational Potential an Artificial Living Systems.
Prague : ICS AS CR, 2001. 11 s.
- V-832:
Wiedermann, Jiří.
Superturingovský výpočetní potenciál kognitivních a evolučních systémů. [Super-Turing Computational Potential of Cognitive and Evolutionary Systems.]
Prague : ICS AS CR, 2001. 23 s.
- V-831:
Kestřánek, Zdeněk.
Description of the Finite Element Program for Contact Problem.
Prague : ICS AS CR, 2001. 36 s.
- V-830:
Kůrková, Věra – Sanguineti, M.
Covering Numbers and Rates of Neural-Network Approximation.
Prague : ICS AS CR, 2001. 7 s.
- V-829:
Beran, Martin.
Formalizing, Analyzing and Extending the Model of Bulk Synchronous Parallel Computer.
Prague : ICS AS CR, 2000. 92 s.
- V-828:
Wiedermann, Jiří.
Fuzzy Computations are more Powerful than Crisp Ones.
Prague : ICS AS CR, 2000. 13 s.
- V-827:
Krejčíř, Pavel.
Analysis of Environmental Data Using Spatial Statistics Methods.
Prague : ICS AS CR, 2000. 6 s.
- V-826:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, M – Vlček, Jan – Ramešová, Nina.
UFO 2000. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2000. 190 s.
- V-825:
Hakl, František – Kalous, R.
Vzorová složitost teorie učení a PAC modelu. [Sample’s complexity and the PAC Learning Model.]
Prague : ICS AS CR, 2000. 22 s.
- V-824:
Hakl, František.
Možnosti aproximace funkcí neuronovými sítěmi. [Approximation Properties of Neural Networks.]
Prague : ICS AS CR, 2000. 23 s.
- V-823:
Šíma, Jiří.
The Computational Theory of Neural Networks.
Prague : ICS AS CR, 2000. 31 s.
- V-822:
Nedoma, Jiří.
Numerical Solutions of Coupled Thermo-Mechanical Problems with Applications in Geomechanics.
Prague : ICS AS CR, 2001. 13 s.
- V-821:
Nedoma, Jiří – Hlaváček, Ivan.
Solution of a Semi-Coercive Contact Problem in a Non-linear Thermo-Elastic Rheology.
Prague : ICS AS CR, 2001. 8 s.
- V-820:
Nedoma, Jiří – Hlaváček, Ivan.
On a Solution of a Generalized Semi-Coercive Contact Problem in Thermo-Elasticity.
Prague : ICS AS CR, 2001. 14 s.
- V-819:
Hakl, František.
Doktorandský den ’00.
Prague : ICS AS CR, 2000. 68 s.
- V-818:
Benzi, M – Tůma, Miroslav.
A Parallel Solver for Large-Scale Markov Chains.
Prague : ICS AS CR, 2000. 39 s.
- V-817:
Bodon, E – Lukšan, Ladislav – Spedicato, E.
Computational Experiments with Linear ABS Algorithms.
Prague : ICS AS CR, 2000. 28 s.
- V-816:
Benzi, M – Kouhia, R – Tůma, Miroslav.
Stabilized and Block Approximate Inverse Preconditioners for Problems in Solid and Structural Mechanics.
Prague : ICS AS CR, 2000. 37 s.
- V-815:
Šíma, Jiří.
On the Computational Power of Continuous-Time Symmetric Hopfield Nets.
Prague : ICS AS CR, 2000. 37 s.
- V-814:
Pelikán, Emil – Eben, Kryštof – Vondráček, Jiří – Krejčíř, Pavel – Keder, Josef.
Ground Level Ozone Peak Forecasts Using Neural Networks and Kalman Filter.
Prague : ICS AS CR, 2000. 13 s.
- V-813:
Žák, Stanislav.
A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
Prague : ICS AS CR, 2000. 10 s.
- V-812:
Fabián, Zdeněk – Vajda, Igor.
Core Distance of Probability Distributions.
Prague : ICS AS CR, 2001. 9 s.
- V-811:
Honzíková, Zuzana.
Guha+- User’s Guide, v. 1.4.
Prague : ICS AS CR, 2000. 83 s.
- V-810:
Coufal, David.
GuhaManual – version 1.0.
Prague : ICS AS CR, 2000. 48 s.
- V-809:
Fabián, Zdeněk.
On Systematics of Continuous Probability Distributions.
Prague : ICS AS CR, 2000. 12 s.
- V-808:
Lukšan, Ladislav – Vlček, Jan.
Základy nehladké analýzy: Teorie a algoritmy. [Introduction to Nonsmooth Analysis: Theory and Algorithms.]
Prague : ICS AS CR, 2000. 61 s.
- V-806:
Frolov, A. A – Húsek, Dušan – Snášel, V.
Recall Time and Finite Size Effects in Densely and Sparsely Encoded Hopfield-like Autoassociative Memories.
Prague : ICS AS CR, 1999. 15 s.
- V-805:
Sirota, A – Frolov, A. A – Húsek, Dušan.
Binary Factor Analysis in Hopfield-Like Neural Networks.
Prague : ICS AS CR, 1999. 33 s.
- V-804:
Frolov, A. A – Húsek, Dušan – Muraviev, I. P.
Information Efficiency of Sparsely Encoded Hopfield-Like Autoassociative Memory.
Prague : ICS AS CR, 1999. 30 s.
- V-803:
Beneš, Michal.
Anisotropic Phase-Field Model with Focused Latent-Heat Release.
Prague : ICS AS CR, 2000. 14 s.
- V-802:
Fabián, Zdeněk.
The Parameter of Assymetry of the Transformed Beta Family.
Prague : ICS AS CR, 1999. 4 s.
- V-801:
Fabián, Zdeněk.
Induced Scores and Their Use in Robust Parametric Estimation.
Prague : ICS AS CR, 1999. 17 s.
- V-800:
Štědrý, Arnošt – Neruda, Roman – Štrupl, David – Krušina, Pavel – Petrová, Zuzana – Drkošová, Jitka.
Joyce – Cluster pracovních stanic jako paralelní výpočetní prostředek.
Prague : ICS AS CR, 1999. 10 s.
- V-799:
Neruda, Roman.
Functional Equivalence Properties of Perceptron Networks.
Prague : ICS AS CR, 1999. 6 s.
- V-798:
Lukšan, Ladislav – Vlček, Jan.
Test Problems for Nonsmooth Unconstrained and Linearly Constrained Optimization.
Prague : ICS AS CR, 2000. 32 s.
- V-797:
Lukšan, Ladislav – Vlček, Jan.
NDA: Algorithms for Nondifferentiable Optimization.
Prague : ICS AS CR, 2000. 24 s.
- V-796:
Nedoma, Jiří.
FEM Solutions of Stefan Problems in Rheology.
Prague : ICS AS CR, 1999. 57 s.
- V-795:
Kainen, P.C – Kůrková, Věra – Vogt, A.
Best Approximation by Linear Combinations of Characteristic Functions of Half-Spaces.
Prague : ICS AS CR, 1999. 6 s.
- V-794:
Andrej, Ladislav.
Kvantová informace.
Prague : ICS AS CR, 1999. 9 s.
- V-793:
Pták, Vlastimil.
Combinatorial Methods in Analysis.
Prague : ICS AS CR, 1999. 25 s.
- V-792:
Wiedermann, Jiří.
Intelligence as Large-Scale Computational Learning Phenomenon. (A Short Version).
Prague : ICS AS CR, 1999. 17 s.
- V-789:
Kůrková, Věra – Sanguineti, M.
Dimension-Independent Approximation by Neural Networks and Its Comparison With Linear Approximation.
Prague : ICS AS CR, 1999. 16 s.
- V-788:
Žák, Stanislav.
Upper Bounds for Gentle Branching Programs.
Prague : ICS AS CR, 1999. 11 s.
- V-786:
Wiedermann, Jiří.
The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa.
Prague : ICS AS CR, 1999. 14 s.
- V-785:
Hlaváček, Ivan.
Domain Decomposition Applied to s Unilateral Contact of Elastic Bodies.
Prague : ICS AS CR, 1999. 46 s.
- V-784:
Hakl, František.
Doktorandský den ’99.
Prague : ICS AS CR, 1999. 56 s.
- V-783:
Grigorieff, R. D – Sloan, I. H – Brands, J. H.
Superapproximation and Commutator Properties of Discrete Orthogonal Projections for Continuous Splines.
Prague : ICS AS CR, 1999. 20 s.
- V-782:
Brands, J. H.
Explanation of a Phenomenon Witnessed in Pre-Processed GMRES.
Prague : ICS AS CR, 1999. 8 s.
- V-781:
Šíma, Jiří – Orponen, P – Antti-Poika, T.
Some Afterthoughts on Hopfield Networks.
Prague : ICS AS CR, 1999. 10 s.
- V-780:
Lukšan, Ladislav – Spedicato, E – Vlček, Jan.
Variable Metric Methods for Unconstrained Optimization.
Prague : ICS AS CR, 1999. 50 s.
- V-779:
Lukšan, Ladislav – Vlček, Jan.
Numerical Experience with Iterative Methods for Equality Constrained Nonlinear Programming Problems.
Prague : ICS AS CR, 2000. 28 s.
- V-778:
Lukšan, Ladislav – Vlček, Jan.
Conjugate Gradient Methods for Saddle Point Systems.
Prague : ICS AS CR, 1999. 8 s.
- V-777:
Kramosil, Ivan.
Probabilistic Analysis of Dempster-Shafer Theory. Part Three.
Prague : ICS AS CR, 1999. 51 s.
- V-776:
Nedoma, Jiří.
Geodynamic Analyses of the Himalayas and the Andaman Islands Based on Mathematical Simulations of Geodynamics Processes.
Prague : ICS AS CR, 1999. 31 s.
- V-775:
Lukšan, Ladislav – Vlček, Jan.
Globally Convergent Variable Metric Method for Nonconvex Nondifferentiable Unconstrained Minimization.
Prague : ICS AS CR, 1999. 16 s.
- V-774:
Hakl, František – Saklík, T – Ohnůtek, P – Cikhart, O – Hanuš, R.
Dokumentace k objektově orientované knihovně nástrojů pro modely neuronových sítí realizujících univalentní zobrazení.
Prague : ICS AS CR, 1999. 30 s. + příloha.
- V-773:
Šíma, Jiří – Orponen, P.
A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks.
Prague : ICS AS CR, 1999. 10 s.
- V-772:
Frolov, A. A – Húsek, Dušan – Muraviev, I. P.
Attractor Basins in Sparsely Encoded Hopfield-Like Associative Memory.
Prague : ICS AS CR, 1998. 15 s.
- V-771:
Fabián, Zdeněk.
A Modified Approach to Point Estimation.
Prague : ICS AS CR, 1998. 12 s.
- V-770:
Kůrková, Věra.
Approximace funkcí neuronovými sítěmi.
Prague : ICS AS CR, 1998. 18 s.
- V-769:
Kainen, P.C – Kůrková, Věra – Vogt, A.
Geometry and Topology of Continuous Best and Near Best Approximations.
Prague : ICS AS CR, 1998. 9 s.
- V-768:
Neruda, Roman – Salač, Vladimír.
Ke kvantifikaci pravěké keramiky.
Prague : ICS AS CR, 1998. 11 s.
- V-767:
Lukšan, Ladislav – Vlček, Jan.
Sparse and Partially Separable Test Problems for Unconstrained and Equality Constrained Optimization.
Prague : ICS AS CR, 1999. 30 s.
- V-766:
Lukšan, Ladislav – Vlček, Jan.
Interactive System for Universal Functional Optimization (UFO) – Version 1998.
Prague : ICS AS CR, 1999. 182 s.
- V-765:
Paige, Ch – Strakoš, Zdeněk.
Residuals and Singular Values in Linear Least Squares Problems.
Prague : ICS AS CR, 1998. 23 s.
- V-764:
Gutknecht, M. H – Paige, Ch – Strakoš, Zdeněk.
Accuracy of Two Three-term and Three Two-term Recurrences for Krylov Space Solvers.
Prague : ICS AS CR, 1997. 21 s.
- V-762:
Hakl, František.
Doktorandský den ’98.
Prague : ICS AS CR, 1998. 59 s.
- V-761:
Hakl, František.
Doktorandský den ’97.
Prague : ICS AS CR, 1997. 27 s.
- V-760:
Štuller, Július.
Existence Conditions for the Inconsistencies in the Databases Integration.
Prague : ICS AS CR, 1998. 11 s.
- V-759:
Savický, Petr.
On Functions with Many Good Variable Orderings for Parity OBDDs.
Prague : ICS AS CR, 1998. 5 s.
- V-758:
Žák, Stanislav.
The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
Prague : ICS AS CR, 1997. 13 s.
- V-757:
Frolov, A. A – Řízek, Stanislav – Dufossé, M.
Biological Motivations for Differential Neurocontrol.
Prague : ICS AS CR, 1998. 16 s.
- V-755:
Šíma, Jiří.
Introduction to Neural Networks.
Prague : ICS AS CR, 1997. 83 s.
- V-754:
Savický, Petr.
A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs.
Prague : ICS AS CR, 1998. 11 s.
- V-753:
Hošek, M – Hakl, František.
Analýza VC-dimenze kvadratických množin.
Praha : ÚIVT AV ČR, 1998. 30 s.
- V-752:
Novický, Marek – Nedoma, Jiří.
Numerical Solution of the Incompressible Thermo-Bingham Problem.
Prague : ICS AS CR, 1998. 12 s.
- V-751:
Baštová, Alena.
The Numerical Solution of the Linear Problem of Elasticity in the Anisotropic Nonhomogeneous Material – the Method of Homogenization.
Prague : ICS AS CR, 1998. 14 s.
- V-750:
Novický, Marek – Kestřánek, Zdeněk – Nedoma, Jiří.
Dual Contact Problem in Elasticity.
Prague : ICS AS CR, 1998. 15 s.
- V-749:
Kramosil, Ivan.
Probabilistic Analysis of Dempster-Shafer Theory. Part Two.
Prague : ICS AS CR, 1998. 35 s.
- V-748:
Klán, Petr – Vlček, Jan – Wilkie, J.
On the Application of Relative Information.
Prague : ICS AS CR, 1998. 18 s.
- V-747:
Pták, Vlastimil.
Spectral Radius of Opertators on l.
Prague : ICS AS CR, 1998. 10 s.
- V-746:
Štuller, Július.
Classification of the Inconsistencies in the Databases Integration.
Prague : ICS AS CR, 1998. 11 s.
- V-745:
Rybka, Michal.
Modelování v paleontologii – úvodní skica.
Prague : ICS AS CR, 1998. 16 s.
- V-744:
Rybka, Michal.
Umělá inteligence v počítačových hrách.
Prague : ICS AS CR, 1998. 35 s.
- V-743:
Wiedermann, Jiří.
The Cogitoid: A Computational Model of Cognitive Behaviour. (Revised Version).
Prague : ICS AS CR, 1998. 17 s.
- V-742:
Wiedermann, Jiří.
Simulating the Mind: A Gauntlet Thrown to Computer Science.
Prague : ICS AS CR, 1998. 4 s.
- V-741:
Lukšan, Ladislav – Vlček, Jan.
Globally Convergent Variable Metric Method for Convex Nonsmooth Unconstrained Minimization.
Prague : ICS AS CR, 1998. 14 s.
- V-740:
Kestřánek, Zdeněk – Nedoma, Jiří.
FEC – A Code for Contact Problems in Thermoelasticity.
Prague : ICS AS CR, 1998. 12 s.
- V-739:
Nedoma, Jiří – Kestřánek, Zdeněk.
Preconditioners for Contact Problems in Elasticity.
Prague : ICS AS CR, 1998. 15 s.
- V-738:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, M – Vlček, Jan – Ramešová, Nina.
Interactive System for Universal Functional Optimization (UFO) – Version 1997.
Prague : ICS AS CR, 1997. 157 s.
- V-737:
Hájek, Petr.
Trakhtenbrot Theorem and Fuzzy Logic.
Prague : ICS AS CR, 1997. 6 s.
- V-736:
Hájek, Petr.
Basic Fuzzy Logic and BL-Algebras.
Prague : ICS AS CR, 1997. 12 s.
- V-735:
Šíma, Jiří – Červenka, Jiří.
Neural Knowledge Processing in Expert Systems.
Prague : ICS AS CR, 1997. 40 s.
- V-734:
Pelikán, Emil – Klaschka, Jan – Sláma, Marek – Eben, Kryštof – Paluš, Milan – Vondráček, Jiří.
Predikce fotochemického smogu.
Prague : ICS AS CR, 1997. 43 s.
- V-733:
Tůma, Miroslav.
A Note on the LDL T Decomposition of Sparse Symmetric Quasisemidefinite Matrices.
Prague : ICS AS CR, 1997. 14 s.
- V-732:
Frolov, A. A – Húsek, Dušan.
Pattern Matching by Sparsely Encoded Hopfield-Like Associative Memory.
Prague : ICS AS CR, 1997. 11 s.
- V-731:
Hakl, František.
Product of Matrices and P-Class.
Prague : ICS AS CR, 1997. 6 s.
- V-730:
Maryška, Jiří – Rozložník, Miroslav – Tůma, Miroslav.
The Schur Complement Systems in the Mixed Hybrid Finite Element Approximation of the Potential Fluid Flow Problem.
Prague : ICS AS CR, 1997. 18 s.
- V-729:
Harmancová, Dagmar – Holeňa, Martin – Sochorová, Anna.
Overview of the GUHA Method of Exploratory Data Analysis and Data Mining.
Prague : ICS AS CR, 1997. 12 s.
- V-728:
Žák, Stanislav.
A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
Prague : ICS AS CR, 1997. 37 s.
- V-727:
Štědrý, Arnošt.
Programové konstrukce jazyka PostScript.
Prague : ICS AS CR, 1997.
- V-726:
Kodym, Ladislav.
Distributed Implementation of the Back Propagation on the Cluster of Workstation.
Prague : ICS AS CR, 1997. 17 s.
- V-725:
Wiedermann, Jiří.
Accelerating Nondeterministic Single-Tape Off-Line Computations by One Alternation.
Prague : ICS AS CR, 1997. 13 s.
- V-724:
Nedoma, Jiří – Kestřánek, Zdeněk.
Stress-Strain Analysis Along the Profile VI Across the Bohemian Massif.
Prague : ICS AS CR, 1997. 25 s.
- V-723:
Gutknecht, M. H – Strakoš, Zdeněk.
Accuracy of Three-Terms and Two-Terms Recurrences for Krylov Space Solvers.
Prague : ICS AS CR, 1997.
- V-722:
Arioli, M – Pták, Vlastimil – Strakoš, Zdeněk.
Krylov Sequences of Maximal Length and Convergence of GMRES.
Prague : ICS AS CR, 1997. 10 s.
- V-721:
Nedoma, Jiří.
Geodynamics Analysis of the Himalayas and the Andaman Islands Based on Mathematical Simulations of Geodynamics Processes.
Prague : ICS AS CR, 1997. 47 s.
- V-720:
Nedoma, Jiří.
Dynamic Modelling of Subductional Processes in the Central Aleutians.
Prague : ICS AS CR, 1997. 32 s.
- V-719:
Lukšan, Ladislav – Vlček, Jan.
PEQN, PEQL – CGS Based Algorithms for Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1997. 16 s.
- V-718:
Lukšan, Ladislav – Vlček, Jan.
PBUN, PNEW – A Bundle-Type Algorithms for Nonsmooth Optimization.
Prague : ICS AS CR, 1997. 21 s.
- V-717:
Lukšan, Ladislav – Vlček, Jan.
PMIN – A Recursive Quadratic Programming Variable Metric Algorithm for Minimax Optimization.
Prague : ICS AS CR, 1997. 20 s.
- V-716:
Kramosil, Ivan.
Probabilistic Analysis of Dempster-Shafer Theory. Part One.
Prague : ICS AS CR, 1997. 56 s.
- V-715:
Wiedermann, Jiří.
Towards Machines That Can Think.
Prague : ICS AS CR, 1997. 21 s.
- V-714:
Kramosil, Ivan.
Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics.
Prague : ICS AS CR, 1997. 25 s.
- V-713:
Neruda, Roman.
Genetic Learning of RBF Networks with GARB.
Prague : ICS AS CR, 1997. 26 s.
- V-712:
Daniel, Milan.
A Generalization of Möbius Transformation for Knowledge Bases, which Include Rules with Disjunction in Antecedent II. General ecd knowledge bases.
Prague : ICS AS CR, 1997. 25 s.
- V-711:
Andrey, Ladislav.
Potentiality of Chaotic Behaviour in Single Neuron is Natural.
Prague : ICS AS CR, 1997. 6 s.
- V-710:
Šíma, Jiří.
Analog Stable Simulation of Discrete Neural Networks.
Prague : ICS AS CR, 1997. 8 s.
- V-709:
Hakl, František – Jiřina, Marcel.
Level-Two Triggering via a Neural Net with Linear Discriminant Functions.
Prague : ICS AS CR, 1997. 34 s.
- V-708:
Pták, Vlastimil.
Duality Methods in Čebyšev Approximation.
Prague : ICS AS CR, 1997. 7 s.
- V-707:
Hájek, Petr – Godo, L.
Deductive Systems of Fuzzy Logic (A Tutorial).
Prague : ICS AS CR, 1997. 31 s.
- V-706:
Daniel, Milan.
A Generalization of Möbius Transformation for Knowledge Bases, which Include Rules with Disjunction in Antecedent.
Prague : ICS AS CR, 1997. 35 s.
- V-705:
Pokorný, D – Sochorová, Anna – Dahlbender, R. W – Hájek, Petr – Kächele, H – Torres, L – Zöllner, M.
Do We Use Stereotypes in Our Relationship to the Others?.
Prague : ICS AS CR, 1997. 26 s.
- V-704:
Rozložník, Miroslav.
Informace o sdruženém superpočítačovém pracovišti I.C.C.C. a ÚIVT AV ČR.
Praha : ÚIVT AV ČR, 1996. nestr.
- V-703:
Hájek, Petr – Richards, B.
Managing Uncertainty in Medicine Final Report.
Prague : ICS AS CR, 1997. 34 s.
- V-702:
Štuller, Július.
Database Systems and Logic – I.
Prague : ICS AS CR, 1997. 35 s.
- V-701:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, M – Vlček, Jan – Ramešová, Nina.
Interactive System for Universal Functional Optimization (UFO) – Version 1996.
Prague : ICS AS CR, 1996. 126 s.
- V-700:
Fabián, Zdeněk.
Geometrické momenty.
Prague : ICS AS CR, 1996. 12 s.
- V-699:
Fabián, Zdeněk.
Geometric Moments.
Prague : ICS AS CR, 1996. 17 s.
- V-698:
Hakl, František.
Doktorandský den ’96.
Prague : ICS AS CR, 1996. 26 s.
- V-697:
Neruda, Roman – Štědrý, Arnošt.
Cascade Networks: Another Approach to Function Approximation.
Prague : ICS AS CR, 1996. 7 s.
- V-696:
Wiedermann, Jiří.
The Cogitoid: A Simple Model of Mind.
Prague : ICS AS CR, 1996. 15 s.
- V-695:
Kůrková, Věra.
Trade-off Between the Size of Weights and the Number of Hidden Units in Feedforward Networks.
Prague : ICS AS CR, 1996. 17 s.
- V-694:
Fabián, Zdeněk.
Information and Entropy of Continuous Random Variables.
Prague : ICS AS CR, 1996. 8 s.
- V-693:
Nedoma, Jiří.
On a Coupled Stefan-Like Problem in Thermo-Visco-Plastic Rheology.
Prague : ICS AS CR, 1996. 40 s.
- V-692:
Šebesta, Václav.
Návod na stanovení požadavků na programové vybavení.
Praha : ÚIVT AV ČR, 1996. 22 s.
- V-691:
Lukšan, Ladislav – Vlček, Jan.
Fully Iterative Indefinitely Preconditioned Algorithm for Large Sparse Equality Constrained Nonlinear Programming Problems.
Prague : ICS AS CR, 1996. 12 s.
- V-690:
Rohn, Jiří.
On Overestimations Produced by the Interval Gaussian Algorithm.
Prague : ICS AS CR, 1997. 5 s.
- V-688:
Rohn, Jiří.
Bounds on Eigenvalues of Interval Matrices.
Prague : ICS AS CR, 1996. 8 s.
- V-686:
Rohn, Jiří.
Checking Properties of Interval Matrices.
Prague : ICS AS CR, 1996. 36 s.
- V-685:
Wiedermann, Jiří.
The Cogitoid: A Computational Model of Mind.
Prague : ICS AS CR, 1996. 17 s.
- V-684:
Řízek, Stanislav – Bílková, Hana.
Annual Report – Spring 1996.
Prague : ICS AS CR, 1996. 55 s.
- V-683:
Hönig, J – Pelikán, Emil.
Experimentální programový systém NESP pro klasifikaci signálů neuronovými sítěmi. Uživatelský manuál verze 1.0.
Praha : SVT ČSAV, 1990. 24 s.
- V-682:
Hájek, Petr.
Metamathematics of Fuzzy Logic. Part I.
Prague : ICS AS CR, 1996. 76 s.
- V-679:
Savický, Petr.
Complexity and Probability of Some Boolean Formulas.
Prague : ICS AS CR, 1997. 13 s.
- V-678:
Wiedermann, Jiří.
Towards Computational Models of the Brain: Getting Started.
Prague : ICS AS CR, 1996. 33 s.
- V-677:
Kestřánek, Zdeněk – Nedoma, Jiří.
The Conjugate Protected Gradient Method – Numerical Tests and Results.
Prague : ICS AS CR, 1996. 35 s.
- V-675:
Nedoma, Jiří.
Numerical Solutions of Coupled Two-Phase Stefan-Contact Problems with Friction in Linear Thermoelasticity by Variational Inequalities. The Coersive Case.
Prague : ICS AS CR, 1996. 21 s.
- V-674:
Štuller, Július (ed.).
Supplement to the Report for the Evalution of the Institute.
Prague : ICS AS CR, 1996. 76 s.
- V-673:
Štuller, Július (ed.).
Report for the Evalution of the Institute.
Prague : ICS AS CR, 1996. 85 s.
- V-672:
Savický, Petr – Žák, Stanislav.
A Hierarchy for (1,+k)-branching programs with respect to k.
Prague : ICS AS CR, 1996. 15 s.
- V-671:
Fabián, Zdeněk.
On the Relation Between Gnostical and Probability Theories.
Prague : ICS AS CR, 1996. 13 s.
- V-670:
Fabián, Zdeněk.
Influence Function and Fisher Information of Probability Distributions.
Prague : ICS AS CR, 1996. 9 s.
- V-669:
Savický, Petr – Žák, Stanislav.
A Large Lower Bound for 1-branching Programs.
Prague : ICS AS CR, 1996. 6 s.
- V-668:
Lukšan, Ladislav – Vlček, Jan.
Computational Experience with Globally Convergent Descent Methods for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1996. 19 s.
- V-667:
Lukšan, Ladislav – Vlček, Jan.
Inexact Trust Region Methods Based on Preconditioned Iterative Subalgorithms for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1996. 18 s.
- V-666:
Rohn, Jiří – Rex, G.
Enclosing Solutions of Linear Equations.
Prague : ICS AS CR, 1996. 18 s.
- V-665:
Daniel, Milan.
Morphisms of Dempster’s Semigroup.
Prague : ICS AS CR, 1996. 19 s.
- V-664:
Novák, Mirko – Pecen, Ladislav.
Úvahy o uplatnění metod komplexní predikční diagnostiky v medicíně. [Consideration on Application of Complex predictive Diagnostics in Medicine.]
Praha : ÚIVT AV ČR, 1995. 19 s.
- V-663:
Novák, Mirko – Denksteinová, Marie.
Literární zdroje informací o neuronových sítích. [Publications on Neural Networks.]
Praha : ÚIVT AV ČR, 1995. nestr.
- V-662:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, Martin – Vlček, Jan – Ramešová, Nina.
Interactive System for Universal Functional Optimization (UFO) – Version 1995.
Prague : ICS AS CR, 1995. 117 s.
- V-661:
Zhadan, Vitali G.
Generalized of Nonlinear Programming Methods for Solving Multiobjective Optimization Problems.
Prague : ICS AS CR, 1995. 10 s.
- V-660:
Novák, Mirko.
Aspekty neurčitosti při řešení provozní spolehlivosti systémů. [Some Fuzzy Aspects in System Reliability.]
Praha : ÚIVT AV ČR, 1995. 10 s.
- V-659:
Pták, Vlastimil.
Krylov Sequences and Orthogonal Polynomials.
Prague : ICS AS CR, 1995. 10 s.
- V-658:
Pták, Vlastimil.
Norms of Matrices and Convergence of Iterative Processes.
Prague : ICS AS CR, 1996. 49 s.
- V-657:
Andrej, Ladislav.
Informace, entropie a složitost. [Information, Entropy and Complexity.]
Prague : ICS AS CR, 1995. 10 s.
- V-656:
Fabián, Zdeněk.
Geometric Moments and Geometric Moment Estimates.
Prague : ICS AS CR, 1995. 34 s.
- V-655:
Žák, Stanislav.
A Sharp Separation Below Log.
Prague : ICS AS CR, 1995. 5 s.
- V-654:
Lukšan, Ladislav – Vlček, Jan.
A Bundle-Newton Method for Nonsmooth Unconstrained Minimization.
Prague : ICS AS CR, 1996. 15 s.
- V-653:
Benzi, M – Tůma, Miroslav.
A Sparse Approximate Inverse Preconditioner for Nonsymmetric Linear Systems.
Prague : ICS AS CR, 1995. 36 s.
- V-652:
Lukšan, Ladislav – Vlček, Jan.
Efficient Algorithm for Large Sparse Equality Constrained Nonlinear Programming Problems.
Prague : ICS AS CR, 1996. 16 s.
- V-651:
Hlaváčková, Kateřina – Verleysen, M.
Feed-Forward Neural Networks and Splines for Approximation of Functions.
Prague : ICS AS CR, 1995. 14 s.
- V-650:
Hájek, Petr – Nguyen, Hoang Phuong.
Möbius Transform for CADIAG-2.
Prague : ICS AS CR, 1995. 19 s.
- V-649:
Lukšan, Ladislav – Rozložník, Miroslav.
Globally Convergent Methods for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1995. 21 s.
- V-648:
Kestřánek, Zdeněk.
Numerical Analysis of the Contact Problem. Comparison of Methods for Finding the Approximate Solution.
Prague : ICS AS CR, 1995. 57 s.
- V-647:
Savický, Petr – Žák, Stanislav.
A Lower Bound on Branching Programs Reading Some Bits Twice.
Prague : ICS AS CR, 1995. 8 s.
- V-646:
Žák, Stanislav.
A Superpolynomial Lower Bound for (1,+k(n))-Branching Programs.
Prague : ICS AS CR, 1995. 6 s.
- V-645:
Kůrková, Věra – Kainen, P.C – Kreinovich, V.
Estimates of the Number of Hidden Units and Variation with Respect to Half-Spaces.
Prague : ICS AS CR, 1995. 12 s.
- V-644:
Rohn, Jiří.
The Conjecture „P =/= NP“ and Overestimation in Bounding Solutions of Pertubed Linear Equations.
Prague : ICS AS CR, 1995. 5 s.
- V-643:
Rohn, Jiří.
Enclosing Solutions of Overdetermined Systems of Linear Interval Equations.
Prague : ICS AS CR, 1995. 7 s.
- V-642:
Rohn, Jiří.
Linear Programming with Inexact Data is NP-Hard.
Prague : ICS AS CR, 1995. 5 s.
- V-641:
Rohn, Jiří.
Validated Solutions of Nonlinear Equations.
Prague : ICS AS CR, 1995. 5 s.
- V-640:
Lukšan, Ladislav.
Numerické optimalizační metody pro úlohy bez omezujících podmínek.
Praha : ÚIVT AV ČR, 1995. 129 s.
- V-639:
Denksteinová, Marie (ed.) – Nývltová, Ludmila (ed.) – Štuller, Július (ed.) – Pešek, Daniel (ed.).
Overview List of Technical Reports and Dissertations. Completed at the Occasion of 20th Anniversary of Institute Foundation.
Prague : ICS AS CR, 1995. 87 s.
- V-638:
Fabián, Zdeněk.
Fisher Distance of Probability Measures.
Prague : ICS AS CR, 1995. 15 s.
- V-637:
Novák, Mirko – Kufudaki, Olga – Šimek, M – Růžička, P – Hrycej, David.
Rozvaha o možnostech ekonomického přínosu aplikací nových informačních technologií.
Praha : ÚIVT AV ČR, 1995. 6 s.
- V-636:
Rohn, Jiří.
Complexity of Solving Linear Interval Equations.
Prague : ICS AS CR, 1995. 7 s.
- V-635:
Pfeffer, Daniel.
Biological Signal Processing and System Identification.
Prague : ICS AS CR, 1995. 17 s.
- V-634:
Maryška, Jiří – Rozložník, Miroslav – Tůma, Miroslav.
The Potential Fluid Flow Problem and the Convergence Rate of the Minimal Residual Method.
Prague : ICS AS CR, 1995. 19 s.
- V-633:
Fabián, Zdeněk.
Information and Entropy of Continuous Random Variables.
Prague : ICS AS CR, 1995. 13 s.
- V-632:
Hájek, Petr – Harmancová, Dagmar.
Medical Fuzzy Expert Systems and Reasoning about Beliefs.
Prague : ICS AS CR, 1994. 8 s.
- V-631:
Wiedermann, Jiří.
Five New Simulation Results on Turing Machines.
Prague : ICS AS CR, 1995. 12 s.
- V-630:
Hájek, Petr.
Possibilistic Logic as Interpretability Logic.
Prague : ICS AS CR, 1995. 9 s.
- V-629:
Daniel, Milan.
Algebraic Structures Related to Dempster-Shafer Theory.
Prague : ICS AS CR, 1995. 15 s.
- V-628:
Wiedermann, Jiří.
Separating Deterministic, Nondeterministic, and Co-Nondeterministic Time Complexity Classes for Single-Tape Computations.
Prague : ICS AS CR, 1995. 13 s.
- V-627:
Božovský, Petr – Húsek, Dušan.
Information Capabilities Analysis of Recurrent Neural Network Creating Energy Function Constructively.
Prague : ICS AS CR, 1995. 5 s.
- V-626:
Kůrková, Věra – Kainen, P.C – Kreinovich, V.
Dimension-independent Rates of Approximation by Neural Networks and Variation with Respect to Half-spaces.
Prague : ICS AS CR, 1995. 6 s.
- V-625:
Šíma, Jiří – Wiedermann, Jiří.
Neural Language Acceptors.
Prague : ICS AS CR, 1995. 10 s.
- V-624:
Fabián, Zdeněk.
On the Relation Between Gnostical and Probability Theories.
Prague : ICS AS CR, 1995. 14 s.
- V-623:
Fabián, Zdeněk.
Systematics of Continuous Probability Distributions.
Prague : ICS AS CR, 1995. 19 s.
- V-622:
Benzi, M – Tůma, Miroslav.
A Comparison of Some Preconditioning Techniques for General Sparse Matrices.
Prague : ICS AS CR, 1995. 13 s.
- V-621:
Rohn, Jiří.
Linear Interval Equations: Computing Sufficiently Accurate Enclosures in NP-Hard.
Prague : ICS AS CR, 1995. 7 s.
- V-620:
Rohn, Jiří.
Validated Solutions of Linear Equations.
Prague : ICS AS CR, 1995. 11 s.
- V-619:
Rohn, Jiří.
NP-Hardness Results for Some Linear and Quadratic Problems.
Prague : ICS AS CR, 1995. 11 s.
- V-618:
Rohn, Jiří – Rex, G.
Interval P-Matrices.
Prague : ICS AS CR, 1994. 6 s.
- V-617:
Harmancová, Dagmar.
PC-GUHA Brief Manual.
Prague : ICS AS CR, 1994. 18 s.
- V-616:
Harmancová, Dagmar.
PC-GUHA uživatelská příručka.
Prague : ICS AS CR, 1994. 16 s.
- V-614:
Novák, Mirko.
Problémy archivační komprese velkých souborů dat.
Praha : ÚIVT AV ČR, 1994. 6 s.
- V-613:
Benzi, M – Meyer, C. D – Tůma, Miroslav.
A Sparse Approximate Inverse Preconditioner For The Conjugate Gradient Method.
Prague : ICS AS CR, 1995. 14 s.
- V-612:
Novák, Mirko.
Meze životnosti systémů (grant č.101/93/0430 Grantové agentury ČR).
Praha : ÚIVT AV ČR, 1994. 6 s.
- V-611:
Lukšan, Ladislav – Vlček, Jan.
Simple Scaling for Variable Metric Updates.
Prague : ICS AS CR, 1994. 5 s.
- V-610:
Húsek, Dušan – Pokorný, J – Kopecký, M.
Metody vyhledávání v textových databázích.
Prague : ICS AS CR, 1994. 25 s.
- V-609:
Maryška, Jiří.
Approximation of the Mixed-Hybrid Formulation of the Porous Media Flow Problem.
Prague : ICS AS CR, 1994. 11 s.
- V-608:
Vlček, Jan.
Bundle Algorithms for Nonsmooth Unconstrained Optimization.
Prague : ICS AS CR, 1994. 12 s.
- V-607:
Frolov, A. A – Húsek, Dušan.
On the Information Capacity of Hopfield Network.
Prague : ICS AS CR, 1994. 8 s.
- V-606:
Húsek, Dušan – Frolov, A. A.
Evaluation of the Informational Capacity of Hopfield Network by Monte Carlo Simulation.
Prague : ICS AS CR, 1994. 19 s.
- V-605:
Maryška, Jiří – Rozložník, Miroslav – Tůma, Miroslav.
Mixed-Hybrid Finite Element Approximation of the Potential Fluid Flow Problem.
Prague : ICS AS CR, 1994. 11 s.
- V-604:
Rex, G – Rohn, Jiří.
A Note on Checking Regularity of Interval Matrices.
Prague : ICS AS CR, 1994. 4 s.
- V-603:
Novák, Mirko.
Souhrnná zpráva o průběhu a výsledcích řešení grantu Grantové agentury ČR č. 101/93/0430 Teorie a metody návrhu systémů se zvýšenou spolehlivostí v za r. 1994.
Praha : ÚIVT AV ČR, 1994. 15 s.
- V-602:
Hlaváčková, Kateřina.
Some Estimates of the Approximation Error of Continuous Functions by RBF and KBF networks.
Prague : ICS AS CR, 1994. 7 s.
- V-601:
Žák, Stanislav.
The Computational Power of Bi-Greedy In-Branching Programs, and its Bounds.
Prague : ICS AS CR, 1994. 14 s.
- V-600:
Kůrková, Věra.
Approximation of Functions by Perceptron Networks with Bounded Number of Hidden Units.
Prague : ICS AS CR, 1994. 8 s.
- V-599:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, M – Ramešová, Nina.
Interactive System for Universal Functional Optimization (UFO) – Version 1994.
Prague : ICS AS CR, 1994. 111 s.
- V-598:
Fabián, Zdeněk.
On the Relation between Gnostical and Probability Theories.
Prague : ICS AS CR, 1994. 19 s.
- V-596:
Nedoma, Jiří.
Numerical Modelling of Tectonic Evolution of Collision Zones.
Prague : ICS AS CR, 1994. 32 s.
- V-595:
Rohn, Jiří.
An Algorithm for Checking Stability of Symmetric Interval Matrices.
Prague : ICS AS CR, 1994. 8 s.
- V-594:
Greenbaum, A – Pták, Vlastimil – Strakoš, Zdeněk.
Any Nonicreasing Convergence Curve is Possible for GMRES.
Prague : ICS AS CR, 1994. 9 s.
- V-593:
Pudlák, Pavel – Žák, Stanislav.
Space Complexity of Computations.
Prague : ICS AS CR, 1994. 30 s.
- V-592:
Rozložník, Miroslav – Strakoš, Zdeněk.
Variants of the Residual Minimizing Krylov Space Method.
Prague : ICS AS CR, 1994. 26 s.
- V-591:
Wiedermann, Jiří – Šíma, Jiří – Neruda, Roman.
An Optimal in-Situ Disk Sorting Algorithm Based on Heapsort.
Prague : ICS AS CR, 1994. 17 s.
- V-590:
Lukšan, Ladislav.
Numerické metody pro nepodmíněnou optimalizaci. Učební text.
Praha : ÚIVT AV ČR, 1994. 68 s.
- V-589:
Novák, Mirko.
Teorie systémů se zvýšenou odolností vůči náhlým změnám (grant č.101/93/0430 Grantové agentury ČR).
Praha : ÚIVT AV ČR, 1994. 8 s.
- V-588:
Vojáček, Martin.
Komprese obrazové informace neuronovými sítěmi.
Praha : ÚIVT AV ČR, 1994. 33 s.
- V-586:
Štuller, Július.
Some Comments on the Ordered Modified Gram-Schmidt Orthogonalization.
Prague : ÚIVT AV ČR, 1994. 18 s.
- V-585:
Kůrková, Věra.
Approximation of Functions by Neural Networks with Local and Non-Local Units.
Prague : ICS AS CR, 1994. 9 s.
- V-584:
Lukšan, Ladislav – Vlček, Jan.
Optimization of Dynamical Systems.
Prague : ICS AS CR, 1994. 18 s.
- V-583:
Fabián, Zdeněk.
Metric Random Variable, Metric Moments and Metric Moment Estimates.
Prague : ICS AS CR, 1994. 37 s.
- V-582:
Fabián, Zdeněk.
Systematics of Continuous Unimodal Probability Distributions Based on Properties of Coresponding Metric Functions (Final Version).
Prague : ICS AS CR, 1994. 22 s.
- V-581:
Fabián, Zdeněk.
Geometric Definition of Continuous Probability Space and Some its Consequences.
Prague : ICS AS CR, 1994. 10 s.
- V-580:
Šíma, Jiří.
Back Propagations is not Efficient.
Prague : ICS AS CR, 1994. 10 s.
- V-579:
Drkošová, Jitka – Greenbaum, A – Rozložník, Miroslav – Strakoš, Zdeněk.
Numerical Stability of GMRES.
Prague : ICS AS CR, 1994. 26 s.
- V-578:
Nedoma, Jiří.
On a Generalized Thermo-Magneto-Hydrodynamic Problem; A New Approach to Mantle-Core Coupling Studies.
Prague : ICS AS CR, 1994. 24 s.
- V-577:
Fabián, Zdeněk.
Introducing Geometrical Probability Theory.
Prague : ICS AS CR, 1994. 29 s.
- V-576:
Kainen, P.C – Kůrková, Věra.
Affinely Recursive Functions and Neural Networks.
Prague : ÚIVT AV ČR, 1993. 6 s.
- V-575:
Kainen, P.C – Kůrková, Věra – Kreinovich, V – Sirisengtaksin, O.
Uniqueness of Network Parametrizations and Faster Learning.
Prague : ICS AS CR, 1993. 8 s.
- V-574:
Novák, Mirko.
Souhrnná zpráva o průběhu prací na grantu č. 101/93/0430 Teorie a metody návrhu systémů se zvýšenou spolehlivostí v r. 1993.
Praha : ÚIVT AV ČR, 1994. 15 s.
- V-573:
Kufudaki, Olga – Žák, Přemysl – Harmancová, Dagmar – Hájek, Petr – Štuller, Július – Prokop, J – Javorský, Stanislav – Hrycej, David.
Zpráva o výsledcích výzkumu pro Centrum klastrové medicíny za rok 1993.
Praha : ÚIVT AV ČR, 1994. 48 s.
- V-572:
Bendová, K – Sochorová, Anna.
Uživatelský manuál programů ASSOC a IMPL metody GUHA.
Praha : ÚIVT AV ČR, 1994. 26 s.
- V-571:
Štuller, Július.
Konceptuálný model činnosti Centra clustrovej medicíny.
Praha : ÚIVT AV ČR, 1994. 26 s.
- V-570:
Lukšan, Ladislav – Tůma, Miroslav – Šiška, M – Ramešová, Nina.
Interactive System for Universal Functional Optimization (UFO) – Version 1993.
Prague : ICS AS CR, 1994. 101 s.
- V-569:
Novák, Mirko.
Základy teorie provozní spolehlivosti a opravitelnosti systémů.
Prague : ICS AS CR, 1993. 28 s.
- V-567:
Fabián, Zdeněk.
Systematics of Continuous Probability Distributions Based on Properties of Corresponding Metric Functions.
Prague : ICS AS CR, 1993. 25 s.
- V-566:
Wiedermann, Jiří.
Fast Sequential and Parallel Simulations of Nondeterministic Computations.
Prague : ICS AS CR, 1993. 13 s.
- V-564:
Tůma, Miroslav – Rozložník, Miroslav.
Porovnávání rychlosti a přesnosti řešení některých úloh lineární algebry na počítačích Silicon Graphics Crimson a Cray YMP EL.
Praha : ICS AS CR, 1993. 11 s.
- V-563:
Šíma, Jiří – Neruda, Roman.
Designing Neural Expert Systems with EXPSYS.
Prague : ICS AS CR, 1993. 22 s.
- V-562:
Fabián, Zdeněk.
Distance of Statistical Individuals.
Prague : ICS AS CR, 1993. 25 s.
- V-561:
Lukšan, Ladislav.
Hybrid Methods for Large Sparse Nonlinear Least Squares.
Prague : ICS AS CR, 1993. 23 s.
- V-560:
Golub, G. H – Strakoš, Zdeněk.
Estimates in Quadratic Formulas.
Prague : ICS AS CR, 1993. 36 s.
- V-558:
Tůma, Miroslav.
Porovnání rychlosti a přesnosti řešení nesymetrických lineárních systémů implicitní Gaussovou eliminací na výkonné výpočetní technice dostupné v AV ČR; Cray Y-MP RL a SGI Crimson s procesorem R4000.
Praha : ÚIVT AV ČR, 1993. 10 s.
- V-557:
Andrej, Ladislav – Kufudaki, Olga.
Neural Networks – Nonlinear Systems with Potentially Complex Behavior.
Prague : ICS AS CR, 1993. 8 s.
- V-556:
Tůma, Miroslav.
Solving Sparse Unsymmetric Sets of Linear Equations Based an Implicit Gauss Projection.
Prague : ÚIVT AV ČR, 1993. 28 s.
- V-555:
Lukšan, Ladislav.
Combined Trust Region Methods for Nonlinear Least Squares.
Prague : ICS AS CR, 1993. 21 s.
- V-554:
Fabián, Zdeněk.
Parametric Point Estimation on R+.
Prague : ICS AS CR, 1993. 10 s.
- V-553:
Fabián, Zdeněk.
Towards Systematization of Continuous Regular Probability Distributions.
Prague : ICS AS CR, 1993. 16 s.
- V-552:
Fabián, Zdeněk.
Metric Random Variable.
Prague : ICS AS CR, 1993. 18 s.
- V-551:
Nedoma, Jiří.
FEM Analysis of Artificial Substitutes of Human Joints and their Optimal Design.
Prague : ICS AS CR, 1993. 23 s.
- V-550:
Nedoma, Jiří.
Finite Element Analysis in Nuclear Safety.
Prague : ICS AS CR, 1993. 90 s.
- V-549:
Kočková, Sylva – Brůha, I.
CN4: An Extension of CN2 Covering Algorithm.
Prague : ICS AS CR, 1993. 13 s.
- V-548:
Rozložník, Miroslav.
A Comparison of the Biconjugate Gradient Method and Related Methods for Solving Nonsymmetric Systems of Linear Equations.
Prague : ICS AS CR, 1993. 63 s.
- V-547:
Lukšan, Ladislav.
Inexact Trust Region Method for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1993. 33 s.
- V-546:
Nedoma, Jiří.
A Nonlinear Analysis of Incompressible Pulsating Flow in the Artery System and Blood Vessels.
Prague : ICS AS CR, 1993. 21 s.
- V-545:
Lukšan, Ladislav – Šiška, Martin – Tůma, Miroslav – Ramešová, Nina.
Interactive System for Universal Functional Optimization (UFO) – version 1992.
Prague : ICS AS CR, 1993. 87 s.
- V-544:
Neruda, Roman – Hlaváčková, Kateřina.
On the Convergence of Generalized Kohonen’s Maps.
Prague : ICS AS CR, 1992. 14 s.
- V-543:
Novák, Mirko.
Koncepce systémů s mimořádnou spolehlivostí.
Praha : ÚIVT ČSAV, 1992. nestr.
- V-542:
Novák, Mirko – Šebesta, Václav.
Klestění neuronových sítí.
Praha : ÚIVT ČSAV, 1993. 17 s.
- V-541:
Novák, Mirko.
Modely neuronů s uvažováním vnitřních informačních mechanizmů.
Praha : ÚIVT ČSAV, 1992. nestr.
- V-540:
Vítková, Galina – Jelínek, J.
Predikce mimořádných stavů prostřednictvím umělých neuronových sítí.
Praha : ÚIVT ČSAV, 1992. 79 s.
- V-539:
Frolov, A. A – Řízek, Stanislav.
Control by Neural Networks.
Prague : ÚIVT ČSAV, 1992. 19 s.
- V-538:
Kůrková, Věra – Kainen, P.C.
Semigroups of Function Preserving Weight Transformations.
Prague : ÚIVT ČSAV, 1992. 14 s.
- V-535:
Novák, Michal.
The Task of High Level Decision in Second Level Triggering.
Praha : SVT ČSAV, 1992. nestr.
- V-534:
Lukšan, Ladislav.
Computational Experience with Known Variable Metric Updates.
Prague : ICS AS CR, 1992. 19 s.
- V-533:
Strakoš, Zdeněk.
Open Questions in the Convergence Analysis of the Lanczos Process for the Real Symmetric Eigenvalue Problem.
Prague : ICS AS CR, 1992. 43 s.
- V-532:
Novák, Mirko – Kufudaki, Olga – Faber, J.
Neurofyziologické přístupy k umělým neuronovým sítím.
Praha : SVT ČSAV, 1992. 105 s.
- V-531:
Jongeneel, Ch.
Multi-Algorithm ANZA User Interface. User’s and Maintenance Guide.
Praha : ÚIVT AV ČR, 1992. 22 s.
- V-530:
Jongeneel, Ch.
Prediction the Consumption of a Power Plant.
Praha : ÚIVT AV ČR, 1992. 17 s.
- V-529:
Lukšan, Ladislav – Šiška, Martin – Tůma, Miroslav.
Interactive System for Universal Functional Optimization (UFO) – version 1991.
Prague : ICS AS CR, 1992. 81 s.
- V-521:
Lukšan, Ladislav.
Teoretické základy optimalizačních metod.
Praha : ÚIVT ČSAV, 1991. 67 s.
- V-520:
Vítková, Galina.
Analýza dynamického chování elektrizační soustavy s využitím neuronových sítí.
Praha : ÚIVT ČSAV, 1972. 24 s.
- V-520:
Vítková, Galina.
Analýza dynamického chování elektrizační soustavy s využitím neuronových sítí.
Prague : ÚIVT ČSAV, 1991. 24 s.
- V-519:
Fabián, Zdeněk.
Towards Unification of Method of Statistical Estimation.
Prague : ICS AS CR, 1991. – s.
- V-517:
Nedoma, Jiří.
Simulation of the Biomechanical Function of Human Joints and Optimal Design of Their Artificial Substitutes.
Prague : ICS AS CR, 1991. 25 s.
- V-516:
Nedoma, Jiří.
Static Stress-Strain Analysis of Human Joints and Their Artificial Substitutes.
Prague : ICS AS CR, 1991. 17 s.
- V-515:
Nedoma, Jiří.
Geodynamic Processes in the Volcaically Active Regions and the Stress-Strain Monitoring of Such Regions.
Prague : ICS AS CR, 1991. 23 s.
- V-514:
Húsek, Dušan – Novák, Mirko – Kettnerová, Pavla – Duffková, Petra – Koukalová, Jindřiška.
Vědecký informační systém SIS. Uživatelská příručka.
Praha : ÚIVT ČSAV, 1991. 20 s.
- V-513:
Novák, Mirko – Faber, J.
Modeling of Some Epileptic Phenomena by Layered Artificial Neural Networks.
Prague : ÚIVT ČSAV, 1991. 12 s.
- V-511:
Švanda, Josef.
Neuronová síť s multiplexováním vstupů a impulsním signálním mechanismem.
Praha : SVT ČSAV, 1991. – s.
- V-510:
Jiřina, Marcel – Švanda, Josef.
Neuronové sítě s omezeným propojením.
Prague : ÚIVT ČSAV, 1991. 22 s.
- V-509:
Novák, Mirko – Pelikán, Emil.
Predikce potřebných příkonů energetické sítě pomocí neuronových sítí.
Prague : ÚIVT ČSAV, 1991. 15 s.
- V-508:
Nedoma, Jiří.
A Nonlinear Analysis of Pulsatile Flow in Arteries and Blood Vessels.
Prague : ICS AS CR, 1991. 29 s.
- V-507:
Nedoma, Jiří.
Biomechanics of Static and Dynamic Joints and of Human Motion. Part I, II.
Prague : ICS AS CR, 1991. 29 s.
- V-506:
Rozložník, Miroslav.
Biconjugate Gradient-Type Methods for Solving Nonsymmetric Systems of Linear Equations.
Prague : ICS AS CR, 1991. 25 s.
- V-505:
Šmejkalová, Jana.
NESP-91. Programový systém pro klasifikaci signalů neuronovými sítěmi s využitím neurokoprocesorů ANZA-Plus.
Prague : ÚIVT ČSAV, 1991. 26 s.
- V-503:
Lukšan, Ladislav.
Efficient Trust Region Method for Nonlinear Least Squares.
Prague : ÚIVT ČSAV, 1991. 22 s.
- V-502:
Andrej, Ladislav.
Entropy Production – A New Harmony Function for Hopfield – Like Networks ICIS.
Prague : ÚIVT ČSAV, 1991. 4 s.
- V-501:
Lukšan, Ladislav.
Inexact Trust Region Method for Large Sparse Nonlinear Least Squares.
Prague : ICS AS CR, 1991. 26 s.
- V-500:
Strakoš, Zdeněk.
Lanczos Algorithm, Orthogonal Polynomials and Continued Fraction.
Prague : ICS AS CR, 1991. 12 s.
- V-499:
Poupě, Jiří – Medellin, H.
Sistema Experto Para la Administracion del Sistema Nacional de Institutos Technologicos.
Prague : ÚIVT ČSAV, 1991. 18 s.
- V-498:
Lukšan, Ladislav – Šiška, Martin – Tůma, Miroslav.
Interactive System for Universal Functional Optimization UFO.
Prague : ICS AS CR, 1991. 15 s.
- V-497:
Tůma, Miroslav.
Sparse Fractioned Variable Metric Updates.
Prague : ICS AS CR, 1991. 34 s.
- V-496:
Lukšan, Ladislav.
Variationally Derived Scaling and Variable Metric Updates from the Preconvex Part of the Broyden Family.
Prague : ICS AS CR, 1991. 10 s.
- V-495:
Novák, Mirko.
Some Considerations on the Tolerances and Sensitivities of Artificial Neural Networks.
Prague : ÚIVT ČSAV, 1991. 39 s.
- V-494:
Húsek, Dušan – Lúžný, J.
Dvousměrná asociativní pamět.
Prague : ICS AS CR, 1991. 21 s.
- V-493:
Rozložník, Miroslav.
Metódy typu konjugovaných gradientov pre riešenie nesymetrických sústav lineárnych rovníc.
Praha : SVT ČSAV, 1991. 150 s.
- V-492:
Vítková, Galina – Míček, Jiří.
Knowledge Processing by Neural Networks.
Prague : ÚIVT ČSAV, 1991. 26 s.
- V-491:
Strakoš, Zdeněk.
A Note on the Rate of Convergence of the Conjugate Gradient Method and the Convergence of Ritz Values.
Prague : ICS AS CR, 1991. 17 s.
- V-490:
Húsek, Dušan – Novák, Mirko – Kettnerová, Pavla – Duffková, Petra.
Uživatelská příručka pro Vědecký informační systém SIS Střediska výpočetní techniky ČSAV.
Praha : SVT ČSAV, 1990. 20 s.
- V-489:
Lukšan, Ladislav.
A Note on Comparison of Statistical Software for Nonlinear Regression.
Prague : ICS AS CR, 1991. 4 s.
- V-488:
Lukšan, Ladislav.
Computational Experience with Improved Conjugate Gradient Methods for Unconstrained Minimization.
Prague : ICS AS CR, 1991. 15 s.
- V-487:
Hájková, Marie – Janoušek, Vít.
EQUANT PC verze 1.0. Manuál diagnostického expertního systému.
Praha : ÚIVT AV ČR, 1991. 15 s.
- V-486:
Andrej, Ladislav.
Biological Neural Networks and Stability of Memory ICIS.
Prague : ÚIVT ČSAV, 1991. 28 s.
- V-485:
Lukšan, Ladislav – Šiška, Martin – Tůma, Miroslav.
Systém UFO. Uživatelský popis (verze 1990).
Praha : SVT ČSAV, 1990. 84 s.
- V-484:
Šiška, Martin.
Preprocesor UFO. Verse 1990.
Prague : ÚIVT ČSAV, 1991. 29 s.
- V-483:
Viktorínová, Božena.
Stručné porovnanie štatistickej knižnice programov SOLO BMDP s BMDP PC-90.
Praha : SVT ČSAV, 1990. 12 s.
- V-482:
Havránek, Tomáš.
On Simple Formal Systems in Data Analysis.
Praha : SVT ČSAV, 1990. 9 s.
- V-481:
Bitzan, Pavel.
Simulace neuronových sítí.
Praha : SVT ČSAV, 1990. 11 s.
- V-480:
Šebesta, Václav.
Závěrečná zpráva o plnění hlavního úkolu III-8-10: „Programové a technické prostředky počítačových a terminálových sítí“.
Praha : SVT ČSAV, 1990. 32 s.
- V-479:
Beneš, Ladislav.
Stručný návod k obsluze terminálů systému TC 85 na osobních počítačích.
Prague : SVT ČSAV, 1990. 24 s.
- V-478:
Húsek, Dušan – Novák, Mirko.
Selected Bibliography on Neural Networks and Neurocomputers.
Prague : SVT ČSAV, 1990. 102 s.
- V-477:
Nedoma, Jiří.
Metody monitorování pole napjatosti in situ.
Praha : SVT ČSAV, 1990. 169 s.
- V-476:
Nedoma, Jiří.
Matematické modelování geodynamických procesů v litosféře, mechanismus zemětřesení a důlního otřesu.
Praha : SVT ČSAV, 1990. – s.
- V-475:
Jiřina, Marcel.
Elektricky programovatelná logická síť.
Praha : SVT ČSAV, 1990. 17 s.
- V-474:
Jiřina, Marcel.
Přehled patentovaných realizací neuronové sítě.
Praha : SVT ČSAV, 1990. 22 s.
- V-473:
Tůma, Miroslav.
Sparsity Exploitation of the Sparsity in the ABS Methods.
Prague : SVT ČSAV, 1990. 11 s.
- V-472:
Homola, Josef.
Pracoviště grafických výstupů. Možnosti realizace v podmínkách SVT ČSAV.
Praha : SVT ČSAV, 1990. 18 s.
- V-471:
Novák, Michal – Šedivý, Vladimír.
Rozvoj lokální počítačové sítě SVT ČSAV. Koncepce dalšího rozvoje.
Praha : SVT ČSAV, 1990. 9 s.
- V-470:
Homola, Josef – Pekařová, Alena – Werichová, Eva.
Hodnocení služeb výpočetní techniky zajišťovaných SVT ČSAV.
Praha : SVT ČSAV, 1990. 42 s.
- V-469:
Jiřina, Marcel.
Binární model neuronové sítě.
Praha : SVT ČSAV, 1990. 22 s.
- V-468:
Jiřina, Marcel.
Program BUM pro citlivostní analýzu výpočetních systémů pomocí uzavřených exponenciálních sítí.
Praha : SVT ČSAV, 1990. 38 s.
- V-467:
Strnad, Petr.
Zpracování výkazu odpracovaných hodin na osobním počítači.
Praha : SVT ČSAV, 1990. 16 s.
- V-465:
Nádherný, Richard.
Systém pro emulaci snímače pásky FS 1503.
Praha : SVT ČSAV, 1990. 11 s.
- V-464:
Míček, Jiří.
PŘEHLED. Sledování přepočteného stavu a pohybů pracovníků v ústavech ČSAV z hlediska osobní agendy pomocí osobních počítačů.
Praha : SVT ČSAV, 1989. 23 s.
- V-463:
Novák, Michal – Strnad, Petr.
Lokální počítačová síť SVT ČSAV a její napojení na sálový počítač EC 1045.
Praha : SVT ČSAV, 1990. 23 s.
- V-462:
Nádherný, Richard.
Obsluha terminálového operačního systému TOS-l6.
Praha : SVT ČSAV, 1990. 16 s.
- V-461:
Poupě, Jiří.
Použití desky DPP v SAPI-86.
Praha : SVT ČSAV, 1990. 8 s.
- V-460:
Beneš, Ladislav.
Provozní charakteristiky komunikačního systému terminálové sítě TC 85.
Prague : SVT ČSAV, 1989. 126 s.
- V-459:
Beneš, Ladislav.
Využití databázového systému SPECTR pro sběr statistických údajů o činnosti komunikačního procesoru.
Prague : SVT ČSAV, 1989. 37 s.
- V-458:
Cahlík, Tomáš – Hamata, Václav – Kroftová, Jarmila – Strnad, Petr.
Integrované informační systémy. Úvodní studie.
Praha : SVT ČSAV, 1989. 12 s.
- V-457:
Beneš, Ladislav – Strnad, Petr.
Možnosti přenosu dat na disketách mezi osobními počitači a sálovými počítači.
Praha : SVT ČSAV, 1989. 9 s.
- V-456:
Beneš, Ladislav.
Komunikační procesor vyššího výkonu. Úvodní studie.
Prague : SVT ČSAV, 1989. 34 s.
- V-454:
Lukšan, Ladislav – Strakoš, Zdeněk.
Řešení soustavy diferenciálních rovnic pro potřeby ÚE ČSAV.
Praha : SVT ČSAV, 1989. 12 s.
- V-451:
Lukšan, Ladislav.
Computational Experience with Improved variable Metric Methods.
Prague : ICS AS CR, 1989. 21 s.
- V-450:
Strakoš, Zdeněk – Tůma, Miroslav – Šebesta, Václav – Pastorek, Andrej – Adelsberger, Petr – Kočková, Sylva.
Výpočetní prostředky s paralelní architekturou pro vědecké výpočty.
Praha : SVT ČSAV, 1989. 125 s.
- V-446:
Míček, Jiří.
PLAST. Plánování stipendijí v ČSAV na osobních počítačích.
Praha : SVT ČSAV, 1989. 18 s.
- V-445:
Míček, Jiří.
PRIST. Evidence přístrojů v ceně nad 500000,- Kčs v ČSAV na osobních počítačích.
Praha : SVT ČSAV, 1989. 23 s.
- V-441:
Lukšan, Ladislav.
Systém UFO. Uživatelský popis (verze 1989).
Praha : SVT ČSAV, 1989. 84 s.
- V-440:
Adelsberger, Petr – Hanušová, Věra.
Reorganizace modulů ladícího systému v SVT – ČSAV.
Praha : SVT ČSAV, 1989. 27 s.
- V-438:
Vítková, Galina – Míček, Jiří – Janson, N.
Nejronnye seti v bazach znanij.
Praha : SVT ČSAV, 1989. 40 s.
- V-437:
Cahlík, Tomáš – Walter, J – Kodera, J – Málek, J.
Možnosti aplikace modelů optimalizačního řízení v podmínkách podniku při různých kritériích.
Praha : SVT ČSAV, 1989. 52 s.
- V-433:
Míček, Jiří.
ROZP. Automatizované sledování rozpočtu vybraných účtů na ústavech ČSAV pomocí osobních počítačů.
Praha : SVT ČSAV, 1989. 23 s.
- V-432:
Řízek, Stanislav.
Předzpracování apriorních podpůrných dat pro DPZ na počítačích řady JSEP.
Praha : SVT ČSAV, 1989. 20 s.
- V-431:
Novák, Mirko – Laška, I – Chlup, J – Fabián, M – Jiřina, Marcel – Valenta, J.
Materiálně-technická základna procesů informatizace.
Praha : SVT ČSAV, 1989. 60 s.
- V-430:
Hájková, Marie.
MOEBIUS – Program pro upravováná vah v pravidlově založených bázích znalostí.
Praha : SVT ČSAV, 1989. 8 s.
- V-428:
Široký, Petr.
Dotazovací jazyk SPINER databázového systému SPEKTR. Popis programů.
Praha : SVT ČSAV, 1989. 11 s.
- V-427:
Široký, Petr.
Struktura a obsah báze systému SPEKTR v SVT ČSAV.
Praha : SVT ČSAV, 1989. 14 s.
- V-426:
Nádherný, Richard.
Terminálový operační systém – TOS pro šestnáctibitové osobní počítače.
Praha : SVT ČSAV, 1989. 23 s.
- V-425:
Šedivý, Vladimír.
Kanál EC – 1045. Přenos dat s užitím přerušení.
Praha : SVT ČSAV, 1989. 19 s.
- V-424:
Blažek, Martin.
Experimenty s modelem neuronové sítě typu Back Propagation a z nich získané poznatky.
Praha : SVT ČSAV, 1989. 19 s.
- V-422:
Daniel, Milan.
Expertní systémy pro navrhování databází.
Praha : SVT ČSAV, 1989. 78 s.
- V-421:
Buzek, Otakar – Poupě, Jiří – Šedivý, Vladimír.
Struktura programového vybavení virtuálního terminálu 7920 v síti inteligentních terminálů ČSAV. Structure of Software of Virtual Terminal EC 7920 in Intelligent Terminal Network CSAV.
Praha : SVT ČSAV, 1989. 27 s.
- V-420:
Šimek, Miloslav – Lavička, Zdeněk.
Názor na technické realizace neuronových sítí.
Praha : SVT ČSAV, 1989. 62 s.
- V-418:
Húsek, Dušan.
HOPNET 2×5 experimentální model Hopfieldovy neuronové sítě.
Praha : SVT ČSAV, 1989. 52 s.
- V-417:
Kufudaki, Olga – Hořejš, Jiří.
Studie k analýze neuronových sítí (1).
Praha : SVT ČSAV, 1989. 31s.
- V-416:
Vítková, Galina – Míček Jiří.
Vyhodnocení výsledků ve formě binárních dat prostřednictvím inferenčních mechanizmů neuronových sítí.
Praha : SVT ČSAV, 1989. 30 s.
- V-415:
Švanda, Josef.
Simulace Hopfieldova modelu neuronové sítě na osmibitovém mikropočítači.
Praha : SVT ČSAV, 1989. 11 s.
- V-414:
Hrycej, David.
Neuronové sítě v problematice zpracování obrazů a vidění.
Praha : SVT ČSAV, 1989. 61 s.
- V-413:
Strnad, Petr.
Terminálový system TC 85. Přenos souborů.
Praha : SVT ČSAV, 1989. 22 s.
- V-412:
Kufudaki, Olga.
Výzkum neuronových sítí. Přehledová zpráva o činnosti pracovní skupiny v období 1988-1989.
Praha : SVT ČSAV, 1989. 13 s.
- V-411:
Široký, Petr.
Datová základna ASŘ ČSAV.
Praha : SVT ČSAV, 1989. 14 s.
- V-409:
Jiřina, Marcel.
Program JED pro citlivostní analýzu jednoduchých modelů výpočetních systémů.
Praha : SVT ČSAV, 1989. 27 s.
- V-407:
Nedoma, Jiří.
Mathematical Simulation of Function of Great Human Joints and Optimal Design of Their Substitutes. Part II. Mathematical Analysis of the Problem.
Prague : SVT ČSAV, 1989. 180 s.
- V-406:
Nedoma, Jiří – Stehlík, J.
Mathematical Simulation of Great Human Joints and Optimal Design of their Substitutes. Part I. Biomechanics, Construction and Tribology.
Prague : SVT ČSAV, 1989. 91 s.
- V-405:
Vencelides, Josef.
Evidence a rozbory kádrového, personálního a sociálniho rozvoje. Tvorba a údržba datové základny.
Praha : SVT ČSAV, 1988. 55 s.
- V-404:
Pelikán, Emil.
Model vrstvené neuronové sítě typu „zpětného šíření“ s adaptivní přenosovou funkcí.
Praha : SVT ČSAV, 1989. 40 s.
- V-403:
Pačes, Pavel.
Komunikační procesor MKP. Technické vybavení.
Praha : SVT ČSAV, 1988. 34 s.
- V-402:
Nádherný, Richard.
Řadič magnetofonu pro záznam dat na bázi SAPI 1.
Praha : SVT ČSAV, 1989. 29 s.
- V-401:
Beneš, Ladislav.
Systém sběru statistických údajů v MKP.
Prague : SVT ČSAV, 1988. 28 s.
- V-400:
Daniel, Milan.
Banky dat DPZ. (Ruský překlad).
Praha : SVT ČSAV, 1989. 41 s.
- V-398:
Hamata, Václav – Havránek, Tomáš – Hochmann, R. – Kroftová, Jarmila – Laška, I. – Novák, Mirko – Strnad, Petr – Šebesta, Václav – Štuller, Július – Valenta, J. – Vojta, P.
Soubor přednášek z 1. semináře o Integrovaných informačních a výpočetních systémech.
Praha : SVT ČSAV, 1988. 48 s.
- V-395:
Růžička, Pavel.
Optimální návrh soustav z hlediska jejich citlivostí na velké změny parametrů.
Praha : SVT ČSAV, 1989. 57 s.
- V-394:
Nekolová, Libuše – Nekola, Jan.
Programová podpora pořízení vět MTZ s protokolem.
Praha : SVT ČSAV, 1988. 14 s.
- V-393:
Jiřina, Marcel.
Citlivost u metody dvourozměrné difúzní aproximace.
Praha : SVT ČSAV, 1988. 38 s.
- V-392:
Lukšan, Ladislav.
NONEQ. Soubor programů pro řešení nelineárních rovnic.
Praha : SVT ČSAV, 1988. 11 s.
- V-391:
Tůma, Miroslav.
SPOPT – soubor programu pro řešení rozsáhlé, řídké úlohy kvadratického a lineárního programování.
Praha : SVT ČSAV, 1989. 30 s.
- V-389:
Poupě, Jiří.
Terminálový systém TC-85. Struktura programového vybavení centrálního počítače.
Praha : SVT ČSAV, 1988. 21 s.
- V-388:
Cahlík, Tomáš – Walter, J – Kodera, J – Málek, J.
Rozbor modelů složitých socioekonomických systémů s řízením.
Praha : SVT ČSAV, 1989. 52 s.
- V-387:
Jiřina, Marcel.
Odhad chyby absolutních citlivostí stanovených metodou lineární regrese.
Praha : SVT ČSAV, 1988. 25 s.
- V-385:
Řízek, Stanislav.
Programy pro ovládání výpočetně měřícího komplexu.
Praha : SVT ČSAV, 1988. 9 s.
- V-384:
Lavička, Zdeněk – Pech, Jaroslav – Řízek, Stanislav – Soudský, Ondřej – Švanda, Josef.
Programové vybavení výpočetně měřícího komplexu na bázi SAPI-1.
Praha : SVT ČSAV, 1988. 43 s.
- V-383:
Hrycej, David.
Rozšíření programového systému pro zpracování obrazu GIP-RT.
Praha : SVT ČSAV, 1988. 13 s.
- V-382:
Hrycej, David – Řízek, Stanislav.
Programové vybavení pro zpracování apriorních podpůrných dat pro DPZ.
Praha : SVT ČSAV, 1988. 35 s.
- V-381:
Adelsberger, Petr.
Instalace a parametrizace operačního systému OS/ES verse 7.1.
Praha : SVT ČSAV, 1988. 23 s.
- V-380:
Strnad, Petr.
Terminálový systém TC 85. Sledování a vyhodnocování provozu.
Praha : SVT ČSAV, 1988. 18 s.
- V-379:
Buzek, Otakar – Pačes, Pavel – Poupě, Jiří.
Možnosti nasazení displejů s formátovou obrazovkou v terminálové síti ČSAV. Possibilities of Display Usage in the Terminal Network of CSAV.
Praha : SVT ČSAV, 1988. 16 s.
- V-378:
Vencelides, Josef – Škňouřil, V.
Využívání dat podsysté „Pracovníci a mzdy“ v ČSAV.
Praha : SVT ČSAV, 1988. 14 s.
- V-377:
Hrycej, David.
Programová simulace Fukushimovy asociativní paměti se selektivním vybavováním.
Praha : SVT ČSAV, 1989. 23 s.
- V-376:
Húsek, Dušan – Smutná, Jitka.
Automatizovaný informační systém pro anotovanou bibliografii v oblasti neuronových sítí. (Automatized Informational System for Anotated Bibliography in the Field of Neural Networks).
Praha : SVT ČSAV, 1988. 64 s.
- V-375:
Jiřina, Marcel.
Odhady vlivu změn některých parametrů na celkové chování výpočetního systému.
Praha : SVT ČSAV, 1988. 17 s.
- V-373:
Hájková, Marie.
Implementace expertního systému EQUANT – PC.
Praha : SVT ČSAV, 1988. 47 s.
- V-372:
Štuller, Július.
Interaktívny systém pre konceptuálne modelovanie v databázových systémoch.
Praha : SVT ČSAV, 1988. 108 s.
- V-371:
Mantič, Vladislav.
Semianalytický prístup pre pružné izotropné osovosymetrické telesá v metóde konečných a hraničných prvkov.
Praha : SVT ČSAV, 1988. 80 s.
- V-370:
Mantič, Vladislav.
Výpočet stavu napjatosti horniny v okolí tenzonometrické sondy metodou konečných prvků.
Praha : SVT ČSAV, 1988. 102 s.
- V-369:
Strnad, Petr.
Terminalový systém TC 85. Diskový prostor s dynamickou rekonfigurací.
Praha : SVT ČSAV, 1988. 25 s.
- V-368:
Strnad, Petr.
Terminálový system TC 85. Systém zpracování dat.
Praha : SVT ČSAV, 1988. 30 s.
- V-367:
Beneš, Ladislav.
Koncepce dalšího rozvoje centrálního komunikačního procesoru.
Prague : SVT ČSAV, 1988. 22 s.
- V-366:
Beneš, Ladislav.
Multiprocesorový komunikační procesor MKP. Meziprocesorový protokol předávání zpráv.
Prague : SVT ČSAV, 1988. 12 s.
- V-365:
Beneš, Ladislav.
Linkový komunikační procesor. Programové vybavení – část II.
Prague : SVT ČSAV, 1988. 15 s.
- V-364:
Beneš, Ladislav.
Kanálový komunikační procesor. Programové vybavení – část II.
Prague : SVT ČSAV, 1988. 11 s.
- V-363:
Štuller, Július.
Dynamické aspekty v konceptuálnom modelovaní.
Praha : SVT ČSAV, 1988. 25 s.
- V-362:
Štuller, Július.
Atribút v konceptuálnom modelovaní.
Praha : SVT ČSAV, 1988. 25 s.
- V-361:
Široký, Petr.
Terminálový systém TC 85. Databázový systém spekter a jeho implementace v SVT ČSAV.
Praha : SVT ČSAV, 1988. 20 s.
- V-360:
Buzek, Otakar.
Základní koncepce virtuálního terminálu. The Basic Conception of the Virtual Terminal System.
Praha : SVT ČSAV, 1988. 23 s.
- V-359:
Strnad, Petr – Široký, P.
Terminálový system TC 85. Přístup k databázím.
Praha : SVT ČSAV, 1988. 25 s.
- V-358:
Novák, Mirko.
Názory na vnitřní informační systém neuronů. (Opinions on internal informational system of neuron).
Praha : SVT ČSAV, 1988. 16 s.
- V-357:
Hamata, Václav – Kroftová, Jarmila – Novák, Mirko – Strnad, Petr.
Studie o nasazení výpočetní techniky a vytvoření účelového integrovaného informačního systému v DP Metro n.p.
Praha : SVT ČSAV, 1988. 14 s.
- V-353:
Beneš, Ladislav – Nádherný, Richard – Pačes, Pavel – Popelářová, Olga – Poupě, Jiří – Strnad, Petr – Široký, P.
Terminálový systém TC 85. Uživatelská příručka.
Praha : SVT ČSAV, 1988. 97 s.
- V-352:
Beneš, Ladislav.
Nasazení terminálů řízených procesorem JPR-12 v systému TC-85.
Prague : SVT ČSAV, 1988. 5 s.
- V-351:
Míček, Jiří.
Automatizovaný přehled platových tříd pracovníků ústavu v soustavě ZEUMS na osobních počítačích.
Praha : SVT ČSAV, 1988. 21 s.
- V-350:
Pelikán, Emil.
BACK-PACK – soubor programů pro modelováni neuronových sítí typu perceptron.
Praha : SVT ČSAV, 1988. 26 s.
- V-348:
Beneš, Ladislav.
Jednoduchý komunikační procesor JKP-16. Programové vybavení – část II.
Prague : SVT ČSAV, 1988. 46 s.
- V-347:
Pačes, Pavel.
Jednoduchý komunikační procesor JKP – 16. Programové vybavení.
Praha : SVT ČSAV, 1988. 17 s.
- V-346:
Beneš, Ladislav – Pačes, Pavel.
Jednoduchý komunikační procesor JKP-16. Řízení provozu.
Prague : SVT ČSAV, 1988. 23 s.
- V-345:
Beneš, Ladislav – Pačes, Pavel.
Jednoduchý komunikační procesor JKP-16. Technické a programové vybaveni.
Prague : SVT ČSAV, 1988. 21 s.
- V-344:
Holeňa, Martin.
Schema databáze Centra pro trofoblastickou nemoc.
Praha : SVT ČSAV, 1988. 58 s.
- V-339:
Míček, Jiří.
Evidence článků z časopisů a knih na osobním počítači.
Praha : SVT ČSAV, 1988. 14 s.
- V-338:
Míček, Jiří.
Automatizovaný přehled platů a odměn pracovníků ústavu na osobních počítačích.
Praha : SVT ČSAV, 1988. 14 s.
- V-337:
Cahlík, Tomáš – Hamata, Václav – Kroftová, Jarmila – Míček, Jiří.
Základní rozvaha o ASŘ ústavů ČSAV.
Praha : SVT ČSAV, 1988. 8 s.
- V-335:
Poupě, Jiří.
Zaměření výzkumných prací v oblasti integrovaných informačních systémů.
Praha : SVT ČSAV, 1988. 14 s.
- V-333:
Novák, Mirko.
Aplikace principu neuronových sítí v integrovaných informačních systémech.
Praha : SVT ČSAV, 1989. 21 s.
- V-331:
Kittrich, D – Müller, J – Růžička, Pavel – Vítková, Galina.
Informační fond o programových produktech pro osobní počítače.
Praha : SVT ČSAV, 1988. 27 s.
- V-330:
Růžička, Pavel – Vítková, Galina.
Výchozí materiál pro budování informačního fondu programů pro osobní počítače.
Praha : SVT ČSAV, 1988. 19 s.
- V-329:
Vítková, Galina – Húsek, Dušan – Pokorný, J.
Interaktivní návrh relační databáze.
Praha : SVT ČSAV, 1988. 100 s.
- V-328:
Húsek, Dušan – Hořejš, Jiří – Kufudaki, Olga.
HOPNET 0 – simulace Hopfieldova modelu neuronové sítě.
Praha : SVT ČSAV, 1988. 20 s.
- V-327:
Míček, Jiří.
Základní obsluhy osobního počítače pro neprogramátory.
Praha : SVT ČSAV, 1988. 26 s.
- V-325:
Daniel, Milan.
Použití expertního systému EQUANT při návrhu konceptuálního schématu E-R modelu.
Praha : SVT ČSAV, 1988. 48 s.
- V-324:
Havránek, Tomáš.
Vyhledávání grafových modelů.
Praha : SVT ČSAV, 1987. 66 s.
- V-323:
Kufudaki, Olga – Novák, Mirko.
Současné trendy problematiky biopčítačů.Contemporary trends in problematics biocomputers.
Praha : SVT ČSAV, 1987. 66 s.
- V-322:
Hájková, Marie – Havránek, Tomáš.
Rozšířené možnosti práce s programem EQUANT.
Praha : SVT ČSAV, 1987. 13 s.
- V-320:
Míček, Jiří.
Automatizovaná evidence nákladných přístrojů nad 500000 Kčs zajišťovaná počítačem CONSUL 2714.
Praha : SVT ČSAV, 1987. 27 s.
- V-319:
Šiška, Martin.
UFO BEL v.1.0. Jazyk pro dávkové editování textů.
Praha : SVT ČSAV, 1987. 43 s.
- V-318:
Šebesta, Václav.
Programové a technické prostředky počítačových a terminálových sítí.
Praha : SVT ČSAV, 1987. 33 s.
- V-316:
Beneš, Ladislav.
Terminálový systém TC 85. Síťový a identifikačni protokol.
Prague : SVT ČSAV, 1987. 14 s.
- V-315:
Nedoma, Jiří – Hejlová, Anna.
Signoriniho úloha bez tření v lineární elasticitě.
Praha : SVT ČSAV, 1987. 16 s.
- V-314:
Bitzan, Pavel.
Teorie invariantu funkce a její použití.
Prague : SVT ČSAV, 1987. 27 s.
- V-311:
Oganesjan, Gurgen.
Doporučená pravidla pro úpravu programů ASŘ v jazyce PL/1.
Praha : SVT ČSAV, 1987. 12 s.
- V-309:
Lukšan, Ladislav – Tůma, Miroslav.
UFO – podprogramy pro operace se symetrickými maticemi.
Praha : SVT ČSAV, 1987. 28 s.
- V-308:
Růžička, Pavel.
STOCHTOL – soubor programů pro řešení úloh optimálního návrhu tolerancí metodami stochastické optimalizace.
Praha : SVT ČSAV, 1987. 86 s.
- V-307:
Cahlík, Tomáš – Walter, J – Kodera, J.
Modely v systémech řízení.
Praha : SVT ČSAV, 1987. 41 s.
- V-305:
Pačes, Pavel – Beneš, Ladislav.
Terminálový systém TC 85. Komunikační procesor MKP – struktura technického a programového vybaveni.
Prague : SVT ČSAV, 1987. 33 s.
- V-304:
Beneš, Ladislav.
Terminálový systém TC 85. Komunikační protokol linkové úrovně.
Prague : SVT ČSAV, 1987. 10 s.
- V-303:
Pačes, Pavel.
Terminálový systém TC 85.
Praha : SVT ČSAV, 1987. 27 s.
- V-302:
Krejčí, P – Pačes, Pavel.
Terminálový systém TC 85.
Praha : SVT ČSAV, 1987. 33 s.
- V-301:
Novák, Mirko – Jiřina, Marcel.
Výkonnost výpočetních systémů a metody jejího testování.
Praha : SVT ČSAV, 1987. 47 s.
- V-300:
Lukšan, Ladislav.
EIGS – soubor programů pro řešení částečného zobecněného problému vlastních čísel s řídkými symetrickými maticemi.
Praha : SVT ČSAV, 1987. 27 s.
- V-299:
Kroftová, Jarmila – Hojdar, J – Vlček, I.
Záměr vytvoření komunikačního systému pro Městský informační systém Hl.m.Prahy.
Praha : SVT ČSAV, 1988. 7 s.
- V-297:
Buzek, Otakar.
Návrh desky sériového propojení DSI.
Praha : SVT ČSAV, 1988. 16 s.
- V-296:
Holeňa, Martin.
Dynamické aspekty modelování předmětné oblasti.
Praha : SVT ČSAV, 1987. 117 s.
- V-295:
Holeňa, Martin – Húsek, Dušan – Kouba, Zdeněk – Pokorný, Jaroslav – Vítková, Galina – Štuller, Július.
Štúdia modelov pre konceptuálne modelovanie.
Praha : SVT ČSAV, 1987. 121 s.
- V-293:
Cahlík, Tomáš.
Využití mikropočítače ROBOTRON A 5130 pro automatizované zpracování agendy MTZ ústavu.
Praha : SVT ČSAV, 1987. 34 s.
- V-292:
Jiřina, Marcel.
Úlohy teorie tolerancí výpočetních systémů.
Praha : SVT ČSAV, 1987. 15 s.
- V-291:
Šebesta, Václav.
Metoda párování součástek rozdělených do tolerančních intervalů, pro optimalizaci počtu sestavených výrobků.
Praha : SVT ČSAV, 1987. 36 s.
- V-290:
Beneš, Ladislav – Novák, Mirko – Pačes, Pavel – Popelářová, Olga – Poupě, Jiří.
Koncepce rozvoje inteligentních terminalů nových generací.
Praha : SVT ČSAV, 1987. 36 s.
- V-289:
Havránek, Tomáš.
Příklad použití expertního systému EQUANT s bází znalostí pro shlukovou analýzu.
Praha : SVT ČSAV, 1987. 69 s.
- V-287:
Hejlová, Anna – Strakoš, Zdeněk.
O vlivu zaokrouhlovacích chyb na metodu konjugovaných gradientů.
Praha : SVT ČSAV, 1987. 16 s.
- V-286:
Fabián, Zdeněk.
Asociovaná náhodná veličina.
Praha : SVT ČSAV, 1987. 16 s.
- V-285:
Míček, Jiří.
Evidence článků z časopisů a knih a tisk jejich citací v odborných publikacích na počítači CONSUL 2714.
Praha : SVT ČSAV, 1987. 23 s.
- V-284:
Havránek, Tomáš.
Báze znalostí pro shlukovou analýzu v systému BMDP.
Praha : SVT ČSAV, 1987. 43 s.
- V-283:
Novák, Mirko – Laška, I – Pužman, J.
Integrované informační systémy jako nástroj pro zvýšení účinnosti řízení národního hospodářství.
Praha : SVT ČSAV, 1987. 73 s.
- V-282:
Tůma, Miroslav.
Soubor programů MATCHPAK pro kombinatorickou optimalizaci.
Praha : SVT ČSAV, 1987. 12 s.
- V-281:
Míček, Jiří.
Používání počítače ROBOTRON A 5130.
Praha : SVT ČSAV, 1987. 33 s.
- V-280:
Strakoš, Zdeněk – Kočková, Sylva.
LINEQAP – knihovna programů pro řešení soustav lineárních rovnic a inverzí matice s použitím maticového procesoru EC 2345.
Praha : SVT ČSAV, 1987. 60 s.
- V-279:
Strakoš, Zdeněk.
Metoda konjugovaných gradientů pro řešení soustav lineárních rovnic.
Praha : SVT ČSAV, 1987. 80 s.
- V-277:
Míček, Jiří.
Soubor aplikačních úloh k výběru informací ze mzdové a osobní agendy pro řízení ústavu.
Praha : SVT ČSAV, 1987. 27 s.
- V-276:
Lukšan, Ladislav.
Poznámky k používání souboru optimalizačních programů SPONA.
Praha : SVT ČSAV, 1987. 82 s.
- V-275:
Lukšan, Ladislav.
Struktura optimalizačních metod a koncepce optimalizačních programů.
Praha : SVT ČSAV, 1987. 37 s.
- V-274:
Havránek, Tomáš.
Statistické programové vybavení.
Praha : SVT ČSAV, 1987. 21 s.
- V-273:
Hrycej, David.
Využití morfologických transformací pro zpracování obrazu řetězců RNA a DNA.
Praha : SVT ČSAV, 1987. 19 s.
- V-272:
Míček, Jiří.
Využití mikropočítače ROBOTRON A 5130 ke sběru dat finančního účetnictví ústavu.
Praha : SVT ČSAV, 1987. 32 s.
- V-270:
Nádherný, Richard.
Připojení klávesnice CONSUL 259.6 k mikropočítači SAPI 1.
Praha : SVT ČSAV, 1987. 10 s.
- V-269:
Míček, Jiří.
Přehled platů. Automatizované zpracování na zařízení CONSUL 2714.
Praha : SVT ČSAV, 1987. 37 s.
- V-268:
Hrycej, David – Řízek, Stanislav – Štuller, Július.
Pořizování a zpracování apriorních podpůrných dat pro DPZ.
Praha : SVT ČSAV, 1987. 23 s.
- V-267:
Beneš, Ladislav.
Jednoduchý komunikační procesor JKP-13. Programové vybavení I.
Prague : SVT ČSAV, 1987. 31 s.
- V-266:
Lukšan, Ladislav – Šiška, Martin.
EDRIVE. Program pro řešení soustav nelineárních rovnic. Uživatelský popis.
Praha : SVT ČSAV, 1987. 20 s.
- V-265:
Lukšan, Ladislav – Šiška, M.
MDRIVE. Program pro nepodmíněnou minimalizaci. Uživatelský popis.
Praha : SVT ČSAV, 1987. 18 s.
- V-264:
Novák, Mirko – Hamata, Václav – Pavlík, Petr – Šebesta, Václav.
Návrh dalšího rozvoje výkonných výpočetních a informačních prostředků ČSAV.
Praha : SVT ČSAV, 1986. 22 s.
- V-263:
Novák, Mirko – Pračka, M.
Návrh na zařízení čs.centra pro družicový přenos dat.
Praha : SVT ČSAV, 1986. 14 s.
- V-262:
Novák, Mirko – Homola, Josef.
Stanovisko k současnému stavu nasazení a využívání výpočetních systémů EC 1045 v ČSSR.
Praha : SVT ČSAV, 1986. 10 s.
- V-261:
Růžička, Pavel.
Metody stochastické aproximace a jejich použití k řešení úloh optimálního návrhu tolerancí.
Praha : SVT ČSAV, 1986. 150 s.
- V-260:
Růžička, Pavel.
Automatizovaný informační systém pro AP ČSAV a fond INTERFAP.
Praha : SVT ČSAV, 1986. 47 s.
- V-259:
Holeňa, Martin.
Model předmětné oblasti databáze Centra pro trofoblastickou nemoc.
Praha : SVT ČSAV, 1987. 69 s.
- V-258:
Chamrád, Daniel.
Využití výpočetní a organizační techniky v právu.
Praha : SVT ČSAV, 1986. 32 s.
- V-257:
Jiřina, Marcel.
Vztah teorie citlivosti v elektrických obvodech a teorie hromadné obsluhy užívané pro modelování výpočetních systémů.
Praha : SVT ČSAV, 1986. 82 s.
- V-255:
Lukšan, Ladislav.
Procedury pro práci s knihovnami zdrojových programů napsaných v jazyce FORTRAN a FORTRAN 77.
Praha : SVT ČSAV, 1986. 23 s.
- V-254:
Nekolová, Libuše.
Dotvoření báze dat základních prosředků ČSAV a následné využití v systemu se sdílenou databází.
Praha : SVT ČSAV, 1986. 12 s.
- V-253:
Míček, Jiří.
Používání pružných disků ve výpočetním komplexu VK2M45 SVT ČSAV.
Praha : SVT ČSAV, 1986. 38 s.
- V-252:
Pelikán, Emil.
BISP – soubor programů pro bispektrálni analýzu.
Praha : SVT ČSAV, 1986.
- V-251:
Oganesjan, Gurgen.
Generátor GEPAS v operačním systému OS.
Praha : SVT ČSAV, 1986. 19 s.
- V-250:
Mantič, Vladislav.
Dodatek k popisu programového systému PROKOP – verze l.
Praha : SVT ČSAV, 1986. 55 s.
- V-249:
Hrudka, Ivan.
Návrh řízení paralelního zpracování dat v systému TC.
Praha : SVT ČSAV, 1986. 28 s.
- V-248:
Hrudka, Ivan.
Řízení uživatelských procesů v systému TC.
Praha : SVT ČSAV, 1986. 25 s.
- V-246:
Šraut, B.
Model komplexního průmyslového návrhu s možností optimalizace.
Praha : SVT ČSAV, 1986. 25 s.
- V-245:
Štuller, Július.
Informačný systém o ECS ’87.
Praha : SVT ČSAV, 1987. 48 s.
- V-244:
Štuller, Július.
Práca s IDMS DB 5.7 – IDD 3.0 – DC 2.0 na počítači VK2M45.
Praha : SVT ČSAV, 1986. 34 s.
- V-243:
Cahlík, Tomáš.
Návrh základní databáze pro AIS ÚP ČSAV. Návrh spolupráce mezi SVT a IC SAV.
Praha : SVT ČSAV, 1986. 6 s.
- V-242:
Kroftová, Jarmila.
Systém řízení ČSAV v podmínkách automatizace.
Praha : SVT ČSAV, 1986. 18 s.
- V-241:
Štuller, Július.
Návrh jazyka CSL na vytváranie konceptuálnej schémy.
Praha : SVT ČSAV, 1986. 34 s.
- V-240:
Strnad, Petr.
Perspektivy rozvoje systému zpracování dat v síti inteligentních terminálů ČSAV.
Praha : SVT ČSAV, 1986. 16 s.
- V-239:
Cahlík, Tomáš.
Vytváření vědeckého plánu. Popis jednoho z možných cílových stavů.
Praha : SVT ČSAV, 1986. 12 s.
- V-238:
Štuller, Július.
Skladanie a rozklad objektov v konceptuálnom modelovaní.
Praha : SVT ČSAV, 1986. 32 s.
- V-236:
Tůma, Miroslav.
Soubor programu COMBOPT na řešení problému kombinatorické optimalizace.
Praha : SVT ČSAV, 1986. 31 s.
- V-235:
Štuller, Július.
Klasifikácia v konceptuálnom modelovaní.
Praha : SVT ČSAV, 1986. 35 s.
- V-234:
Štuller, Július.
História a súčasnost konceptuálneho modelovania.
Praha : SVT ČSAV, 1986. 37 s.
- V-233:
Badíková, D. – Maksim, M. – Podhorský, D. – Novák, Mirko – Řízek, Stanislav – Šebesta, Václav.
Souhrnná databáze modelu území ČSSR.
Praha : SVT ČSAV + SHMU Bratislava, 1986. 11 s.
- V-232:
Jiřina, Marcel.
Metoda difúzní aproximace a citlivosti ke změně parametrů.
Praha : SVT ČSAV, 1986. 25 s.
- V-231:
Jiřina, Marcel.
Přesnost stanovení citlivosti pomocí lineární regrese.
Praha : SVT ČSAV, 1986. 12 s.
- V-230:
Hanzálek, P – Hřebíček, J – Kučera, J – Lukšan, Ladislav.
Koncepce systému UFO. Návrh realizace.
Praha : SVT ČSAV, 1986. 78 s.
- V-229:
Tůma, Miroslav.
Soubor programu GLSPACK pro řešení soustav lineárních rovnic s řídkou, symetrickou a positivně definitivní maticí.
Praha : SVT ČSAV, 1986. 34 s.
- V-227:
Hrycej, David.
Programový systém pro zpracování obrazů GIP. Verze RT.
Praha : SVT ČSAV, 1986. 26 s.
- V-226:
Jiřina, Marcel.
Globální vyváženost výpočetních systémů.
Praha : SVT ČSAV, 1985. 26 s.
- V-225:
Havránek, Tomáš.
Úvod do využívání systému BMDP’85.
Praha : SVT ČSAV, 1986. 21 s.
- V-224:
Kočková, Sylva – Šebesta, Václav.
Popis prekompilátoru maticových operací.
Praha : SVT ČSAV, 1986. 49 s.
- V-222:
Šraut, B.
Využití faktorové analýzy pro stanovení citlivostí zkoumaného systému.
Praha : SVT ČSAV, 1985. 12 s.
- V-221:
Strnad, Petr.
Porovnávání provozu terminálové sítě ČSAV na počítači EC 1040 a EC 1045.
Praha : SVT ČSAV, 1986. 18 s.
- V-220:
Nedoma, Jiří.
Tenzometrické sondy pro kontrolu prostorové napjatosti ve vrtech.
Praha : SVT ČSAV, 1986. 41 s.
- V-219:
Kočková, Sylva – Strakoš, Zdeněk.
Knihovna maticových a vektorových operací s využitím maticového procesoru EC 2345.
Praha : SVT ČSAV, 1986. 35 s.
- V-218:
Havránek, Tomáš.
Úvod do používání expertního systému EQUANT.
Praha : SVT ČSAV, 1986. 14 s.
- V-217:
Míček, Jiří.
Generátor tiskových sestav na zařízení CONSUL 2713, 2714.
Praha : SVT ČSAV, 1986. 12 s.
- V-216:
Lukšan, Ladislav.
Procedury pro práci se zdrojovými programy v jazyce FORTRAN a FORTRAN 77.
Praha : SVT ČSAV, 1986. 28 s.
- V-215:
Šebesta, Václav.
Metody pro řešení vědeckých úloh počítači. Zpráva pro závěrečné oponentní řízení hlavního úkolu III-9-1 státního plánu základního výzkumu.
SVT ČSAV : Praha, 1986. 71 s.
- V-214:
Havránek, Tomáš.
Programy pro faktorovou analýzu.
Praha : SVT ČSAV, 1986. 32 s.
- V-213:
Pačes, Pavel.
Jednoduchý komunikační procesor JKP-13. Technické vybavení.
Praha : SVT ČSAV, 1986. 32 s.
- V-212:
Kostková, Dana.
Pokyny pro operátory výpočetního komplexu VK 2 M 45 v SVT ČSAV.
Praha : SVT ČSAV, 1986. 70 s.
- V-211:
Kostková, Dana.
ROS. Příručka pro operátory.
Praha : SVT ČSAV, 1986. 124 s.
- V-210:
Míček, Jiří.
Editace obrazových formulářů a tikových výpisů v systému SIRAEL.
Praha : SVT ČSAV, 1985. 10 s.
- V-209:
Štuller, Július.
Databázové systémy v SVT ČSAV.
Praha : SVT ČSAV, 1985. 21 s.
- V-208:
Nguyen, Dinh Doanh.
Analyzátor stavu kanálů.
Praha : SVT ČSAV, 1985. 28 s.
- V-207:
Prokop, Josef.
Metody vyhodnocování signálů.
Praha : SVT ČSAV, 1985. 13 s.
- V-205:
Míček, Jiří.
KADEV. Systém se sdílenou databází.
Praha : SVT ČSAV, 1985. 16 s.
- V-204:
Poupě, Jiří.
Perspektivní terminálové systémy.
Praha : SVT ČSAV, 1985. 16 s.
- V-203:
Fabián, Zdeněk.
KAS 2 Knihovna programů pro analýzu signálů. Uživatelský manuál.
Praha : SVT ČSAV, 1985. nestr.
- V-201:
Kovářová, Milena.
Klaifikace EEG signálů.
Praha : SVT ČSAV, 1985. 33 s.
- V-200:
Vítková, Galina.
K problematice využití databázových systemů v AVV.
Praha : SVT ČSAV, 1985. 77 s.
- V-199:
Cahlík, Tomáš.
Základní techniky vývoje programů.
Praha : SVT ČSAV, 1985. 6 s.
- V-198:
Poupě, Jiří.
Řešení dílčího úkolu II-9-1/7 SPZV v průběhu let 1981-1985.
Praha : SVT ČSAV, 1985. 11 s.
- V-197:
Nedoma, Jiří.
Tektonofyzikální výzkum pohybu litosféry.
Praha : SVT ČSAV, 1985. 118 s.
- V-196:
Zamazal, Miloš.
Aplikace souboru optimalizačních programů SPONA na úlohu vedení obráběcích strojů.
Praha : SVT ČSAV, 1985. 61 s.
- V-195:
Bitzan, Pavel.
Diferenciálni rovnice časové řady.
SVT ČSAV, 1985. 16 s.
- V-194:
Strnad, Petr.
Zabezpečení dat v systému TC 84.
Praha : SVT ČSAV, 1985. 43 s.
- V-191:
Adelsberger, Petr – Hamata, Václav – Homola, Josef – Jiřina, Marcel – Novák, Mirko – Poupě, Jiří – Šebesta, Václav.
Rozvaha o prognóze rozvoje výpočetní techniky na vědecko-výzkumných pracovištích.
Praha : SVT ČSAV, 1985. 38 s.
- V-190:
Jelínek, Eduard.
Zpráva o technické a provozní spolehlivosti komplexu VK 2 M 45.
Praha : SVT ČSAV, 1985. 27 s.
- V-189:
Křížek, Josef.
Zpráva o technické a provozní spolehlivosti systému počítače EC 1040.
Praha : SVT ČSAV, 1985. 18 s.
- V-188:
Nádherný, Richard.
Inteligentní terminál na bázi mikropočítače SAPI-1.
Praha : SVT ČSAV, 1985. 26 s.
- V-187:
Míček, Jiří.
Systém se sdílenou databází.
Praha : SVT ČSAV, 1985. 28 s.
- V-186:
Kouba, Zdeněk.
Expertní systém – prostředek interaktivní konzultace člověka s počítačem.
Praha : SVT ČSAV, 1985. 58 s.
- V-184:
Strnad, Petr.
Generování systému TC 84.
Praha : SVT ČSAV, 1985. 26 s.
- V-183:
Cahlík, Tomáš.
Rozbor metodiky vývoje ASŘ.
Praha : SVT ČSAV, 1985. 22 s.
- V-182:
Míček, Jiří.
Simulace psacího stroje s pamětí. Popis a obsluha programu pro CONSUL 271.
Praha : SVT ČSAV, 1985. 34 s.
- V-181:
Strnad, Petr.
Dávkové zpracování úloh v systému TC 84.
Praha : SVT ČSAV, 1985. 35 s.
- V-180:
Poupě, Jiří.
Terminálový operační systém TOS -3.6.
Praha : SVT ČSAV, 1985. 8 s.
- V-179:
Vondráková, Jana.
Vytváření archivu programů ČSAV a mezinárodního archivu programů pro AVV.
Praha : SVT ČSAV, 1985. 54 s.
- V-178:
Tůma, Miroslav.
Algoritmické aspekty symetrického problému obchodního cestujícího.
Praha : SVT ČSAV, 1985. 34 s.
- V-177:
Strnad, Petr.
Přenesení systému TC z počítače EC 1040 na VK2M45.
Praha : SVT ČSAV, 1985. 38 s.
- V-175:
Köcher, J. – Novák, Mirko – Skalický, A. – Šebesta, Václav.
Optimalizace vyrobní výtěžnosti oběžných kol odstředivých čerpadel.
Praha : SVT ČSAV, 1986. 20 s.
- V-174:
Hamata, Václav – Novák, Mirko.
Rozpracování „Koncepce výstavby ASŘ v ČSAV a SAV v 1985 až 1990“ pro ČSAV.
Praha : SVT ČSAV, 1985. 39 s.
- V-173:
Řízek, Stanislav.
Soubor programů pro zpracování obrazů na počítačích řady JSEP.
Praha : SVT ČSAV, 1985. 19 s.
- V-172:
Hrycej, David.
Kvaziparalelní postupy zpracování binárních obrazů.
Praha : SVT ČSAV, 1985. 26 s.
- V-171:
Míček, Jiří.
ASEP. Soubor programů pro Automatizovaný systém evidence publikovaných vědeckých prací ČSAV.
Praha : SVT ČSAV, 1985. 43 s.
- V-170:
Lukšan, Ladislav – Fabián, Zdeněk – Řízek, Stanislav – Vondráková, Jana – Poupě, Jiří.
Práce na hlavním úkolu III-9-1: „Metody pro řešení vědeckých úloh počítači“ státního plánu základního výzkumu na pracovišti SVT ČSAV za rok 1984.
Praha : SVT ČSAV, 1984. 18 s.
- V-169:
Roubíček, Tomáš.
Dvourozměrný model nelineárního přenosu tepla v předlisku částí reaktorové nádoby a jeho optimální řízení.
Praha : SVT ČSAV, 1984. 19 s.
- V-167:
Strnad, Petr.
Návrh struktury a funkce výkonného modulu systému TC 85.
Praha : SVT ČSAV, 1984. 21 s.
- V-166:
Sobek, Pavel.
Začlenění mikropočítačů SMEP do sítě terminálů a výpočetně měřících komplexů ČSAV.
Praha : SVT ČSAV, 1984. 27 s.
- V-165:
Soudský, Ondřej.
Tvarová analýza archeologických nálezů.
Praha : SVT ČSAV, 1984. 23 s.
- V-164:
Řízek, Stanislav – Lavička, Zdeněk.
Rozvoj a využití výpočetně měřícího komplexu pro zpracování obrazových informací.
Praha : SVT ČSAV, 1984. 37 s.
- V-163:
Pech, Jaroslav.
Programy pro analýzu objektů v obrazech na počítačích řady JSEP.
Praha : CVS ČSAV, 1984. 29 s.
- V-162:
Schulz, J.
Možnosti využití terminálových sítí v automatizovaných systémech řízení.
Praha : SVT ČSAV, 1984. 19 s.
- V-161:
Štuller, Július.
JCL procedúry pre prácu s IDMS na počítači VK2M45.
Praha : SVT ČSAV, 1984. 19 s.
- V-160:
Štuller, Július.
JCL procedúry pre prácu s IDMS.
Praha : SVT ČSAV, 1984. 27 s.
- V-159:
Křížková, Zdeňka.
Koncepce, postupná realizace a předpokládaný rozvoj terminálové sítě ČSAV v Praze.
Praha : SVT ČSAV, 1984. 11 s.
- V-158:
Křížková, Zdeňka.
Koncepce a realizace radioreléového spojení výpočetních středisek ČSAV.
Praha : SVT ČSAV, 1984. 24 s.
- V-157:
Lavička, Zdeněk.
Systém pro analýzu cytologických preparátů.
Praha : SVT ČSAV, 1984. 45 s.
- V-156:
Beneš, Ladislav – Hrudka, Ivan – Pačes, Pavel – Poupě, Jiří – Sobek, Pavel – Strnad, Petr.
Terminálový systém TC 85. Úvodní studie.
Praha : SVT ČSAV, 1984. 20 s.
- V-155:
Sobek, Pavel.
Programová emulace kanálového rozhraní počítačů JSEP.
Praha : SVT ČSAV, 1984. 25 s.
- V-154:
Nedoma, Jiří – Šiška, Jaromír.
Přehled metod na řešení obyčejných a parciálních diferenciálních rovnic.
Praha : SVT ČSAV, 1984. 42 s.
- V-153:
Štuller, Július.
Databanka pre Archeologický ústav ČSAV.
Praha : SVT ČSAV, 1984. 49 s.
- V-152:
Strnad, Petr.
Zabezpečení dat v systému TC.
Praha : SVT ČSAV, 1984. 14 s.
- V-151:
Pelikán, Emil – Fabián, Zdeněk – Schrötterová, Pavla.
KAS2 – Knihovna programů pro analýzu signálů. Pracovní verze uživatelského manuálu zatím bez popisu algoritmů. 2.verze.
Praha : SVT ČSAV, 1983. nestr.
- V-149:
Vávra, J.
Grafický rastrový displej GD-3. Technické vybavení.
Praha : SVT ČSAV, 1983. 58 s.
- V-148:
Lukšan, Ladislav – Fabián, Zdeněk – Řízek, Stanislav – Vondráková, Jana – Poupě, Jiří.
Práce na hlavním úkolu III-9-1: „Metody pro řešení vědeckých úloh počítači“ státního plánu základního výzkumu na pracovišti SVT ČSAV za rok 1983.
Praha : SVT ČSAV, 1983. 20 s.
- V-147:
Adelsberger, Petr.
Návrh způsobů využívání diskových pamětí počítače VK 2 M 45.
Praha : SVT ČSAV, 1983. 27 s.
- V-146:
Pelikán, Emil.
PARS – soubor programů pro parametrickou spektrální analýzu časových řad.
Praha : SVT ČSAV, 1983. 44 s.
- V-144:
Roubíček, Tomáš.
Optimální řízení jednorozměrného modelu přenosu tepla a tepelné napjatosti ve výkovku.
Praha : SVT ČSAV, 1983. 18 s.
- V-142:
Novák, Mirko – Šebesta, Václav.
Teorie tolerancí, její metody a uplatnění.
Praha : SVT ČSAV, 1983. 21 s.
- V-141:
Nádherný, Richard.
Sériový interface s obvodem 8251 pro JPR-12.
Praha : SVT ČSAV, 1983. 33 s.
- V-140:
Šebesta, Václav.
SYNTOL. Soubor programů pro výpočet tolerancí /popis podprogramů/.
Praha : SVT ČSAV, 1983. 101 s.
- V-139:
Beneš, Ladislav – Poupě, Jiří.
Komunikační procesory pro účelové sítě počítačů.
Prague : SVT ČSAV, 1983. 20 s.
- V-138:
Vlček, Jan.
Metody pro nepodmíněnou minimalizaci s malými paměťovými nároky.
Praha : SVT ČSAV, 1984. 13 s.
- V-137:
Lukšan, Ladislav.
Kompaktní algoritmus s proměnnou metrikou pro nelineární minimaxovou aproximaci.
Praha : SVT ČSAV, 1983. 30 s.
- V-136:
Lukšan, Ladislav.
Duální metoda pro řešení speciální úlohy kvadratického programování, která se používá při nelineární minimaxové aproximaci s lineárními ohraničeními.
Praha : SVT ČSAV, 1983. 19 s.
- V-135:
Kočková, Sylva – Lukšan, Ladislav.
LINEAL. Programy pro přibližná řešení soustavy lineárních rovnic (dodatky k 31.12.1982).
Praha : SVT ČSAV, 1983. 46 s.
- V-134:
Vávra, J.
Grafický rastrový displej GD-3. Základní informace.
Praha : SVT ČSAV, 1983. 34 s.
- V-133:
Řízek, Stanislav – Lavička, Zdeněk.
Přenos digitalizovaného obrazu ze zařízení DENSITRON do počítačů SM-3 a EC 1040.
Praha : SVT ČSAV, 1983. 22 s.
- V-132:
Lukšan, Ladislav – Kučera, J – Hřebíček, Jiří.
Koncepce systému UFO (Univerzální funkcionální optimalizace).
Praha : SVT ČSAV + Brno : Ústav fyzikální metalurgie ČSAV, 1983. 28 s.
- V-130:
Řízek, Stanislav.
Programy pro přenos dat mezi počítači řady JSEP a SMEP.
Praha : SVT ČSAV, 1983. 22 s.
- V-129:
Lukšan, Ladislav.
Duální metoda pro řešení speciální úlohy kvadratického programování, která se používá při nelineární minimaxové aproximaci.
Praha : SVT ČSAV, 1983. 30 s.
- V-128:
Poupě, Jiří.
Programově řízené terminálové systémy.
Praha : SVT ČSAV, 1983. 18 s.
- V-127:
Novák, Mirko.
Problematika tolerancí parametrů, spolehlivosti a životnosti soustav.
Praha : SVT ČSAV, 1983. 40 s.
- V-126:
Novák, Mirko – Šimek, Miloslav – Šiška, Jaromír.
Analýza oblasti přijatelnosti u logických funkčních bloků.
Praha : SVT ČSAV, 1983. 46 s.
- V-125:
Lukšan, Ladislav – Zamazal, Miloš – Kočková, Sylva.
SPONA – 82. Uživatelský popis souboru programů pro optimalizaci a nelineární aproximaci /verse 1982/.
Praha : SVT ČSAV, 1983. nestr.
- V-124:
Nekolová, Libuše.
Automatizované zpracovaní evidence styku pracovníků ČSAV s cizinci.
Praha : SVT ČSAV, 1982. 42 s.
- V-123:
Poupě, Jiří – Pačes, Pavel – Beneš, Ladislav – Sobek, Pavel.
Jednoduchý komunikační procesor JKP-12. Vlastnosti a použití.
Praha : SVT ČSAV, 1982. 31 s.
- V-122:
Novák, Mirko – Kufudaki, Olga.
Závěrečná zpráva o průběhu 1. etapy experimentálního dálkového počítačového přenosu dat mezi Berlínem a Prahou.
Praha : SVT ČSAV, 1982. 22 s.
- V-120:
Vítková, Galina – Šmídová, Zdena.
Krystalografická databáze (Cambridge Crystallographic Database) a její využití v ČSAV.
Praha : SVT ČSAV, 1982. 19 s.
- V-119:
Doležalová, Olga.
Technický projekt inovace agendy matriálně-technického zásobování s použitím databázového szstému IDMS.
Praha : SVT ČSAV, 1982. 27 s.
- V-118:
Vencelides, Josef – Skopal, Z.
Automatizované sledování a vyhodnocování informací v oblasti kádrové, personální a sociálni práce v ČSAV.
Praha : SVT ČSAV, 1982. 53 s.
- V-117:
Fabián, Zdeněk.
Stručný přehled programového vybavení SVT ČSAV pro analýzu časových řad.
Praha : SVT ČSAV, 1982. 18 s.
- V-116:
Beneš, Ladislav – Poupě, Jiří – Sobek, Pavel – Strnad, Petr.
Programové a technické zabezpečení paralelní obsluhy více terminalů v systému TC.
Praha : SVT ČSAV, 1982. 18 s.
- V-115:
Lukšan, Ladislav – Fabián, Zdeněk – Řízek, Stanislav – Vondráková, Jana – Poupě, Jiří – Šebesta, Václav.
Práce na hlavním úkolu III-9-1: „Metody pro řešení vědeckých úloh počítači“ státního plánu základního výzkumu na rok 1982 na pracovišti SVT ČSAV.
Praha : SVT ČSAV, 1982. 24 s.
- V-114:
Adelsberger, Petr.
Spojení počítačů JSEP v ČSAV na základě programového systému HASP.
Praha : SVT ČSAV, 1982. 40 s.
- V-113:
Novák, Mirko.
Oblasti přijatelnosti technických soustav.
Praha : SVT ČSAV, 1982. 84 s.
- V-112:
Húsek, Dušan.
Simulace chemicko-technologických procesů za neurčitosti a rizika.
Praha : SVT ČSAV, 1982. 25 s.
- V-111:
Húsek, Dušan.
TOLCHEM – soubor programů pro aproximaci oblasti přijatelnosti.
Praha : SVT ČSAV, 1986. 29 s.
- V-110:
Húsek, Dušan.
Metoda aproximace sdružené oblasti spolehlivosti.
Praha : SVT ČSAV, 1982. 26 s.
- V-109:
Húsek, Dušan – Vrba, V.
Soubor programů pro modelování ustáleného stavu extrakční kaskády v systému kapalina-kapalina.
Praha : SVT ČSAV, 1986. 49 s.
- V-108:
Húsek, Dušan.
Rozbor tolerancí parametru extrakční kaskády.
Praha : SVT ČSAV, 1983. 124 s.
- V-107:
Novák, Mirko.
Průběžná zpráva o experimentálním dálkovém počítačovém přenosu dat mezi Berlínem a Prahou za období do 1.7.1982.
Praha : SVT ČSAV, 1982. 9 s.
- V-106:
Beneš, Ladislav.
Komunikační systém sítě počítačů a terminálů ČSAV. Linkové komunikační protokoly.
Prague : SVT ČSAV, 1982. 47 s.
- V-105:
Novák, Mirko – Hamata, Václav.
Projekt sítě počítačů a terminálů pro vědecko-výzkumnou základnu v oblasti pražské aglomerace.
Praha : SVT ČSAV, 1982. 21 s.
- V-103:
Beneš, Ladislav.
Komunikační protokol pro terminálový operační systém TOS 3.4 inteligentních terminálů řízených procesorem JPR-12.
Prague : SVT ČSAV, 1982. 12 s.
- V-102:
Kočková, Sylva.
Soubor programů pro globální optimalizaci.
Praha : SVT ČSAV, 1982. 28 s.
- V-101:
Fabián, Zdeněk.
Možnosti automatického zpracování EEG.
Praha : SVT ČSAV, 1982. 28 s.
- V-100:
Lukšan, Ladislav.
GRG, GRGA – Programy pro řešení úloh nelineárního programování.
Praha : SVT ČSAV, 1982. 18 s.
- V-99:
Lukšan, Ladislav.
MAPRO3. Soubor programů pro řešení úloh matematického programování.
Praha : SVT ČSAV, 1982. 18 s.
- V-98:
Lukšan, Ladislav.
MAPRO2. Soubor programů pro řešení úloh matematického programování.
Praha : SVT ČSAV, 1982. 16 s.
- V-97:
Lukšan, Ladislav.
MAPRO1. Soubor programů pro řešení úloh matematického programování.
Praha : SVT ČSAV, 1982. 23 s.
- V-96:
Lukšan, Ladislav.
UNMOF. Soubor programů pro minimalizaci funkcí několika proměnných bez vazebních podmínek.
Praha : SVT ČSAV, 1982. 17 s.
- V-95:
Vávra, J.
Grafický displej pro inteligentní terminál řízený procesorem JPR-12. Technické vybavení.
Praha : SVT ČSAV, 1982. 34 s.
- V-94:
Beneš, Ladislav.
Komunikační systém sítě počítačů a terminálů ČSAV. Komunikační procesor na bázi EC 8404.
Prague : SVT ČSAV, 1982. 40 s.
- V-93:
Vlček, Jan.
Podprogram RCHEBP. Racionální Čebyševova aproximace s počátečním přiblížením z Čebyševovy řady.
Praha : SVT ČSAV, 1982. 8 s.
- V-92:
Novák, Mirko – Hamata, Václav.
Místní síť počítačů a terminálů pro areál ústavů ČSAV v Praze 8, Mazanka.
Praha : SVT ČSAV, 1982. 14 s.
- V-89:
Doležalová, Olga – Vencelides, Josef.
Využití databázového systému IDMS pro kádrovou a personální práci.
Praha : SVT ČSAV, 1981. 30 s.
- V-89:
Vencelides, Josef.
Využití databázového systému IDMS pro kádrovou a personálni práci.
Praha : SVT ČSAV, 1981. 30 s.
- V-88:
Soudský, Ondřej.
Programy pro přípravu a zpracování archeologických dat.
Praha : SVT ČSAV, 1981. 39 s.
- V-86:
Soudský, Ondřej.
Programy pro zpracování obrazové informace na soupravě HEWLETT PACKARD.
Praha : SVT ČSAV, 1981. 28 s.
- V-85:
Závorková, Zdena.
Automatické zpracování cytologických preparátů.(Binary model of neural network – in Czech).
Praha : SVT ČSAV, 1981. 58 s.
- V-84:
Doležalová, Olga – Vencelides, Josef.
Návrh na inovaci projektu agendy matriálně technického zásobování v ČSAV, s využitím databankového systému IDMS.
Praha : SVT ČSAV, 1981. 21 s.
- V-83:
Lukšan, Ladislav – Fabián, Zdeněk – Řízek, Stanislav – Vondráková, Jana – Poupě, Jiří.
Práce na hlavním úkolu III-9-1: „Metody pro řešení vědeckých úloh počítači“ za rok 1981 na pracovišti SVT ČSAV.
Praha : SVT ČSAV, 1981. 26 s.
- V-81:
Novák, Mirko – Homola, Josef – Hamata, Václav.
Technické a provozní vlastnosti pocítačů JSEP.
Praha : SVT ČSAV a ÚE ČSAV, 1981. 7 s.
- V-80:
Beneš, Ladislav.
Komunikační systém SPT ČSAV. Centrální komunikační porocesor. Úvodní studie.
Prague : SVT ČSAV, 1981. nestr.
- V-79:
Novák, Mirko – Beneš, Ladislav.
Rozvoj sítě počítačů terminálů ČSAV v létech 1981 až 1985.
Praha : SVT ČSAV, 1981. 56 s.
- V-78:
Sobek, Pavel.
Inteligentní terminál řízený procesorem JPR -12. Editor.
Praha : SVT ČSAV, 1981. nestr.
- V-77:
Růžička, Pavel – Šebesta, Václav.
Soubor programů pro optimalizaci výtěžnosti a ceny hromadně vyráběných soustav CENTOL 2 – II. část popisu programů.
Praha : SVT ČSAV, 1981. 21 s.
- V-76:
Lukšan, Ladislav.
Metody s proměnnou metrikou pro řešení diskrétních minimaxních úloh s lineárními ohraničeními.
Praha : SVT ČSAV, 1981. 50 s.
- V-75:
Lukšan, Ladislav.
Kvazinewtonovské metody bez projekcí pro minimalizaci s lineárními ohraničeními.
Praha : SVT ČSAV, 1981. 42 s.
- V-74:
Lukšan, Ladislav.
Metody konjugovaných gradientů s nepřesnou minimalizací.
Praha : SVT ČSAV, 1981. 10 s.
- V-73:
Čáp, Jiří – Doležalová, Olga – Vencelides, Josef.
Prováděcí projekt automatizovaného zpracování agendy předmětů postupné spotřeby v ČSAV.
Praha : SVT ČSAV, 1981. nestr.
- V-72:
Adelsberger, Petr.
Koncepce programového řešení spojení počítačů JSEP v ČSAV.
Praha : SVT ČSAV, 1981. 16 s.
- V-71:
Vlček, Jan.
Podprogram RCHEB. Racionální Čebyševova aproximace.
Praha : SVT ČSAV, 1981. 7 s.
- V-69:
Schrötterová, Pavla.
Knihovna analýzy funkcí.
Praha : SVT ČSAV, 1981. 44 s.
- V-68:
Novák, Mirko – Havel, J.
Technické prostředky AVV.
Praha : SVT ČSAV, 1980. 70 s.
- V-67:
Závorková, Zdena – Řízek, Stanislav.
Metody zpracování obrazových informací a rozpoznávání obrazců.
Praha : SVT ČSAV, 1980. 46 s.
- V-66:
Kočková, Sylva.
EISPAC. Soubor programů pro řešení vlastních čísel a vlastních vektorů reálných i komplexníxh matric.
Praha : SVT ČSAV, 1980. 24 s.
- V-65:
Šebesta, Václav.
Programové a technické prostředky pro automatizaci vědeckých výzkumů.
Praha : CVS ČSAV, 1980. 32 s.
- V-64:
Adelsberger, Petr – Beneš, Ladislav.
Zhodnocení možnosti spolupráce počitačů JSEP v ČSAV.
Prague : SVT ČSAV, 1980. 14 s.
- V-63:
Poupě, Jiří.
Terminálový systém v CVS ČSAV.
Praha : CVS ČSAV, 1980. 13 s.
- V-62:
Nekolová, Libuše.
Automatizované zpracování agendy základních prostředků v ČSAV.
Praha : SVT ČSAV, 1980. 143 s.
- V-60:
Lukšan, Ladislav.
Neúplná metoda s proměnnou metrikou pro řešení rozsáhlých úloh nepodmíněné minimalizace.
Praha : CVS ČSAV, 1980. 40 s.
- V-59:
Doležalová, Olga.
Úvodní projekt automatizovaného sledování a vyhodnocování informací v oblasti kádrové, personální a sociální práce v ČSAV.
Praha : SVT ČSAV, 1980. 41 s.
- V-57:
Fabián, Zdeněk.
KAS. Knihovna analýzy signálů. Uživatelský manuál. 1.verze.
Praha : SVT ČSAV, 1980. 104 s.
- V-56:
Lukšan, Ladislav.
Nová hybridní metoda pro nepodmíněnou minimalizaci.
Praha : CVS ČSAV, 1980. 27 s.
- V-55:
Novák, Mirko.
Problémy teorie tolerancí.
Praha : SVT ČSAV, 1980. 39 s.
- V-54:
Fabián, Zdeněk – Kufudaki, Olga – Šebesta, Václav – Vondráková, Jana.
Organizace a současný stav Archivu výpočetních programů CVS ČSAV.
Praha : CVS ČSAV, 1980. 21 s.
- V-53:
Soudský, Ondřej.
Příprava archeologických dat pro zpracování výpočetní technikou.
Praha : SVT ČSAV, 1980. 30 s.
- V-52:
Doležalová, Olga – Nekolová, Libuše.
Automatizované zpracování materialně technického zásobování v ČSAV (část III). Provozovací pokyny.
Praha : SVT ČSAV, 1980. 32 s.
- V-51:
Kočková, Sylva – Lukšan, Ladislav.
LINEAL. Soubor programů pro řešení úloh z lineární algebry. Uživatelský popis.
Praha : CVS ČSAV, 1980. 121 s.
- V-50:
Šímová, Hana – Šíma, S – Richta, K – Sochor, J.
Uživatelská příručka pro používání grafického systému Minigraf.
Praha : SVT ČSAV, 1980. 80 s.
- V-49:
Húsek, Dušan – Novák, Mirko.
Anotovaná dokumentace literatury v oblasti teorie tolerancí a citlivosti.
Praha : SVT ČSAV, 1979. 81 s.
- V-48:
Matějka, František – Novák, Mirko – Poupě, Jiří – Strnad, Petr.
Zkušenosti získané při realizaci 1.etapy projektu sítě terminálů ČSAV.
Praha : SVT ČSAV, 1980. 17 s.
- V-47:
Poupě, Jiří – Strnad, Petr.
Použití inteligentního terminálu řízeného procesorem Tesla JPR-12 v systému Andromeda.
Praha : CVS ČSAV, 1979. nestr.
- V-46:
Novák, Mirko – Šebesta, Václav.
Optimalizace výrobní výtěžnosti valivých ložisek.
Praha : CVS ČSAV, 1980. 24 s.
- V-45:
Lukšan, Ladislav.
SPONA. Soubor programů pro optimalizaci a nelineární aproximaci. Uživatelský popis druhé verse.
Praha : CVS ČSAV, 1979. 252 s.
- V-44:
Novák, Mirko.
Projekt zavádění výpočetní techniky v ČSAV do r.1985.
Praha : CVS ČSAV, 1979. 17 s.
- V-43:
Beneš, Ladislav.
Inteligentní terminál řízený procesorem JPR-12. Připojení snímače EC 61/2.
Prague : SVT ČSAV, 1979. nestr.
- V-42:
Šebesta, Václav.
Program pro statistické centrování tolerančních oblastí CENTOL – popis podprogramů.
Praha : CVS ČSAV, 1979. 30 s.
- V-41:
Poupě, Jiří – Strnad, Petr.
Inteligentní terminál řízený procesorem Tesla JPR-12.
Praha : CVS ČSAV, 1979. nestr.
- V-40:
Lukšan, Ladislav.
Kvazinewtonovské metody bez projekcí pro nepodmíněnou minimalizaci.
Praha : CVS ČSAV, 1979. 62 s.
- V-39:
Řízek, Stanislav.
Návod k použití programového systému INAMO2 pro interakční návrh morfologie.
Praha : CVS ČSAV, 1979. 39 s.
- V-38:
Pech, Jaroslav.
PROKOP. Program pro určování spojových cest.
Praha : CVS ČSAV, 1979. 22 s.
- V-37:
Řízek, Stanislav.
INAMO 2. Popis programového systému pro interakční návrh morfologie.
Praha : CVS ČSAV, 1979. 67 s.
- V-35:
Hostinský, Jiří.
Návod na použití HTOL 2 pro optimalizaci tolerancí elektronických soustav.
Praha : CVS ČSAV, 1979. 7 s.
- V-34:
Hostinský, Jiří.
Návod k použití programů HCENT 1 pro nalezení optimálního nominálního programu elektronické soustavy.
Praha : CVS ČSAV, 1979. 6 s.
- V-33:
Novák, Mirko – Havel, J.
Problémy automatizace vědeckých výzkumů.
Praha : CVS ČSAV, 1979. 30 s.
- V-32:
Hostinský, Jiří.
Návod na použití programu HTOL l pro optimalizaci ekonomických soustav.
Praha : CVS ČSAV, 1979. 8 s.
- V-28:
Doležalová, O – Vildnerová, Jitka.
Automatizované zpracování materiálně technického zásobovaní v ČSAV (část II). Prováděcí projekt.
Praha : SVT ČSAV, 1979. 89 s.
- V-27:
Komínek, Zdeněk – Novák, Mirko – Šebesta, Václav.
Statistická optimalizace návrhu složitých soustav.
Praha : CVS ČSAV, 1979. 31 s.
- V-26:
Strnad, Petr.
Inteligentní terminál řizený procesorem Tesla JPR-12.
Praha : CVS ČSAV, 1978. 19 s.
- V-25:
Poupě, Jiří – Strnad, Petr.
Inteligentní terminál řízený procesorem JPR-12. Úvodní informace.
Praha : CVS ČSAV, 1978. 29 s.
- V-24:
Novák, Mirko.
Rozvaha o možnostech zjišťování pořizování dat v ČSAV.
Praha : CVS ČSAV, 1978. 15 s.
- V-23:
Fabián, Zdeněk – Chválová, Jana – Kufudaki, Olga – Pohořalá, Hana – Šebesta, Václav – Vlček, M.
Informační systém pro Archiv výpočetních programů CVS ČSAV.
Praha : CVS ČSAV, 1978. 20 s.
- V-22:
Fabián, Zdeněk – Kufudaki, Olga.
Popis informačního systému pro Archiv programů CVS ČSAV.
Praha : CVS ČSAV, 1978. 20 s.
- V-22:
Novák, Mirko.
Podkladový materiál k „Plánu vybudování Centrálního výpočetního střediska ČSAV a koncepce jeho činnosti“.
Praha : CVS ČSAV, 1978. 8 s.
- V-21:
Novák, Mirko – Poupě, Jiří – Strnad, Petr.
Projekt sítě terminálů ČSAV.
Praha : CVS ČSAV, 1978. 13 s.
- V-20:
Novák, Mirko – Nekovář, Václav – Mejtová, Eva.
Studie ke zpřesnění koncepce rozvoje výpočetní techniky v ČSAV do roku 1990.
Praha : CVS ČSAV, 1978. 50 s.
- V-18:
Šebesta, Václav.
Závěrečná zpráva o plnění dílčího úkolu III-3-1/1 „Metody pro návrh složitých mikroelektronických struktur a systémů samočinnými počítači“ na pracovišti CVS ČSAV za léta 1976-1977.
Praha : CVS ČSAV, 1977. 6 s.
- V-17:
Komínek, Zdeněk.
Programy pro výpočetní oblasti přípustných hodnot rychlostních koeficientů absorbce a eliminace léčiva v lidském těle při opakované vaskulární aplikaci.
Praha : CVS ČSAV, 1977. 9 s.
- V-16:
Šebesta, Václav.
NANAP – program pro optimalizaci frekvenčních a časových charakteristik nelineárních elektrických obvodů.
Praha : CVS ČSAV, 1977. 24 s.
- V-15:
Řízek, Stanislav.
INAMO 1. Program pro interakční návrh rozmístění morfologických prvků.
Praha : CVS ČSAV, 1977. 16 s.
- V-14:
Novák, Mirko – Kominek, Z.
Problémy určení optimálních tolerančních vektorů.
Praha : CVS ČSAV, 1977. 26 s.
- V-13:
Novák, Mirko.
Přenosové funkce nekaskádních struktur s dominantním přenosem.
Praha : CVS ČSAV, 1977. 18 s.
- V-11:
Poupě, Jiří.
Programově řízený terminál s procesorem JPR-12.
Praha : CVS ČSAV, 1976. 33 s.
- V-10:
Novák, Mirko – Skalický, A.
Návrh na rozpracování materiálů akademií věd socialistických zemí o komplexním uplatnění výpočetní techniky ve vědecké práci a při automatizaci vědeckých experimentů.
Praha : CVS ČSAV, 1976.
- V-9:
Pravdová, Miluše – Ryplová, Věra.
Projekt automatizovaného zpracování agendy materiálně technického zásobování v ČSAV.
Praha : CVS ČSAV, 1976. 22 s.
- V-8:
Koksa, V.
Studie dvou systémů EC 1040.
Praha : CVS ČSAV, 1977. 16 s.
- V-7:
Poupě, Jiří.
Studie možnosti využití jednotky JPR-12, jako terminálu v systému BSC o publikacích.
Praha : CVS ČSAV, 1976. 10 s.
- V-5:
Šebesta, Václav.
ADIN 1 – soubor programů pro evidenci a vyhledávání záznamů.
Praha : CVS ČSAV, 1976. 36 s.
- V-4:
Lukšan, Ladislav.
SPONA: Soubor programů pro optimalizaci a nelineární aproximaci. První verze
Praha : CVS ČSAV, 1976. 179 s.
- V-3:
Lukšan, Ladislav.
SPONA: Soubor programů pro optimalizaci a nelineární aproximaci. Stručný popis první verze.
Praha : CVS ČSAV, 1977. 22 s.
- V-2:
Šebesta, Václav – Lukšan, Ladislav.
Program pro optimalizaci frekvenčních charakteristik lineárních elektronických obvodů MATAL 5.
Praha : CVS ČSAV, 1976. 72 s.
- V-1:
Řízek, Stanislav.
PLACE – program pro rozmístění morfologických prvků.
Praha : CVS ČSAV, 1976. 21 s.
Intranet of ICS library