Technical Reports

• V-1277: Rohn, Jiří. The Equation |x| - |Ax| = b. ICS CAS, 2020 [ASEP]
• V-1276: Rohn, Jiří. Globální implicitní funkce. ICS CAS, 2020 [ASEP]
• V-1275: Šebesta, Václav. Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR. ICS CAS, 2019 [ASEP]
• V-1272: Jiřina, Marcel. Sort Program for Real Keys with Linear Time Complexity. ICS CAS, 2019 [ASEP]
• V-1271: Rohn, Jiří. Generalization of a Theorem on Eigenvalues of Symmetric Matrices. ICS CAS, 2019 [ASEP]
• V-1270: Žák, Stanislav. A Logical Characteristic of Read-Once Branching Programs. ICS CAS, 2019 [ASEP]
• V-1269: Rohn, Jiří. Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství. ICS CAS, 2019 [ASEP]
• V-1268: Rohn, Jiří. Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix?. ICS CAS, 2019 [ASEP]
• V-1266: Rohn, Jiří. Absolute Value Mapping. ICS CAS, 2019 [ASEP]
• V-1265: Rohn, Jiří. Overdetermined Absolute Value Equations. ICS CAS, 2019 [ASEP]
• V-1264: Fabián, Zdeněk. The scalar-valued score functions of continuous probability distribution. ICS CAS, 2019 [ASEP]
• V-1263: Křen, Tomáš. Transforming hierarchical images to program expressions using deep networks. ICS CAS, 2018 [ASEP]
• V-1261: Novák, Jakub, Jiřina, M., Benešová, Michaela. Popis TDD modelu verze 3.9. ICS CAS, 2018 [ASEP]
• V-1260: Novák, Jakub, Jiřina, M., Benešová, Michaela. Stav předaných dat a úprava rozdělení vybraných měření 2018. ICS CAS, 2018 [ASEP]
• V-1259: Lukšan, Ladislav, Matonoha, Ctirad, Vlček, Jan. Problems for Nonlinear Least Squares and Nonlinear Equations. ICS CAS, 2018 [ASEP]
• V-1258: Lukšan, Ladislav, Matonoha, Ctirad, Vlček, Jan. Sparse Test Problems for Nonlinear Least Squares. ICS CAS, 2018 [ASEP]
• V-1257: Resler, Jaroslav, Geletič, Jan, Krč, Pavel, Eben, Kryštof. Detailní simulace proudění, teplot a znečištění vzduchu pro oblast Praha-Dejvice. ICS CAS, 2018 [ASEP]
• V-1256: Nývltová, Ludmila, Ramešová, Nina, Šírová, Tereza. Soupis publikovaých prací pana prof. Ing. Mirko Nováka, DrSc. zpracovaný ke dni 13. dubna 2018 knihovnou Ústavu informatiky AV ČR, v. v. i. s ohledem na dostupnost uvedených prací. ICS AS CR, 2018 [ASEP]
• V-1255: Lukšan, Ladislav, Matonoha, Ctirad, Vlček, Jan. Numerical solution of generalized minimax problems. ICS CAS, 2018 [ASEP]
• V-1254: Novák, Jakub, Jiřina jr., M., Benešová, Michaela. Popis TDD modelu verze 3.8.. ICS CAS, 2017 [ASEP]
• V-1253: Jiřina, Marcel. The IINC System under the ROOT Environment. ICS CAS, 2017 [ASEP]
• V-1252: Lukšan, Ladislav, Tůma, Miroslav, Matonoha, Ctirad, Vlček, Jan, Ramešová, Nina, Šiška, M., Hartman, J.. UFO 2017. Interactive System for Universal Functional Optimization. ICS CAS, 2017 [ASEP]
• V-1251: Porubský, Štefan. Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript. ICS CAS, 2017 [ASEP]
• V-1250: Haniková, Zuzana. Blind proxy voting. ICS CAS, 2017 [ASEP]
• V-1249: Novák, Jakub, Jiřina jr., M., Benešová, Michaela. Stav předaných dat a úprava rozdělení vybraných měření 2017. ICS CAS, 2017 [ASEP]
• V-1248: Porubský, Štefan. Idempotents, Group Membership and their Applications. ICS CAS, 2017 [ASEP]
• V-1247: Porubský, Štefan. Semigroup Structure of Sets of Solutions to Equation X^s = X^m. ICS CAS, 2017 [ASEP]
• V-1246: Lukšan, Ladislav, Matonoha, Ctirad, Vlček, Jan. Hybrid Methods for Nonlinear Least Squares Problems. ICS CAS, 2019 [ASEP]
• V-1245: Vlček, Jan, Lukšan, Ladislav. A limited-memory optimization method using the infinitely many times repeated BNS update and conjugate directions. ICS CAS, 2018 [ASEP]
• V-1244: Vlček, Jan, Lukšan, Ladislav. Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization. ICS CAS, 2017 [ASEP]
• V-1243: Suzuki, Tomoyuki. On Nominal Automata as Models of Java-like Object-Oriented Programs. ICS CAS, 2016 [ASEP]
• V-1242: Kalina, Jan, Peštová, Barbora. On Exact Heteroscedasticity Testing for Robust Regression. ICS CAS, 2016 [ASEP]
• V-1241: Kalina, Jan, Hlinka, Jaroslav. Robust Regularized Discriminant Analysis Based on Implicit Weighting. ICS CAS, 2016 [ASEP]
• V-1240: Chytil, Michal, Novák, J., Jiřina jr., M., Benešová, M.. Popis TDD modelu verze 3.71. ICS CAS, 2016 [ASEP]
• V-1239: Rohn, Jiří. Interval Matrices: Regularity Yields Singularity. ICS CAS, 2016 [ASEP]
• V-1238: Fabián, Zdeněk. Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem. ICS CAS, 2016 [ASEP]
• V-1237: Šíma, Jiří. Neural Networks Between Integer and Rational Weights. ICS CAS, 2016 [ASEP]
• V-1236: Šíma, Jiří, Savický, Petr. Cut Languages in Rational Bases. ICS CAS, 2016 [ASEP]
• V-1235: Rohn, Jiří. Report on the Last Work by Dr. Erich Nuding. ICS CAS, 2016 [ASEP]
• V-1234: Chytil, Michal, Novák, J., Jiřina jr., M., Benešová, M.. Stav předaných dat a úprava rozdělení vybraných měření 2016. ICS CAS, 2016 [ASEP]
• V-1233: Lukšan, Ladislav, Vlček, Jan. New Quasi-Newton Method for Solving Systems of Nonlinear Equations. ICS CAS, 2016 [ASEP]
• V-1232: Vlček, Jan, Lukšan, Ladislav. A Block Version of the BNS Limited-Memory Variable Metric Method for Unconstrained Minimization. ICS CAS, 2016 [ASEP]
• V-1231: Wiedermann, Jiří. Nondeterministic Computations for Which Space is More Powerful than Time. ICS CAS, 2016 [ASEP]
• V-1230: Wiedermann, Jiří. Discerning Two Words by a Minimum Size Automaton. ICS CAS, 2016 [ASEP]
• V-1229: Drabinová, Adéla, Martinková, Patrícia. Detection of Differential Item Functioning with Non-Linear Regression: Non-IRT Approach Accounting for Guessing. ICS CAS, 2016 [ASEP]
• V-1228: Turčičová, Marie, Mandel, Jan, Eben, Kryštof. Maximum Likelihood Estimation of Diagonal Covariance Matrix. ICS CAS, 2016 [ASEP]
• V-1227: Hakl, František. Probabilistic learning model PAC - lecture notes. ICS CAS, 2015 [ASEP]
• V-1226: Nývltová, Ludmila, Ramešová, Nina, Šírová, Tereza. Soupis publikovaných prací pana doc. Ing. Václava Šebesty, DrSc., zpracovaný v říjnu 2015 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 70. narozenin autora. ICS AS CR, 2015 [ASEP]
• V-1225: Jiřina, Marcel. IINC Software. ICS AS CR, 2015 [ASEP]
• V-1224: Nývltová, Ludmila, Ramešová, Nina, Šírová, Tereza. Soupis publikovaných prací pana doc. RNDr. Ivana Kramosila, DrSc., zpracovaný ke dni 29. května 2015 knihovnou Ústavu informatiky AV ČR, v. v. i.. ICS AS CR, 2015 [ASEP]
• V-1222: Jiřina, Marcel. The Distribution Mapping Functions. ICS AS CR, 2015 [ASEP]
• V-1220: Řezanková, Hana, Húsek, Dušan. Measures for Classification Results Evaluation. ICS AS CR, 2015 [ASEP]
• V-1219: Coufal, David, Hlinka, Jaroslav. Causation Entropy Principle and Bayesian Inference to Causal Networks. ICS AS CR, 2015 [ASEP]