| Ústav informatiky AV ČR

Ústav informatiky
Akademie věd České republiky

"Přemýšlet je ta nejtěžší práce, jaká existuje. A to je pravděpodobně důvod, proč to tak málo lidí dělá." - Henry Ford

Knihovna

Výzkumné zprávy 1976 - 2010

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 2x5 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:
Hochmann, R - Vojta, P - Novák, Mirko - Šebesta, Václav - Havránek, Tomáš - Láska, J - Hamata, Václav - Kroftová, J - Strnad, Petr - Štuller, Július. Soubor přednášek z 1. semináře o Integrovaných informačních a výpočetních systémech.
Praha : SVT ČSAV, 1989. 100 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čni procesor MKP. Meziprocesorový protokol předávani 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 I.
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. Terminalový system 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í spoučá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čni procesor JKP-13. Programové vybaveni 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:
Šebesta, Václav - Badikova, V - Maksim, M - Podhorsky, D - Novák, Mirko - Řízek, Stanislav. Souhrnná databáze modelu území ČSSR.
Praha : SVT ČSAV + HMU 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:
Šebesta, Václav - Kočková, Sylva. 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. Závěrečná zpráva hlavního úkolu III-9-1 SPZV.
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 - Beneš, Ladislav - Hamata, Václav - Novák, Mirko - Poupě, Jiří - Strnad, Petr - Šebesta, Václav. Sítě inteligentních terminálů nových generací.
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:
Novák, Mirko - Skalický, A - Šebesta, Václav. Optimalizace vyrobní výtěžnosti kol odstředivých čerpadel.
Praha : SVT ČSAV, 1985. 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:
Pačes, Pavel - Poupě, Jiří - 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:
Šebesta, Václav - Růžička, Pavel. 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:
Šebesta, Václav - Fabián, Zdeněk - Kufudaki, Olga - 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ích výtěžností valivých ložisek.
Praha : CVS ČSAV, 1979. 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:
Novák, Mirko - Komínek, Zdeněk - Š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 Tesla 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:
Šebesta, Václav - Fabián, Zdeněk - Chválová, Jana - Kufudaki, Olga - Pohořelá, Hana - Vlček, M. Informační systém pro Archiv výpočetních programů.
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Ú III-3-1/1 : "Metody pro návrh složitých mikroelektronických struktur a systémů samočinnymi počítači", v letech 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 elektronický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.
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.

MEDARD - předpověď počasí

Předpověď počasí a čistoty ovzduší pro Evropu a Českou Republiku. Projekt je vyvíjen Ústavem informatiky AV ČR od r. 2002.

Jádrem systému je numerický předpovědní model počasí MM5 (PSU/NCAR) konfigurovaný pro Českou republiku. Pro modelování kvality ovzduší používáme chemický transportní model CAMx (ENVIRON Corp.). Jakákoliv redistribuce či komerční využívání těchto informací a předpovědí nejsou dovoleny.

Více info

KONTAKT

Pod Vodárenskou věží 271/2
182 07 Praha 8

Telefon (+420) 266 052 083
Fax (+420) 286 585 789

E-mail: ics@cs.cas.cz

BLOG Ústavu informatiky
http://zatisi.cs.cas.cz

intranet | webmail