V-1015:
Fabián, Zdeněk. Confidence Intervals for Johnson Mean.
ICS AS CR, 2007
[ASEP]
V-1014:
Fabián, Zdeněk. Parametric Estimation using Generalized Moment Method.
ICS AS CR, 2007
[ASEP]
V-1013:
Tomášek, Luboš, Daněk, Josef. Numerical Analysis of the Long Bone with the Marrow.
ICS AS CR, 2007
[ASEP]
V-1012:
Žák, Stanislav. A Superpolynomial Lower Bound for a Class of Restricted Branching Programs.
ICS AS CR, 2007
[ASEP]
V-1011:
Nedoma, Jiří. Tectonics Along the Himalayan and Andean Mountain Ranges: Numerical Analyses of Collision and Subduction Zones.
ICS AS CR, 2007
[ASEP]
V-1010:
Fabián, Zdeněk. Johnson Information and its use in Multivariate Problems and Time-Series Analysis.
ICS AS CR, 2007
[ASEP]
V-1009:
Wiedermann, Jiří, Petrů, Lukáš. On the Universal Computing Power of Amorphous Computing Systems.
ICS AS CR, 2007
[ASEP]
V-1008:
Kramosil, Ivan. Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions.
ICS AS CR, 2007
[ASEP]
V-1007:
Lanzendörfer, Martin. Modifikace FEC - dynamická kontaktní úloha v lineární vazkopružnosti se třením.
ICS AS CR, 2007
[ASEP]
V-1006:
Lanzendörfer, Martin, Daněk, Josef. Aplikace FEC v biomechanice kolenního kloubu.
ICS AS CR, 2007
[ASEP]
V-1005:
Nedoma, Jiří, Daněk, Josef. Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach.
ICS AS CR, 2007
[ASEP]
V-1004:
Šíma, Jiří. Gradient Learning in Networks of Smoothly Spiking Neurons.
ICS AS CR, 2007
[ASEP]
V-1002:
Hartman, J., Lukšan, Ladislav. Implementace automatického derivování v systému UFO.
ICS AS CR, 2007
[ASEP]
V-983:
Daněk, Josef, Stehlík, J., Nedoma, Jiří, Hlaváček, Ivan. Výsledky numerického modelování zatíženého kolenního kloubu a jeho náhrada s uvažováním kolenního pouzdra.
ICS AS CR, 2006
[ASEP]
V-982:
Daněk, Josef. Problematika přípravy 3D sítě pro metodu konečných prvků s využitím medicínských obrazových dat a následné možné způsoby vizualizace výsledků.
ICS AS CR, 2006
[ASEP]
V-981:
Nedoma, Jiří. Matematický model zatěžování kolenního systému časově proměnnými silami.
ICS AS CR, 2006
[ASEP]
V-980:
Lanzendörfer, Martin. Modifikace FEC - kód pro dynamickou kontaktní úlohu v lineární pružnosti.
ICS AS CR, 2006
[ASEP]
V-979:
Žák, Stanislav. A Lower Bound Technique for Restricted Branching Programs (version F).
ICS AS CR, 2006
[ASEP]
V-978:
Fabián, Zdeněk. New Measures of Central Tendency and Variability of Continuous Distributions.
ICS AS CR, 2006
[ASEP]
V-976:
Kainen, P.C., Kůrková, Věra, Sanguineti, M.. Rates of Approximation of Smooth Functions by Gaussian Radial-Basis Networks.
ICS AS CR, 2006
[ASEP]
V-975:
Wiedermann, Jiří, Pardubská, D.. Computing by Broadcasting: Alternation in Disguise (Extended Version).
ICS AS CR, 2006
[ASEP]
V-974:
Špánek, Roman. Web Search Engines and Linear Algebra.
ICS AS CR, 2006
[ASEP]
V-973:
Vlček, Jan, Lukšan, Ladislav. New Class of Limited-Memory Variationally-Derived Variable Metric Methods.
ICS AS CR, 2006
[ASEP]
V-972:
Savický, Petr. A Strong Nonrandom Pattern in Matlab Default Random Number Generator.
ICS AS CR, 2006
[ASEP]
V-971:
Fabián, Zdeněk. Johnson Point and Johnson Variance.
ICS AS CR, 2006
[ASEP]
V-970:
Petrů, L., Wiedermann, Jiří. A Model of an Amorphous Computer and Its Communication Protocol.
ICS AS CR, 2006
[ASEP]
V-969:
Fabián, Zdeněk. Johnson System of Parametric Families.
ICS AS CR, 2006
[ASEP]
V-968:
Kainen, P.C., Kůrková, Věra, Vogt, A.. Integral Combinations of Heavisides.
ICS AS CR, 2006
[ASEP]
V-967:
Wiedermann, Jiří. Chtěli byste být mozkem v baňce?.
ICS AS CR, 2006
[ASEP]
V-966:
Wiedermann, Jiří. HUGO: A Cognitive Architecture with an Incorporated World Model.
ICS AS CR, 2006
[ASEP]
V-965:
Hlaváček, Ivan. Primárně duální metoda aktivních množin pro jednostranný kontakt pružných těles s daným třením.
ICS AS CR, 2006
[ASEP]
V-964:
Daniel, Milan. The minC Combination of Belief Functions: Derivation and Formulas.
ICS AS CR, 2006
[ASEP]
V-963:
Fabián, Zdeněk. Johnson Score and Characteristics of Distribution.
ICS AS CR, 2006
[ASEP]
V-962:
Frolov, A. A., Húsek, Dušan, Muraviev, I. P., Polyakov, P.Y.. Boolean Factor Analysis by Hopfield-Like Autoassociative Memory: Factors Search.
ICS AS CR, 2006
[ASEP]
V-961:
Frolov, A. A., Húsek, Dušan, Muraviev, I. P., Polyakov, P.Y.. Boolean Factor Analysis by Hopfield-Like Autoassociative Memory.
ICS AS CR, 2006
[ASEP]
V-959:
Stehlík, J., Vavřík, P., Daněk, Josef, Nedoma, Jiří, Hlaváček, Ivan, Denk, F.. Analysis of Axial Angle Changes in the Weight-Bearing Total Knee Replacements.
ICS AS CR, 2006
[ASEP]
V-958:
Stehlík, J., Vavřík, P., Daněk, Josef, Nedoma, Jiří, Hlaváček, Ivan, Denk, F.. Biomechanical Analysis of the Effect of Axial Angle Changes on the Weight-Bearing Total Knee Replacements.
ICS AS CR, 2006
[ASEP]
V-957:
Stehlík, J., Nedoma, Jiří. Návrh totální náhrady kolenního kloubu s rotační polyetylénovou vložkou.
ICS AS CR, 2006
[ASEP]
V-956:
Lukšan, Ladislav, Stuchlý, J., Vlček, Jan. Primal Interior-Point Method for Large Sparse Inequality Constrained Optimization.
ICS AS CR, 2005
[ASEP]
V-955:
Beuster, G., Neruda, Roman, Pelzer, B.. Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
ICS AS CR, 2006
[ASEP]
V-952:
Kramosil, Ivan. Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part I.
ICS AS CR, 2005
[ASEP]
V-951:
Nedoma, Jiří, Hlaváček, Ivan, Daněk, Josef, Lanzendörfer, Martin. Matematické modely umělých náhrad kloubů ve vazbě na navigované operační techniky s využitím CT a MRI. II. Algoritmy umožňující numerickou analýzu umělých náhrad kloubů ve vazbě na CT, MRI a navigovanou operační techniku.
ICS AS CR, 2005
[ASEP]
V-950:
Nedoma, Jiří. Matematické modely umělých náhrad kloubů ve vazbě na navigované operační techniky a za použití CT a MRI. I. Dynamické zatěžování TEP a TKR, matematické 2D a 3D modely.
ICS AS CR, 2005
[ASEP]
V-949:
Linková, Zdeňka. European Summer School in Information Retrieval ESSIR 2005.
ICS AS CR, 2006
[ASEP]
V-948:
Hrubý, Jaroslav, Andrej, Ladislav. Kvantový šumátor a jeho testování.
ICS AS CR, 2005
[ASEP]
V-947:
Neruda, Roman, Vaculín, Roman. Concept Nodes Architecture within the Bang3 System.
ICS AS CR, 2005
[ASEP]
V-945:
Jiřina, Marcel, Jiřina jr., M.. Correlation Dimension-Based Classifier.
CTU + ICS AS CR, 2006
[ASEP]
V-944:
Wiedermann, Jiří, Pardubská, D.. On the Power of Broadcasting in Mobile Computing.
ICS AS CR, 2005
[ASEP]
V-943:
Rydvan, Pavel. Schemes of Multiagent Systems.
ICS AS CR, 2005
[ASEP]
V-939:
Běhounek, Libor, Cintula, Petr. Fuzzy Class Theory: A Primer v1.0.
ICS AS CR, 2006
[ASEP]
V-938:
Linková, Zdeňka, Nedbal, Radim. Building Ontologies for GIS - Part 2.
ICS AS CR, 2005
[ASEP]
V-937:
Hájek, Petr. One More Variety in Fuzzy Logic: Quasihoops.
ICS AS CR, 2005
[ASEP]
V-936:
Jiřina, Marcel, Jiřina jr., M.. Measures and Characteristics of Classification Quality.
CTU + ICS AS CR, 2005
[ASEP]
V-935:
Kudová, Petra, Šidlofová, Terezie. Sum and Product Kernel Regularization Networks.
ICS AS CR, 2005
[ASEP]
V-934:
Daniel, Milan. On Probabilistic Transformations of Belief Functions.
ICS AS CR, 2005
[ASEP]
V-933:
Andrey, Ladislav. Chaotic Dynamics in Simple Neuronal Systems - Theory and Applications.
ICS AS CR, 2005
[ASEP]
V-932:
Linková, Zdeňka, Nedbal, Radim, Řimnáč, Martin. Building Ontologies for GIS.
ICS AS CR, 2005
[ASEP]
V-931:
Nedoma, Jiří. Rozbor faktorů ovlivňujících funkci přirozeného a umělého kloubu s ohledem na potřeby matematického modelování.
ICS AS CR, 2005
[ASEP]
V-911:
Rohn, Jiří. A Method for Handling Dependent Data in Interval Linear Systems.
ICS AS CR, 2004
[ASEP]
V-910:
Rohn, Jiří. Linear Interval Equations: Midpoint Preconditioning may Produce a 100 Percent Overestimation for Arbitrarily Narrow Data Even in Case n=4.
ICS AS CR, 2004
[ASEP]
V-909:
Holeňa, Martin. A Relational Framework for Data Mining.
ICS AS CR, 2004
[ASEP]
V-908:
Šíma, Jiří. Tristrips on Hopfield Networks.
ICS AS CR, 2004
[ASEP]
V-907:
Wiedermann, Jiří. Coupling Computational and Non-Computational Processes: Minimal Artificial Life.
ICS AS CR, 2004
[ASEP]
V-906:
Kůrková, Věra. Supervised Learning as an Inverse Problem.
ICS AS CR, 2004
[ASEP]
V-905:
Rohn, Jiří. Lineární algebra a optimalizace na slidech.
ICS AS CR, 2004
[ASEP]
V-904:
Šidlofová, Terezie. Minimization Problems with Fourier Based Stabilizers.
ICS AS CR, 2004
[ASEP]
V-902:
Jiřina, Marcel. Probability Density Estimation Classifier Based on Sample Distances.
CTU + ICS AS CR, 2003
[ASEP]
V-901:
Kůrková, Věra, Sanguineti, M.. Learning with Generalization Capability by Kernel Methods of Bounded Complexity.
ICS AS CR, 2003
[ASEP]
V-900:
Kainen, P.C., Kůrková, Věra, Vogt, A.. A Sobolev-Type Upper Bound for Rates of Approximation by Linear Combinations of Plane Waves.
ICS AS CR, 2004
[ASEP]
V-895:
Rohn, Jiří. Přehled některých důležitých vět z teorie matic.
ICS AS CR, 2003
[ASEP]
V-894:
Wiedermann, Jiří. Mirror Neurons, Embodied Cognitive Agents and Imitation Learning.
ICS AS CR, 2003
[ASEP]
V-893:
Hájek, Petr. Fleas and Fuzzy Logic - A Survey.
ICS AS CR, 2003
[ASEP]
V-892:
Strakoš, Zdeněk, Tichý, Petr. Simple Estimation of the A-norm of the Error in the Preconditioned Conjugate Gradient Method.
ICS AS CR, 2003
[ASEP]
V-890:
Daniel, Milan. Algebraic Structures Related to the Combination of Belief Functions. The Consensus Operator and Josang's Semigroup.
ICS AS CR, 2003
[ASEP]
V-889:
Beuster, Gerd. Formal Reasoning in the Bang3 Multi-Agent System.
ICS AS CR, 2003
[ASEP]
V-888:
Wiedermann, Jiří. Místo a role zrcadlových neuronů ve vtělených kognitivních systémech.
ICS AS CR, 2003
[ASEP]
V-887:
Bock, R.K., Chilingarian, A., Gaug, M., Hakl, František, Hengstebeck, T., Jiřina, Marcel, Klaschka, Jan, Kotrč, Emil, Savický, Petr, Towers, S., Vaicilius, A., Wittek, W.. Methods for Multidimensional Event Classification: A Case Study.
ICS AS CR, 2003
[ASEP]
V-886:
Beneš, Michal, Makovička, J.. Mathematical Modelling of Steam and Flue Gas Flow in a Heat Exchanger of a Steam Boiler by the Means of Continuum Mechanics.
ICS AS CR, 2002
[ASEP]
V-885:
Mikyška, J., Beneš, Michal. Thermal Flow and Heat Transport in the Vicinity of Sources of the Geothermal Energy.
ICS AS CR, 2002
[ASEP]
V-884:
Beneš, Michal. Diffuse Interface Model of Microstructure Formation in Solidification with Anisotropy based on Finsler Geometry.
ICS AS CR, 2002
[ASEP]
V-877:
Fabián, Zdeněk. Core Distance and Testing Hypotheses.
ICS AS CR, 2002
[ASEP]
V-876:
Vlček, Jan, Lukšan, Ladislav. New Variable Metric Methods for Unconstrained Minimization Covering the Large-Scale Case.
ICS AS CR, 2002
[ASEP]
V-875:
Rohn, Jiří. Systems of Interval Linear Equations and Inequalities (Rectangular Case).
ICS AS CR, 2002
[ASEP]
V-874:
Hájek, Petr. Fuzzy Logic and Lindström's Theorem.
ICS AS CR, 2002
[ASEP]
V-873:
Jiřina, Marcel, Hakl, František. Wave Algorithm for Searching Track with Bremsstrahlung - Testing Abilities of the Method.
ICS AS CR, 2002
[ASEP]
V-872:
Daniel, Milan. Algebraic Structures Related to the Combination of Belief Functions.
ICS AS CR, 2002
[ASEP]
V-871:
Fabián, Zdeněk. Core Functions and Systems of Distribution.
ICS AS CR, 2002
[ASEP]
V-870:
Fabián, Zdeněk. Center of Gravity and Information of Continuous Distribution.
ICS AS CR, 2002
[ASEP]
V-869:
Jiřina, Marcel. Circular Regression for Approximation of Particle Tracks.
ICS AS CR, 2002
[ASEP]
V-867:
Hájek, Petr, Feglar, Tomáš, Rauch, Jan, Coufal, David. The GUHA method, data preprocessing and mining. (Position paper.).
ICS AS CR, 2002
[ASEP]
V-866:
Wiedermann, Jiří, van Leeuwen, J.. Relativistic Computers and Non-Uniform Complexity Theory.
ICS AS CR, 2002
[ASEP]
V-865:
Kůrková, Věra, Sanguineti, M.. Tight Bounds on Rates of Variable-Basis Approximation via Estimates of Covering Numbers.
ICS AS CR, 2001
[ASEP]
V-864:
Kainen, P.C., Kůrková, Věra, Sanguineti, M.. Minimization of Error Functionals over Variable-Basis Functions.
ICS AS CR, 2002
[ASEP]
V-863:
Fabián, Zdeněk, Vajda, Igor. Core Functions and Core Divergences of Regular Distributions.
ICS AS CR, 2002
[ASEP]
V-860:
Hlaváček, Ivan, Nedoma, Jiří. Reliable Solution of a Unilateral Frictionless Contact Problem in Quasi-Coupled Thermo-Elasticity with Uncertain Input Data.
ICS AS CR, 2002
[ASEP]
V-859:
Hájek, Petr, Havránek, Tomáš. Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory. Originally published by Springer-Verlag Berlin Heidelberg New York in 1978, ISBN 3-540-08738-9.
ICS AS CR, 2002
[DOI]
[ASEP]
V-858:
Feglar, Tomáš. The GUHA Virtual Machine - Frameworks and Key Concept. Research Report COST 274.
ICS AS CR, 2001
[ASEP]
V-857:
Hájek, Petr. Some Hedges for Continuous t-norm Logics.
ICS AS CR, 2001
[ASEP]
V-856:
Coufal, David. Incremental Structure Learning of Wang Neuro-Fuzzy System.
ICS AS CR, 2001
[ASEP]
V-854:
Andrey, Ladislav, Franěk, M., Rokyta, R., Vaculín, Š.. Dynamic Treatment of Pain.
ICS AS CR, 2001
[ASEP]
V-851:
Kudová, Petra. Learning of Generalized Regularization Networks.
ICS AS CR, 2003
[ASEP]
V-850:
Andrey, Ladislav, Erzan, R.. The Sigmoidal Transfer Function and the Gain-Threshold Exponential Dependence for Neurons from Statistical Mechanics Treatment.
ICS AS CR, 2001
[ASEP]
V-849:
Wiedermann, Jiří. On the Super-Turing Computational Power of Non-Uniform Families of Neuromata.
ICS AS CR, 2001
[ASEP]
V-848:
Jiřina, Marcel. Radial Basis Function Neural Networks with Example Weights and LMS Linear Regression Weight Settings.
ICS AS CR, 2001
[ASEP]
V-847:
Štuller, Július. Data Integration Inconsistencies Resolution.
ICS AS CR, 2001
[ASEP]
V-844:
Lukšan, Ladislav, Vlček, Jan. Nonsmooth Equation Method for Nonlinear Nonconvex Optimization.
ICS AS CR, 2001
[ASEP]
V-843:
Wiedermann, Jiří, van Leeuwen, J.. Beyond the Turing Limit: Evolving Interactive Systems.
ICS AS CR, 2001
[ASEP]
V-842:
Berrocal, J., Nedoma, Jiří, Kestřánek, Zdeněk. Numerical Modelling of Tectonic Evolutuin of the Wadati-Benioff Zone Beneath the Andean Region. The Extended version.
ICS AS CR, 2001
[ASEP]
V-841:
Kramosil, Ivan. A Nonstandard Modification of Dempster Combination Rule.
ICS AS CR, 2001
[ASEP]
V-839:
Wiedermann, Jiří. Fuzzy Neuroidal Nets and Recurrent Computations.
ICS AS CR, 2001
[ASEP]
V-835:
Šíma, Jiří. Training a Sigmoid Neuron is Hard.
ICS AS CR, 2001
[ASEP]
V-834:
Drkošová, Jitka, Mayer, Petr, Štědrý, Arnošt. Some Notes on Parallel Implementations of Solvers for Stochastic Matrices on Cluster of Workstations.
ICS AS CR, 2001
[ASEP]
V-833:
Wiedermann, Jiří, van Leeuwen, J.. Emergence of a Super-Turing Computational Potential an Artificial Living Systems.
ICS AS CR, 2001
[ASEP]
V-832:
Wiedermann, Jiří. Superturingovský výpočetní potenciál kognitivních a evolučních systémů.
ICS AS CR, 2001
[ASEP]
V-831:
Kestřánek, Zdeněk. Description of the Finite Element Program for Contact Problem.
ICS AS CR, 2001
[ASEP]
V-830:
Kůrková, Věra, Sanguineti, M.. Covering Numbers and Rates of Neural-Network Approximation.
ICS AS CR, 2001
[ASEP]
V-829:
Beran, Martin. Formalizing, Analyzing and Extending the Model of Bulk Synchronous Parallel Computer.
ICS AS CR, 2000
[ASEP]
V-828:
Wiedermann, Jiří. Fuzzy Computations Are More Powerful than Crisp Ones.
ICS AS CR, 2000
[ASEP]
V-827:
Krejčíř, Pavel. Analysis of Environmental Data Using Spatial Statistics Methods.
ICS AS CR, 2000
[ASEP]
V-818:
Benzi, M., Tůma, Miroslav. A Parallel Solver for Large-Scale Markov Chains.
ICS AS CR, 2000
[ASEP]
V-817:
Bodon, E., Lukšan, Ladislav, Spedicato, E.. Computational Experiments with Linear ABS Algorithms.
ICS AS CR, 2000
[ASEP]
V-816:
Benzi, M., Kouhia, R., Tůma, Miroslav. Stabilized and Block Approximate Inverse Preconditioners for Problems in Solid and Structural Mechanics.
ICS AS CR, 2000
[ASEP]
V-815:
Šíma, Jiří. On the Computational Power of Continuous-Time Symmetric Hopfield Nets.
ICS AS CR, 2000
[ASEP]
V-814:
Pelikán, Emil, Eben, Kryštof, Vondráček, Jiří, Krejčíř, Pavel, Keder, Josef. Ground Level Ozone Peak Forecasts Using Neural Networks and Kalman Filter.
ICS AS CR, 2000
[ASEP]
V-813:
Žák, Stanislav. A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
ICS AS CR, 2000
[ASEP]
V-812:
Fabián, Zdeněk, Vajda, Igor. Core Distance of Probability Distributions.
ICS AS CR, 2001
[ASEP]
V-811:
Honzíková, Zuzana. Guha+- User's Guide, v. 1.4.
ICS AS CR, 2000
[ASEP]
V-810:
Coufal, David. GuhaManual - version 1.0.
ICS AS CR, 2000
[ASEP]
V-809:
Fabián, Zdeněk. On Systematics of Continuous Probability Distributions.
ICS AS CR, 2000
[ASEP]
V-806:
Frolov, A. A., Húsek, Dušan, Snášel, V.. Recall Time and Finite Size Effects in Densely and Sparsely Encoded Hopfield-like Autoassociative Memories.
ICS AS CR, 1999
[ASEP]
V-805:
Sirota, A., Frolov, A. A., Húsek, Dušan. Binary Factor Analysis in Hopfield-Like Neural Networks.
ICS AS CR, 1999
[ASEP]
V-804:
Frolov, A. A., Húsek, Dušan, Muraviev, I. P.. Information Efficiency of Sparsely Encoded Hopfield-Like Autoassociative Memory.
ICS AS CR, 1999
[ASEP]
V-803:
Beneš, Michal. Anisotropic Phase-Field Model with Focused Latent-Heat Release.
ICS AS CR, 2000
[ASEP]
V-802:
Fabián, Zdeněk. The Parameter of Assymetry of the Transformed Beta Family.
ICS AS CR, 1999
[ASEP]
V-801:
Fabián, Zdeněk. Induced Scores and Their Use in Robust Parametric Estimation.
ICS AS CR, 1999
[ASEP]
V-796:
Nedoma, Jiří. FEM Solutions of Stefan Problems in Rheology.
ICS AS CR, 1999
[ASEP]
V-795:
Kainen, P.C., Kůrková, Věra, Vogt, A.. Best Approximation by Linear Combinations of Characteristic Functions of Half-Spaces.
ICS AS CR, 1999
[ASEP]
V-794:
Andrej, Ladislav. Kvantová informace.
ICS AS CR, 1999
[ASEP]
V-793:
Pták, Vlastimil. Combinatorial Methods in Analysis.
ICS AS CR, 1999
[ASEP]
V-792:
Wiedermann, Jiří. Intelligence as Large-Scale Computational Learning Phenomenon. (A Short Version).
ICS AS CR, 1999
[ASEP]
V-789:
Kůrková, Věra, Sanguineti, M.. Dimension-Independent Approximation by Neural Networks and Its Comparison with Linear Approximation.
ICS AS CR, 1999
[ASEP]
V-788:
Žák, Stanislav. Upper Bounds for Gentle Branching Programs.
ICS AS CR, 1999
[ASEP]
V-786:
Wiedermann, Jiří. The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa.
ICS AS CR, 1999
[ASEP]
V-785:
Hlaváček, Ivan. Domain Decomposition Applied to a Unilateral Contact of Elastic Bodies.
ICS AS CR, 1999
[ASEP]
V-783:
Grigorieff, Rolf Dieter, Sloan, Ian H., Brands, Jan H.. Superapproximation and Commutator Properties of Discrete Orthogonal Projections for Continuous Splines.
ICS AS CR, 1999
[ASEP]
V-782:
Brands, Jan H.. Explanation of a Phenomenon Witnessed in Pre-Processed GMRES.
ICS AS CR, 1999
[ASEP]
V-781:
Šíma, Jiří, Orponen, P., Antti-Poika, T.. Some Afterthoughts on Hopfield Networks.
ICS AS CR, 1999
[ASEP]
V-780:
Lukšan, Ladislav, Spedicato, E., Vlček, Jan. Variable Metric Methods for Unconstrained Optimization.
ICS AS CR, 1999
[ASEP]
V-779:
Lukšan, Ladislav, Vlček, Jan. Numerical Experience with Iterative Methods for Equality Constrained Nonlinear Programming Problems.
ICS AS CR, 2000
[ASEP]
V-777:
Kramosil, Ivan. Probabilistic Analysis of Dempster-Shafer Theory. Part Three.
ICS AS CR, 1999
[ASEP]
V-776:
Nedoma, Jiří. Geodynamic Analyses of the Himalayas and the Andaman Islands Based on Mathematical Simulations of Geodynamics Processes.
ICS AS CR, 1999
[ASEP]
V-775:
Lukšan, Ladislav, Vlček, Jan. Globally Convergent Variable Metric Method for Nonconvex Nondifferentiable Unconstrained Minimization.
ICS AS CR, 1999
[ASEP]
V-774:
Hakl, František, Saklík, T., Ohnůtek, P., Cikhart, O., Hanuš, R.. Dokumentace k objektově orientované knihovně nástrojů pro modely neuronových sítí realizujících univalentní zobrazení.
ICS AS CR, 1999
[ASEP]
V-773:
Šíma, Jiří, Orponen, P.. A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks.
ICS AS CR, 1999
[ASEP]
V-772:
Frolov, A. A., Húsek, Dušan, Muraviev, I. P.. Attractor Basins in Sparsely Encoded Hopfield-Like Associative Memory.
ICS AS CR, 1998
[ASEP]
V-771:
Fabián, Zdeněk. A Modified Approach to Point Estimation.
ICS AS CR, 1998
[ASEP]
V-770:
Kůrková, Věra. Aproximace funkcí neuronovými sítěmi.
ICS AS CR, 1998
[ASEP]
V-769:
Kainen, P.C., Kůrková, Věra, Vogt, A.. Geometry and Topology of Continuous Best and Near Best Approximations.
ICS AS CR, 1998
[ASEP]
V-768:
Neruda, Roman, Salač, Vladimír. Ke kvantifikaci pravěké keramiky.
ICS AS CR, 1998
[ASEP]
V-767:
Lukšan, Ladislav, Vlček, Jan. Sparse and Partially Separable Test Problems for Unconstrained and Equality Constrained Optimization.
ICS AS CR, 1999
[ASEP]
V-766:
Lukšan, Ladislav, Vlček, Jan. Interactive System for Universal Functional Optimization (UFO) - Version 1998.
ICS AS CR, 1999
[ASEP]
V-765:
Paige, Ch., Strakoš, Zdeněk. Residuals and Singular Values in Linear Least Squares Problems.
ICS AS CR, 1998
[ASEP]
V-764:
Gutknecht, M. H., Paige, Ch., Strakoš, Zdeněk. Accuracy of Two Three-term and Three Two-term Recurrences for Krylov Space Solvers.
ICS AS CR, 1997
[ASEP]
Hakl, František. Doktorandský den '98. Sborník příspěvků.
ICS AS CR, 1998
[ASEP]
V-760:
Štuller, Július. Existence Conditions for the Inconsistencies in the Databases Integration.
ICS AS CR, 1998
[ASEP]
V-759:
Savický, Petr. On Functions with Many Good Variable Orderings for Parity OBDDs.
ICS AS CR, 1998
[ASEP]
V-758:
Žák, Stanislav. The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
ICS AS CR, 1997
[ASEP]
V-757:
Frolov, A. A., Řízek, Stanislav, Dufossé, M.. Biological Motivations for Differential Neurocontrol.
ICS AS CR, 1998
[ASEP]
V-755:
Šíma, Jiří. Introduction to Neural Networks.
ICS AS CR, 1997
[ASEP]
V-754:
Savický, Petr. A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs.
ICS AS CR, 1998
[ASEP]
V-753:
Hošek, M., Hakl, František. Analýza VC-dimenze kvadratických množin.
ÚIVT AV ČR, 1998
[ASEP]
V-752:
Novický, Marek, Nedoma, Jiří. Numerical Solution of the Incompressible Thermo-Bingham Problem.
ICS AS CR, 1998
[ASEP]
V-751:
Baštová, Alena. The Numerical Solution of the Linear Problem of Elasticity in the Anisotropic Nonhomogeneous Material - the Method of Homogenization.
ICS AS CR, 1998
[ASEP]
V-750:
Novický, Marek, Kestřánek, Zdeněk, Nedoma, Jiří. Dual Contact Problem in Elasticity.
ICS AS CR, 1998
[ASEP]
V-749:
Kramosil, Ivan. Probabilistic Analysis of Dempster-Shafer Theory. Part Two.
ICS AS CR, 1998
[ASEP]
V-748:
Klán, Petr, Vlček, Jan, Wilkie, J.. On the Application of Relative Information.
ICS AS CR, 1998
[ASEP]
V-747:
Pták, Vlastimil. Spectral Radius of Opertators on l.
ICS AS CR, 1998
[ASEP]
V-746:
Štuller, Július. Classification of the Inconsistencies in the Databases Integration.
ICS AS CR, 1998
[ASEP]
V-745:
Rybka, Michal. Modelování v paleontologii - úvodní skica.
ICS AS CR, 1998
[ASEP]
V-744:
Rybka, Michal. Umělá inteligence v počítačových hrách.
ICS AS CR, 1998
[ASEP]
V-743:
Wiedermann, Jiří. The Cogitoid: A Computational Model of Cognitive Behaviour. (Revised Version).
ICS AS CR, 1998
[ASEP]
V-742:
Wiedermann, Jiří. Simulating the Mind: A Gauntlet Thrown to Computer Science.
ICS AS CR, 1998
[ASEP]
V-741:
Lukšan, Ladislav, Vlček, Jan. Globally Convergent Variable Metric Method for Convex Nonsmooth Unconstrained Minimization.
ICS AS CR, 1998
[ASEP]
V-740:
Kestřánek, Zdeněk, Nedoma, Jiří. FEC - A Code for Contact Problems in Thermoelasticity.
ICS AS CR, 1998
[ASEP]
V-739:
Nedoma, Jiří, Kestřánek, Zdeněk. Preconditioners for Contact Problems in Elasticity.
ICS AS CR, 1998
[ASEP]
V-733:
Tůma, Miroslav. A Note on the LDL T Decomposition of Sparse Symmetric Quasisemidefinite Matrices.
ICS AS CR, 1997
[ASEP]
V-732:
Frolov, A. A., Húsek, Dušan. Pattern Matching by Sparsely Encoded Hopfield-Like Associative Memory.
ICS AS CR, 1997
[ASEP]
V-731:
Hakl, František. Product of Matrices and P-Class.
ICS AS CR, 1997
[ASEP]
V-730:
Maryška, Jiří, Rozložník, Miroslav, Tůma, Miroslav. The Schur Complement Systems in the Mixed Hybrid Finite Element Approximation of the Potential Fluid Flow Problem.
ICS AS CR, 1997
[ASEP]
V-729:
Harmancová, Dagmar, Holeňa, Martin, Sochorová, Anna. Overview of the GUHA Method of Exploratory Data Analysis and Data Mining.
ICS AS CR, 1997
[ASEP]
V-728:
Žák, Stanislav. A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
ICS AS CR, 1997
[ASEP]
V-727:
Štědrý, Arnošt. Programové konstrukce jazyka PostScript.
ICS AS CR, 1997
[ASEP]
V-726:
Kodym, Ladislav. Distributed Implementation of the Back Propagation on the Cluster of Workstation.
ICS AS CR, 1997
[ASEP]
V-725:
Wiedermann, Jiří. Accelerating Nondeterministic Single-Tape Off-Line Computations by One Alternation.
ICS AS CR, 1997
[ASEP]
V-724:
Nedoma, Jiří, Kestřánek, Zdeněk. Stress-Strain Analysis Along the Profile VI Across the Bohemian Massif.
ICS AS CR, 1997
[ASEP]
V-723:
Gutknecht, M. H., Strakoš, Zdeněk. Accuracy of Three-Terms and Two-Terms Recurrences for Krylov Space Solvers.
ICS AS CR, 1997
[ASEP]
V-722:
Arioli, M., Pták, Vlastimil, Strakoš, Zdeněk. Krylov Sequences of Maximal Length and Convergence of GMRES.
ICS AS CR, 1997
[ASEP]
V-721:
Nedoma, Jiří. Geodynamics Analysis of the Himalayas and the Andaman Islands Based on Mathematical Simulations of Geodynamics Processes.
ICS AS CR, 1997
[ASEP]
V-720:
Nedoma, Jiří. Dynamic Modelling of Subductional Processes in the Central Aleutians.
ICS AS CR, 1997
[ASEP]
V-719:
Lukšan, Ladislav, Vlček, Jan. PEQN, PEQL - CGS Based Algorithms for Sparse Systems of Nonlinear Equations.
ICS AS CR, 1997
[ASEP]
V-718:
Lukšan, Ladislav, Vlček, Jan. PBUN, PNEW - A Bundle-Type Algorithms for Nonsmooth Optimization.
ICS AS CR, 1997
[ASEP]
V-717:
Lukšan, Ladislav, Vlček, Jan. PMIN - A Recursive Quadratic Programming Variable Metric Algorithm for Minimax Optimization.
ICS AS CR, 1997
[ASEP]
V-716:
Kramosil, Ivan. Probabilistic Analysis of Dempster-Shafer Theory. Part One.
ICS AS CR, 1997
[ASEP]
V-715:
Wiedermann, Jiří. Towards Machines That Can Think.
ICS AS CR, 1997
[ASEP]
V-714:
Kramosil, Ivan. Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics.
ICS AS CR, 1997
[ASEP]
V-713:
Neruda, Roman. Genetic Learning of RBF Networks with GARB.
ICS AS CR, 1997
[ASEP]
V-712:
Daniel, Milan. A Generalization of Möbius Transformation for Knowledge Bases, which Include Rules with Disjunction in Antecedent II. General ecd knowledge bases.
ICS AS CR, 1997
[ASEP]
V-711:
Andrey, Ladislav. Potentiality of Chaotic Behaviour in Single Neuron is Natural.
ICS AS CR, 1997
[ASEP]
V-710:
Šíma, Jiří. Analog Stable Simulation of Discrete Neural Networks.
ICS AS CR, 1997
[ASEP]
V-709:
Hakl, František, Jiřina, Marcel. Level-Two Triggering via a Neural Net with Linear Discriminant Functions.
ICS AS CR, 1997
[ASEP]
V-708:
Pták, Vlastimil. Duality Methods in Čebyšev Approximation.
ICS AS CR, 1997
[ASEP]
V-707:
Hájek, Petr, Godo, L.. Deductive Systems of Fuzzy Logic (A Tutorial).
ICS AS CR, 1997
[ASEP]
V-706:
Daniel, Milan. A Generalization of Möbius Transformation for Knowledge Bases, which Include Rules with Disjunction in Antecedent.
ICS AS CR, 1997
[ASEP]
V-705:
Pokorný, D., Sochorová, Anna, Dahlbender, R. W., Hájek, Petr, Kächele, H., Torres, L., Zöllner, M.. Do We Use Stereotypes in Our Relationship to the Others?.
ICS AS CR, 1997
[ASEP]
V-704:
Rozložník, Miroslav. Informace o sdruženém superpočítačovém pracovišti I.C.C.C. a ÚIVT AV ČR.
ÚIVT AV ČR, 1996
[ASEP]
V-703:
Hájek, Petr, Richards, B.. Managing Uncertainty in Medicine Final Report.
ICS AS CR, 1997
[ASEP]
V-702:
Štuller, Július. Database Systems and Logic - I.
ICS AS CR, 1997
[ASEP]
V-697:
Neruda, Roman, Štědrý, Arnošt. Cascade Networks: Another Approach to Function Approximation.
ICS AS CR, 1996
[ASEP]
V-696:
Wiedermann, Jiří. The Cogitoid: A Simple Model of Mind.
ICS AS CR, 1996
[ASEP]
V-695:
Kůrková, Věra. Trade-off Between the Size of Weights and the Number of Hidden Units in Feedforward Networks.
ICS AS CR, 1996
[ASEP]
V-694:
Fabián, Zdeněk. Information and Entropy of Continuous Random Variables.
ICS AS CR, 1996
[ASEP]
V-693:
Nedoma, Jiří. On a Coupled Stefan-Like Problem in Thermo-Visco-Plastic Rheology.
ICS AS CR, 1996
[ASEP]
V-692:
Šebesta, Václav. Návod na stanovení požadavků na programové vybavení.
ÚIVT AV ČR, 1996
[ASEP]
V-691:
Lukšan, Ladislav, Vlček, Jan. Fully Iterative Indefinitely Preconditioned Algorithm for Large Sparse Equality Constrained Nonlinear Programming Problems.
ICS AS CR, 1996
[ASEP]
V-690:
Rohn, Jiří. On Overestimations Produced by the Interval Gaussian Algorithm.
ICS AS CR, 1997
[ASEP]
V-688:
Rohn, Jiří. Bounds on Eigenvalues of Interval Matrices.
ICS AS CR, 1996
[ASEP]
V-686:
Rohn, Jiří. Checking Properties of Interval Matrices.
ICS AS CR, 1996
[ASEP]
V-685:
Wiedermann, Jiří. The Cogitoid: A Computational Model of Mind.
ICS AS CR, 1996
[ASEP]
V-684:
Řízek, Stanislav, Bílková, Hana. Annual Report - Spring 1996.
ICS AS CR, 1996
[ASEP]
V-683:
Hönig, J., Pelikán, Emil. Experimentální programový systém NESP pro klasifikaci signálů neuronovými sítěmi. Uživatelský manuál verze 1.0.
SVT ČSAV, 1990
[ASEP]
V-682:
Hájek, Petr. Metamathematics of Fuzzy Logic. Part I.
ICS AS CR, 1996
[ASEP]
V-679:
Savický, Petr. Complexity and Probability of Some Boolean Formulas.
ICS AS CR, 1997
[ASEP]
V-678:
Wiedermann, Jiří. Towards Computational Models of the Brain: Getting Started.
ICS AS CR, 1996
[ASEP]
V-677:
Kestřánek, Zdeněk, Nedoma, Jiří. The Conjugate Protected Gradient Method - Numerical Tests and Results.
ICS AS CR, 1996
[ASEP]
V-675:
Nedoma, Jiří. Numerical Solutions of Coupled Two-Phase Stefan-Contact Problems with Friction in Linear Thermoelasticity by Variational Inequalities. The Coersive Case.
ICS AS CR, 1996
[ASEP]
V-674:
Štuller, Július. Supplement to the Report for the Evalution of the Institute.
ICS AS CR, 1996
[ASEP]
V-673:
Štuller, Július. Report for the Evalution of the Institute.
ICS AS CR, 1996
[ASEP]
V-668:
Lukšan, Ladislav, Vlček, Jan. Computational Experience with Globally Convergent Descent Methods for Large Sparse Systems of Nonlinear Equations.
ICS AS CR, 1996
[ASEP]
V-667:
Lukšan, Ladislav, Vlček, Jan. Inexact Trust Region Methods Based on Preconditioned Iterative Subalgorithms for Large Sparse Systems of Nonlinear Equations.
ICS AS CR, 1996
[ASEP]
V-666:
Rohn, Jiří, Rex, G.. Enclosing Solutions of Linear Equations.
ICS AS CR, 1996
[ASEP]
V-665:
Daniel, Milan. Morphisms of Dempster's Semigroup.
ICS AS CR, 1996
[ASEP]
V-664:
Novák, Mirko, Pecen, Ladislav. Úvahy o uplatnění metod komplexní predikční diagnostiky v medicíně.
ÚIVT AV ČR, 1995
[ASEP]
V-663:
Novák, Mirko, Denksteinová, Marie. Literární zdroje informací o neuronových sítích.
ÚIVT AV ČR, 1995
[ASEP]
V-648:
Kestřánek, Zdeněk. Numerical Analysis of the Contact Problem. Comparison of Methods for Finding the Approximate Solution.
ICS AS CR, 1995
[ASEP]
V-646:
Žák, Stanislav. A Superpolynomial Lower Bound for (1,+k(n))-Branching Programs.
ICS AS CR, 1995
[ASEP]
V-645:
Kůrková, Věra, Kainen, P.C., Kreinovich, V.. Estimates of the Number of Hidden Units and Variation with Respect to Half-Spaces.
ICS AS CR, 1995
[ASEP]
V-644:
Rohn, Jiří. The Conjecture "P =/= NP" and Overestimation in Bounding Solutions of Pertubed Linear Equations.
ICS AS CR, 1995
[ASEP]
V-643:
Rohn, Jiří. Enclosing Solutions of Overdetermined Systems of Linear Interval Equations.
ICS AS CR, 1995
[ASEP]
V-642:
Rohn, Jiří. Linear Programming with Inexact Data is NP-Hard.
ICS AS CR, 1995
[ASEP]
V-641:
Rohn, Jiří. Validated Solutions of Nonlinear Equations.
ICS AS CR, 1995
[ASEP]
V-640:
Lukšan, Ladislav. Numerické optimalizační metody pro úlohy bez omezujících podmínek.
ÚIVT AV ČR, 1995
[ASEP]
V-639:
Denksteinová, Marie, Nývltová, Ludmila, Štuller, Július, Pešek, Daniel. Overview List of Technical Reports and Dissertations. Completed at the Occasion of 20th Anniversary of Institute Foundation.
ICS AS CR, 1995
[ASEP]
V-638:
Fabián, Zdeněk. Fisher Distance of Probability Measures.
ICS AS CR, 1995
[ASEP]
V-637:
Novák, Mirko, Kufudaki, Olga, Šimek, M., Růžička, P., Hrycej, David. Rozvaha o možnostech ekonomického přínosu aplikací nových informačních technologií.
ÚIVT AV ČR, 1995
[ASEP]
V-636:
Rohn, Jiří. Complexity of Solving Linear Interval Equations.
ICS AS CR, 1995
[ASEP]
V-635:
Pfeffer, Daniel. Biological Signal Processing and System Identification.
ICS AS CR, 1995
[ASEP]
V-634:
Maryška, Jiří, Rozložník, Miroslav, Tůma, Miroslav. The Potential Fluid Flow Problem and the Convergence Rate of the Minimal Residual Method.
ICS AS CR, 1995
[ASEP]
V-633:
Fabián, Zdeněk. Information and Entropy of Continuous Random Variables.
ICS AS CR, 1995
[ASEP]
V-631:
Wiedermann, Jiří. Five New Simulation Results on Turing Machines.
ICS AS CR, 1995
[ASEP]
V-630:
Hájek, Petr. Possibilistic Logic as Interpretability Logic.
ICS AS CR, 1995
[ASEP]
V-629:
Daniel, Milan. Algebraic Structures Related to Dempster-Shafer Theory.
ICS AS CR, 1995
[ASEP]
V-628:
Wiedermann, Jiří. Separating Deterministic, Nondeterministic, and Co-Nondeterministic Time Complexity Classes for Single-Tape Computations.
ICS AS CR, 1995
[ASEP]
V-627:
Božovský, P., Húsek, Dušan. Information Capabilities Analysis of Recurrent Neural Network Creating Energy Function Constructively.
ICS AS CR, 1995
[ASEP]
V-626:
Kůrková, Věra, Kainen, P.C., Kreinovich, V.. Dimension-Independent Rates of Approximation by Neural Networks and Variation with Respect to Half-spaces.
ICS AS CR, 1995
[ASEP]
V-616:
Harmancová, Dagmar. PC-GUHA uživatelská příručka. PC.GUHA - nápovědy systému PC.GUHA - pracovní texty k semináři.
ICS AS CR, 1994
[ASEP]
V-614:
Novák, Mirko. Problémy archivační komprese velkých souborů dat.
ÚIVT AV ČR, 1994
[ASEP]
V-613:
Benzi, M., Meyer, C. D., Tůma, Miroslav. A Sparse Approximate Inverse Preconditioner For The Conjugate Gradient Method.
ICS AS CR, 1995
[ASEP]
V-612:
Novák, Mirko. Meze životnosti systémů (grant č.101/93/0430 Grantové agentury ČR). Meze životnosti technických soustav (některé ekonomické aspekty zavedení komplexní diagnostiky leteckých proudových motorů používaných v armádě České republiky).
ÚIVT AV ČR, 1994,1995
[ASEP]
V-610:
Húsek, Dušan, Pokorný, J., Kopecký, M.. Metody vyhledávání v textových databázích.
ICS AS CR, 1994
[ASEP]
V-609:
Maryška, Jiří. Approximation of the Mixed-Hybrid Formulation of the Porous Media Flow Problem.
ICS AS CR, 1994
[ASEP]
V-608:
Vlček, Jan. Bundle Algorithms for Nonsmooth Unconstrained Optimization.
ICS AS CR, 1994
[ASEP]
V-607:
Frolov, A. A., Húsek, Dušan. On the Information Capacity of Hopfield Network.
ICS AS CR, 1994
[ASEP]
V-606:
Húsek, Dušan, Frolov, A. A.. Evaluation of the Informational Capacity of Hopfield Network by Monte Carlo Simulation.
ICS AS CR, 1994
[ASEP]
V-605:
Maryška, Jiří, Rozložník, Miroslav, Tůma, Miroslav. Mixed-Hybrid Finite Element Approximation of the Potential Fluid Flow Problem.
ICS AS CR, 1994
[ASEP]
V-604:
Rex, G., Rohn, Jiří. A Note on Checking Regularity of Interval Matrices.
ICS AS CR, 1994
[ASEP]
V-603:
Novák, Mirko. Souhrnná zpráva o průběhu a výsledcích řešení grantu Grantové agentury ČR č. 101/93/0430 Teorie a metody návrhu systémů se zvýšenou spolehlivostí v za r. 1994.
ÚIVT AV ČR, 1994
[ASEP]
V-602:
Hlaváčková, Kateřina. Some Estimates of the Approximation Error of Continuous Functions by RBF and KBF networks.
ICS AS CR, 1994
[ASEP]
V-601:
Žák, Stanislav. The Computational Power of Bi-Greedy In-Branching Programs, and its Bounds.
ICS AS CR, 1994
[ASEP]
V-600:
Kůrková, Věra. Approximation of Functions by Perceptron Networks with Bounded Number of Hidden Units.
ICS AS CR, 1994
[ASEP]
V-583:
Fabián, Zdeněk. Metric Random Variable, Metric Moments and Metric Moment Estimates.
ICS AS CR, 1994
[ASEP]
V-582:
Fabián, Zdeněk. Systematics of Continuous Unimodal Probability Distributions Based on Properties of Coresponding Metric Functions (Final Version).
ICS AS CR, 1994
[ASEP]
V-581:
Fabián, Zdeněk. Geometric Definition of Continuous Probability Space and Some its Consequences.
ICS AS CR, 1994
[ASEP]
V-580:
Šíma, Jiří. Back Propagations is not Efficient.
ICS AS CR, 1994
[ASEP]
V-579:
Drkošová, Jitka, Greenbaum, A., Rozložník, Miroslav, Strakoš, Zdeněk. Numerical Stability of GMRES.
ICS AS CR, 1994
[ASEP]
V-578:
Nedoma, Jiří. On a Generalized Thermo-Magneto-Hydrodynamic Problem; A New Approach to Mantle-Core Coupling Studies.
ICS AS CR, 1994
[ASEP]
V-577:
Fabián, Zdeněk. Introducing Geometrical Probability Theory.
ICS AS CR, 1994
[ASEP]
V-576:
Kainen, P.C., Kůrková, Věra. Affinely Recursive Functions and Neural Networks.
ÚIVT AV ČR, 1993
[ASEP]
V-575:
Kainen, P.C., Kůrková, Věra, Kreinovich, V., Sirisengtaksin, O.. Uniqueness of Network Parametrizations and Faster Learning.
ICS AS CR, 1993
[ASEP]
V-574:
Novák, Mirko. Souhrnná zpráva o průběhu prací na grantu č. 101/93/0430 Teorie a metody návrhu systémů se zvýšenou spolehlivostí v r. 1993.
ÚIVT AV ČR, 1994
[ASEP]
V-573:
Kufudaki, Olga, Žák, Přemysl, Harmancová, Dagmar, Hájek, Petr, Štuller, Július, Prokop, J., Javorský, Stanislav, Hrycej, David. Zpráva o výsledcích výzkumu pro Centrum klastrové medicíny za rok 1993.
ÚIVT AV ČR, 1994
[ASEP]
V-572:
Bendová, K., Sochorová, Anna. Uživatelský manuál programů ASSOC a IMPL metody GUHA.
ÚIVT AV ČR, 1994
[ASEP]
V-571:
Štuller, Július. Konceptuálný model činnosti Centra clustrovej medicíny.
ÚIVT AV ČR, 1994
[ASEP]
V-569:
Novák, Mirko. Základy teorie provozní spolehlivosti a opravitelnosti systémů.
ICS AS CR, 1993
[ASEP]
V-567:
Fabián, Zdeněk. Systematics of Continuous Probability Distributions Based on Properties of Corresponding Metric Functions.
ICS AS CR, 1993
[ASEP]
V-566:
Wiedermann, Jiří. Fast Sequential and Parallel Simulations of Nondeterministic Computations.
ICS AS CR, 1993
[ASEP]
V-564:
Tůma, Miroslav, Rozložník, Miroslav. Porovnávání rychlosti a přesnosti řešení některých úloh lineární algebry na počítačích Silicon Graphics Crimson a Cray YMP EL.
ICS AS CR, 1993
[ASEP]
V-562:
Fabián, Zdeněk. Distance of Statistical Individuals.
ICS AS CR, 1993
[ASEP]
V-561:
Lukšan, Ladislav. Hybrid Methods for Large Sparse Nonlinear Least Squares.
ICS AS CR, 1993
[ASEP]
V-560:
Golub, G. H., Strakoš, Zdeněk. Estimates in Quadratic Formulas.
ICS AS CR, 1993
[ASEP]
V-558:
Tůma, Miroslav. Porovnání rychlosti a přesnosti řešení nesymetrických lineárních systémů implicitní Gaussovou eliminací na výkonné výpočetní technice dostupné v AV ČR; Cray Y-MP RL a SGI Crimson s procesorem R4000.
ÚIVT AV ČR, 1993
[ASEP]
V-557:
Andrej, Ladislav, Kufudaki, Olga. Neural Networks - Nonlinear Systems with Potentially Complex Behavior.
ICS AS CR, 1993
[ASEP]
V-556:
Tůma, Miroslav. Solving Sparse Unsymmetric Sets of Linear Equations Based an Implicit Gauss Projection.
ÚIVT AV ČR, 1993
[ASEP]
V-555:
Lukšan, Ladislav. Combined Trust Region Methods for Nonlinear Least Squares.
ICS AS CR, 1993
[ASEP]
V-554:
Fabián, Zdeněk. Parametric Point Estimation on R+.
ICS AS CR, 1993
[ASEP]
V-553:
Fabián, Zdeněk. Towards Systematization of Continuous Regular Probability Distributions.
ICS AS CR, 1993
[ASEP]
V-551:
Nedoma, Jiří. FEM Analysis of Artificial Substitutes of Human Joints and their Optimal Design.
ICS AS CR, 1993
[ASEP]
V-550:
Nedoma, Jiří. Finite Element Analysis in Nuclear Safety.
ICS AS CR, 1993
[ASEP]
V-549:
Kočková, Sylva, Brůha, I.. CN4: An Extension of CN2 Covering Algorithm.
ICS AS CR, 1993
[ASEP]
V-548:
Rozložník, Miroslav. A Comparison of the Biconjugate Gradient Method and Related Methods for Solving Nonsymmetric Systems of Linear Equations.
ICS AS CR, 1993
[ASEP]
V-547:
Lukšan, Ladislav. Inexact Trust Region Method for Large Sparse Systems of Nonlinear Equations.
ICS AS CR, 1993
[ASEP]
V-546:
Nedoma, Jiří. A Nonlinear Analysis of Incompressible Pulsating Flow in the Artery System and Blood Vessels.
ICS AS CR, 1993
[ASEP]
V-539:
Frolov, A. A., Řízek, Stanislav. Control by Neural Networks.
ÚIVT ČSAV, 1992
[ASEP]
V-538:
Kůrková, Věra, Kainen, P.C.. Semigroups of Function Preserving Weight Transformations.
ÚIVT ČSAV, 1992
[ASEP]
V-535:
Novák, Michal. The Task of High Level Decision in Second Level Triggering.
SVT ČSAV, 1992
[ASEP]
V-534:
Lukšan, Ladislav. Computational Experience with Known Variable Metric Updates.
ICS AS CR, 1992
[ASEP]
V-533:
Strakoš, Zdeněk. Open Questions in the Convergence Analysis of the Lanczos Process for the Real Symmetric Eigenvalue Problem.
ICS AS CR, 1992
[ASEP]
V-520:
Vítková, Galina. Analýza dynamického chování elektrizační soustavy s využitím neuronových sítí.
ÚIVT ČSAV, 1991
[ASEP]
V-519:
Fabián, Zdeněk. Towards Unification of Method of Statistical Estimation.
ICS AS CR, 1991
[ASEP]
V-517:
Nedoma, Jiří. Simulation of the Biomechanical Function of Human Joints and Optimal Design of Their Artificial Substitutes.
ICS AS CR, 1991
[ASEP]
V-516:
Nedoma, Jiří. Static Stress-Strain Analysis of Human Joints and Their Artificial Substitutes.
ICS AS CR, 1991
[ASEP]
V-515:
Nedoma, Jiří. Geodynamic Processes in the Volcaically Active Regions and the Stress-Strain Monitoring of Such Regions.
ICS AS CR, 1991
[ASEP]
V-496:
Lukšan, Ladislav. Variationally Derived Scaling and Variable Metric Updates from the Preconvex Part of the Broyden Family.
ICS AS CR, 1991
[ASEP]
V-495:
Novák, Mirko. Some Considerations on the Tolerances and Sensitivities of Artificial Neural Networks.
ÚIVT ČSAV, 1991
[ASEP]
V-480:
Šebesta, Václav. Závěrečná zpráva o plnění hlavního úkolu III-8-10: "Programové a technické prostředky počítačových a terminálových sítí".
SVT ČSAV, 1990
[ASEP]
V-479:
Beneš, Ladislav. Stručný návod k obsluze terminálu systému TC85 na osobních počítačích.
SVT ČSAV, 1990
[ASEP]
V-477:
Nedoma, Jiří. Metody monitorování pole napjatosti in situ.
SVT ČSAV, 1990
[ASEP]
V-476:
Nedoma, Jiří. Matematické modelování geodynamických procesů v litosféře, mechanismus zemětřesení a důlního otřesu.
SVT ČSAV, 1990
[ASEP]
V-468:
Jiřina, Marcel. Program BUM pro citlivostní analýzu výpočetních systémů pomocí uzavřených exponenciálních sítí.
SVT ČSAV, 1990
[ASEP]
V-467:
Strnad, Petr. Zpracování výkazu odpracovaných hodin na osobním počítači.
SVT ČSAV, 1990
[ASEP]
V-465:
Nádherný, Richard. Systém pro emulaci snímače pásky FS 1503.
SVT ČSAV, 1990
[ASEP]
V-464:
Míček, Jiří. PŘEHLED. Sledování přepočteného stavu a pohybů pracovníků v ústavech ČSAV z hlediska osobní agendy pomocí osobních počítačů.
SVT ČSAV, 1989
[ASEP]
V-463:
Novák, Michal, Strnad, Petr. Lokální počítačová síť SVT ČSAV a její napojení na sálový počítač EC 1045.
SVT ČSAV, 1990
[ASEP]
V-437:
Cahlík, Tomáš, Walter, J., Kodera, J., Málek, J.. Možnosti aplikace modelů optimalizačního řízení v podmínkách podniku při různých kritériích.
SVT ČSAV, 1989
[ASEP]
V-433:
Míček, Jiří. ROZP. Automatizované sledování rozpočtu vybraných účtů na ústavech ČSAV pomocí osobních počítačů.
SVT ČSAV, 1989
[ASEP]
V-432:
Řízek, Stanislav. Předzpracování apriorních podpůrných dat pro DPZ na počítačích řady JSEP.
SVT ČSAV, 1989
[ASEP]
V-417:
Kufudaki, Olga, Hořejš, Jiří. Studie k analýze neuronových sítí (1).
SVT ČSAV, 1989
[ASEP]
V-416:
Vítková, Galina, Míček, Jiří. Vyhodnocení výsledků ve formě binárních dat prostřednictvím inferenčních mechanizmů neuronových sítí.
SVT ČSAV, 1989
[ASEP]
V-415:
Švanda, Josef. Simulace Hopfieldova modelu neuronové sítě na osmibitovém mikropočítači.
SVT ČSAV, 1989
[ASEP]
V-414:
Hrycej, David. Neuronové sítě v problematice zpracování obrazů a vidění.
SVT ČSAV, 1989
[ASEP]
V-409:
Jiřina, Marcel. Program JED pro citlivostní analýzu jednoduchých modelů výpočetních systémů.
SVT ČSAV, 1989
[ASEP]
V-407:
Nedoma, Jiří. Mathematical Simulation of Function of Great Human Joints and Optimal Design of Their Substitutes. Part II. Mathematical Analysis of the Problem.
SVT ČSAV, 1989
[ASEP]
V-406:
Nedoma, Jiří, Stehlík, J.. Mathematical Simulation of Great Human Joints and Optimal Design of their Substitutes. Part I. Biomechanics, Construction and Tribology.
SVT ČSAV, 1989
[ASEP]
V-405:
Vencelides, Josef. Evidence a rozbory kádrového, personálního a sociálniho rozvoje. Tvorba a údržba datové základny.
SVT ČSAV, 1988
[ASEP]
V-404:
Pelikán, Emil. Model vrstvené neuronové sítě typu "zpětného šíření" s adaptivní přenosovou funkcí.
SVT ČSAV, 1989
[ASEP]
V-384:
Lavička, Zdeněk, Pech, Jaroslav, Řízek, Stanislav, Soudský, Ondřej, Švanda, Josef. Programové vybavení výpočetně měřícího komplexu na bázi SAPI-1.
SVT ČSAV, 1988
[ASEP]
V-383:
Hrycej, David. Rozšíření programového systému pro zpracování obrazu GIP-RT.
SVT ČSAV, 1988
[ASEP]
V-382:
Hrycej, David, Řízek, Stanislav. Programové vybavení pro zpracování apriorních podpůrných dat pro DPZ.
SVT ČSAV, 1988
[ASEP]
V-381:
Adelsberger, Petr. Instalace a parametrizace operačního systému OS/ES verse 7.1.
SVT ČSAV, 1988
[ASEP]
V-380:
Strnad, Petr. Terminálový systém TC 85. Sledování a vyhodnocování provozu.
SVT ČSAV, 1988
[ASEP]
V-379:
Buzek, Otakar, Pačes, Pavel, Poupě, Jiří. Možnosti nasazení displejů s formátovou obrazovkou v terminálové síti ČSAV. Possibilities of Display Usage in the Terminal Network of CSAV.
SVT ČSAV, 1988
[ASEP]
V-378:
Vencelides, Josef, Škňouřil, V.. Využívání dat podsysté "Pracovníci a mzdy" v ČSAV.
SVT ČSAV, 1988
[ASEP]
V-377:
Hrycej, David. Programová simulace Fukushimovy asociativní paměti se selektivním vybavováním.
SVT ČSAV, 1989
[ASEP]
V-376:
Húsek, Dušan, Smutná, Jitka. Automatizovaný informační systém pro anotovanou bibliografii v oblasti neuronových sítí. (Automatized Informational System for Anotated Bibliography in the Field of Neural Networks).
SVT ČSAV, 1988
[ASEP]
V-375:
Jiřina, Marcel. Odhady vlivu změn některých parametrů na celkové chování výpočetního systému.
SVT ČSAV, 1988
[ASEP]
V-372:
Štuller, Július. Interaktívny systém pre konceptuálne modelovanie v databázových systémoch. .
SVT ČSAV, 1988
[ASEP]
V-371:
Mantič, Vladislav. Semianalytický prístup pre pružné izotropné osovosymetrické telesá v metóde konečných a hraničných prvkov.
SVT ČSAV, 1988
[ASEP]
V-370:
Mantič, Vladislav. Výpočet stavu napjatosti horniny v okolí tenzonometrické sondy metodou konečných prvků.
SVT ČSAV, 1988
[ASEP]
V-369:
Strnad, Petr. Terminalový systém TC 85. Diskový prostor s dynamickou rekonfigurací.
SVT ČSAV, 1988
[ASEP]
V-368:
Strnad, Petr. Terminálový system TC 85. Systém zpracování dat.
SVT ČSAV, 1988
[ASEP]
V-367:
Beneš, Ladislav. Koncepce dalšího rozvoje centrálního komunikačního procesoru.
SVT ČSAV, 1988
[ASEP]
V-361:
Široký, Petr. Terminálový systém TC 85. Databázový systém spekter a jeho implementace v SVT ČSAV.
SVT ČSAV, 1988
[ASEP]
V-360:
Buzek, Otakar. Základní koncepce virtuálního terminálu. The Basic Conception of the Virtual Terminal System.
SVT ČSAV, 1988
[ASEP]
V-359:
Strnad, Petr, Široký, P.. Terminálový system TC 85. Přístup k databázím.
SVT ČSAV, 1988
[ASEP]
V-358:
Novák, Mirko. Názory na vnitřní informační systém neuronů.
SVT ČSAV, 1988
[ASEP]
V-357:
Hamata, Václav, Kroftová, Jarmila, Novák, Mirko, Strnad, Petr. Studie o nasazení výpočetní techniky a vytvoření účelového integrovaného informačního systému v DP Metro n.p.
SVT ČSAV, 1988
[ASEP]
V-308:
Růžička, Pavel. STOCHTOL - soubor programů pro řešení úloh optimálního návrhu tolerancí metodami stochastické optimalizace.
SVT ČSAV, 1987
[ASEP]
V-301:
Novák, Mirko, Jiřina, Marcel. Výkonnost výpočetních systémů a metody jejího testování.
SVT ČSAV, 1987
[ASEP]
V-300:
Lukšan, Ladislav. EIGS - soubor programů pro řešení částečného zobecněného problému vlastních čísel s řídkými symetrickými maticemi.
SVT ČSAV, 1987
[ASEP]
V-299:
Kroftová, Jarmila, Hojdar, J., Vlček, I.. Záměr vytvoření komunikačního systému pro Městský informační systém Hl.m.Prahy.
SVT ČSAV, 1988
[ASEP]
V-297:
Buzek, Otakar. Návrh desky sériového propojení DSI.
SVT ČSAV, 1988
[ASEP]
V-293:
Cahlík, Tomáš. Využití mikropočítače ROBOTRON A 5130 pro automatizované zpracování agendy MTZ ústavu.
SVT ČSAV, 1987
[ASEP]
V-292:
Jiřina, Marcel. Úlohy teorie tolerancí výpočetních systémů.
SVT ČSAV, 1987
[ASEP]
V-291:
Šebesta, Václav. Metoda párování součástek rozdělených do tolerančních intervalů, pro optimalizaci počtu sestavených výrobků.
SVT ČSAV, 1987
[ASEP]
V-285:
Míček, Jiří. Evidence článků z časopisů a knih a tisk jejich citací v odborných publikacích na počítači CONSUL 2714.
SVT ČSAV, 1987
[ASEP]
V-284:
Havránek, Tomáš. Báze znalostí pro shlukovou analýzu v systému BMDP.
SVT ČSAV, 1987
[ASEP]
V-283:
Novák, Mirko, Laška, I., Pužman, J.. Integrované informační systémy jako nástroj pro zvýšení účinnosti řízení národního hospodářství.
SVT ČSAV, 1987
[ASEP]
V-282:
Tůma, Miroslav. Soubor programů MATCHPAK pro kombinatorickou optimalizaci.
SVT ČSAV, 1987
[ASEP]
V-281:
Míček, Jiří. Používání počítače ROBOTRON A 5130.
SVT ČSAV, 1987
[ASEP]
V-280:
Strakoš, Zdeněk, Kočková, Sylva. LINEQAP - knihovna programů pro řešení soustav lineárních rovnic a inverzí matice s použitím maticového procesoru EC 2345.
SVT ČSAV, 1987
[ASEP]
V-279:
Strakoš, Zdeněk. Metoda konjugovaných gradientů pro řešení soustav lineárních rovnic.
SVT ČSAV, 1987
[ASEP]
V-277:
Míček, Jiří. Soubor aplikačních úloh k výběru informací ze mzdové a osobní agendy pro řízení ústavu.
SVT ČSAV, 1987
[ASEP]
V-276:
Lukšan, Ladislav. Poznámky k používání souboru optimalizačních programů SPONA.
SVT ČSAV, 1987
[ASEP]
V-275:
Lukšan, Ladislav. Struktura optimalizačních metod a koncepce optimalizačních programů.
SVT ČSAV, 1987
[ASEP]
V-273:
Hrycej, David. Využití morfologických transformací pro zpracování obrazu řetězců RNA a DNA.
SVT ČSAV, 1987
[ASEP]
V-272:
Míček, Jiří. Využití mikropočítače ROBOTRON A 5130 ke sběru dat finančního účetnictví ústavu.
SVT ČSAV, 1987
[ASEP]
V-270:
Nádherný, Richard. Připojení klávesnice CONSUL 259.6 k mikropočítači SAPI 1.
SVT ČSAV, 1987
[ASEP]
V-269:
Míček, Jiří. Přehled platů. Automatizované zpracování na zařízení CONSUL 2714.
SVT ČSAV, 1987
[ASEP]
V-268:
Hrycej, David, Řízek, Stanislav, Štuller, Július. Pořizování a zpracování apriorních podpůrných dat pro DPZ.
SVT ČSAV, 1987
[ASEP]
V-267:
Beneš, Ladislav. Jednoduchý komunikační procesor JKP-13. Programové vybavení I.
SVT ČSAV, 1987
[ASEP]
V-266:
Lukšan, Ladislav, Šiška, Martin. EDRIVE. Program pro řešení soustav nelineárních rovnic. Uživatelský popis.
SVT ČSAV, 1987
[ASEP]
V-265:
Lukšan, Ladislav, Šiška, M.. MDRIVE. Program pro nepodmíněnou minimalizaci. Uživatelský popis.
SVT ČSAV, 1987
[ASEP]
V-264:
Novák, Mirko, Hamata, Václav, Pavlík, Petr, Šebesta, Václav. Návrh dalšího rozvoje výkonných výpočetních a informačních prostředků ČSAV.
SVT ČSAV, 1986
[ASEP]
V-263:
Novák, Mirko, Pračka, M.. Návrh na zařízení čs. centra pro družicový přenos dat.
SVT ČSAV, 1986
[ASEP]
V-262:
Novák, Mirko, Homola, Josef. Stanovisko k současnému stavu nasazení a využívání výpočetních systémů EC 1045 v ČSSR.
SVT ČSAV, 1986
[ASEP]
V-261:
Růžička, Pavel. Metody stochastické aproximace a jejich použití k řešení úloh optimálního návrhu tolerancí.
SVT ČSAV, 1986
[ASEP]
V-260:
Růžička, Pavel. Automatizovaný informační systém pro AP ČSAV a fond INTERFAP.
SVT ČSAV, 1986
[ASEP]
V-259:
Holeňa, Martin. Model předmětné oblasti databáze Centra pro trofoblastickou nemoc.
SVT ČSAV, 1987
[ASEP]
V-258:
Chamrád, Daniel. Využití výpočetní a organizační techniky v právu.
SVT ČSAV, 1986
[ASEP]
V-257:
Jiřina, Marcel. Vztah teorie citlivosti v elektrických obvodech a teorie hromadné obsluhy užívané pro modelování výpočetních systémů.
SVT ČSAV, 1986
[ASEP]
V-255:
Lukšan, Ladislav. Procedury pro práci s knihovnami zdrojových programů napsaných v jazyce FORTRAN a FORTRAN 77.
SVT ČSAV, 1986
[ASEP]
V-254:
Nekolová, Libuše. Dotvoření báze dat základních prosředků ČSAV a následné využití v systemu se sdílenou databází.
SVT ČSAV, 1986
[ASEP]
V-253:
Míček, Jiří. Používání pružných disků ve výpočetním komplexu VK2M45 SVT ČSAV.
SVT ČSAV, 1986
[ASEP]
V-252:
Pelikán, Emil. BISP - soubor programů pro bispektrálni analýzu.
SVT ČSAV, 1986
[ASEP]
V-251:
Oganesjan, Gurgen. Generátor GEPAS v operačním systému OS.
SVT ČSAV, 1986
[ASEP]
V-250:
Mantič, Vladislav. Dodatek k popisu programového systému PROKOP - verze l.
SVT ČSAV, 1986
[ASEP]
V-249:
Hrudka, Ivan. Návrh řízení paralelního zpracování dat v systému TC.
SVT ČSAV, 1986
[ASEP]
V-248:
Hrudka, Ivan. Řízení uživatelských procesů v systému TC.
SVT ČSAV, 1986
[ASEP]
V-246:
Šraut, B.. Model komplexního průmyslového návrhu s možností optimalizace.
SVT ČSAV, 1986
[ASEP]
V-234:
Štuller, Július. História a súčasnost konceptuálneho modelovania.
SVT ČSAV, 1986
[ASEP]
V-233:
Badíková, D., Maksim, M., Podhorský, D., Novák, Mirko, Řízek, Stanislav, Šebesta, Václav. Souhrnná databáze modelu území ČSSR.
SVT ČSAV + SHMÚ Bratislava, 1986
[ASEP]
V-232:
Jiřina, Marcel. Metoda difúzní aproximace a citlivosti ke změně parametrů.
SVT ČSAV, 1986
[ASEP]
V-230:
Hanzálek, P., Hřebíček, J., Kučera, J., Lukšan, Ladislav. Koncepce systému UFO. Návrh realizace.
SVT ČSAV, 1986
[ASEP]
V-229:
Tůma, Miroslav. Soubor programu GLSPACK pro řešení soustav lineárních rovnic s řídkou, symetrickou a positivně definitivní maticí.
SVT ČSAV, 1986
[ASEP]
V-227:
Hrycej, David. Programový systém pro zpracování obrazů GIP. Verze RT.
SVT ČSAV, 1986
[ASEP]
V-222:
Šraut, B.. Využití faktorové analýzy pro stanovení citlivostí zkoumaného systému.
SVT ČSAV, 1985
[ASEP]
V-221:
Strnad, Petr. Porovnávání provozu terminálové sítě ČSAV na počítači EC 1040 a EC 1045.
SVT ČSAV, 1986
[ASEP]
V-220:
Nedoma, Jiří. Tenzometrické sondy pro kontrolu prostorové napjatosti ve vrtech.
SVT ČSAV, 1986
[ASEP]
V-219:
Kočková, Sylva, Strakoš, Zdeněk. Knihovna maticových a vektorových operací s využitím maticového procesoru EC 2345.
SVT ČSAV, 1986
[ASEP]
V-218:
Havránek, Tomáš. Úvod do používání expertního systému EQUANT.
SVT ČSAV, 1986
[ASEP]
V-217:
Míček, Jiří. Generátor tiskových sestav na zařízení CONSUL 2713, 2714.
SVT ČSAV, 1986
[ASEP]
V-216:
Lukšan, Ladislav. Procedury pro práci se zdrojovými programy v jazyce FORTRAN a FORTRAN 77.
SVT ČSAV, 1986
[ASEP]
V-215:
Šebesta, Václav. Metody pro řešení vědeckých úloh počítači. Zpráva pro závěrečné oponentní řízení hlavního úkolu III-9-1 státního plánu základního výzkumu.
SVT ČSAV, 1986
[ASEP]
V-171:
Míček, Jiří. ASEP. Soubor programů pro Automatizovaný systém evidence publikovaných vědeckých prací ČSAV.
SVT ČSAV, 1985
[ASEP]
V-170:
Lukšan, Ladislav, Fabián, Zdeněk, Řízek, Stanislav, Vondráková, Jana, Poupě, Jiří. Práce na hlavním úkolu III-9-1: "Metody pro řešení vědeckých úloh počítači" státního plánu základního výzkumu na pracovišti SVT ČSAV za rok 1984.
SVT ČSAV, 1984
[ASEP]
V-169:
Roubíček, Tomáš. Dvourozměrný model nelineárního přenosu tepla v předlisku částí reaktorové nádoby a jeho optimální řízení.
SVT ČSAV, 1984
[ASEP]
V-167:
Strnad, Petr. Návrh struktury a funkce výkonného modulu systému TC 85.
SVT ČSAV, 1984
[ASEP]
V-166:
Sobek, Pavel. Začlenění mikropočítačů SMEP do sítě terminálů a výpočetně měřících komplexů ČSAV.
SVT ČSAV, 1984
[ASEP]
V-152:
Strnad, Petr. Zabezpečení dat v systému TC.
SVT ČSAV, 1984
[ASEP]
V-151:
Pelikán, Emil, Fabián, Zdeněk, Schrötterová, Pavla. KAS2 - Knihovna programů pro analýzu signálů. Pracovní verze uživatelského manuálu zatím bez popisu algoritmů. 2.verze.
SVT ČSAV, 1983
[ASEP]
V-148:
Lukšan, Ladislav, Fabián, Zdeněk, Řízek, Stanislav, Vondráková, Jana, Poupě, Jiří. Práce na hlavním úkolu III-9-1: "Metody pro řešení vědeckých úloh počítači" státního plánu základního výzkumu na pracovišti SVT ČSAV za rok 1983.
SVT ČSAV, 1983
[ASEP]
V-147:
Adelsberger, Petr. Návrh způsobů využívání diskových pamětí počítače VK 2 M 45.
SVT ČSAV, 1983
[ASEP]
V-146:
Pelikán, Emil. PARS - soubor programů pro parametrickou spektrální analýzu časových řad.
SVT ČSAV, 1983
[ASEP]
V-144:
Roubíček, Tomáš. Optimální řízení jednorozměrného modelu přenosu tepla a tepelné napjatosti ve výkovku.
SVT ČSAV, 1983
[ASEP]
V-142:
Novák, Mirko, Šebesta, Václav. Teorie tolerancí, její metody a uplatnění.
SVT ČSAV, 1983
[ASEP]
V-141:
Nádherný, Richard. Sériový interface s obvodem 8251 pro JPR-12.
SVT ČSAV, 1983
[ASEP]
V-140:
Šebesta, Václav. SYNTOL. Soubor programů pro výpočet tolerancí /popis podprogramů/.
SVT ČSAV, 1983
[ASEP]
V-139:
Beneš, Ladislav, Poupě, Jiří. Komunikační procesory pro účelové sítě počítačů.
SVT ČSAV, 1983
[ASEP]
V-138:
Vlček, Jan. Metody pro nepodmíněnou minimalizaci s malými paměťovými nároky.
SVT ČSAV, 1984
[ASEP]
V-137:
Lukšan, Ladislav. Kompaktní algoritmus s proměnnou metrikou pro nelineární minimaxovou aproximaci.
SVT ČSAV, 1983
[ASEP]
V-136:
Lukšan, Ladislav. Duální metoda pro řešení speciální úlohy kvadratického programování, která se používá při nelineární minimaxové aproximaci s lineárními ohraničeními.
SVT ČSAV, 1983
[ASEP]
V-135:
Kočková, Sylva, Lukšan, Ladislav. LINEAL. Programy pro přibližná řešení soustavy lineárních rovnic (dodatky k 31.12.1982).
SVT ČSAV, 1983
[ASEP]
V-130:
Řízek, Stanislav. Programy pro přenos dat mezi počítači řady JSEP a SMEP.
SVT ČSAV, 1983
[ASEP]
V-129:
Lukšan, Ladislav. Duální metoda pro řešení speciální úlohy kvadratického programování, která se používá při nelineární minimaxové aproximaci.
SVT ČSAV, 1983
[ASEP]
V-123:
Poupě, Jiří, Pačes, Pavel, Beneš, Ladislav, Sobek, Pavel. Jednoduchý komunikační procesor JKP-12. Vlastnosti a použití.
SVT ČSAV, 1982
[ASEP]
V-122:
Novák, Mirko, Kufudaki, Olga. Závěrečná zpráva o průběhu 1. etapy experimentálního dálkového počítačového přenosu dat mezi Berlínem a Prahou.
SVT ČSAV, 1982
[ASEP]
V-120:
Vítková, Galina, Šmídová, Zdena. Krystalografická databáze (Cambridge Crystallographic Database) a její využití v ČSAV.
SVT ČSAV, 1982
[ASEP]
V-119:
Doležalová, Olga. Technický projekt inovace agendy matriálně-technického zásobování s použitím databázového szstému IDMS.
SVT ČSAV, 1982
[ASEP]
V-118:
Vencelides, Josef, Skopal, Z.. Automatizované sledování a vyhodnocování informací v oblasti kádrové, personální a sociálni práce v ČSAV.
SVT ČSAV, 1982
[ASEP]
V-117:
Fabián, Zdeněk. Stručný přehled programového vybavení SVT ČSAV pro analýzu časových řad.
SVT ČSAV, 1982
[ASEP]
V-116:
Beneš, Ladislav, Poupě, Jiří, Sobek, Pavel, Strnad, Petr. Programové a technické zabezpečení paralelní obsluhy více terminalů v systému TC.
SVT ČSAV, 1982
[ASEP]
V-115:
Lukšan, Ladislav, Fabián, Zdeněk, Řízek, Stanislav, Vondráková, Jana, Poupě, Jiří, Šebesta, Václav. Práce na hlavním úkolu III-9-1: "Metody pro řešení vědeckých úloh počítači" státního plánu základního výzkumu na rok 1982 na pracovišti SVT ČSAV.
SVT ČSAV, 1982
[ASEP]
V-114:
Adelsberger, Petr. Spojení počítačů JSEP v ČSAV na základě programového systému HASP.
SVT ČSAV, 1982
[ASEP]
V-107:
Novák, Mirko. Průběžná zpráva o experimentálním dálkovém počítačovém přenosu dat mezi Berlínem a Prahou za období do 1.7.1982.
SVT ČSAV, 1982
[ASEP]
V-106:
Beneš, Ladislav. Komunikační systém sítě počítačů a terminálů ČSAV. Linkové komunikační protokoly.
SVT ČSAV, 1982
[ASEP]
V-105:
Novák, Mirko, Hamata, Václav. Projekt sítě počítačů a terminálů pro vědecko-výzkumnou základnu v oblasti pražské aglomerace.
SVT ČSAV, 1982
[ASEP]
V-103:
Beneš, Ladislav. Komunikační protokol pro terminálový operační systém TOS 3.4 inteligentních terminálů řízených procesorem JPR-12.
SVT ČSAV, 1982
[ASEP]
V-102:
Kočková, Sylva. Soubor programů pro globální optimalizaci.
SVT ČSAV, 1982
[ASEP]
V-101:
Fabián, Zdeněk. Možnosti automatického zpracování EEG.
SVT ČSAV, 1982
[ASEP]
V-100:
Lukšan, Ladislav. GRG, GRGA - Programy pro řešení úloh nelineárního programování.
SVT ČSAV, 1982
[ASEP]
V-99:
Lukšan, Ladislav. MAPRO3. Soubor programu pro řešení úloh matematického programování.
SVT ČSAV, 1982
[ASEP]
V-98:
Lukšan, Ladislav. MAPRO2. Soubor programů pro řešení úloh matematického programování.
SVT ČSAV, 1982
[ASEP]
V-97:
Lukšan, Ladislav. MAPRO1. Soubor programů pro řešení úloh matematického programování.
SVT ČSAV, 1982
[ASEP]
V-96:
Lukšan, Ladislav. UNMOF. Soubor programů pro minimalizaci funkcí několika proměnných bez vazebních podmínek.
SVT ČSAV, 1982
[ASEP]
V-95:
Vávra, J.. Grafický displej pro inteligentní terminál řízený procesorem JPR-12. Technické vybavení.
SVT ČSAV, 1982
[ASEP]
V-94:
Beneš, Ladislav. Komunikační systém sítě počítačů a terminálů ČSAV. Komunikační procesor na bázi EC 8404.
SVT ČSAV, 1982
[ASEP]
V-93:
Vlček, Jan. Podprogram RCHEBP. Racionální Čebyševova aproximace s počátečním přiblížením z Čebyševovy řady.
SVT ČSAV, 1982
[ASEP]
V-92:
Novák, Mirko, Hamata, Václav. Místní síť počítačů a terminálů pro areál ústavů ČSAV v Praze 8, Mazanka.
SVT ČSAV, 1982
[ASEP]
V-89:
Doležalová, Olga, Vencelides, Josef. Využití databázového systému IDMS pro kádrovou a personální práci.
SVT ČSAV, 1981
[ASEP]
V-89:
Vencelides, Josef. Využití databázového systému IDMS pro kádrovou a personálni práci.
SVT ČSAV, 1981
[ASEP]
V-88:
Soudský, Ondřej. Programy pro přípravu a zpracování archeologických dat.
SVT ČSAV, 1981
[ASEP]
V-86:
Soudský, Ondřej. Programy pro zpracování obrazové informace na soupravě HEWLETT PACKARD.
SVT ČSAV, 1981
[ASEP]
V-85:
Závorková, Zdena. Automatické zpracování cytologických preparátů.(Binary model of neural network - in Czech).
SVT ČSAV, 1981
[ASEP]
V-84:
Doležalová, Olga, Vencelides, Josef. Návrh na inovaci projektu agendy matriálně technického zásobování v ČSAV, s využitím databankového systému IDMS.
SVT ČSAV, 1981
[ASEP]
V-83:
Lukšan, Ladislav, Fabián, Zdeněk, Řízek, Stanislav, Vondráková, Jana, Poupě, Jiří. Práce na hlavním úkolu III-9-1: "Metody pro řešení vědeckých úloh počítači" za rok 1981 na pracovišti SVT ČSAV.
SVT ČSAV, 1981
[ASEP]
V-81:
Novák, Mirko, Homola, Josef, Hamata, Václav. Technické a provozní vlastnosti počítačů JSEP.
SVT ČSAV a ÚE ČSAV, 1981
[ASEP]
V-80:
Beneš, Ladislav. Komunikační systém SPT ČSAV. Centrální komunikační porocesor. Úvodní studie.
SVT ČSAV, 1981
[ASEP]
V-79:
Novák, Mirko, Beneš, Ladislav. Rozvoj sítě počítačů a terminálů ČSAV v létech 1981 až 1985.
SVT ČSAV, 1981
[ASEP]
V-77:
Růžička, Pavel, Šebesta, Václav. Soubor programů pro optimalizaci výtěžnosti a ceny hromadně vyráběných soustav CENTOL 2 - II. část popisu programů.
SVT ČSAV, 1981
[ASEP]
V-76:
Lukšan, Ladislav. Metody s proměnnou metrikou pro řešení diskrétních minimaxních úloh s lineárními ohraničeními.
SVT ČSAV, 1981
[ASEP]
V-75:
Lukšan, Ladislav. Kvazinewtonovské metody bez projekcí pro minimalizaci s lineárními ohraničeními.
SVT ČSAV, 1981
[ASEP]
V-74:
Lukšan, Ladislav. Metody konjugovaných gradientů s nepřesnou minimalizací.
SVT ČSAV, 1981
[ASEP]
V-73:
Čáp, Jiří, Doležalová, Olga, Vencelides, Josef. Prováděcí projekt automatizovaného zpracování agendy předmětů postupné spotřeby v ČSAV.
SVT ČSAV, 1981
[ASEP]
V-72:
Adelsberger, Petr. Koncepce programového řešení spojení počítačů JSEP v ČSAV.
SVT ČSAV, 1981
[ASEP]
V-68:
Novák, Mirko, Havel, J.. Technické prostředky AVV.
SVT ČSAV, 1980
[ASEP]
V-67:
Závorková, Zdena, Řízek, Stanislav. Metody zpracování obrazových informací a rozpoznávání obrazců.
SVT ČSAV, 1980
[ASEP]
V-66:
Kočková, Sylva. EISPAC. Soubor programů pro řešení vlastních čísel a vlastních vektorů reálných i komplexníxh matric.
SVT ČSAV, 1980
[ASEP]
V-65:
Šebesta, Václav. Programové a technické prostředky pro automatizaci vědeckých výzkumů.
CVS ČSAV, 1980
[ASEP]
V-64:
Adelsberger, Petr, Beneš, Ladislav. Zhodnocení možnosti spolupráce počitačů JSEP v ČSAV.
SVT ČSAV, 1980
[ASEP]
V-63:
Poupě, Jiří. Terminálový systém v CVS ČSAV.
CVS ČSAV, 1980
[ASEP]
V-62:
Nekolová, Libuše. Automatizované zpracování agendy základních prostředků v ČSAV.
SVT ČSAV, 1980
[ASEP]
V-60:
Lukšan, Ladislav. Neúplná metoda s proměnnou metrikou pro řešení rozsáhlých úloh nepodmíněné minimalizace.
CVS ČSAV, 1980
[ASEP]
V-59:
Doležalová, Olga. Úvodní projekt automatizovaného sledování a vyhodnocování informací v oblasti kádrové, personální a sociální práce v ČSAV.
SVT ČSAV, 1980
[ASEP]
V-24:
Novák, Mirko. Rozvaha o možnostech zjišťování pořizování dat v ČSAV.
CVS ČSAV, 1978
[ASEP]
V-23:
Fabián, Zdeněk, Chválová, Jana, Kufudaki, Olga, Pohořalá, Hana, Šebesta, Václav, Vlček, M.. Informační systém pro Archiv výpočetních programů CVS ČSAV.
CVS ČSAV, 1978
[ASEP]
V-22:
Fabián, Zdeněk, Kufudaki, Olga. Popis informačního systému pro Archiv programů CVS ČSAV.
CVS ČSAV, 1978
[ASEP]
V-22:
Novák, Mirko. Podkladový materiál k "Plánu vybudování Centrálního výpočetního střediska ČSAV a koncepce jeho činnosti".
CVS ČSAV, 1978
[ASEP]
V-21:
Novák, Mirko, Poupě, Jiří, Strnad, Petr. Projekt sítě terminálů ČSAV.
CVS ČSAV, 1978
[ASEP]
V-20:
Novák, Mirko, Nekovář, Václav, Mejtová, Eva. Studie ke zpřesnění koncepce rozvoje výpočetní techniky v ČSAV do roku 1990.
CVS ČSAV, 1978
[ASEP]
V-18:
Šebesta, Václav. Závěrečná zpráva o plnění dílčího úkolu III-3-1/1 "Metody pro návrh složitých mikroelektronických struktur a systémů samočinnými počítači" na pracovišti CVS ČSAV za léta 1976-1977.
CVS ČSAV, 1977
[ASEP]
V-17:
Komínek, Zdeněk. Programy pro výpočetní oblasti přípustných hodnot rychlostních koeficientů absorbce a eliminace léčiva v lidském těle při opakované vaskulární aplikaci.
CVS ČSAV, 1977
[ASEP]
V-16:
Šebesta, Václav. NANAP - program pro optimalizaci frekvenčních a časových charakteristik nelineárních elektrických obvodů.
CVS ČSAV, 1977
[ASEP]
V-15:
Řízek, Stanislav. INAMO 1. Program pro interakční návrh rozmístění morfologických prvků.
CVS ČSAV, 1977
[ASEP]
V-10:
Novák, Mirko, Skalický, A.. Návrh na rozpracování materiálů akademií věd socialistických zemí o komplexním uplatnění výpočetní techniky ve vědecké práci a při automatizaci vědeckých experimentů.
CVS ČSAV, 1976
[ASEP]
V-9:
Pravdová, Miluše, Ryplová, Věra. Projekt automatizovaného zpracování agendy materiálně technického zásobování v ČSAV.
CVS ČSAV, 1976
[ASEP]
V-8:
Koksa, V.. Studie dvou systémů EC 1040.
CVS ČSAV, 1977
[ASEP]
V-7:
Poupě, Jiří. Studie možnosti využití jednotky JPR-12, jako terminálu v systému BSC.
CVS ČSAV, 1976
[ASEP]
V-5:
Šebesta, Václav. ADIN 1 - soubor programů pro evidenci a vyhledávání záznamů o publikacích.
CVS ČSAV, 1976
[ASEP]
V-4:
Lukšan, Ladislav. SPONA: Soubor programů pro optimalizaci a nelineární aproximaci. První verze.
CVS ČSAV, 1976
[ASEP]
V-3:
Lukšan, Ladislav. SPONA: Soubor programů pro optimalizaci a nelineární aproximaci. Stručný popis první verze.
CVS ČSAV, 1977
[ASEP]
V-2:
Šebesta, Václav, Lukšan, Ladislav. Program pro optimalizaci frekvenčních charakteristik lineárních elektronických obvodů MATAL 5.
CVS ČSAV, 1976
[ASEP]
V-1:
Řízek, Stanislav. PLACE - program pro rozmístění morfologických prvků.
CVS ČSAV, 1976
[ASEP]
V-1053 a LSS 373/09:
Novák, Mirko. Možnosti vytvoření asistenčního systému pro stimulování aliančního chování řidičů.
ICS AS CR & LSS FD ČVUT, 2009
[ASEP]
LSS 160/03:
Novák, Mirko. Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí.
LSS FD ČVUT a ÚIVT AV ČR, 2003
[ASEP]
LSS 61/99:
Šebesta, Václav, Novák, Mirko. Výsledky druhé etapy prací na analýze markerů pro predikci kvality a spolehlivosti výroby pryskyřice ze souborů dat pro Spolek pro chemickou a hutní výrobu a.s., Ústí n. L.
LSS FD ČVUT a ÚIVT AV ČR, 1999
[ASEP]
LSS 39/98:
Novák, Mirko. Zpráva o služební cestě do Athén ve dnech 24. až 29. 10. 1998.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 17/97:
Novák, Mirko. Zpráva o řešení projektu č. VS96038 MŠMT "Signály, procesy a faktory spolehlivosti v náročných systémech, zejména dopravních" v průběhu r. 1997.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 10/97:
Novák, Mirko, Vydra, L.. Spolehlivost učení neuronových sítí a jejich přeučení.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 20/97:
Novák, Mirko. O spolehlivosti predikční diagnostiky.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 19/97:
Novák, Mirko. Spolehlivost informačních systémů.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 24/97:
Novák, Mirko. Průběžná zpráva o řešení grantu č. 102/96/0183 "Postupy pro zvýšení spolehlivosti systémů na základě predikční diagnostiky" Grantové agentury ČR v r. 1997.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 33/98:
Novák, Mirko. Příprava přihlášek z oblasti aplikované informatiky do 5. rámcového výzkumného programu EU.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 33/98:
Novák, Mirko, Pelikán, Emil, Šebesta, Václav. Rozbor řešitelnosti problému analýzy spolehlivosti výroby pryskyřice ve Spolchemii a. s.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 29/98:
Novák, Mirko, Pelikán, Emil, Šebesta, Václav. Modelování neurčitých procesů a jejich oblastí přijatelnosti.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 28/98:
Novák, Mirko, Faber, J., Přenosil, V., Valach, I., Vydra, L., Hlavínová, J.. Prediction of Micro-Sleeps. Introduction to the Feasibility Study.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 27/98:
Novák, Mirko, Přibyl, P.. Rozvaha o možnostech uplatnění metod predikční diagnostiky při řešení dopravních situací.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 26/98:
Novák, Mirko, Votruba, Z.. Rozbor provozní spolehlivosti vybraných elektronických zabezpečovacích zařízení AŽD.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
LSS 25/98:
Novák, Mirko. Společná Laboratoř spolehlivosti systémů FD ČVUT a ÚIVT AV ČR a záměry její činnosti v r. 1998.
LSS FD ČVUT a ÚIVT AV ČR, 1998
[ASEP]
:
Eben, Kryštof. Smoking Habits in the Sellafield Cohort.
ICS AS CR, 1997
[ASEP]
:
Hájek, Petr, Zvárová, Jana, Esteva, F.. Managing Uncertainty in Medicine - State of Art Report.
ICS AS CR, 1994
[ASEP]
V-478 & Práce SVT ČSAV, 22:
Húsek, Dušan, Novák, Mirko. Selected Bibliography on Neural Networks and Neurocomputers.
SVT ČSAV, 1990
[ASEP]
V-1051 a LSS 341/08,09:
Novák, Mirko. Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics.
ICS AS CR & LSS FD ČVUT, 2009
[ASEP]
V-1020 a LSS 325/08:
Novák, Mirko, Votruba, Z., Moos, P., Brandejský, T.. Dynamics of Sensitivity in Transportation System Alliances.
ICS AS CR & LSS FD ČVUT, 2008
[ASEP]
V-1028 a LSS 343/08:
Novák, Mirko, Votruba, Z.. Reliability Requirements on Driver Interaction with Car Assistance System Alliances.
ICS AS CR & LSS FD ČVUT, 2008
[ASEP]
V-1003 a LSS 315/07:
Novák, Mirko, Votruba, Z., Brandejský, T.. Aliance v heterogenních sítích.
ICS AS CR & LSS FD ČVUT, 2007
[ASEP]
