- Home
- Institute
- People
- Research
- Applications
- Seminars and Events
- Library
- Doctoral Studies
- Jobs
Institute of Computer Science
The Czech Academy of Sciences
The Czech Academy of Sciences
"The problems of the real world are primarily those you are left with when you refuse to apply their effective solutions." - E. W. Dijkstra
Technical Reports
Period 2010 - 2014
- V-1223: A Hybrid Method for Solving Absolute Value Equations. ICS AS CR, 2014 [ASEP]
- V-1218: UFO 2014. Interactive System for Universal Functional Optimization. ICS AS CR, 2014 [ASEP]
- V-1216: Description of Continuous Distributions and Data Samples by Means of Score Functions of Distribution. ICS AS CR, 2014 [ASEP]
- V-1212: A New Proof of the Hansen-Bliek-Rohn Optimality Result. ICS AS CR, 2014 [ASEP]
- V-1211: Influence of Metric on Classification Error of Distance-Based Classifiers. ICS AS CR, 2014 [ASEP]
- V-1210: Kernel density estimates in particle filter. ICS AS CR, 2014 [ASEP]
- V-1209: Fast nondeterministic matrix multiplication via derandomization of Freivalds' algorithm (Revised corrected version). ICS AS CR, 2014 [ASEP]
- V-1208: Inherent Logic and Complexity. ICS AS CR, 2014 [ASEP]
- V-1206: Explicit Form of Matrices Qz for an Interval Matrix with Unit Midpoint. ICS AS CR, 2014 [ASEP]
- V-1204: A Reduction Theorem for Absolute Value Equations. ICS AS CR, 2014 [ASEP]
- V-1203: A modified limited-memory BNS method for unconstrained minimization based on the conjugate directions idea. ICS AS CR, 2014 [ASEP]
- V-1202: A Class of Explicitly Solvable Absolute Value Equations. ICS AS CR, 2014 [ASEP]
- V-1201: The use of Score Functions of Distribution for Description of Parametric Families. ICS AS CR, 2014 [ASEP]
- V-1200: Nástroj pro vzdálené použití NNSU algoritmu pro separaci dat (uživatelský manuál). ICS AS CR, 2013 [ASEP]
- V-1199: IINC classifier for MS Excel. The principle, method and Program. ICS AS CR, 2014 [ASEP]
- V-1191: UFO 2013 Interactive System for Universal Functional Optimization.. ICS AS CR, 2014 [ASEP]
- V-1190: 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. ICS AS CR, 2013 [ASEP]
- V-1189: Score Function of Distribution and Revival of the Moment Method. Final Version. ICS AS CR, 2013 [ASEP]
- V-1188: Robust Template Matching. ICS AS CR, 2013 [ASEP]
- V-1187: Representations of Highly-Varying Functions by One-Hidden-Layer Networks. ICS AS CR, 2013 [ASEP]
- V-1186: Fuzzified linear orderings, fuzzy maxima and minima. ICS AS CR, 2014 [ASEP]
- V-1185: A Triple Sufficient Condition for Regularity of Interval Matrices. ICS AS CR, 2013 [ASEP]
- V-1184: A Bendixson-Type Theorem for Eigenvalues of Interval Matrices. ICS AS CR, 2013 [ASEP]
- V-1183: Propagation of elastic waves in fractured media under a self-gravity field. ICS AS CR, 2013 [ASEP]
- V-1182: Correlation and heavy-tails. ICS AS CR, 2013 [ASEP]
- V-1181: 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. ICS AS CR, 2013 [ASEP]
- V-1180: 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. ICS AS CR, 2013 [ASEP]
- V-1179: Steps Towards a Conflicting Part of a Belief Function. ICS AS CR, 2013 [ASEP]
- V-1177: Efficient tridiagonal preconditioner for the matrix-free truncated Newton method. ICS AS CR, 2013 [ASEP]
- V-1176: Score Function of Distribution and Revival of the Moment Method. ICS AS CR, 2012 [ASEP]
- V-1175: Partitions of the Boolean cube with a vertex-transitive automorphism group. ICS AS CR, 2012 [ASEP]
- V-1174: Fixed and Variable-Width Gaussian Networks. ICS AS CR, 2012 [ASEP]
- V-1173: Flying Amorphous Computer: A Robust Model. ICS AS CR, 2012 [ASEP]
- V-1172: Neural and Fuzzy Modelling of Hydrological Data. ICS AS CR, 2012 [ASEP]
- V-1171: A Lower Bound Method for Branching Programs and Its Application. ICS AS CR, 2012 [ASEP]
- V-1170: Methods for parallel mining of frequent itemsets. ICS AS CR, 2012 [ASEP]
- V-1167: The Primal-Dual Active Set (PDAS) Method for Dynamic Variational Inequalities Arising from the Fractured Bone Neoplasm Models. ICS AS CR, 2012 [ASEP]
- V-1166: Mathematical models of odontogenic cysts and of fractures of jaw-bones. An introductory study. ICS AS CR, 2012 [ASEP]
- V-1165: 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. ICS AS CR, 2012 [ASEP]
- V-1164: 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. ICS AS CR, 2012 [ASEP]
- V-1163: A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012. ICS AS CR, 2012 [ASEP]
- V-1162: Some Results on Set-Valued Possibilistic Distributions. ICS AS CR, 2012 [ASEP]
- V-1159: (Z; z)-Solutions. ICS AS CR, 2012 [ASEP]
- V-1158: Theoretical Characterization of Enclosures. ICS AS CR, 2012 [ASEP]
- V-1157: Compact Form of the Hansen-Bliek-Rohn Enclosure. ICS AS CR, 2012 [ASEP]
- V-1156: Verification of linear (in)dependence in finite precision arithmetic. ICS AS CR, 2012 [ASEP]
- V-1155: 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". ICS AS CR, 2012 [ASEP]
- V-1154: Calculus Digest. ICS AS CR, 2012 [ASEP]
- V-1153: Trends in random forests parameters for classification of imbalanced data. ICS AS CR, 2012 [ASEP]
- V-1152: Numerické optimalizační metody. Nepodmíněná minimalizace. ICS AS CR, 2011 [ASEP]
- V-1151: UFO 2011 Interactive System for Universal Functional Optimization. ICS AS CR, 2011 [ASEP]
- V-1150: An Algorithm for Solving the P-Matrix Problem. ICS AS CR, 2012 [ASEP]
- V-1149: An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1. ICS AS CR, 2012 [ASEP]
- V-1148: What is graded fuzzy logic?. ICS AS CR, 2012 [ASEP]
- V-1147: A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices. ICS AS CR, 2012 [ASEP]
- V-1146: Graded dominance and related graded properties of fuzzy connectives. ICS AS CR, 2011 [ASEP]
- V-1145: An Iterative Method for Solving Absolute Value Equations. ICS AS CR, 2012 [ASEP]
- V-1144: Verified Singular Value Decomposition. ICS AS CR, 2012 [ASEP]
- V-1143: Verified Eigendecomposition. ICS AS CR, 2012 [ASEP]
- V-1142: Projekt GAMMA - Přehled činností za období říjen - prosinec 2011. ICS AS CR, 2012 [ASEP]
- V-1141: Projekt GAMMA - Přehled činností za období červenec - září 2011. ICS AS CR, 2011 [ASEP]
- V-1140: Projekt GAMMA - Přehled činností za období duben - červen 2011. ICS AS CR, 2011 [ASEP]
- V-1139: Projekt GAMMA - Přehled činností za období leden - březen 2011. ICS AS CR, 2011 [ASEP]
- V-1138: Metodika vyhodnocení přesnosti modelu TDD. ICS AS CR, 2011 [ASEP]
- V-1137: Popis modelu TDD, verze 3.2. ICS AS CR, 2011 [ASEP]
- V-1136: Popis modelu TDD, verze 3.1. ICS AS CR, 2010 [ASEP]
- V-1135: Projekt GAMMA - Přehled činností za období říjen - prosinec 2010. ICS AS CR, 2010 [ASEP]
- V-1134: Projekt GAMMA - Přehled činností za období červenec - září 2010. ICS AS CR, 2010 [ASEP]
- V-1133: Projekt GAMMA - Přehled činností za období duben - červen 2010. ICS AS CR, 2010 [ASEP]
- V-1132: Projekt GAMMA - Přehled činností za období leden - březen 2010. ICS AS CR, 2010 [ASEP]
- V-1131: Zdůvodnění změny počtu tříd TDD v roce 2011. ICS AS CR, 2010 [ASEP]
- V-1130: Metodika použití TDD provozovatelem distribuční soustavy pro rok 2011. ICS AS CR, 2010 [ASEP]
- V-1129: Transformace metodiky použití TDD dle požadavků OTE. ICS AS CR, 2010 [ASEP]
- V-1128: Metodika rozpočtu známé spotřeby modelem TDD. ICS AS CR, 2010 [ASEP]
- V-1127: Modifications of the limited-memory BNS method for better satisfaction of previous quasi-Newton conditions. ICS AS CR, 2011 [ASEP]
- V-1126: Volatility of selected separators/classifiers wrt. data sets from field of particle physics. ICS AS CR, 2011 [ASEP]
- V-1125: Gradient Learning in Networks of Smoothly Spiking Neurons with an Additional Penalty Term. ICS AS CR, 2011 [ASEP]
- V-1124: Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions. ICS AS CR, 2011 [ASEP]
- V-1123: Estimation of Diffusivity of Phycobilisomes on Thylakoid Membrane based on spatio-temporal FRAP images. ICS AS CR, 2011 [ASEP]
- V-1122: Norms of Interval Matrices. ICS AS CR, 2011 [ASEP]
- V-1121: Verified Solutions of Linear Equations. ICS AS CR, 2011 [ASEP]
- V-1120: A conjugate directions approach to improve the limited-memory BFGS method. ICS AS CR, 2011 [ASEP]
- V-1119: VERSOFT: Examples. ICS AS CR, 2011 [ASEP]
- V-1118: VERSOFT: Guide. ICS AS CR, 2011 [ASEP]
- V-1117: INTLAB Primer. ICS AS CR, 2011 [ASEP]
- V-1116: A New Sufficient Condition for Regularity of Interval Matrices. ICS AS CR, 2011 [ASEP]
- V-1115: Hybrid Method of Boolean Factor Analysis. ICS AS CR, 2011 [ASEP]
- V-1114: Model of Photosynthesis and Photoinhibition in Microalgae: A Singularly Perturbed Problem. ICS AS CR, 2010 [ASEP]
- V-1113: Growth impact of hydrodynamic dispersion in Couette-Taylor bioreactor. ICS AS CR, 2010 [ASEP]
- V-1112: Modelling and simulation of photosynthetic microorganism growth: Random walk vs. Finite difference method. ICS AS CR, 2010 [ASEP]
- V-1111: Disproving the P-Matrix Property. ICS AS CR, 2011 [ASEP]
- V-1110: 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. ICS AS CR, 2011 [ASEP]
- V-1109: Two new EM-Methods for Boolean Factor Analysis. ICS AS CR, 2011 [ASEP]
- V-1107: An Algorithm for Solving the Absolute Value Inequality. ICS AS CR, 2011 [ASEP]
- V-1106: Every Two Square Matrices of the Same Size Have Some Solution in Common. ICS AS CR, 2011 [ASEP]
- V-1105: An Algorithm for Solving Basic Interval Linear Problems. ICS AS CR, 2011 [ASEP]
- V-1104: The Hansen-Bliek Optimality Result as a Consequence of the General Theory. ICS AS CR, 2011 [ASEP]
- V-1103: A Perturbation Theorem for Linear Equations. ICS AS CR, 2011 [ASEP]
- V-1100: Static load balancing of parallel mining of frequent itemsets using reservoir sampling. ICS AS CR, 2010 [ASEP]
- V-1099: BlakerCI: An algorithm and R package for the Blaker's binomial confidence limits calculation. ICS AS CR, 2010 [ASEP]
- V-1098: Tvorba ontologie huminových látek. ICS AS CR, 2010 [ASEP]
- V-1097: A Universal Flying Amorphous Computer. ICS AS CR, 2010 [ASEP]
- V-1094: Learning as an Inverse Problem in Reproducing Kernel Hilbert Spaces. ICS AS CR, 2010 [ASEP]
- V-1093: On Rump's Characterization of P-Matrices. ICS AS CR, 2010 [ASEP]
- V-1092: A Theorem of the Alternatives for the Equation |Ax| - |B||x| = b. ICS AS CR, 2010 [ASEP]
- V-1091: An Algorithm for Computing All Solutions of an Absolute Value Equation. ICS AS CR, 2010 [ASEP]
- V-1090: A Note on Generating P-Matrices. ICS AS CR, 2010 [ASEP]
- V-1089: Testing selected separators/classifiers on simulated data sets from field of particle physics. ICS AS CR, 2010 [ASEP]
- V-1088: On the computation of relaxed pessimistic solutions to MPECs (revised version). ICS AS CR, 2010 [ASEP]
- V-1087: An Algorithm for Finding a Singular Matrix in an Interval Matrix. ICS AS CR, 2010 [ASEP]
- V-1086: Statistical Estimations of Lattice-Valued Possibilistic Distributions. ICS AS CR, 2010 [ASEP]
- V-1085: Embedding Upper-Semilattice-Valued Mappings to Complete Lattice-Valued Possibilistic Measures. ICS AS CR, 2010 [ASEP]
- V-1084: Uncertainty of Random Variables. ICS AS CR, 2010 [ASEP]
- V-1083: UFO 2010 Interactive System for Universal Functional Optimization. ICS AS CR, 2010 [ASEP]
- V-1082: Analysis and Evaluation of Different Methods for Barr Problem Solving. ICS AS CR, 2010 [ASEP]
- V-1081: Modified CUTE Problems for Sparse Unconstrained Optimization. ICS AS CR, 2010 [ASEP]
- V-1080: Exposure optimization for warming of shapes in the automotive industry. ICS AS CR, 2010 [ASEP]
- V-1079: Band preconditioners for the matrix-free truncated Newton method. ICS AS CR, 2010 [ASEP]
- V-1078: Linear Regression with Arbitrarily Distributed Residuals. ICS AS CR, 2010 [ASEP]
- V-1077: Scalar Score Function and Score Correlation. ICS AS CR, 2010 [ASEP]
- V-1076: A New Statistical Tool: Scalar Score Function. ICS AS CR, 2010 [ASEP]
- V-1075: Testing Random Forests for Unix and Windows. ICS AS CR, 2010 [ASEP]
- V-1074: An Algorithm for Computing the Hull of the Solution Set of Interval Linear Equations. ICS AS CR, 2010 [ASEP]
- V-1073: Inverse Interval Matrix: A Survey. ICS AS CR, 2010 [ASEP]
- V-1072: A Characterization of Strong Regularity of Interval Matrices. ICS AS CR, 2010 [ASEP]
- V-1071: Explicit Inverse of an Interval Matrix with Unit Midpoint. ICS AS CR, 2010 [ASEP]
- V-1070: 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 příležitosti 70. narozenin autora. Opravené a aktualizované vydání – únor 2013. ICS AS CR, 2010 [ASEP]
- V-1068: Studie realizovatelnosti neuronové síte daných vlastností pomocí analogových elektrických obvodů. ICS AS CR, 2010 [ASEP]
- V-1067: A General Method for Enclosing Solutions of Interval Linear Equations. ICS AS CR, 2010 [ASEP]
- V-1066: Entropy Function for Chained Lattice-Valued Possibilistic Distributions and Their Non-Interactive Products. ICS AS CR, 2010 [ASEP]
- V-1065: An Improvement of the Bauer-Skeel Bounds. ICS AS CR, 2010 [ASEP]
- V-1064: Sparse Test Problems for Unconstrained Optimization. ICS AS CR, 2010 [ASEP]
- V-1063: An Algorithm for Solving the Absolute Value Equation: An Improvement. ICS AS CR, 2010 [ASEP]
- V-1059: Recursive formulation of limited memory variable metric methods. ICS AS CR, 2010 [ASEP]
- V-1056: Aplikace Filtry. ICS AS CR, 2010 [ASEP]
- LSS 430/14: Prediction diagnostics for Uncertain Systems. LSS FD ČVUT a ÚI AV ČR, 2014 [ASEP]
- LSS 405/11: Feasibility study of weather components prediction along expected vehicle trajectory. LSS FD ČVUT a ÚI AV ČR, 2011 [ASEP]
- LSS 404/11: Možnosti predikce významných složek počasí podél předpokládané trasy vozidla. LSS FD ČVUT a ÚI AV ČR, 2011 [ASEP]
- RRR 2-2010: Boolean Functions with a Simple Certificate for CNF Complexity.. Rutgers Center for Operations Research, 2010 [ASEP]
- 2011/02: Tropical tensor product and beyond. School of Mathematics, University of Birmingham, 2011 [ASEP]
- TR13-191: Boolean functions with a vertex-transitive group of automorphisms. , 2013 [ASEP]
- UU-CS-2014-014: Separating the Classes of Recursively Enumerable Languages Based on Machine Size. Utrecht University, 2014 [ASEP]
- RAL-TR-2013-P-005: On positive semidefinite modification schemes for incomplete Cholesky factorization. Rutherford Appleton Laboratory, 2013 [ASEP]
- RAL-P-2014-003: On signed incomplete Cholesky factorization preconditioners for saddle-point systems. Rutherford Appleton Laboratory, 2014 [ASEP]
- UU-CS-2014-003: Turing machines with One-sided Advice and the Acceptance of the co-RE Languages. Utrecht University, 2014 [ASEP]
- NCMM/2013-27: Metody pro redukci dimenze v mnohorozměrné statistice a jejich výpočet. Nečas center for Mathematical Modeling, 2013 [ASEP]
- v-1178: Models of Bone Cancers - Part I. Mathematical Models of Cancers. An Introduction. ICS AS CR, 2013 [ASEP]
- 2012/2: Formal Verification of Annotated Use-Cases. Department of Distributed and Dependable Systems, Charles University, 2012 [ASEP]
- 2012/1: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method). Department of Distributed and Dependable Systems, Charles University, 2012 [ASEP]
- 2011/7: Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments. Department of Software Engineering, Charles University, 2011 [ASEP]
- 2011/2: Ferdinand Project Middleware List. Department of Software Engineering, Charles University, 2011 [ASEP]
- : Comparison of numerical weather prediction models for purposes of atmospheric dispersion modeling within the grant project MV ČR VG20102013018. UTIA, 2011 [ASEP]
- 2010/5: Supporting real-time features in a hierarchical component system. Department of Distributed and Dependable Systems, Charles University, 2010 [ASEP]
- 2010-51: Small Sample Robust Testing for Normality against Pareto Tails. Johannes Kepler University, 2010 [ASEP]
- TR10-088: A Polynomial Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3. , 2010 [ASEP]
- 3132: The Trend of BMI Values by Centiles of US Adults, Birth Cohorts 1882-1986. Institute for Economic Research, 2010 [ASEP]
- 2987: The Trend of BMI Values among US Adults. Institute for Economic Research, 2010 [ASEP]
CONTACT
Pod Vodárenskou věží 271/2
182 00 Praha 8
Phone (+420) 266 052 083
E-mail: ics@cs.cas.cz
