ICS: Research

Publications
 
Research Reports
 
Grants
 
Software
 
Abstracts by Year
1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012
Research Reports by Numbers
001 - 499 500 - 599 600 - 699 700 - 799 800 - 899 900 - 999 1000 - 1099 1100 - 1200

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Subroutines for Large-Scale Nonlinear Programming
Tech. Rep. V-1000, ICS AS CR, Prague 2007 Full text Abstract

Ivan Kramosil
Possibilistic Entropy Functions
Tech. Rep. V-1001, ICS AS CR, Prague 2007 Full text Abstract

J. Hartman, Ladislav Luksan
Implementace automatickeho derivovani v systemu UFO
Tech. Rep. V-1002, ICS AS CR, Prague 2007 Full text Abstract

Mirko Novak, Zdenek Votruba, Tomas Brandejsky
Aliance v heterogennich sitich
Tech. Rep. V-1003 a Res. Rep. LSS 315/07, LSS FD ÈVUT a UI AV CR , Prague 2007 Full text

Jiri Sima
Gradient Learning in Networks of Smoothly Spiking Neurons
Tech. Rep. V-1004, ICS AS CR, Prague 2007 Abstract

Jiri Nedoma, Josef Danek
Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach
Tech. Rep. V-1005, ICS AS CR, Prague 2007 Full text Abstract

Martin Lanzendorfer, Josef Danek
Aplikace FEC v biomechanice kolenniho kloubu
Tech. Rep. V-1006, ICS AS CR, Prague 2007 Full text Abstract

Martin Lanzendorfer
Modifikace FEC - dynamicka kontaktni uloha v linearni vazkopruznosti se trenim
Tech. Rep. V-1007, ICS AS CR, Prague 2007 Full text Abstract

Ivan Kramosil
Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions
Tech. Rep. V-1008, ICS AS CR, Prague 2007 Full text Abstract

Jiri Wiedermann, Lukas Petru
On the Universal Computing Power of Amorphous Computing Systems
Tech. Rep. V-1009, ICS AS CR, Prague 2007 Full text Abstract

Zdenek Fabian
Johnson Information and its use in Multivariate Problems and Time-Series Analysis
Tech. Rep. V-1010, ICS AS CR, Prague 2007 Full text Abstract

Jiri Nedoma
Tectonics Along the Himalayan and Andean Mountain Ranges: Numerical Analyses of Collision and Subduction Zones
Tech. Rep. V-1011, ICS AS CR, Prague 2007 Full text Abstract

Stanislav Zak
A Superpolynomial Lower Bound for a Class of Restricted Branching Programs
Tech. Rep. V-1012, ICS AS CR, Prague 2007 Full text Abstract

Lubos Tomasek, Josef Danek
Numerical Analysis of the Long Bone with the Marrow
Tech. Rep. V-1013, ICS AS CR, Prague 2007 Full text Abstract

Zdenek Fabian
Parametric Estimation using Generalized Moment Method
Tech. Rep. V-1014, ICS AS CR, Prague 2007 Abstract

Zdenek Fabian
Confidence Intervals for Johnson Mean
Tech. Rep. V-1015, ICS AS CR, Prague 2007 Full text Abstract

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Primal Interior Point Method for Minimization of Generalized minimax Functions
Tech. Rep. V-1017, ICS AS CR, Prague 2007 Full text Abstract

Pavel Jurus
Pravdepodobnostni modelovani lokalnich povetrnostnich podminek s aplikacemi v doprave
Tech. Rep. V-1018, ICS AS CR, Prague 2008 Full text Abstract

Jaroslav Resler
Inverzni modelovani emisi
Tech. Rep. V-1019, ICS AS CR, Prague 2008 Full text Abstract

Mirko Novak, Zdenek Votruba, Petr Moos, Tomas Brandejsky
Dynamics of Sensitivity in Transportation System Alliances
Tech. Rep. V-1020 a Res. Rep. LSS 325/08, UI AV CR a LSS FD ÈVUT, Prague 2008 Full text

Terezie Samalova
G-Variation in Lp Spaces and Integral Representation
Tech. Rep. V-1021, ICS AS CR, Prague 2008 Full text Abstract

Terezie Samalova, Robert Samal
Pruning Algorithms for One-hidden-layer Feedforward Neural Networks
Tech. Rep. V-1022, ICS AS CR, Prague 2008 Full text Abstract

