- Úvod
- Ústav
- Lidé
- Výzkum
- Aplikace
- Semináře a akce
- Knihovna
- Doktorské studium
- Kariéra
Ústav informatiky
Akademie věd České republiky
Akademie věd České republiky
"Otázka, zda počítače umějí myslet, je podobně tak relevantní jako otázka, zda umějí ponorky plavat." - E. W. Dijkstra
Výzkumné zprávy
Vydané 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]
