Source: http://www.ustavinformatiky.cz/?id_jazyk=cs&id_stranky=vyzkumne_zpravy_archiv
Timestamp: 2019-04-19 18:35:18+00:00

Document:
IINC classifier for MS Excel. The principle, method and Program.
Prague : ICS AS CR, 2014. 9 s.
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Matonoha, Ctirad – Hartman, J.
UFO 2013 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2014. 310 s.
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací paní RNDr. Věry Kůrkové, DrSc. zpracovaný v listopadu 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti životního jubilea autorky.
Prague : ICS AS CR, 2013. 80 s.
Score function of distribution and revival of the moment method. Final version.
Prague : ICS AS CR, 2013. 27 s.
Prague : ICS AS CR, 2013. 12 s.
Representations of Highly-Varying Functions by One-Hidden-Layer Networks.
Prague : ICS AS CR, 2013. 10 s.
Fuzzied linear orderings, fuzzy maxima and minima.
A Triple Sufficient Condition for Regularity of Interval Matrices.
Prague : ICS AS CR, 2013. 6 s.
A Bendixson-Type Theorem for Eigenvalues of Interval Matrices.
Prague : ICS AS CR, 2013. 3 s.
Propagation of elastic waves in fractured media under a self-gravity field.
Prague : ICS AS CR, 2013. 21 s.
Prague : ICS AS CR, 2013. 14 s.
Soupis publikovaných prací pana prof. Ing. Ladislava Lukšana, DrSc. zpracovaný ke dni 14. září 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 70 narozenin autora.
Prague : ICS AS CR, 2013. 59 s.
Soupis publikovaných prací pana prof. RNDr. Jiřího Wiedermanna, DrSc. zpracovaný ke dni 24. dubna 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 65. narozenin autora.
Prague : ICS AS CR, 2013. 38 s.
Steps Towards a Conflicting Part of a Belief Function.
Prague : ICS AS CR, 2013. 20 s.
Models of Bone Cancers – Part I. Mathematical Models of Cancers. An Introduction.
Prague : ICS AS CR, 2013. 28 s.
Efficient tridiagonal preconditioner for the matrix-free truncated Newton method.
Prague : ICS AS CR, 2013. 18 s.
Score Function of Distribution and Revival of the Moment Method.
Prague : ICS AS CR, 2012. 18 s.
Partitions of the Boolean cube with a vertex-transitive automorphism group.
Prague : ICS AS CR, 2012. 15 s.
Kůrková, Věra – Kainen, P.C.
Fixed and Variable-Width Gaussian Networks.
Prague : ICS AS CR, 2012. 5 s.
Petrů, L. ; Wiedermann, Jiří.
Flying Amorphous Computer: A Robust Model.
Prague : ICS AS CR, 2012. 14 s.
Coufal, David – Neruda, Roman.
Neural and Fuzzy Modelling of Hydrological Data.
Prague : ICS AS CR, 2012. 51 s.
A Lower Bound Method for Branching Programs and Its Application.
Prague : ICS AS CR, 2012. 19 s.
Methods for parallel mining of frequent itemsets.
Prague : ICS AS CR, 2012. 35 s.
The Primal-Dual Active Set (PDAS) Method for Dynamic Variational Inequalities Arising from the Fractured Bone Neoplasm Models.
Prague : ICS AS CR, 2012. 23 s.
Mathematical models of odontogenic cysts and of fractures of jaw-bones. An introductory study.
Prague : ICS AS CR, 2012. 41 s.
Soupis publikovaných prací pana prof. RNDr. Jiřího Rohna, DrSc. zpracovaný ke dni 19. června 2012 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 65. narozenin autora a doplněný citačním ohlasem a scientometrickými a statistickými daty.
Prague : ICS AS CR, 2012. 39 s.
A Manual of Results on Interval Linear Problems. Dedicated to my grandchildren Matthias, William and Beata, and also to those who might yet come. 10.08.2004 / 11.02.2005 / 05.07.2012.
Prague : ICS AS CR, 2012. 307 s.
A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012.
Prague : ICS AS CR, 2012. 75 s.
Some results on set-valued possibilistic distributions.
Prague : ICS AS CR, 2012. 3 s.
Prague : ICS AS CR, 2012. 4 s.
Compact Form of the Hansen-Bliek-Rohn Enclosure.
Prague : ICS AS CR, 2012. 8 s.
Verification of linear (in)dependence in finite precision arithmetic.
A New Characterization of the Maximum Cut in a Graph. Dedicated to the memory of the Tibetan meditation master Geshe1 Langri Tangpa (1054-1123), author of the „Eight verses for training the mind“.
Prague : ICS AS CR, 2012. 26 s.
Robnik-Šikonja, M – Savický, Petr.
Trends in random forests parameters for classification of imbalanced data.
Prague : ICS AS CR, 2012. 11 s.
Numerické optimalizační metody. Nepodmíněná minimalizace.
Prague : ICS AS CR, 2011. 420 s.
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Hartman, J – Matonoha, Ctirad.
UFO 2011 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2011. 299 s.
An Algorithm for Solving the P-Matrix Problem.
Prague : ICS AS CR, 2012. 9 s.
An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1.
What is graded fuzzy logic?.
Hooshyarbakhsh, V – Farhadsefat, R – Rohn, Jiří.
A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices.
Běhounek, Libor – Bodenhofer, U – Cintula, Petr – Saminger-Platz, S – Sarkoci, P.
Graded dominance and related graded properties of fuzzy connectives.
Prague : ICS AS CR, 2011. 19 s.
Hooshyarbakhsh, V – Lotfi, T – Farhadsefat, R – Rohn, Jiří.
An Iterative Method for Solving Absolute Value Equations.
Prague : ICS AS CR, 2012. 7 s.
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období říjen – prosinec 2011.
Projekt GAMMA – Přehled činností za období červenec – září 2011.
Prague : ICS AS CR, 2011. 12 s.
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období duben – červen 2011.
Prague : ICS AS CR, 2011. 15 s.
Projekt GAMMA – Přehled činností za období leden – březen 2011.
Prague : ICS AS CR, 2011. 11 s.
Metodika vyhodnocení přesnosti modelu TDD.
Prague : ICS AS CR, 2011. 8 s.
Popis modelu TDD, verze 3.2.
Prague : ICS AS CR, 2011. 31 s.
Popis modelu TDD, verze 3.1.
Prague : ICS AS CR, 2010. 54 s.
Projekt GAMMA – Přehled činností za období říjen – prosinec 2010.
Prague : ICS AS CR, 2010. 17 s.
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období červenec – září 2010.
Prague : ICS AS CR, 2010. 18 s.
Projekt GAMMA – Přehled činností za období duben – červen 2010.
Prague : ICS AS CR, 2010. 20 s.
Konár, Ondřej – Brabec, Tomáš – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období leden – březen 2010.
Zdůvodnění změny počtu tříd TDD v roce 2011.
Prague : ICS AS CR, 2010. 3 s.
Metodika použití TDD provozovatelem distribuční soustavy pro rok 2011.
Prague : ICS AS CR, 2010. 5 s.
Transformace metodiky použití TDD dle požadavků OTE.
Prague : ICS AS CR, 2010. 6 s.
Metodika rozpočtu známé spotřeby modelem TDD.
Modifications of the limited-memory BNS method for better satisfaction of previous quasi-Newton conditions.
Prague : ICS AS CR, 2011. 14 s.
Jiřina, Marcel – Hakl, František.
Volatility of selected separators/classifiers wrt. data sets from field of particle physics.
Prague : ICS AS CR, 2011. 10 s.
Gradient Learning in Networks of Smoothly Spiking Neurons with an Additional Penalty Term.
Prague : ICS AS CR, 2011. 13 s.
Pelikán, Emil – Juruš, Pavel – Musílek, P – Brabec, Marek – Krč, Pavel – Paluš, Milan – Vejmelka, Martin.
Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions.
Papáček, Š – Kaňa, Radek – Matonoha, Ctirad.
Estimation of Diffusivity of Phycobilisomes on Thylakoid Membrane based on spatio-temporal FRAP images.
Prague : ICS AS CR, 2011. 9 s.
Farhadsefat, R – Rohn, Jiří – Lotfi, T.
Verified Solutions of Linear Equations.
A conjugate directions approach to improve the limited-memory BFGS method.
Prague : ICS AS CR, 2011. 6 s.
Farhadsefat, R – Lotfi, T – Rohn, Jiří.
A New Sufficient Condition for Regularity of Interval Matrices.
Húsek, Dušan – Frolov, A. A – Polyakov, P.
Hybrid Method of Boolean Factor Analysis.
Prague : ICS AS CR, 2011. 23 s.
Matonoha, Ctirad – Papáček, Š – Štys, D.
Model of Photosynthesis and Photoinhibition in Microalgae: A Singularly Perturbed Problem.
Prague : ICS AS CR, 2010. 11 s.
Papáček, Š – Štumbauer, V – Štys, D – Petera, K – Matonoha, Ctirad.
Growth impact of hydrodynamic dispersion in Couette-Taylor bioreactor.
Prague : ICS AS CR, 2010. 7 s.
Papáček, Š – Matonoha, Ctirad – Štumbauer, V – Štys, D.
Modelling and simulation of photosynthetic microorganism growth: Random walk vs. Finite difference method.
Prague : ICS AS CR, 2010. 15 s.
Prague : ICS AS CR, 2011. 7 s.
Soupis publikovaných prací pana prof. RNDr. Miroslava Fiedlera, DrSc. zpracovaný ke dni 7. dubna 2011 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 85. narozenin autora a doplněný citačním ohlasem a scientometrickými a statistickými daty.
Prague : ICS AS CR, 2011. 42 s.
Two new EM-Methods for Boolean Factor Analysis.
Prague : ICS AS CR, 2011. 33 s.
An Algorithm for Solving the Absolute Value Inequality.
Every Two Square Matrices of the Same Size Have Some Solution in Common.
Prague : ICS AS CR, 2011. 4 s.
An Algorithm for Solving Basic Interval Linear Problems.
The Hansen-Bliek Optimality Result as a Consequence of the General Theory.
Prague : ICS AS CR, 2011. 5 s.
A Perturbation Theorem for Linear Equations.
Prague : ICS AS CR, 2011. 2 s.
Static load balancing of parallel mining of frequent itemsets using reservoir sampling.
Prague : ICS AS CR, 2010. 12 s.
BlakerCI: An algorithm and R package for the Blaker’s binomial confidence limits calculation.
Tyl, Pavel – Řimnáč, Martin – Špánek, Roman – Štuller, Július – Linková, Zdeňka – Kozler, J – Antošová, B – Váňa, V.
Prague : ICS AS CR, 2010. 32 s.
Petrů, L – Wiedermann, Jiří.
A Universal Flying Amorphous Computer.
Prague : ICS AS CR, 2010. 10 s.
Learning as an Inverse Problem in Reproducing Kernel Hilbert Spaces.
On Rump’s Characterization of P-Matrices.
A Theorem of the Alternatives for the Equation |Ax| – |B||x| = b.
Prague : ICS AS CR, 2010. 8 s.
An Algorithm for Computing All Solutions of an Absolute Value Equation.
A Note on Generating P-Matrices.
Prague : ICS AS CR, 2010. 4 s.
Testing selected separators/classifiers on simulated data sets from field of particle physics.
Červinka, Michal – Matonoha, Ctirad – Outrata, Jiří.
On the computation of relaxed pessimistic solutions to MPECs (revised version).
An Algorithm for Finding a Singular Matrix in an Interval Matrix.
Prague : ICS AS CR, 2010. 9 s.
Kramosil, Ivan – Daniel, Milan.
Statistical Estimations of Lattice-Valued Possibilistic Distributions.
Embedding Upper-Semilattice-Valued Mappings to Complete Lattice-Valued Possibilistic Measures.
UFO 2010 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2010. 298 s.
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.
Modified CUTE Problems for Sparse Unconstrained Optimization.
Prague : ICS AS CR, 2010. 13 s.
Královcová, J – Lukšan, Ladislav – Mlýnek, J.
Exposure optimization for warming of shapes in the automotive industry.
Band preconditioners for the matrix-free truncated Newton method.
Prague : ICS AS CR, 2010. 21 s.
Fabián, Zdeněk – Jiřina, Marcel – Jiřina jr., M.
Linear Regression with Arbitrarily Distributed Residuals.
Scalar Score Function and Score Correlation.
A New Statistical Tool: Scalar Score Function.
Prague : ICS AS CR, 2010. 16 s.
Jiřina, Marcel – Jiřina jr., M.
Testing Random Forests for Unix and Windows.
Prague : ICS AS CR, 2010. 33 s.
An Algorithm for Computing the Hull of the Solution Set of Interval Linear Equations.
Inverse Interval Matrix: A Survey.
A Characterization of Strong Regularity of Interval Matrices.
Explicit Inverse of an Interval Matrix with Unit Midpoint.
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.
Hakl, František – Mrazík, M.
Studie realizovatelnosti neuronové síte daných vlastností pomocí analogových elektrických obvodů.
A General Method for Enclosing Solutions of Interval Linear Equations.
Entropy Function for Chained Lattice-Valued Possibilistic Distributions and Their Non-Interactive Products.
An Improvement of the Bauer-Skeel Bounds.
Sparse Test Problems for Unconstrained Optimization.
Prague : ICS AS CR, 2010. 24 s.
An Algorithm for Solving the Absolute Value Equation: An Improvement.
New Approach to Conflicts within and between Belief Functions.
Prague : ICS AS CR, 2009. 11 s.
Vaculín, Roman – Neruda, Roman – Sycara, K.
Towards Optimized Discovery of Service Combinations without Collisions.
Prague : ICS AS CR, 2009. 26 s.
Generalizations of the limited-memory BFGS method based on quasi-product form of update.
Prague : ICS AS CR, 2009. 19 s.
Recursive formulation of limited memory variable metric methods.
Prague : ICS AS CR, 2009. 379 s.
On the Computation of Relaxed Pessimistic Solutions to MPECs.
Prague : ICS AS CR, 2009. 13 s.
Logics with Truth Constants for Delimiting Idempotents.
Prague : ICS AS CR, 2009. 9 s.
Ší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.
Možnosti vytvoření asistenčního systému pro stimulování aliančního chování řidičů.
Praha : ICS AS CR + LSS FD ČVUT, 2009. 12 s.
Branching Programs: Paradoxes in the Method.
Prague : ICS AS CR, 2009. 16 s.
Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics.
Praha : ICS AS CR + LSS FD ČVUT, 2009. 30 s.
Optimalizace osvitu pro tepelný ohřev forem v automobilovém průmyslu.
Prague : ICS AS CR, 2009. 20 s.
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.
Towards a Process Mediation Framework for Semantic Web Service.
Prague : ICS AS CR, 2008. 24 s.
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.
Zpráva V-1046 o řešení projektu ME 949 MŠMT ČR za Ústav informatiky AV ČR v. v. i.
Gradient Learning in Networks of Smoothly Spiking Neurons (Revised Version).
Prague : ICS AS CR, 2009. 12 s.
Possibilistic Distributions Taking Values in an Incomplete Lattice.
Prague : ICS AS CR, 2008. 7 s.
Prague : ICS AS CR, 2008. 91 s.
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.
Classifier Based on Inverted Indexes of Neighbors II. Theory and Appendix.
Prague : ICS AS CR, 2008. 26 s.
UFO 2008. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2008. 272 s.
Interior-Point Method for Nonlinear Programming with Complementarity Constraints.
Computational experience with modified conjugate gradient methods for unconstrained optimization.
Prague : ICS AS CR, 2008. 16 s.
Transformations enabling to construct limited-memory Broyden class methods.
Prague : ICS AS CR, 2008. 8 s.
Limited-memory projective variable metric methods for unconstrained minimization.
Prague : ICS AS CR, 2008. 13 s.
Analysis of Decay Processes Separation.
Prague : ICS AS CR, 2008. 11 s.
Classifier Based on Inverted Indexes of Neighbors.
Number-free reductions in logic-based fuzzy mathematics.
Andrey, Ladislav – Ando, H – Aihara, K.
The Dynamics of Complex Logistic.
Prague : ICS AS CR, 2008. 9 s.
On the Application of the Mortar Finite Element Method for Linear Elliptic Problem.
A Characterization of Hitting Sets for 1 Branching Programs of Width 3.
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.
The Quantum Second Law and Quantum Information.
Prague : CTU + ICS AS CR, 2008. 15 s.
Decomposition of Correlation Integral to Local Functions.
Prague : CTU + ICS AS CR, 2008. 18 s.
Wiedermann, Jiří – Petrů, L.
Communicating Mobile Nano-Machines and their Computational Power.
Kainen, P.C – Kůrková, Věra.
An integral upper bound for neural-network approximation.
Prague : ICS AS CR, 2008. 14 s.
Šámalová, Terezie – Šámal, R.
Pruning Algorithms for One-hidden-layer Feedforward Neural Networks.
Prague : ICS AS CR, 2008. 32 s.
G-Variation in Lp Spaces and Integral Representation.
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.
Prague : ICS AS CR, 2008. 22 s.
Pravděpodobnostní modelování lokálních povětrnostních podmínek s aplikacemi v dopravě.
Prague : ICS AS CR, 2008. 19 s.
Primal Interior Point Method for Minimization of Generalized minimax Functions.
Prague : ICS AS CR, 2007. 23 s.
Confidence Intervals for Johnson Mean.
Prague : ICS AS CR, 2007. 10 s.
Parametric Estimation using Generalized Moment Method.
Prague : ICS AS CR, 2007. 11 s.
Tomášek, Luboš – Daněk, Josef.
Numerical Analysis of the Long Bone with the Marrow.
Prague : ICS AS CR, 2007. 27 s.
A Superpolynomial Lower Bound for a Class of Restricted Branching Programs.
Prague : ICS AS CR, 2007. 9 s.
Tectonics Along the Himalayan and Andean Mountain Ranges: Numerical Analyses of Collision and Subduction Zones.
Prague : ICS AS CR, 2007. 47 s.
Johnson Information and its use in Multivariate Problems and Time-Series Analysis.
Prague : ICS AS CR, 2007. 6 s.
Wiedermann, Jiří – Petrů, Lukáš.
On the Universal Computing Power of Amorphous Computing Systems.
Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions.
Prague : ICS AS CR, 2007. 8 s.
Modifikace FEC – dynamická kontaktní úloha v lineární vazkopružnosti se třením.
Lanzendörfer, Martin – Daněk, Josef.
Aplikace FEC v biomechanice kolenního kloubu.
Prague : ICS AS CR, 2007. 15 s.
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.
Gradient Learning in Networks of Smoothly Spiking Neurons.
Novák, Mirko – Votruba, Z – Brandejský, T.
Praha : ICS AS CR + LSS FD ČVUT, 2007. 21 s.
Hartman, J – Lukšan, Ladislav.
Implementace automatického derivování v systému UFO.
Prague : ICS AS CR, 2007. 37 s.
Subroutines for Large-Scale Nonlinear Programming.
New Subroutines for Large-Scale Optimization.
Prague : ICS AS CR, 2007. 55 s.
Geometry in the Data Space.
Prague : ICS AS CR, 2007. 7 s.
Johnson System of Parametric Families.
New Measures of Central Tendency and Variability of Continuous Distributions.
Prague : ICS AS CR, 2007. 13 s.
WEB Processor for Measuring, Control and Synchronization.
Prague : ICS AS CR, 2007. 30 s.
Handbook for Non-U.S. Intel ISEF Finalists.
Mortarové konečné prvky a jejich aplikace na kontaktní úlohy.
Prague : ICS AS CR, 2007. 12 s.
Hartman, J – Lukšan, Ladislav – Zítko, J.
Automatic Differentiation and its Program Realization.
Prague : ICS AS CR, 2007. 14 s.
A Lower Bound Technique for Restricted Branching Programs (version G).
Výsledky numerického modelování zatížení keramické náhrady kolenního kloubu.
Prague : ICS AS CR, 2007. 59 s.
Časové závislosti funkcí systémových aliancí.
Lukšan, Ladislav – Rozložník, Miroslav – Tůma, Miroslav.
Programy pro řešení rovnic chemické kinetiky.
Prague : ICS AS CR, 2006. 34 s.
Interior Point Methods for Minimization of Composite Nonsmooth Functions.
Prague : ICS AS CR, 2006. 10 s.
Neruda, Roman – Slušný, Stanislav.
Evolving Neural Networks which Control a Simple Robotic Agent.
Prague : ICS AS CR, 2006. 14 s.
Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part II.
Prague : ICS AS CR, 2006. 66 s.
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.
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.
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.
Matematický model zatěžování kolenního systému časově proměnnými silami.
Prague : ICS AS CR, 2006. 25 s.
Modifikace FEC – kód pro dynamickou kontaktní úlohu v lineární pružnosti.
Prague : ICS AS CR, 2006. 16 s.
A Lower Bound Technique for Restricted Branching Programs (version F).
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.
Kainen, P.C – Kůrková, Věra – Sanguineti, M.
Rates of Approximation of Smooth Functions by Gaussian Radial-Basis Networks.
Wiedermann, Jiří – Pardubská, D.
Computing by Broadcasting: Alternation in Disguise (Extended Version).
Prague : ICS AS CR, 2006. 12 s.
Web Search Engines and Linear Algebra.
Prague : ICS AS CR, 2006. 7 s.
New Class of Limited-Memory Variationally-Derived Variable Metric Methods.
Prague : ICS AS CR, 2006. 17 s.
A Strong Nonrandom Pattern in Matlab Default Random Number Generator.
Johnson Point and Johnson Variance.
A Model of an Amorphous Computer and its Communication Protocol.
Prague : ICS AS CR, 2006. 8 s.
Prague : ICS AS CR, 2006. 11 s.
Kainen, P.C – Kůrková, Věra – Vogt, A.
Prague : ICS AS CR, 2006. 26 s.
Chtěli byste být mozkem v baňce?.
HUGO: A Cognitive Architecture with an Incorporated World Model.
Prague : ICS AS CR, 2006. 15 s.
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.
The minC Combination of Belief Functions: Derivation and Formulas.
Johnson Score and Characteristics of Distribution.
Frolov, A. A – Húsek, Dušan – Muraviev, I. P – Polyakov, P. A.
Boolean Factor Analysis by Hopfield-Like Autoassociative Memory: Factors Search.
Boolean Factor Analysis by Hopfield-Like Autoassociative Memory.
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.
Biomechanical Analysis of the Effect of Axial Angle Changes on the Weight-Bearing Total Knee Replacements.
Stehlík, J – Nedoma, Jiří.
Návrh totální náhrady kolenního kloubu s rotační polyetylénovou vložkou.
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.
Beuster, G – Neruda, Roman – Pelzer, B.
Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
Prague : ICS AS CR, 2006. 23 s.
Programy pro řešení rovnic chemické rovnováhy.
Prague : ICS AS CR, 2005. 62 s.
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.
Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part I.
Prague : ICS AS CR, 2005. 55 s.
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.
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.
European Summer School in Information Retrieval ESSIR 2005.
Prague : ICS AS CR, 2006. 18 s.
Hrubý, Jaroslav – Andrej, Ladislav.
Kvantový šumátor a jeho testování.
Prague : ICS AS CR, 2005. 27 s.
Neruda, Roman – Vaculín, Roman.
Concept Nodes Architecture within the Bang3 System.
Prague : ICS AS CR, 2005. 11 s.
Prague : CTU + ICS AS CR, 2006. 15 s.
On the Power of Broadcasting in Mobile Computing.
Prague : ICS AS CR, 2005. 15 s.
Trust-region Interior-Point Method for Large Sparse l1 Optimization.
Prague : ICS AS CR, 2005. 18 s.
Primal Interior-Point Method for Large Sparse Minimax Optimization.
Prague : ICS AS CR, 2005. 25 s.
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.
Běhounek, Libor – Cintula, Petr.
Fuzzy Class Theory: A Primer v1.0.
Prague : ICS AS CR, 2006. 20 s.
Linková, Zdeňka – Nedbal, Radim.
Building Ontologies for GIS – Part 2.
One More Variety in Fuzzy Logic: Quasihoops.
Prague : ICS AS CR, 2005. 6 s.
Measures and Characteristics of Classification Quality.
Prague : CTU + ICS AS CR, 2005. 17 s.
Kudová, Petra – Šidlofová, Terezie.
Sum and Product Kernel Regularization Networks.
On Probabilistic Transformations of Belief Functions.
Prague : ICS AS CR, 2005. 14 s.
Chaotic Dynamics in Simple Neuronal Systems – Theory and Applications.
Linková, Zdeňka – Nedbal, Radim – Řimnáč, Martin.
Prague : ICS AS CR, 2005. 9 s.
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.
Prague : ICS AS CR, 2005. 262 s.
Prague : ICS AS CR, 2005. 10 s.
Juruš, Pavel – Máj, Petr.
Statistiky web serveru MEDARD-ONLINE rok 2004.
Prague : ICS AS CR, 2005. 16 s.
Halenka, T – Brechler, J – Eben, Kryštof.
Prague : ICS AS CR, 2004. 35 s.
Eben, Kryštof – Juruš, Pavel – Belda, Michal.
Modeling Wind Speed in the Lower PBL.
Prague : ICS AS CR, 2004. 6 s.
The Logic Summer School 2004.
Representation of Continuous Archimedean Radial Fuzzy Systems.
Prague : ICS AS CR, 2004. 14 s.
UFO 2004. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2004. 227 s.
Data Integration in VirGIS and in the Semantic Web.
Mixed Finite Element Analysis of Semi-Coercive Unilateral Contact Problem with Given Friction.
Feature Selection by Reodering According to their Weights.
Prague : CTU + ICS AS CR, 2004. 7 s.
Prague : ICS AS CR, 2004. 11 s.
Interior Point Methods for Large-Scale Nonlinear Programming.
Prague : ICS AS CR, 2004. 15 s.
Variable Metric Method for Minimization of Partially Separable Nonsmooth Functions.
Efficient Methods for Large-Scale Unconstrained Optimization.
Prague : ICS AS CR, 2004. 24 s.
A Shifted Steihaug-Toint Method for Computing a Trust-Region Step.
Prague : ICS AS CR, 2004. 9 s.
Features of Nearest Neighbors Distances in High-Dimensional Space.
Prague : CTU + ICS AS CR, 2004. 13 s.
Prague : ICS AS CR, 2004. 27 s.
A Method for Handling Dependent Data in Interval Linear Systems.
Prague : ICS AS CR, 2004. 7 s.
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.
A Relational Framework for Data Mining.
Prague : ICS AS CR, 2004. 21 s.
Coupling Computational and Non-Computational Processes: Minimal Artificial Life.
Supervised Learning as an Inverse Problem.
Prague : ICS AS CR, 2004. 456 s.
Minimization Problems with Fourier Based Stabilizers.
Study of Undeterministic Methods for Data Separation in Physics.
Prague : ICS AS CR, 2003. 33 s.
Probability Density Estimation Classifier Based on Sample Distances.
Prague : CTU + ICS AS CR, 2003. 10 s.
Kůrková, Věra – Sanguineti, M.
Learning with Generalization Capability by Kernel Methods of Bounded Complexity.
Prague : ICS AS CR, 2003. 16 s.
A Sobolev-Type Upper Bound for Rates of Approximatoin by Linear Combinations of Plane Waves.
Additional Properties of Shifted Variable Metric Methods.
Prague : ICS AS CR, 2004. 16 s.
Cullum, J – Tůma, Miroslav.
Matrix-Free Preconditioning using Partial Matrix Estimation.
Test Problems for Unconstrained Optimization.
Prague : ICS AS CR, 2003. 26 s.
LSA: Algorithms for Large-Scale Optimization.
Prague : ICS AS CR, 2004. 38 s.
Přehled některých důležitých vět z teorie matic.
Prague : ICS AS CR, 2003. 48 s.
Mirror Neurons, Embodied Cognitive Agents and Imitation Learning.
Prague : ICS AS CR, 2003. 9 s.
Prague : ICS AS CR, 2003. 5 s.
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.
Hájek, Petr – Harmancová, Dagmar.
A Note on Dempster Rule.
Algebraic Structures Related to the Combination of Belief Functions. The Consensus Operator and Josang’s Semigroup.
Prague : ICS AS CR, 2003. 17 s.
Formal Reasoning in the Bang3 Multi-Agent System.
Místo a role zrcadlových neuronů ve vtělených kognitivních systémech.
Prague : ICS AS CR, 2003. 14 s.
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.
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.
Mikyška, J – Beneš, Michal.
Thermal Flow and Heat Transport in the Vicinity of Sources of the Geothermal Energy.
Diffuse Interface Model of Microstructure Formation in Solidification with Anisotropy based on Finsler Geometry.
Prague : ICS AS CR, 2002. 12 s.
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.
Error Estimates for Approximate Optimization by the Extended Ritz Method.
Prague : ICS AS CR, 2002. 17 s.
All Training Samples Density Estimation Classifier.
Prague : CTU + ICS AS CR, 2002. 8 s.
Prague : ICS AS CR, 2002. 73 s.
Krušina, Pavel – Kudová, Petra – Petrová, Zuzana – Neruda, Roman.
Hybrid AI Models using Bang.
Prague : ICS AS CR, 2002. 5 s.
Nearest Neighbour Distance Statistics Estimation.
Prague : CTU + ICS AS CR, 2002. 12 s.
Core Distance and Testing Hypotheses.
Prague : ICS AS CR, 2002. 13 s.
New Variable Metric Methods for Unconstrained Minimization Covering the Large-Scale Case.
Prague : ICS AS CR, 2002. 30 s.
Systems of Interval Linear Equations and Inequalities (Rectangular Case).
Prague : ICS AS CR, 2002. 69 s.
Fuzzy Logic and Lindström’s Theorem.
Wave Algorithm for Searching Track with Bremsstrahlung – Testing Abilities of the Method.
Prague : ICS AS CR, 2002. 23 s.
Algebraic Structures Related to the Combination of Belief Functions.
Prague : ICS AS CR, 2002. 14 s.
Core Functions and Systems of Distribution.
Center of Gravity and Information of Continuous Distribution.
Circular Regression for Approximation of Particle Tracks.
The Wave Algorithm for Track Searching.
Prague : ICS AS CR, 2002. 22 s.
Hájek, Petr – Feglar, Tomáš – Rauch, Jan – Coufal, David.
The GUHA method, data preprocessing and mining. (Position paper.).
Wiedermann, Jiří – van Leeuwen, J.
Relativistic Computers and Non-Uniform Complexity Theory.
Prague : ICS AS CR, 2002. 10 s.
Tight Bounds on Rates of Variable-Basis Approximation via Estimates of Covering Numbers.
Prague : ICS AS CR, 2001. 12 s.
Minimization of Error Functionals over Variable-Basis Functions.
Fabián, Zdeněk – Vajda, Igor.
Core Functions and Core Divergences of Regular Distributions.
Prague : ICS AS CR, 2002. 16 s.
Hlaváček, Ivan – Nedoma, Jiří.
Reliable Solution of a Unilateral Frictionless Contact Problem in Quasi-Coupled Thermo-Elasticity with Uncertain Input Data.
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.
The GUHA Virtual Machine – Frameworks and Key Concept. Research Report COST 274.
Prague : ICS AS CR, 2001. 31 s.
Some Hedges for Continuous t-norm Logics.
Prague : ICS AS CR, 2001. 4 s.
Incremental Structure Learning of Wang Neuro-Fuzzy System.
Prague : ICS AS CR, 2001. 7 s.
Savický, Petr – Klaschka, Jan.
Optimally Trained Classification Trees and Occam’s Razor.
Prague : ICS AS CR, 2001. 33 s.
Andrey, Ladislav – Franěk, M – Rokyta, R – Vaculín, Š.
Prague : ICS AS CR, 2001. 15 s.
Learning of Generalized Regularization Networks.
Prague : ICS AS CR, 2003. 6 s.
Andrey, Ladislav – Erzan, R.
The Sigmoidal Transfer Function and the Gain-Threshold Exponential Dependence for Neurons from Statistical Mechanics Treatment.
On the Super-Turing Computational Power of Non-Uniform Families of Neuromata.
Prague : ICS AS CR, 2001. 6 s.
Radial Basis Function Neural Networks with Example Weights and LMS Linear Regression Weight Settings.
Prague : ICS AS CR, 2001. 9 s.
Prague : ICS AS CR, 2001. 16 s.
Prague : ICS AS CR, 2001. 77 s.
Prague : ICS AS CR, 2001. 24 s.
Nonsmooth Equation Method for Nonlinear Nonconvex Optimization.
Beyond the Turing Limit: Evolving Interactive Systems.
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.
A Nonstandard Modification of Dempster Combination Rule.
Prague : ICS AS CR, 2001. 10 s.
Fuzzy Neuroidal Nets and Recurrent Computations.
Variable Metric Methods for Nonsmooth Optimization.
Interior Point Method for Nonlinear Nonconvex Optimization.
Prague : ICS AS CR, 2001. 8 s.
Training a Sigmoid Neuron is Hard.
Drkošová, Jitka – Mayer, Petr – Štědrý, Arnošt.
Some Notes on Parallel Implementations of Solvers for Stochastic Matrices on Cluster of Workstations.
Emergence of a Super-Turing Computational Potential an Artificial Living Systems.
Prague : ICS AS CR, 2001. 11 s.
Prague : ICS AS CR, 2001. 23 s.
Description of the Finite Element Program for Contact Problem.
Prague : ICS AS CR, 2001. 36 s.
Covering Numbers and Rates of Neural-Network Approximation.
Formalizing, Analyzing and Extending the Model of Bulk Synchronous Parallel Computer.
Prague : ICS AS CR, 2000. 92 s.
Fuzzy Computations are more Powerful than Crisp Ones.
Prague : ICS AS CR, 2000. 13 s.
Analysis of Environmental Data Using Spatial Statistics Methods.
Prague : ICS AS CR, 2000. 6 s.
UFO 2000. Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2000. 190 s.
Hakl, František – Kalous, R.
Prague : ICS AS CR, 2000. 22 s.
Prague : ICS AS CR, 2000. 23 s.
The Computational Theory of Neural Networks.
Prague : ICS AS CR, 2000. 31 s.
Numerical Solutions of Coupled Thermo-Mechanical Problems with Applications in Geomechanics.
Prague : ICS AS CR, 2001. 13 s.
Nedoma, Jiří – Hlaváček, Ivan.
Solution of a Semi-Coercive Contact Problem in a Non-linear Thermo-Elastic Rheology.
On a Solution of a Generalized Semi-Coercive Contact Problem in Thermo-Elasticity.
Prague : ICS AS CR, 2001. 14 s.
Prague : ICS AS CR, 2000. 68 s.
Benzi, M – Tůma, Miroslav.
A Parallel Solver for Large-Scale Markov Chains.
Prague : ICS AS CR, 2000. 39 s.
Bodon, E – Lukšan, Ladislav – Spedicato, E.
Computational Experiments with Linear ABS Algorithms.
Prague : ICS AS CR, 2000. 28 s.
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.
On the Computational Power of Continuous-Time Symmetric Hopfield Nets.
Pelikán, Emil – Eben, Kryštof – Vondráček, Jiří – Krejčíř, Pavel – Keder, Josef.
Ground Level Ozone Peak Forecasts Using Neural Networks and Kalman Filter.
A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
Prague : ICS AS CR, 2000. 10 s.
Core Distance of Probability Distributions.
Guha+- User’s Guide, v. 1.4.
Prague : ICS AS CR, 2000. 83 s.
Prague : ICS AS CR, 2000. 48 s.
On Systematics of Continuous Probability Distributions.
Prague : ICS AS CR, 2000. 12 s.
Prague : ICS AS CR, 2000. 61 s.
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.
Sirota, A – Frolov, A. A – Húsek, Dušan.
Binary Factor Analysis in Hopfield-Like Neural Networks.
Prague : ICS AS CR, 1999. 33 s.
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.
Anisotropic Phase-Field Model with Focused Latent-Heat Release.
Prague : ICS AS CR, 2000. 14 s.
The Parameter of Assymetry of the Transformed Beta Family.
Prague : ICS AS CR, 1999. 4 s.
Induced Scores and Their Use in Robust Parametric Estimation.
Prague : ICS AS CR, 1999. 17 s.
Š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.
Functional Equivalence Properties of Perceptron Networks.
Prague : ICS AS CR, 1999. 6 s.
Test Problems for Nonsmooth Unconstrained and Linearly Constrained Optimization.
Prague : ICS AS CR, 2000. 32 s.
Prague : ICS AS CR, 2000. 24 s.
FEM Solutions of Stefan Problems in Rheology.
Prague : ICS AS CR, 1999. 57 s.
Best Approximation by Linear Combinations of Characteristic Functions of Half-Spaces.
Prague : ICS AS CR, 1999. 9 s.
Prague : ICS AS CR, 1999. 25 s.
Intelligence as Large-Scale Computational Learning Phenomenon. (A Short Version).
Dimension-Independent Approximation by Neural Networks and Its Comparison With Linear Approximation.
Prague : ICS AS CR, 1999. 16 s.
Upper Bounds for Gentle Branching Programs.
Prague : ICS AS CR, 1999. 11 s.
The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa.
Prague : ICS AS CR, 1999. 14 s.
Domain Decomposition Applied to a Unilateral Contact of Elastic Bodies.
Prague : ICS AS CR, 1999. 46 s.
Prague : ICS AS CR, 1999. 56 s.
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.
Explanation of a Phenomenon Witnessed in Pre-Processed GMRES.
Prague : ICS AS CR, 1999. 8 s.
Šíma, Jiří – Orponen, P – Antti-Poika, T.
Some Afterthoughts on Hopfield Networks.
Lukšan, Ladislav – Spedicato, E – Vlček, Jan.
Variable Metric Methods for Unconstrained Optimization.
Prague : ICS AS CR, 1999. 50 s.
Numerical Experience with Iterative Methods for Equality Constrained Nonlinear Programming Problems.
Conjugate Gradient Methods for Saddle Point Systems.
Probabilistic Analysis of Dempster-Shafer Theory. Part Three.
Prague : ICS AS CR, 1999. 51 s.
Geodynamic Analyses of the Himalayas and the Andaman Islands Based on Mathematical Simulations of Geodynamics Processes.
Prague : ICS AS CR, 1999. 31 s.
Globally Convergent Variable Metric Method for Nonconvex Nondifferentiable Unconstrained Minimization.
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.
Šíma, Jiří – Orponen, P.
A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks.
Attractor Basins in Sparsely Encoded Hopfield-Like Associative Memory.
Prague : ICS AS CR, 1998. 15 s.
A Modified Approach to Point Estimation.
Prague : ICS AS CR, 1998. 12 s.
Prague : ICS AS CR, 1998. 18 s.
Geometry and Topology of Continuous Best and Near Best Approximations.
Prague : ICS AS CR, 1998. 9 s.
Neruda, Roman – Salač, Vladimír.
Prague : ICS AS CR, 1998. 11 s.
Sparse and Partially Separable Test Problems for Unconstrained and Equality Constrained Optimization.
Interactive System for Universal Functional Optimization (UFO) – Version 1998.
Prague : ICS AS CR, 1999. 182 s.
Paige, Ch – Strakoš, Zdeněk.
Residuals and Singular Values in Linear Least Squares Problems.
Prague : ICS AS CR, 1998. 23 s.
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.
Prague : ICS AS CR, 1998. 59 s.
Prague : ICS AS CR, 1997. 27 s.
Existence Conditions for the Inconsistencies in the Databases Integration.
On Functions with Many Good Variable Orderings for Parity OBDDs.
Prague : ICS AS CR, 1998. 5 s.
The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
Prague : ICS AS CR, 1997. 13 s.
Frolov, A. A – Řízek, Stanislav – Dufossé, M.
Biological Motivations for Differential Neurocontrol.
Prague : ICS AS CR, 1998. 16 s.
Prague : ICS AS CR, 1997. 83 s.
A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs.
Hošek, M – Hakl, František.
Praha : ÚIVT AV ČR, 1998. 30 s.
Novický, Marek – Nedoma, Jiří.
Numerical Solution of the Incompressible Thermo-Bingham Problem.
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.
Novický, Marek – Kestřánek, Zdeněk – Nedoma, Jiří.
Dual Contact Problem in Elasticity.
Probabilistic Analysis of Dempster-Shafer Theory. Part Two.
Prague : ICS AS CR, 1998. 35 s.
Klán, Petr – Vlček, Jan – Wilkie, J.
On the Application of Relative Information.
Spectral Radius of Opertators on l.
Prague : ICS AS CR, 1998. 10 s.
Classification of the Inconsistencies in the Databases Integration.
Modelování v paleontologii – úvodní skica.
Umělá inteligence v počítačových hrách.
The Cogitoid: A Computational Model of Cognitive Behaviour. (Revised Version).
Prague : ICS AS CR, 1998. 17 s.
Simulating the Mind: A Gauntlet Thrown to Computer Science.
Prague : ICS AS CR, 1998. 4 s.
Globally Convergent Variable Metric Method for Convex Nonsmooth Unconstrained Minimization.
Kestřánek, Zdeněk – Nedoma, Jiří.
FEC – A Code for Contact Problems in Thermoelasticity.
Nedoma, Jiří – Kestřánek, Zdeněk.
Preconditioners for Contact Problems in Elasticity.
Interactive System for Universal Functional Optimization (UFO) – Version 1997.
Prague : ICS AS CR, 1997. 157 s.
Prague : ICS AS CR, 1997. 6 s.
Prague : ICS AS CR, 1997. 12 s.
Šíma, Jiří – Červenka, Jiří.
Neural Knowledge Processing in Expert Systems.
Prague : ICS AS CR, 1997. 40 s.
Pelikán, Emil – Klaschka, Jan – Sláma, Marek – Eben, Kryštof – Paluš, Milan – Vondráček, Jiří.
Prague : ICS AS CR, 1997. 43 s.
A Note on the LDL T Decomposition of Sparse Symmetric Quasisemidefinite Matrices.
Prague : ICS AS CR, 1997. 14 s.
Frolov, A. A – Húsek, Dušan.
Pattern Matching by Sparsely Encoded Hopfield-Like Associative Memory.
Prague : ICS AS CR, 1997. 11 s.
Product of Matrices and P-Class.
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.
Harmancová, Dagmar – Holeňa, Martin – Sochorová, Anna.
Overview of the GUHA Method of Exploratory Data Analysis and Data Mining.
A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
Prague : ICS AS CR, 1997. 37 s.
Prague : ICS AS CR, 1997.
Distributed Implementation of the Back Propagation on the Cluster of Workstation.
Prague : ICS AS CR, 1997. 17 s.
Accelerating Nondeterministic Single-Tape Off-Line Computations by One Alternation.
Stress-Strain Analysis Along the Profile VI Across the Bohemian Massif.
Prague : ICS AS CR, 1997. 25 s.
Gutknecht, M. H – Strakoš, Zdeněk.
Accuracy of Three-Terms and Two-Terms Recurrences for Krylov Space Solvers.
Arioli, M – Pták, Vlastimil – Strakoš, Zdeněk.
Krylov Sequences of Maximal Length and Convergence of GMRES.
Prague : ICS AS CR, 1997. 10 s.
Geodynamics Analysis of the Himalayas and the Andaman Islands Based on Mathematical Simulations of Geodynamics Processes.
Prague : ICS AS CR, 1997. 47 s.
Dynamic Modelling of Subductional Processes in the Central Aleutians.
Prague : ICS AS CR, 1997. 32 s.
PEQN, PEQL – CGS Based Algorithms for Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1997. 16 s.
PBUN, PNEW – A Bundle-Type Algorithms for Nonsmooth Optimization.
PMIN – A Recursive Quadratic Programming Variable Metric Algorithm for Minimax Optimization.
Prague : ICS AS CR, 1997. 20 s.
Probabilistic Analysis of Dempster-Shafer Theory. Part One.
Prague : ICS AS CR, 1997. 56 s.
Towards Machines That Can Think.
Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics.
Genetic Learning of RBF Networks with GARB.
Prague : ICS AS CR, 1997. 26 s.
A Generalization of Möbius Transformation for Knowledge Bases, which Include Rules with Disjunction in Antecedent II. General ecd knowledge bases.
Potentiality of Chaotic Behaviour in Single Neuron is Natural.
Analog Stable Simulation of Discrete Neural Networks.
Prague : ICS AS CR, 1997. 8 s.
Hakl, František – Jiřina, Marcel.
Level-Two Triggering via a Neural Net with Linear Discriminant Functions.
Prague : ICS AS CR, 1997. 34 s.
Duality Methods in Čebyšev Approximation.
Prague : ICS AS CR, 1997. 7 s.
Hájek, Petr – Godo, L.
Deductive Systems of Fuzzy Logic (A Tutorial).
Prague : ICS AS CR, 1997. 31 s.
A Generalization of Möbius Transformation for Knowledge Bases, which Include Rules with Disjunction in Antecedent.
Prague : ICS AS CR, 1997. 35 s.
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?.
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.
Hájek, Petr – Richards, B.
Managing Uncertainty in Medicine Final Report.
Database Systems and Logic – I.
Interactive System for Universal Functional Optimization (UFO) – Version 1996.
Prague : ICS AS CR, 1996. 126 s.
Prague : ICS AS CR, 1996. 12 s.
Prague : ICS AS CR, 1996. 17 s.
Prague : ICS AS CR, 1996. 26 s.
Neruda, Roman – Štědrý, Arnošt.
Cascade Networks: Another Approach to Function Approximation.
Prague : ICS AS CR, 1996. 7 s.
The Cogitoid: A Simple Model of Mind.
Prague : ICS AS CR, 1996. 15 s.
Trade-off Between the Size of Weights and the Number of Hidden Units in Feedforward Networks.
Information and Entropy of Continuous Random Variables.
Prague : ICS AS CR, 1996. 8 s.
On a Coupled Stefan-Like Problem in Thermo-Visco-Plastic Rheology.
Prague : ICS AS CR, 1996. 40 s.
Návod na stanovení požadavků na programové vybavení.
Praha : ÚIVT AV ČR, 1996. 22 s.
Fully Iterative Indefinitely Preconditioned Algorithm for Large Sparse Equality Constrained Nonlinear Programming Problems.
On Overestimations Produced by the Interval Gaussian Algorithm.
Prague : ICS AS CR, 1997. 5 s.
Bounds on Eigenvalues of Interval Matrices.
Checking Properties of Interval Matrices.
Prague : ICS AS CR, 1996. 36 s.
The Cogitoid: A Computational Model of Mind.
Řízek, Stanislav – Bílková, Hana.
Annual Report – Spring 1996.
Prague : ICS AS CR, 1996. 55 s.
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.
Metamathematics of Fuzzy Logic. Part I.
Prague : ICS AS CR, 1996. 76 s.
Complexity and Probability of Some Boolean Formulas.
Towards Computational Models of the Brain: Getting Started.
Prague : ICS AS CR, 1996. 33 s.
The Conjugate Protected Gradient Method – Numerical Tests and Results.
Prague : ICS AS CR, 1996. 35 s.
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.
Supplement to the Report for the Evalution of the Institute.
Report for the Evalution of the Institute.
Prague : ICS AS CR, 1996. 85 s.
Savický, Petr – Žák, Stanislav.
A Hierarchy for (1,+k)-branching programs with respect to k.
On the Relation Between Gnostical and Probability Theories.
Prague : ICS AS CR, 1996. 13 s.
Influence Function and Fisher Information of Probability Distributions.
Prague : ICS AS CR, 1996. 9 s.
A Large Lower Bound for 1-branching Programs.
Prague : ICS AS CR, 1996. 6 s.
Computational Experience with Globally Convergent Descent Methods for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1996. 19 s.
Inexact Trust Region Methods Based on Preconditioned Iterative Subalgorithms for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1996. 18 s.
Rohn, Jiří – Rex, G.
Enclosing Solutions of Linear Equations.
Novák, Mirko – Pecen, Ladislav.
Praha : ÚIVT AV ČR, 1995. 19 s.
Novák, Mirko – Denksteinová, Marie.
Praha : ÚIVT AV ČR, 1995. nestr.
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.
Generalized of Nonlinear Programming Methods for Solving Multiobjective Optimization Problems.
Prague : ICS AS CR, 1995. 10 s.
Praha : ÚIVT AV ČR, 1995. 10 s.
Krylov Sequences and Orthogonal Polynomials.
Norms of Matrices and Convergence of Iterative Processes.
Prague : ICS AS CR, 1996. 49 s.
Geometric Moments and Geometric Moment Estimates.
Prague : ICS AS CR, 1995. 34 s.
A Sharp Separation Below Log.
Prague : ICS AS CR, 1995. 5 s.
A Bundle-Newton Method for Nonsmooth Unconstrained Minimization.
A Sparse Approximate Inverse Preconditioner for Nonsymmetric Linear Systems.
Prague : ICS AS CR, 1995. 36 s.
Efficient Algorithm for Large Sparse Equality Constrained Nonlinear Programming Problems.
Prague : ICS AS CR, 1996. 16 s.
Hlaváčková, Kateřina – Verleysen, M.
Feed-Forward Neural Networks and Splines for Approximation of Functions.
Prague : ICS AS CR, 1995. 14 s.
Hájek, Petr – Nguyen, Hoang Phuong.
Prague : ICS AS CR, 1995. 19 s.
Lukšan, Ladislav – Rozložník, Miroslav.
Globally Convergent Methods for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1995. 21 s.
Numerical Analysis of the Contact Problem. Comparison of Methods for Finding the Approximate Solution.
Prague : ICS AS CR, 1995. 57 s.
A Lower Bound on Branching Programs Reading Some Bits Twice.
Prague : ICS AS CR, 1995. 8 s.
A Superpolynomial Lower Bound for (1,+k(n))-Branching Programs.
Prague : ICS AS CR, 1995. 6 s.
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.
The Conjecture „P =/= NP“ and Overestimation in Bounding Solutions of Pertubed Linear Equations.
Enclosing Solutions of Overdetermined Systems of Linear Interval Equations.
Prague : ICS AS CR, 1995. 7 s.
Linear Programming with Inexact Data is NP-Hard.
Validated Solutions of Nonlinear Equations.
Numerické optimalizační metody pro úlohy bez omezujících podmínek.
Praha : ÚIVT AV ČR, 1995. 129 s.
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.
Fisher Distance of Probability Measures.
Prague : ICS AS CR, 1995. 15 s.
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.
Complexity of Solving Linear Interval Equations.
Biological Signal Processing and System Identification.
Prague : ICS AS CR, 1995. 17 s.
The Potential Fluid Flow Problem and the Convergence Rate of the Minimal Residual Method.
Prague : ICS AS CR, 1995. 13 s.
Medical Fuzzy Expert Systems and Reasoning about Beliefs.
Prague : ICS AS CR, 1994. 8 s.
Five New Simulation Results on Turing Machines.
Prague : ICS AS CR, 1995. 9 s.
Algebraic Structures Related to Dempster-Shafer Theory.
Separating Deterministic, Nondeterministic, and Co-Nondeterministic Time Complexity Classes for Single-Tape Computations.
Božovský, P. – Húsek, Dušan.
Information Capabilities Analysis of Recurrent Neural Network Creating Energy Function Constructively.
Dimension-independent Rates of Approximation by Neural Networks and Variation with Respect to Half-spaces.
Šíma, Jiří – Wiedermann, Jiří.
Systematics of Continuous Probability Distributions.
A Comparison of Some Preconditioning Techniques for General Sparse Matrices.
Linear Interval Equations: Computing Sufficiently Accurate Enclosures in NP-Hard.
Validated Solutions of Linear Equations.
Prague : ICS AS CR, 1995. 11 s.
NP-Hardness Results for Some Linear and Quadratic Problems.
Prague : ICS AS CR, 1994. 6 s.
Prague : ICS AS CR, 1994. 18 s.
Prague : ICS AS CR, 1994. 16 s.
Problémy archivační komprese velkých souborů dat.
Praha : ÚIVT AV ČR, 1994. 6 s.
Benzi, M – Meyer, C. D – Tůma, Miroslav.
A Sparse Approximate Inverse Preconditioner For The Conjugate Gradient Method.
Meze životnosti systémů (grant č.101/93/0430 Grantové agentury ČR).
Simple Scaling for Variable Metric Updates.
Prague : ICS AS CR, 1994. 5 s.
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.
Approximation of the Mixed-Hybrid Formulation of the Porous Media Flow Problem.
Prague : ICS AS CR, 1994. 11 s.
Bundle Algorithms for Nonsmooth Unconstrained Optimization.
Prague : ICS AS CR, 1994. 12 s.
On the Information Capacity of Hopfield Network.
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.
Mixed-Hybrid Finite Element Approximation of the Potential Fluid Flow Problem.
Rex, G – Rohn, Jiří.
A Note on Checking Regularity of Interval Matrices.
Prague : ICS AS CR, 1994. 4 s.
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.
Some Estimates of the Approximation Error of Continuous Functions by RBF and KBF networks.
Prague : ICS AS CR, 1994. 7 s.
The Computational Power of Bi-Greedy In-Branching Programs, and its Bounds.
Prague : ICS AS CR, 1994. 14 s.
Approximation of Functions by Perceptron Networks with Bounded Number of Hidden Units.
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.
Numerical Modelling of Tectonic Evolution of Collision Zones.
Prague : ICS AS CR, 1994. 32 s.
An Algorithm for Checking Stability of Symmetric Interval Matrices.
Greenbaum, A – Pták, Vlastimil – Strakoš, Zdeněk.
Any Nonicreasing Convergence Curve is Possible for GMRES.
Prague : ICS AS CR, 1994. 9 s.
Pudlák, Pavel – Žák, Stanislav.
Prague : ICS AS CR, 1994. 30 s.
Rozložník, Miroslav – Strakoš, Zdeněk.
Variants of the Residual Minimizing Krylov Space Method.
Prague : ICS AS CR, 1994. 26 s.
Wiedermann, Jiří – Šíma, Jiří – Neruda, Roman.
An Optimal in-Situ Disk Sorting Algorithm Based on Heapsort.
Prague : ICS AS CR, 1994. 17 s.
Numerické metody pro nepodmíněnou optimalizaci. Učební text.
Praha : ÚIVT AV ČR, 1994. 68 s.
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.
Komprese obrazové informace neuronovými sítěmi.
Praha : ÚIVT AV ČR, 1994. 33 s.
Some Comments on the Ordered Modified Gram-Schmidt Orthogonalization.
Prague : ÚIVT AV ČR, 1994. 18 s.
Approximation of Functions by Neural Networks with Local and Non-Local Units.
Metric Random Variable, Metric Moments and Metric Moment Estimates.
Prague : ICS AS CR, 1994. 37 s.
Systematics of Continuous Unimodal Probability Distributions Based on Properties of Coresponding Metric Functions (Final Version).
Prague : ICS AS CR, 1994. 22 s.
Geometric Definition of Continuous Probability Space and Some its Consequences.
Prague : ICS AS CR, 1994. 10 s.
Back Propagations is not Efficient.
Drkošová, Jitka – Greenbaum, A – Rozložník, Miroslav – Strakoš, Zdeněk.
On a Generalized Thermo-Magneto-Hydrodynamic Problem; A New Approach to Mantle-Core Coupling Studies.
Prague : ICS AS CR, 1994. 24 s.
Prague : ICS AS CR, 1994. 29 s.
Affinely Recursive Functions and Neural Networks.
Prague : ÚIVT AV ČR, 1993. 6 s.
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.
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.
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.
Bendová, K – Sochorová, Anna.
Uživatelský manuál programů ASSOC a IMPL metody GUHA.
Praha : ÚIVT AV ČR, 1994. 26 s.
Konceptuálný model činnosti Centra clustrovej medicíny.
Interactive System for Universal Functional Optimization (UFO) – Version 1993.
Prague : ICS AS CR, 1994. 101 s.
Základy teorie provozní spolehlivosti a opravitelnosti systémů.
Prague : ICS AS CR, 1993. 28 s.
Systematics of Continuous Probability Distributions Based on Properties of Corresponding Metric Functions.
Prague : ICS AS CR, 1993. 25 s.
Fast Sequential and Parallel Simulations of Nondeterministic Computations.
Prague : ICS AS CR, 1993. 13 s.
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.
Šíma, Jiří – Neruda, Roman.
Designing Neural Expert Systems with EXPSYS.
Prague : ICS AS CR, 1993. 22 s.
Hybrid Methods for Large Sparse Nonlinear Least Squares.
Prague : ICS AS CR, 1993. 23 s.
Golub, G. H – Strakoš, Zdeněk.
Prague : ICS AS CR, 1993. 36 s.
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.
Andrej, Ladislav – Kufudaki, Olga.
Neural Networks – Nonlinear Systems with Potentially Complex Behavior.
Solving Sparse Unsymmetric Sets of Linear Equations Based an Implicit Gauss Projection.
Prague : ÚIVT AV ČR, 1993. 28 s.
Combined Trust Region Methods for Nonlinear Least Squares.
Prague : ICS AS CR, 1993. 21 s.
Parametric Point Estimation on R+.
Prague : ICS AS CR, 1993. 10 s.
Towards Systematization of Continuous Regular Probability Distributions.
Prague : ICS AS CR, 1993. 16 s.
Prague : ICS AS CR, 1993. 18 s.
FEM Analysis of Artificial Substitutes of Human Joints and their Optimal Design.
Finite Element Analysis in Nuclear Safety.
Prague : ICS AS CR, 1993. 90 s.
Kočková, Sylva – Brůha, I.
CN4: An Extension of CN2 Covering Algorithm.
A Comparison of the Biconjugate Gradient Method and Related Methods for Solving Nonsymmetric Systems of Linear Equations.
Prague : ICS AS CR, 1993. 63 s.
Inexact Trust Region Method for Large Sparse Systems of Nonlinear Equations.
Prague : ICS AS CR, 1993. 33 s.
A Nonlinear Analysis of Incompressible Pulsating Flow in the Artery System and Blood Vessels.
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.
Neruda, Roman – Hlaváčková, Kateřina.
On the Convergence of Generalized Kohonen’s Maps.
Prague : ICS AS CR, 1992. 14 s.
Koncepce systémů s mimořádnou spolehlivostí.
Praha : ÚIVT ČSAV, 1992. nestr.
Novák, Mirko – Šebesta, Václav.
Praha : ÚIVT ČSAV, 1993. 17 s.
Modely neuronů s uvažováním vnitřních informačních mechanizmů.
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.
Frolov, A. A – Řízek, Stanislav.
Prague : ÚIVT ČSAV, 1992. 19 s.
Semigroups of Function Preserving Weight Transformations.
Prague : ÚIVT ČSAV, 1992. 14 s.
The Task of High Level Decision in Second Level Triggering.
Praha : SVT ČSAV, 1992. nestr.
Computational Experience with Known Variable Metric Updates.
Prague : ICS AS CR, 1992. 19 s.
Open Questions in the Convergence Analysis of the Lanczos Process for the Real Symmetric Eigenvalue Problem.
Prague : ICS AS CR, 1992. 43 s.
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.
Multi-Algorithm ANZA User Interface. User’s and Maintenance Guide.
Praha : ÚIVT AV ČR, 1992. 22 s.
Prediction the Consumption of a Power Plant.
Praha : ÚIVT AV ČR, 1992. 17 s.
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.
Praha : ÚIVT ČSAV, 1991. 67 s.
Analýza dynamického chování elektrizační soustavy s využitím neuronových sítí.
Praha : ÚIVT ČSAV, 1972. 24 s.
Prague : ÚIVT ČSAV, 1991. 24 s.
Towards Unification of Method of Statistical Estimation.
Prague : ICS AS CR, 1991. – s.
Simulation of the Biomechanical Function of Human Joints and Optimal Design of Their Artificial Substitutes.
Prague : ICS AS CR, 1991. 25 s.
Static Stress-Strain Analysis of Human Joints and Their Artificial Substitutes.
Prague : ICS AS CR, 1991. 17 s.
Geodynamic Processes in the Volcaically Active Regions and the Stress-Strain Monitoring of Such Regions.
Prague : ICS AS CR, 1991. 23 s.
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.
Novák, Mirko – Faber, J.
Modeling of Some Epileptic Phenomena by Layered Artificial Neural Networks.
Prague : ÚIVT ČSAV, 1991. 12 s.
Neuronová síť s multiplexováním vstupů a impulsním signálním mechanismem.
Praha : SVT ČSAV, 1991. – s.
Jiřina, Marcel – Švanda, Josef.
Neuronové sítě s omezeným propojením.
Prague : ÚIVT ČSAV, 1991. 22 s.
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.
A Nonlinear Analysis of Pulsatile Flow in Arteries and Blood Vessels.
Prague : ICS AS CR, 1991. 29 s.
Biomechanics of Static and Dynamic Joints and of Human Motion. Part I, II.
Biconjugate Gradient-Type Methods for Solving Nonsymmetric Systems of Linear Equations.
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.
Efficient Trust Region Method for Nonlinear Least Squares.
Entropy Production – A New Harmony Function for Hopfield – Like Networks ICIS.
Prague : ÚIVT ČSAV, 1991. 4 s.
Inexact Trust Region Method for Large Sparse Nonlinear Least Squares.
Prague : ICS AS CR, 1991. 26 s.
Lanczos Algorithm, Orthogonal Polynomials and Continued Fraction.
Prague : ICS AS CR, 1991. 12 s.
Poupě, Jiří – Medellin, H.
Sistema Experto Para la Administracion del Sistema Nacional de Institutos Technologicos.
Prague : ÚIVT ČSAV, 1991. 18 s.
Interactive System for Universal Functional Optimization UFO.
Prague : ICS AS CR, 1991. 15 s.
Sparse Fractioned Variable Metric Updates.
Prague : ICS AS CR, 1991. 34 s.
Variationally Derived Scaling and Variable Metric Updates from the Preconvex Part of the Broyden Family.
Prague : ICS AS CR, 1991. 10 s.
Some Considerations on the Tolerances and Sensitivities of Artificial Neural Networks.
Prague : ÚIVT ČSAV, 1991. 39 s.
Húsek, Dušan – Lúžný, J.
Prague : ICS AS CR, 1991. 21 s.
Metódy typu konjugovaných gradientov pre riešenie nesymetrických sústav lineárnych rovníc.
Praha : SVT ČSAV, 1991. 150 s.
Vítková, Galina – Míček, Jiří.
Knowledge Processing by Neural Networks.
A Note on the Rate of Convergence of the Conjugate Gradient Method and the Convergence of Ritz Values.
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.
A Note on Comparison of Statistical Software for Nonlinear Regression.
Prague : ICS AS CR, 1991. 4 s.
Computational Experience with Improved Conjugate Gradient Methods for Unconstrained Minimization.
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.
Biological Neural Networks and Stability of Memory ICIS.
Prague : ÚIVT ČSAV, 1991. 28 s.
Systém UFO. Uživatelský popis (verze 1990).
Praha : SVT ČSAV, 1990. 84 s.
Prague : ÚIVT ČSAV, 1991. 29 s.
Stručné porovnanie štatistickej knižnice programov SOLO BMDP s BMDP PC-90.
Praha : SVT ČSAV, 1990. 12 s.
On Simple Formal Systems in Data Analysis.
Praha : SVT ČSAV, 1990. 9 s.
Praha : SVT ČSAV, 1990. 11 s.
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.
Stručný návod k obsluze terminálů systému TC 85 na osobních počítačích.
Prague : SVT ČSAV, 1990. 24 s.
Húsek, Dušan – Novák, Mirko.
Selected Bibliography on Neural Networks and Neurocomputers.
Prague : SVT ČSAV, 1990. 102 s.
Metody monitorování pole napjatosti in situ.
Praha : SVT ČSAV, 1990. 169 s.
Matematické modelování geodynamických procesů v litosféře, mechanismus zemětřesení a důlního otřesu.
Praha : SVT ČSAV, 1990. – s.
Praha : SVT ČSAV, 1990. 17 s.
Přehled patentovaných realizací neuronové sítě.
Praha : SVT ČSAV, 1990. 22 s.
Sparsity Exploitation of the Sparsity in the ABS Methods.
Prague : SVT ČSAV, 1990. 11 s.
Pracoviště grafických výstupů. Možnosti realizace v podmínkách SVT ČSAV.
Praha : SVT ČSAV, 1990. 18 s.
Novák, Michal – Šedivý, Vladimír.
Rozvoj lokální počítačové sítě SVT ČSAV. Koncepce dalšího rozvoje.
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.
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.
Zpracování výkazu odpracovaných hodin na osobním počítači.
Praha : SVT ČSAV, 1990. 16 s.
Systém pro emulaci snímače pásky FS 1503.
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.
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.
Obsluha terminálového operačního systému TOS-l6.
Použití desky DPP v SAPI-86.
Praha : SVT ČSAV, 1990. 8 s.
Provozní charakteristiky komunikačního systému terminálové sítě TC 85.
Prague : SVT ČSAV, 1989. 126 s.
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.
Cahlík, Tomáš – Hamata, Václav – Kroftová, Jarmila – Strnad, Petr.
Integrované informační systémy. Úvodní studie.
Praha : SVT ČSAV, 1989. 12 s.
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.
Komunikační procesor vyššího výkonu. Úvodní studie.
Prague : SVT ČSAV, 1989. 34 s.
Lukšan, Ladislav – Strakoš, Zdeněk.
Řešení soustavy diferenciálních rovnic pro potřeby ÚE ČSAV.
Computational Experience with Improved variable Metric Methods.
Prague : ICS AS CR, 1989. 21 s.
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.
PLAST. Plánování stipendijí v ČSAV na osobních počítačích.
Praha : SVT ČSAV, 1989. 18 s.
PRIST. Evidence přístrojů v ceně nad 500000,- Kčs v ČSAV na osobních počítačích.
Systém UFO. Uživatelský popis (verze 1989).
Praha : SVT ČSAV, 1989. 84 s.
Adelsberger, Petr – Hanušová, Věra.
Reorganizace modulů ladícího systému v SVT – ČSAV.
Praha : SVT ČSAV, 1989. 27 s.
Vítková, Galina – Míček, Jiří – Janson, N.
Nejronnye seti v bazach znanij.
Praha : SVT ČSAV, 1989. 40 s.
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.
ROZP. Automatizované sledování rozpočtu vybraných účtů na ústavech ČSAV pomocí osobních počítačů.
Předzpracování apriorních podpůrných dat pro DPZ na počítačích řady JSEP.
Praha : SVT ČSAV, 1989. 20 s.
Novák, Mirko – Laška, I – Chlup, J – Fabián, M – Jiřina, Marcel – Valenta, J.
Praha : SVT ČSAV, 1989. 60 s.
MOEBIUS – Program pro upravováná vah v pravidlově založených bázích znalostí.
Praha : SVT ČSAV, 1989. 8 s.
Dotazovací jazyk SPINER databázového systému SPEKTR. Popis programů.
Praha : SVT ČSAV, 1989. 11 s.
Struktura a obsah báze systému SPEKTR v SVT ČSAV.
Praha : SVT ČSAV, 1989. 14 s.
Terminálový operační systém – TOS pro šestnáctibitové osobní počítače.
Kanál EC – 1045. Přenos dat s užitím přerušení.
Praha : SVT ČSAV, 1989. 19 s.
Experimenty s modelem neuronové sítě typu Back Propagation a z nich získané poznatky.
Expertní systémy pro navrhování databází.
Praha : SVT ČSAV, 1989. 78 s.
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.
Šimek, Miloslav – Lavička, Zdeněk.
Názor na technické realizace neuronových sítí.
Praha : SVT ČSAV, 1989. 62 s.
HOPNET 2×5 experimentální model Hopfieldovy neuronové sítě.
Kufudaki, Olga – Hořejš, Jiří.
Studie k analýze neuronových sítí (1).
Praha : SVT ČSAV, 1989. 31s.
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.
Simulace Hopfieldova modelu neuronové sítě na osmibitovém mikropočítači.
Neuronové sítě v problematice zpracování obrazů a vidění.
Praha : SVT ČSAV, 1989. 61 s.
Terminálový system TC 85. Přenos souborů.
Praha : SVT ČSAV, 1989. 22 s.
Výzkum neuronových sítí. Přehledová zpráva o činnosti pracovní skupiny v období 1988-1989.
Praha : SVT ČSAV, 1989. 13 s.
Program JED pro citlivostní analýzu jednoduchých modelů výpočetních systémů.
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.
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.
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.
Model vrstvené neuronové sítě typu „zpětného šíření“ s adaptivní přenosovou funkcí.
Komunikační procesor MKP. Technické vybavení.
Praha : SVT ČSAV, 1988. 34 s.
Řadič magnetofonu pro záznam dat na bázi SAPI 1.
Praha : SVT ČSAV, 1989. 29 s.
Systém sběru statistických údajů v MKP.
Prague : SVT ČSAV, 1988. 28 s.
Banky dat DPZ. (Ruský překlad).
Praha : SVT ČSAV, 1989. 41 s.
Hamata, Václav – Havránek, Tomáš – Hochmann, R. – Kroftová, Jarmila – Laška, I. – Novák, Mirko – Strnad, Petr – Šebesta, Václav – Štuller, Július – Valenta, J. – Vojta, P.
Soubor přednášek z 1. semináře o Integrovaných informačních a výpočetních systémech.
Praha : SVT ČSAV, 1988. 48 s.
Optimální návrh soustav z hlediska jejich citlivostí na velké změny parametrů.
Praha : SVT ČSAV, 1989. 57 s.
Nekolová, Libuše – Nekola, Jan.
Programová podpora pořízení vět MTZ s protokolem.
Praha : SVT ČSAV, 1988. 14 s.
Citlivost u metody dvourozměrné difúzní aproximace.
Praha : SVT ČSAV, 1988. 38 s.
NONEQ. Soubor programů pro řešení nelineárních rovnic.
Praha : SVT ČSAV, 1988. 11 s.
SPOPT – soubor programu pro řešení rozsáhlé, řídké úlohy kvadratického a lineárního programování.
Terminálový systém TC-85. Struktura programového vybavení centrálního počítače.
Praha : SVT ČSAV, 1988. 21 s.
Rozbor modelů složitých socioekonomických systémů s řízením.
Odhad chyby absolutních citlivostí stanovených metodou lineární regrese.
Praha : SVT ČSAV, 1988. 25 s.
Programy pro ovládání výpočetně měřícího komplexu.
Praha : SVT ČSAV, 1988. 9 s.
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.
Rozšíření programového systému pro zpracování obrazu GIP-RT.
Praha : SVT ČSAV, 1988. 13 s.
Hrycej, David – Řízek, Stanislav.
Programové vybavení pro zpracování apriorních podpůrných dat pro DPZ.
Praha : SVT ČSAV, 1988. 35 s.
Instalace a parametrizace operačního systému OS/ES verse 7.1.
Praha : SVT ČSAV, 1988. 23 s.
Terminálový systém TC 85. Sledování a vyhodnocování provozu.
Praha : SVT ČSAV, 1988. 18 s.
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.
Vencelides, Josef – Škňouřil, V.
Využívání dat podsysté „Pracovníci a mzdy“ v ČSAV.
Programová simulace Fukushimovy asociativní paměti se selektivním vybavováním.
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.
Odhady vlivu změn některých parametrů na celkové chování výpočetního systému.
Praha : SVT ČSAV, 1988. 17 s.
Implementace expertního systému EQUANT – PC.
Praha : SVT ČSAV, 1988. 47 s.
Interaktívny systém pre konceptuálne modelovanie v databázových systémoch.
Praha : SVT ČSAV, 1988. 108 s.
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ýpočet stavu napjatosti horniny v okolí tenzonometrické sondy metodou konečných prvků.
Praha : SVT ČSAV, 1988. 102 s.
Terminalový systém TC 85. Diskový prostor s dynamickou rekonfigurací.
Terminálový system TC 85. Systém zpracování dat.
Praha : SVT ČSAV, 1988. 30 s.
Koncepce dalšího rozvoje centrálního komunikačního procesoru.
Prague : SVT ČSAV, 1988. 22 s.
Multiprocesorový komunikační procesor MKP. Meziprocesorový protokol předávání zpráv.
Prague : SVT ČSAV, 1988. 12 s.
Linkový komunikační procesor. Programové vybavení – část II.
Prague : SVT ČSAV, 1988. 15 s.
Kanálový komunikační procesor. Programové vybavení – část II.
Prague : SVT ČSAV, 1988. 11 s.
Dynamické aspekty v konceptuálnom modelovaní.
Terminálový systém TC 85. Databázový systém spekter a jeho implementace v SVT ČSAV.
Praha : SVT ČSAV, 1988. 20 s.
Základní koncepce virtuálního terminálu. The Basic Conception of the Virtual Terminal System.
Strnad, Petr – Široký, P.
Terminálový system TC 85. Přístup k databázím.
Názory na vnitřní informační systém neuronů. (Opinions on internal informational system of neuron).
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.
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.
Nasazení terminálů řízených procesorem JPR-12 v systému TC-85.
Prague : SVT ČSAV, 1988. 5 s.
Automatizovaný přehled platových tříd pracovníků ústavu v soustavě ZEUMS na osobních počítačích.
BACK-PACK – soubor programů pro modelováni neuronových sítí typu perceptron.
Praha : SVT ČSAV, 1988. 26 s.
Jednoduchý komunikační procesor JKP-16. Programové vybavení – část II.
Prague : SVT ČSAV, 1988. 46 s.
Jednoduchý komunikační procesor JKP – 16. Programové vybavení.
Beneš, Ladislav – Pačes, Pavel.
Jednoduchý komunikační procesor JKP-16. Řízení provozu.
Prague : SVT ČSAV, 1988. 23 s.
Jednoduchý komunikační procesor JKP-16. Technické a programové vybaveni.
Prague : SVT ČSAV, 1988. 21 s.
Schema databáze Centra pro trofoblastickou nemoc.
Praha : SVT ČSAV, 1988. 58 s.
Evidence článků z časopisů a knih na osobním počítači.
Automatizovaný přehled platů a odměn pracovníků ústavu na osobních počítačích.
Cahlík, Tomáš – Hamata, Václav – Kroftová, Jarmila – Míček, Jiří.
Základní rozvaha o ASŘ ústavů ČSAV.
Praha : SVT ČSAV, 1988. 8 s.
Zaměření výzkumných prací v oblasti integrovaných informačních systémů.
Aplikace principu neuronových sítí v integrovaných informačních systémech.
Praha : SVT ČSAV, 1989. 21 s.
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.
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ítková, Galina – Húsek, Dušan – Pokorný, J.
Praha : SVT ČSAV, 1988. 100 s.
Húsek, Dušan – Hořejš, Jiří – Kufudaki, Olga.
HOPNET 0 – simulace Hopfieldova modelu neuronové sítě.
Základní obsluhy osobního počítače pro neprogramátory.
Použití expertního systému EQUANT při návrhu konceptuálního schématu E-R modelu.
Praha : SVT ČSAV, 1987. 66 s.
Kufudaki, Olga – Novák, Mirko.
Současné trendy problematiky biopčítačů.Contemporary trends in problematics biocomputers.
Hájková, Marie – Havránek, Tomáš.
Rozšířené možnosti práce s programem EQUANT.
Praha : SVT ČSAV, 1987. 13 s.
Automatizovaná evidence nákladných přístrojů nad 500000 Kčs zajišťovaná počítačem CONSUL 2714.
Praha : SVT ČSAV, 1987. 27 s.
UFO BEL v.1.0. Jazyk pro dávkové editování textů.
Praha : SVT ČSAV, 1987. 43 s.
Programové a technické prostředky počítačových a terminálových sítí.
Praha : SVT ČSAV, 1987. 33 s.
Terminálový systém TC 85. Síťový a identifikačni protokol.
Prague : SVT ČSAV, 1987. 14 s.
Nedoma, Jiří – Hejlová, Anna.
Signoriniho úloha bez tření v lineární elasticitě.
Praha : SVT ČSAV, 1987. 16 s.
Teorie invariantu funkce a její použití.
Prague : SVT ČSAV, 1987. 27 s.
Doporučená pravidla pro úpravu programů ASŘ v jazyce PL/1.
Praha : SVT ČSAV, 1987. 12 s.
Lukšan, Ladislav – Tůma, Miroslav.
UFO – podprogramy pro operace se symetrickými maticemi.
Praha : SVT ČSAV, 1987. 28 s.
STOCHTOL – soubor programů pro řešení úloh optimálního návrhu tolerancí metodami stochastické optimalizace.
Praha : SVT ČSAV, 1987. 86 s.
Cahlík, Tomáš – Walter, J – Kodera, J.
Praha : SVT ČSAV, 1987. 41 s.
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.
Terminálový systém TC 85. Komunikační protokol linkové úrovně.
Prague : SVT ČSAV, 1987. 10 s.
Krejčí, P – Pačes, Pavel.
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.
EIGS – soubor programů pro řešení částečného zobecněného problému vlastních čísel s řídkými symetrickými maticemi.
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.
Návrh desky sériového propojení DSI.
Dynamické aspekty modelování předmětné oblasti.
Praha : SVT ČSAV, 1987. 117 s.
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.
Využití mikropočítače ROBOTRON A 5130 pro automatizované zpracování agendy MTZ ústavu.
Praha : SVT ČSAV, 1987. 34 s.
Úlohy teorie tolerancí výpočetních systémů.
Praha : SVT ČSAV, 1987. 15 s.
Metoda párování součástek rozdělených do tolerančních intervalů, pro optimalizaci počtu sestavených výrobků.
Praha : SVT ČSAV, 1987. 36 s.
Beneš, Ladislav – Novák, Mirko – Pačes, Pavel – Popelářová, Olga – Poupě, Jiří.
Koncepce rozvoje inteligentních terminalů nových generací.
Příklad použití expertního systému EQUANT s bází znalostí pro shlukovou analýzu.
Praha : SVT ČSAV, 1987. 69 s.
Hejlová, Anna – Strakoš, Zdeněk.
O vlivu zaokrouhlovacích chyb na metodu konjugovaných gradientů.
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.
Báze znalostí pro shlukovou analýzu v systému BMDP.
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.
Soubor programů MATCHPAK pro kombinatorickou optimalizaci.
Používání počítače ROBOTRON A 5130.
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.
Metoda konjugovaných gradientů pro řešení soustav lineárních rovnic.
Praha : SVT ČSAV, 1987. 80 s.
Soubor aplikačních úloh k výběru informací ze mzdové a osobní agendy pro řízení ústavu.
Poznámky k používání souboru optimalizačních programů SPONA.
Praha : SVT ČSAV, 1987. 82 s.
Struktura optimalizačních metod a koncepce optimalizačních programů.
Praha : SVT ČSAV, 1987. 37 s.
Praha : SVT ČSAV, 1987. 21 s.
Využití morfologických transformací pro zpracování obrazu řetězců RNA a DNA.
Praha : SVT ČSAV, 1987. 19 s.
Využití mikropočítače ROBOTRON A 5130 ke sběru dat finančního účetnictví ústavu.
Praha : SVT ČSAV, 1987. 32 s.
Připojení klávesnice CONSUL 259.6 k mikropočítači SAPI 1.
Praha : SVT ČSAV, 1987. 10 s.
Přehled platů. Automatizované zpracování na zařízení CONSUL 2714.
Hrycej, David – Řízek, Stanislav – Štuller, Július.
Pořizování a zpracování apriorních podpůrných dat pro DPZ.
Jednoduchý komunikační procesor JKP-13. Programové vybavení I.
Prague : SVT ČSAV, 1987. 31 s.
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.
Lukšan, Ladislav – Šiška, M.
MDRIVE. Program pro nepodmíněnou minimalizaci. Uživatelský popis.
Praha : SVT ČSAV, 1987. 18 s.
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.
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.
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.
Metody stochastické aproximace a jejich použití k řešení úloh optimálního návrhu tolerancí.
Praha : SVT ČSAV, 1986. 150 s.
Automatizovaný informační systém pro AP ČSAV a fond INTERFAP.
Praha : SVT ČSAV, 1986. 47 s.
Model předmětné oblasti databáze Centra pro trofoblastickou nemoc.
Využití výpočetní a organizační techniky v právu.
Praha : SVT ČSAV, 1986. 32 s.
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.
Procedury pro práci s knihovnami zdrojových programů napsaných v jazyce FORTRAN a FORTRAN 77.
Praha : SVT ČSAV, 1986. 23 s.
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.
Používání pružných disků ve výpočetním komplexu VK2M45 SVT ČSAV.
Praha : SVT ČSAV, 1986. 38 s.
BISP – soubor programů pro bispektrálni analýzu.
Praha : SVT ČSAV, 1986.
Generátor GEPAS v operačním systému OS.
Praha : SVT ČSAV, 1986. 19 s.
Dodatek k popisu programového systému PROKOP – verze l.
Praha : SVT ČSAV, 1986. 55 s.
Návrh řízení paralelního zpracování dat v systému TC.
Praha : SVT ČSAV, 1986. 28 s.
Řízení uživatelských procesů v systému TC.
Praha : SVT ČSAV, 1986. 25 s.
Model komplexního průmyslového návrhu s možností optimalizace.
Informačný systém o ECS ’87.
Praha : SVT ČSAV, 1987. 48 s.
Práca s IDMS DB 5.7 – IDD 3.0 – DC 2.0 na počítači VK2M45.
Praha : SVT ČSAV, 1986. 34 s.
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.
Systém řízení ČSAV v podmínkách automatizace.
Praha : SVT ČSAV, 1986. 18 s.
Návrh jazyka CSL na vytváranie konceptuálnej schémy.
Perspektivy rozvoje systému zpracování dat v síti inteligentních terminálů ČSAV.
Praha : SVT ČSAV, 1986. 16 s.
Vytváření vědeckého plánu. Popis jednoho z možných cílových stavů.
Skladanie a rozklad objektov v konceptuálnom modelovaní.
Soubor programu COMBOPT na řešení problému kombinatorické optimalizace.
Praha : SVT ČSAV, 1986. 31 s.
Praha : SVT ČSAV, 1986. 35 s.
História a súčasnost konceptuálneho modelovania.
Praha : SVT ČSAV, 1986. 37 s.
Badíková, D. – Maksim, M. – Podhorský, D. – Novák, Mirko – Řízek, Stanislav – Šebesta, Václav.
Souhrnná databáze modelu území ČSSR.
Praha : SVT ČSAV + SHMU Bratislava, 1986. 11 s.
Metoda difúzní aproximace a citlivosti ke změně parametrů.
Přesnost stanovení citlivosti pomocí lineární regrese.
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.
Soubor programu GLSPACK pro řešení soustav lineárních rovnic s řídkou, symetrickou a positivně definitivní maticí.
Programový systém pro zpracování obrazů GIP. Verze RT.
Praha : SVT ČSAV, 1986. 26 s.
Praha : SVT ČSAV, 1985. 26 s.
Úvod do využívání systému BMDP’85.
Praha : SVT ČSAV, 1986. 21 s.
Kočková, Sylva – Šebesta, Václav.
Praha : SVT ČSAV, 1986. 49 s.
Využití faktorové analýzy pro stanovení citlivostí zkoumaného systému.
Praha : SVT ČSAV, 1985. 12 s.
Porovnávání provozu terminálové sítě ČSAV na počítači EC 1040 a EC 1045.
Tenzometrické sondy pro kontrolu prostorové napjatosti ve vrtech.
Praha : SVT ČSAV, 1986. 41 s.
Kočková, Sylva – Strakoš, Zdeněk.
Knihovna maticových a vektorových operací s využitím maticového procesoru EC 2345.
Úvod do používání expertního systému EQUANT.
Generátor tiskových sestav na zařízení CONSUL 2713, 2714.
Procedury pro práci se zdrojovými programy v jazyce FORTRAN a FORTRAN 77.
Metody pro řešení vědeckých úloh počítači. Zpráva pro závěrečné oponentní řízení hlavního úkolu III-9-1 státního plánu základního výzkumu.
SVT ČSAV : Praha, 1986. 71 s.
Jednoduchý komunikační procesor JKP-13. Technické vybavení.
Pokyny pro operátory výpočetního komplexu VK 2 M 45 v SVT ČSAV.
Praha : SVT ČSAV, 1986. 70 s.
Praha : SVT ČSAV, 1986. 124 s.
Editace obrazových formulářů a tikových výpisů v systému SIRAEL.
Praha : SVT ČSAV, 1985. 10 s.
Databázové systémy v SVT ČSAV.
Praha : SVT ČSAV, 1985. 21 s.
Praha : SVT ČSAV, 1985. 28 s.
Praha : SVT ČSAV, 1985. 13 s.
KADEV. Systém se sdílenou databází.
Praha : SVT ČSAV, 1985. 16 s.
KAS 2 Knihovna programů pro analýzu signálů. Uživatelský manuál.
Praha : SVT ČSAV, 1985. nestr.
Praha : SVT ČSAV, 1985. 33 s.
K problematice využití databázových systemů v AVV.
Praha : SVT ČSAV, 1985. 77 s.
Praha : SVT ČSAV, 1985. 6 s.
Řešení dílčího úkolu II-9-1/7 SPZV v průběhu let 1981-1985.
Praha : SVT ČSAV, 1985. 11 s.
Praha : SVT ČSAV, 1985. 118 s.
Aplikace souboru optimalizačních programů SPONA na úlohu vedení obráběcích strojů.
Praha : SVT ČSAV, 1985. 61 s.
SVT ČSAV, 1985. 16 s.
Zabezpečení dat v systému TC 84.
Praha : SVT ČSAV, 1985. 43 s.
Adelsberger, Petr – Hamata, Václav – Homola, Josef – Jiřina, Marcel – Novák, Mirko – Poupě, Jiří – Šebesta, Václav.
Rozvaha o prognóze rozvoje výpočetní techniky na vědecko-výzkumných pracovištích.
Praha : SVT ČSAV, 1985. 38 s.
Zpráva o technické a provozní spolehlivosti komplexu VK 2 M 45.
Praha : SVT ČSAV, 1985. 27 s.
Zpráva o technické a provozní spolehlivosti systému počítače EC 1040.
Praha : SVT ČSAV, 1985. 18 s.
Inteligentní terminál na bázi mikropočítače SAPI-1.
Expertní systém – prostředek interaktivní konzultace člověka s počítačem.
Praha : SVT ČSAV, 1985. 58 s.
Praha : SVT ČSAV, 1985. 22 s.
Simulace psacího stroje s pamětí. Popis a obsluha programu pro CONSUL 271.
Praha : SVT ČSAV, 1985. 34 s.
Dávkové zpracování úloh v systému TC 84.
Praha : SVT ČSAV, 1985. 35 s.
Terminálový operační systém TOS -3.6.
Praha : SVT ČSAV, 1985. 8 s.
Vytváření archivu programů ČSAV a mezinárodního archivu programů pro AVV.
Praha : SVT ČSAV, 1985. 54 s.
Algoritmické aspekty symetrického problému obchodního cestujícího.
Přenesení systému TC z počítače EC 1040 na VK2M45.
Köcher, J. – Novák, Mirko – Skalický, A. – Šebesta, Václav.
Optimalizace vyrobní výtěžnosti oběžných kol odstředivých čerpadel.
Praha : SVT ČSAV, 1986. 20 s.
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.
Soubor programů pro zpracování obrazů na počítačích řady JSEP.
Praha : SVT ČSAV, 1985. 19 s.
Kvaziparalelní postupy zpracování binárních obrazů.
ASEP. Soubor programů pro Automatizovaný systém evidence publikovaných vědeckých prací ČSAV.
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.
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.
Návrh struktury a funkce výkonného modulu systému TC 85.
Praha : SVT ČSAV, 1984. 21 s.
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.
Praha : SVT ČSAV, 1984. 23 s.
Ří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.
Programy pro analýzu objektů v obrazech na počítačích řady JSEP.
Praha : CVS ČSAV, 1984. 29 s.
Možnosti využití terminálových sítí v automatizovaných systémech řízení.
JCL procedúry pre prácu s IDMS na počítači VK2M45.
JCL procedúry pre prácu s IDMS.
Koncepce, postupná realizace a předpokládaný rozvoj terminálové sítě ČSAV v Praze.
Praha : SVT ČSAV, 1984. 11 s.
Koncepce a realizace radioreléového spojení výpočetních středisek ČSAV.
Praha : SVT ČSAV, 1984. 24 s.
Systém pro analýzu cytologických preparátů.
Praha : SVT ČSAV, 1984. 45 s.
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.
Programová emulace kanálového rozhraní počítačů JSEP.
Praha : SVT ČSAV, 1984. 25 s.
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.
Databanka pre Archeologický ústav ČSAV.
Praha : SVT ČSAV, 1984. 49 s.
Zabezpečení dat v systému TC.
Praha : SVT ČSAV, 1984. 14 s.
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.
Grafický rastrový displej GD-3. Technické vybavení.
Praha : SVT ČSAV, 1983. 58 s.
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.
Návrh způsobů využívání diskových pamětí počítače VK 2 M 45.
Praha : SVT ČSAV, 1983. 27 s.
PARS – soubor programů pro parametrickou spektrální analýzu časových řad.
Praha : SVT ČSAV, 1983. 44 s.
Optimální řízení jednorozměrného modelu přenosu tepla a tepelné napjatosti ve výkovku.
Praha : SVT ČSAV, 1983. 18 s.
Teorie tolerancí, její metody a uplatnění.
Praha : SVT ČSAV, 1983. 21 s.
Sériový interface s obvodem 8251 pro JPR-12.
Praha : SVT ČSAV, 1983. 33 s.
SYNTOL. Soubor programů pro výpočet tolerancí /popis podprogramů/.
Praha : SVT ČSAV, 1983. 101 s.
Beneš, Ladislav – Poupě, Jiří.
Komunikační procesory pro účelové sítě počítačů.
Prague : SVT ČSAV, 1983. 20 s.
Metody pro nepodmíněnou minimalizaci s malými paměťovými nároky.
Praha : SVT ČSAV, 1984. 13 s.
Kompaktní algoritmus s proměnnou metrikou pro nelineární minimaxovou aproximaci.
Praha : SVT ČSAV, 1983. 30 s.
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.
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.
Grafický rastrový displej GD-3. Základní informace.
Praha : SVT ČSAV, 1983. 34 s.
Přenos digitalizovaného obrazu ze zařízení DENSITRON do počítačů SM-3 a EC 1040.
Praha : SVT ČSAV, 1983. 22 s.
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.
Programy pro přenos dat mezi počítači řady JSEP a SMEP.
Duální metoda pro řešení speciální úlohy kvadratického programování, která se používá při nelineární minimaxové aproximaci.
Problematika tolerancí parametrů, spolehlivosti a životnosti soustav.
Praha : SVT ČSAV, 1983. 40 s.
Novák, Mirko – Šimek, Miloslav – Šiška, Jaromír.
Analýza oblasti přijatelnosti u logických funkčních bloků.
Lukšan, Ladislav – Zamazal, Miloš – Kočková, Sylva.
SPONA – 82. Uživatelský popis souboru programů pro optimalizaci a nelineární aproximaci /verse 1982/.
Automatizované zpracovaní evidence styku pracovníků ČSAV s cizinci.
Praha : SVT ČSAV, 1982. 42 s.
Poupě, Jiří – Pačes, Pavel – Beneš, Ladislav – Sobek, Pavel.
Jednoduchý komunikační procesor JKP-12. Vlastnosti a použití.
Praha : SVT ČSAV, 1982. 31 s.
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ítková, Galina – Šmídová, Zdena.
Krystalografická databáze (Cambridge Crystallographic Database) a její využití v ČSAV.
Praha : SVT ČSAV, 1982. 19 s.
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.
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.
Stručný přehled programového vybavení SVT ČSAV pro analýzu časových řad.
Praha : SVT ČSAV, 1982. 18 s.
Beneš, Ladislav – Poupě, Jiří – Sobek, Pavel – Strnad, Petr.
Programové a technické zabezpečení paralelní obsluhy více terminalů v systému TC.
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.
Spojení počítačů JSEP v ČSAV na základě programového systému HASP.
Praha : SVT ČSAV, 1982. 40 s.
Praha : SVT ČSAV, 1982. 84 s.
Simulace chemicko-technologických procesů za neurčitosti a rizika.
Praha : SVT ČSAV, 1982. 25 s.
TOLCHEM – soubor programů pro aproximaci oblasti přijatelnosti.
Praha : SVT ČSAV, 1986. 29 s.
Metoda aproximace sdružené oblasti spolehlivosti.
Praha : SVT ČSAV, 1982. 26 s.
Húsek, Dušan – Vrba, V.
Soubor programů pro modelování ustáleného stavu extrakční kaskády v systému kapalina-kapalina.
Rozbor tolerancí parametru extrakční kaskády.
Praha : SVT ČSAV, 1983. 124 s.
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.
Komunikační systém sítě počítačů a terminálů ČSAV. Linkové komunikační protokoly.
Prague : SVT ČSAV, 1982. 47 s.
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.
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.
Soubor programů pro globální optimalizaci.
Praha : SVT ČSAV, 1982. 28 s.
GRG, GRGA – Programy pro řešení úloh nelineárního programování.
MAPRO3. Soubor programů pro řešení úloh matematického programování.
MAPRO2. Soubor programů pro řešení úloh matematického programování.
Praha : SVT ČSAV, 1982. 16 s.
MAPRO1. Soubor programů pro řešení úloh matematického programování.
Praha : SVT ČSAV, 1982. 23 s.
UNMOF. Soubor programů pro minimalizaci funkcí několika proměnných bez vazebních podmínek.
Praha : SVT ČSAV, 1982. 17 s.
Grafický displej pro inteligentní terminál řízený procesorem JPR-12. Technické vybavení.
Praha : SVT ČSAV, 1982. 34 s.
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.
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.
Místní síť počítačů a terminálů pro areál ústavů ČSAV v Praze 8, Mazanka.
Praha : SVT ČSAV, 1982. 14 s.
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.
Využití databázového systému IDMS pro kádrovou a personálni práci.
Programy pro přípravu a zpracování archeologických dat.
Praha : SVT ČSAV, 1981. 39 s.
Programy pro zpracování obrazové informace na soupravě HEWLETT PACKARD.
Praha : SVT ČSAV, 1981. 28 s.
Automatické zpracování cytologických preparátů.(Binary model of neural network – in Czech).
Praha : SVT ČSAV, 1981. 58 s.
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.
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.
Novák, Mirko – Homola, Josef – Hamata, Václav.
Technické a provozní vlastnosti pocítačů JSEP.
Praha : SVT ČSAV a ÚE ČSAV, 1981. 7 s.
Komunikační systém SPT ČSAV. Centrální komunikační porocesor. Úvodní studie.
Prague : SVT ČSAV, 1981. nestr.
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.
Inteligentní terminál řízený procesorem JPR -12. Editor.
Praha : SVT ČSAV, 1981. nestr.
Růžička, Pavel – Šebesta, Václav.
Soubor programů pro optimalizaci výtěžnosti a ceny hromadně vyráběných soustav CENTOL 2 – II. část popisu programů.
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.
Kvazinewtonovské metody bez projekcí pro minimalizaci s lineárními ohraničeními.
Praha : SVT ČSAV, 1981. 42 s.
Metody konjugovaných gradientů s nepřesnou minimalizací.
Praha : SVT ČSAV, 1981. 10 s.
Čáp, Jiří – Doležalová, Olga – Vencelides, Josef.
Prováděcí projekt automatizovaného zpracování agendy předmětů postupné spotřeby v ČSAV.
Koncepce programového řešení spojení počítačů JSEP v ČSAV.
Praha : SVT ČSAV, 1981. 16 s.
Podprogram RCHEB. Racionální Čebyševova aproximace.
Praha : SVT ČSAV, 1981. 7 s.
Praha : SVT ČSAV, 1981. 44 s.
Novák, Mirko – Havel, J.
Praha : SVT ČSAV, 1980. 70 s.
Závorková, Zdena – Řízek, Stanislav.
Metody zpracování obrazových informací a rozpoznávání obrazců.
Praha : SVT ČSAV, 1980. 46 s.
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.
Programové a technické prostředky pro automatizaci vědeckých výzkumů.
Praha : CVS ČSAV, 1980. 32 s.
Adelsberger, Petr – Beneš, Ladislav.
Zhodnocení možnosti spolupráce počitačů JSEP v ČSAV.
Prague : SVT ČSAV, 1980. 14 s.
Terminálový systém v CVS ČSAV.
Praha : CVS ČSAV, 1980. 13 s.
Automatizované zpracování agendy základních prostředků v ČSAV.
Praha : SVT ČSAV, 1980. 143 s.
Neúplná metoda s proměnnou metrikou pro řešení rozsáhlých úloh nepodmíněné minimalizace.
Praha : CVS ČSAV, 1980. 40 s.
Ú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.
KAS. Knihovna analýzy signálů. Uživatelský manuál. 1.verze.
Praha : SVT ČSAV, 1980. 104 s.
Nová hybridní metoda pro nepodmíněnou minimalizaci.
Praha : CVS ČSAV, 1980. 27 s.
Praha : SVT ČSAV, 1980. 39 s.
Fabián, Zdeněk – Kufudaki, Olga – Šebesta, Václav – Vondráková, Jana.
Organizace a současný stav Archivu výpočetních programů CVS ČSAV.
Praha : CVS ČSAV, 1980. 21 s.
Příprava archeologických dat pro zpracování výpočetní technikou.
Praha : SVT ČSAV, 1980. 30 s.
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.
LINEAL. Soubor programů pro řešení úloh z lineární algebry. Uživatelský popis.
Praha : CVS ČSAV, 1980. 121 s.
Ší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.
Anotovaná dokumentace literatury v oblasti teorie tolerancí a citlivosti.
Praha : SVT ČSAV, 1979. 81 s.
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.
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.
Optimalizace výrobní výtěžnosti valivých ložisek.
Praha : CVS ČSAV, 1980. 24 s.
SPONA. Soubor programů pro optimalizaci a nelineární aproximaci. Uživatelský popis druhé verse.
Praha : CVS ČSAV, 1979. 252 s.
Projekt zavádění výpočetní techniky v ČSAV do r.1985.
Praha : CVS ČSAV, 1979. 17 s.
Inteligentní terminál řízený procesorem JPR-12. Připojení snímače EC 61/2.
Prague : SVT ČSAV, 1979. nestr.
Program pro statistické centrování tolerančních oblastí CENTOL – popis podprogramů.
Praha : CVS ČSAV, 1979. 30 s.
Inteligentní terminál řízený procesorem Tesla JPR-12.
Kvazinewtonovské metody bez projekcí pro nepodmíněnou minimalizaci.
Praha : CVS ČSAV, 1979. 62 s.
Návod k použití programového systému INAMO2 pro interakční návrh morfologie.
Praha : CVS ČSAV, 1979. 39 s.
PROKOP. Program pro určování spojových cest.
Praha : CVS ČSAV, 1979. 22 s.
INAMO 2. Popis programového systému pro interakční návrh morfologie.
Praha : CVS ČSAV, 1979. 67 s.
Návod na použití HTOL 2 pro optimalizaci tolerancí elektronických soustav.
Praha : CVS ČSAV, 1979. 7 s.
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.
Návod na použití programu HTOL l pro optimalizaci ekonomických soustav.
Praha : CVS ČSAV, 1979. 8 s.
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.
Komínek, Zdeněk – Novák, Mirko – Šebesta, Václav.
Statistická optimalizace návrhu složitých soustav.
Praha : CVS ČSAV, 1979. 31 s.
Inteligentní terminál řizený procesorem Tesla JPR-12.
Praha : CVS ČSAV, 1978. 19 s.
Inteligentní terminál řízený procesorem JPR-12. Úvodní informace.
Praha : CVS ČSAV, 1978. 29 s.
Rozvaha o možnostech zjišťování pořizování dat v ČSAV.
Praha : CVS ČSAV, 1978. 15 s.
Fabián, Zdeněk – Chválová, Jana – Kufudaki, Olga – Pohořalá, Hana – Šebesta, Václav – Vlček, M.
Informační systém pro Archiv výpočetních programů CVS ČSAV.
Praha : CVS ČSAV, 1978. 20 s.
Fabián, Zdeněk – Kufudaki, Olga.
Popis informačního systému pro Archiv programů CVS ČSAV.
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.
Novák, Mirko – Poupě, Jiří – Strnad, Petr.
Praha : CVS ČSAV, 1978. 13 s.
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.
Závěrečná zpráva o plnění dílčího úkolu III-3-1/1 „Metody pro návrh složitých mikroelektronických struktur a systémů samočinnými počítači“ na pracovišti CVS ČSAV za léta 1976-1977.
Praha : CVS ČSAV, 1977. 6 s.
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.
NANAP – program pro optimalizaci frekvenčních a časových charakteristik nelineárních elektrických obvodů.
Praha : CVS ČSAV, 1977. 24 s.
INAMO 1. Program pro interakční návrh rozmístění morfologických prvků.
Praha : CVS ČSAV, 1977. 16 s.
Novák, Mirko – Kominek, Z.
Problémy určení optimálních tolerančních vektorů.
Praha : CVS ČSAV, 1977. 26 s.
Přenosové funkce nekaskádních struktur s dominantním přenosem.
Praha : CVS ČSAV, 1977. 18 s.
Programově řízený terminál s procesorem JPR-12.
Praha : CVS ČSAV, 1976. 33 s.
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.
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.
Studie dvou systémů EC 1040.
Studie možnosti využití jednotky JPR-12, jako terminálu v systému BSC o publikacích.
Praha : CVS ČSAV, 1976. 10 s.
ADIN 1 – soubor programů pro evidenci a vyhledávání záznamů.
Praha : CVS ČSAV, 1976. 36 s.
Praha : CVS ČSAV, 1976. 179 s.
SPONA: Soubor programů pro optimalizaci a nelineární aproximaci. Stručný popis první verze.
Praha : CVS ČSAV, 1977. 22 s.
Š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.
PLACE – program pro rozmístění morfologických prvků.
Praha : CVS ČSAV, 1976. 21 s.

References: v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 V.

 v. 
 v. 
 v. 
 v. 
 V.

 V.

 V.

 V.