Paul C. Kainen, Vera Kurkova
An Integral Upper Bound for Neural-Network Approximation
Tech. Rep. V-1023, ICS AS CR, Prague 2008 Full text Abstract

Jiri Wiedermann, Lukas Petru
Communicating Mobile Nano-Machines and their Computational Power
Tech. Rep. V-1024, ICS AS CR, Prague 2008 Full text Abstract

Marcel Jirina, Marcel Jirina, jr.
Decomposition of Correlation Integral to Local Functions
Tech. Rep. V-1025, CTU + ICS AS CR, Prague 2008 Full text Abstract

Marcel Jirina, Marcel Jirina, jr.
Learning Weighted Metrics Method with Nonsmooth Learning Process
Tech. Rep. V-1026, CTU + ICS AS CR, Prague 2008 Full text Abstract

Ladislav Andrey
The Quantum Second Law and Quantum Information
Tech. Rep. V-1027, ICS AS CR, Prague 2008 Full text Abstract

Mirko Novak, Zdenek Votruba
Reliability Requirements on Driver Interaction with Car Assistance System Alliances
Tech. Rep. V-1028 a Res. Rep. LSS 343/08, UI AV CR a LSS FD ÈVUT, Prague 2008 Full text

Jiri Sima, Stanislav Zak
A Characterization of Hitting Sets for 1 Branching Programs of Width 3
Tech. Rep. V-1029, ICS AS CR, Prague 2008 Abstract

Josef Danek
On the Application of the Mortar Finite Element Method for Linear Elliptic Problem
Tech. Rep. V-1030, ICS AS CR, Prague 2008 Full text Abstract

Ladislav Andrey, H. Ando, K. Aihara
The Dynamics of Complex Logistic
Tech. Rep. V-1031, ICS AS CR, Prague 2008 Full text Abstract

Libor Behounek
Number-free Reductions in Logic-Based Fuzzy Mathematics
Tech. Rep. V-1032, ICS AS CR, Prague 2008 Full text Abstract

Marcel Jirina, Marcel Jirina, jr.
Classifier Based on Inverted Indexes of Neighbors
Tech. Rep. V-1034, ICS AS CR, Prague 2008 Full text Abstract

Marcel Jirina, Frantisek Hakl
Analysis of Decay Processes Separation
Tech. Rep. V-1035, ICS AS CR, Prague 2008 Full text Abstract

Jan Vlcek, Ladislav Luksan
Limited-memory projective variable metric methods for unconstrained minimization.
Tech. Rep. V-1036, ICS AS CR, Prague 2008 Full text Abstract

Jan Vlcek, Ladislav Luksan
Transformations enabling to construct limited-memory Broyden class methods
Tech. Rep. V-1037, ICS AS CR, Prague 2008 Full text Abstract

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Computational experience with modified conjugate gradient methods for unconstrained optimization
Tech. Rep. V-1038, ICS AS CR, Prague 2008 Full text Abstract

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Interior-Point Method for Nonlinear Programming with Complementarity Constraints
Tech. Rep. V-1039, ICS AS CR, Prague 2008 Full text Abstract

Ladislav Luksan, Miroslav Tuma, Jan Vlcek, Nina Ramesova, M. Siska, J. Hartman, Ctirad Matonoha
UFO 2008. Interactive System for Universal Functional Optimization
Tech. Rep. V-1040, ICS AS CR, Prague 2008 Full text Abstract

Marcel Jirina, Marcel Jirina, jr.
Classifier Based on Inverted Indexes of Neighbors II. Theory and Appendix
Tech. Rep. V-1041, ICS AS CR, Prague 2008 Full text Abstract

Libor Behounek, Ulrich Bodenhofer, Petr Cintula, Peter Sarkoci, Susanne Saminger-Platz
Graded Properties of Binary Fuzzy Connectives
Tech. Rep. V-1042, ICS AS CR, Prague 2008 Full text Abstract

Ladislav Luksan
Matematicke programovani
Tech. Rep. V-1043, ICS AS CR, Prague 2008 Full text Abstract

Ivan Kramosil
Possibilistic Distributions Taking Values in an Incomplete Lattice
Tech. Rep. V-1044, ICS AS CR, Prague 2008 Full text Abstract

Jiri Sima
Gradient Learning in Networks of Smoothly Spiking Neurons (Revised Version)
Tech. Rep. V-1045, ICS AS CR, Prague 2009 Full text Abstract

David Coufal
Zprava V-1046 o reseni projektu ME 949 MSMT ÈR za Ustav informatiky AV CR v.v.i.
Tech. Rep. V-1046, ICS AS CR, Prague 2008 Full text Abstract

David Coufal
Zprava V-1047 o reseni projektu 1F84B/042/520 MD CR v roce 2008 za Ustav informatiky AV ÈR v.v.i.
Tech. Rep. V-1047, ICS AS CR, Prague 2008 Full text Abstract

Roman Vaculin, Roman Neruda, Katia Sycara
Towards a Process Mediation Framework for Semantic Web Services
Tech. Rep. V-1048, ICS AS CR, Prague 2008 Full text Abstract

Krystof Eben, Pavel Jurus, Jaroslav Resler, Pavel Krc, Jitka Liczki, Michal Belda, Emil Pelikan
ARRAS - Atmospheric Release Risk Assessment System. Verze 1.0 (prototyp, 10. 1. 2009).
Tech. Rep. V-1049, ICS AS CR, Prague 2009 Full text Abstract

J. Kralovcova, Ladislav Luksan, J. Mlynek
Optimalizace osvitu pro tepelny ohrev forem v automobilovem prumyslu
Tech. Rep. V-1050, ICS AS CR, Prague 2009 Full text Abstract

Stanislav Zak
Branching Programs: Paradoxes in the Method
Tech. Rep. V-1052, ICS AS CR, Prague 2009 Full text Abstract

Jiri Sima, Stanislav Zak
A Characterization of Hitting Sets for 1 Branching Programs of Width 3 (Revised Version)
Tech. Rep. V-1054, ICS AS CR, Prague 2009 Full text Abstract

Zuzana Hanikova
Logics with Truth Constants for Delimiting Idempotents
Tech. Rep. V-1055, ICS AS CR, Prague 2009 Full text Abstract

Petra Seflova
Aplikace Filtry
Tech. Rep. V-1056, ICS AS CR, Prague 2010 Full text Abstract

Michal Cervinka, Ctirad Matonoha, Jiri Outrata
On the Computation of Relaxed Pessimistic Solutions to MPECs
Tech. Rep. V-1057, ICS AS CR, Prague 2009 Full text Abstract

Ladislav Luksan
Numericke optimalizacni metody. Nepodminena minimalizace
Tech. Rep. V-1058, ICS AS CR, Prague 2009 Full text Abstract

Jan Vlcek, Ladislav Luksan
Recursive formulation of limited memory variable metric methods
Tech. Rep. V-1059, ICS AS CR, Prague 2010 Full text Abstract

Jan Vlcek, Ladislav Luksan
Generalizations of the limited-memory BFGS method based on quasi-product form of update
Tech. Rep. V-1060, ICS AS CR, Prague 2009 Full text Abstract

Roman Vaculin, Roman Neruda, Katia Sycara
Towards Optimized Discovery of Service Combinations without Collisions
Tech. Rep. V-1061, ICS AS CR, Prague 2009 Full text Abstract

Milan Daniel
New Approach to Conflicts within and between Belief Functions
Tech. Rep. V-1062, ICS AS CR, Prague 2009 Full text Abstract

Jiri Rohn
An Algorithm for Solving the Absolute Value Equation: An Improvement
Tech. Rep. V-1063, ICS AS CR, Prague 2010 Full text Abstract

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Sparse Test Problems for Unconstrained Optimization
Tech. Rep. V-1064, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
An Algorithm for Solving the Absolute Value Equation: An Improvement
Tech. Rep. V-1065, ICS AS CR, Prague 2010 Full text Abstract

Ivan Kramosil
Entropy Function for Chained Lattice-Valued Possibilistic Distributions and Their Non-Interactive Products
Tech. Rep. V-1066, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
A General Method for Enclosing Solutions of Interval Linear Equations
Tech. Rep. V-1067, ICS AS CR, Prague 2010 Full text Abstract

Frantisek Hakl, Miroslav Mrazik
Studie realizovatelnosti neuronove site daných vlastnosti pomoci analogovych elektrickych obvodu
Tech. Rep. V-1068, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
Explicit Inverse of an Interval Matrix with Unit Midpoin
Tech. Rep. V-1071, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
A Characterization of Strong Regularity of Interval Matrices
Tech. Rep. V-1072, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
Inverse Interval Matrix: A Survey
Tech. Rep. V-1073, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
An Algorithm for Computing the Hull of the Solution Set of Interval Linear Equations
Tech. Rep. V-1074, ICS AS CR, Prague 2010 Full text Abstract

Marcel Jirina, Marcel Jirina, jr.
Testing Random Forests for Unix and Windows
Tech. Rep. V-1075, ICS AS CR, Prague 2010 Full text Abstract

Zdenek Fabian
A New Statistical Tool: Scalar Score Function
Tech. Rep. V-1076, ICS AS CR, Prague 2010 Abstract

Zdenek Fabian
Scalar Score Function and Score Correlation
Tech. Rep. V-1077, ICS AS CR, Prague 2010 Full text Abstract

Zdenek Fabian, Marcel Jirina, Marcel Jirina, jr.
Linear Regression with Arbitrarily Distributed Residuals
Tech. Rep. V-1078, ICS AS CR, Prague 2010 Abstract

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Band preconditioners for the matrix-free truncated Newton method
Tech. Rep. V-1079, ICS AS CR, Prague 2010 Full text Abstract

Ladislav Luksan, Ctirad Matonoha, Jan Vlcek
Modified CUTE Problems for Sparse Unconstrained Optimization
Tech. Rep. V-1081, ICS AS CR, Prague 2010 Full text Abstract

Dusan Husek, Alexander Frolov, Pavel Polyakov
Analysis and Evaluation of Different Methods for Barr Problem Solving
Tech. Rep. V-1082, ICS AS CR, Prague 2010 Full text Abstract

Ladislav Luksan, Miroslav Tuma, Jan Vlcek, Nina Ramesova, M.Siska, J. Hartman, Ctirad Matonoha
UFO 2010 Interactive System for Universal Functional Optimization
Tech. Rep. V-1083, ICS AS CR, Prague 2010 Full text Abstract

Zdenek Fabian
Uncertainty of random variables
Tech. Rep. V-1084, ICS AS CR, Prague 2010 Full text Abstract

Ivan Kramosil
Embedding Upper-Semilattice-Valued Mappings to Complete Lattice-Valued Possibilistic Measures
Tech. Rep. V-1085, ICS AS CR, Prague 2010 Full text Abstract

Ivan Kramosil, Milan Daniel
Statistical Estimations of Lattice-Valued Possibilistic Distributions
Tech. Rep. V-1086, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
An Algorithm for Finding a Singular Matrix in an Interval Matrix
Tech. Rep. V-1087, ICS AS CR, Prague 2010 Full text Abstract

Michal Cervinka, Ctirad Matonoha, Jiri Outrata
On the computation of relaxed pessimistic solutions to MPECs (revised version)
Tech. Rep. V-1088, ICS AS CR, Prague 2010 Full text Abstract

Marcel Jirina, Frantisek Hakl
Testing selected separators/classifiers on simulated data sets from field of particle physics
Tech. Rep. V-1089, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
A Note on Generating P-Matrices
Tech. Rep. V-1090, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
An Algorithm for Computing All Solutions of an Absolute Value Equation
Tech. Rep. V-1091, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
A Theorem of the Alternatives for the Equation |Ax| - |B||x| = b
Tech. Rep. V-1092, ICS AS CR, Prague 2010 Full text Abstract

Jiri Rohn
On Rump's Characterization of P-Matrices
Tech. Rep. V-1093, ICS AS CR, Prague 2010 Full text Abstract

Vera Kurkova
Learning as an Inverse Problem in Reproducing Kernel Hilbert Spaces
Tech. Rep. V-1094, ICS AS CR, Prague 2010 Full text Abstract

Lukas Petru, Jiri Wiedermann
A Universal Flying Amorphous Computer
Tech. Rep. V-1097, ICS AS CR, Prague 2010 Full text Abstract

Pavel Tyl, Martin Rimnac, Roman Spanek, Julius Stuller, Zdenka Linkova, Josef Kozler, Barbora Antosova, Vojtech Vana
Tvorba ontologie huminovych latek
Tech. Rep. V-1098, ICS AS CR, Prague 2010 Full text Abstract

Jan Klaschka
BlakerCI: An algorithm and R package for the Blaker's binomial confidence limits calculation
Tech. Rep. V-1099, ICS AS CR, Prague 2010 Full text Abstract
404 Not Found

Not Found

The requested URL /main/footer.shtml was not found on this server.