Výzkumné zprávy

• V-1285: Jiřina, Marcel. Nearly All Reals Can Be Sorted with Linear Time Complexity. ICS CAS, 2021 [ASEP]
• V-1284: Turčičová, Marie, Mandel, J., Eben, Kryštof. Score matching filters for Gaussian Markov random fields with a linear model of the precision matrix. ICS CAS, 2021 [ASEP]
• V-1283: Keikha, Vahideh. Linear-time Algorithms for Largest Inscribed Quadrilateral. ICS CAS, 2020 [ASEP]
• V-1280: Vlček, Jan, Lukšan, Ladislav. Two limited-memory optimization methods with minimum violation of the previous quasi-Newton equations. ICS CAS, 2020 [ASEP]
• V-1279: Húsek, Dušan, Frolov, A. A., Kerechanin, J. V., Bobrov, P.D.. Assessment of Independent EEG Components Obtained by Different Methods for BCI Based on Motor Imagery. ICS CAS, 2021 [ASEP]
• 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]
• : Svítek, M., Přibyl, O., Vorel, J., Garlík, B., Resler, Jaroslav, Kozhevnikov, S., Krč, Pavel, Geletič, Jan, Daniel, Milan, Dostál, R., Janča, T., Myška, V., Aralkina, O., Pereira, A. M.. City simulation software for modeling, planning, and strategic assessment of territorial city units. CTU & ICS CAS, 2021 [ASEP]
• UU-PCS-2021-01: Wiedermann, Jiří, van Leeuwen, J.. Autonomous Vehicles that Cooperate and Understand. Utrecht University, 2021 [ASEP]
• UU-PCS-2020-02: Wiedermann, Jiří, van Leeuwen, J.. Towards minimally conscious cyber-physical systems - A design philosophy. Utrecht University, 2020 [ASEP]
• UU-PCS-2020-01: Wiedermann, Jiří, van Leeuwen, J.. Towards minimally conscious finite-state controlled cyber-physical systems - A manifesto. Utrecht University, 2020 [ASEP]
• gmd-2020-175: Resler, Jaroslav, Eben, Kryštof, Geletič, Jan, Krč, Pavel, Rosecký, Martin, Sühring, M., Belda, M., Fuka, V., Halenka, T., Huszár, P., Karlický, J., Benešová, N., Ďoubalová, J., Honzáková, K., Keder, J., Nápravníková, Š., Vlček, O.. Validation of the PALM model system 6.0 in real urban environment; case study of Prague-Dejvice, Czech Republic. European Geosciences Union, 2021 [DOI] [ASEP]
• UU-CS-2019-012: van Leeuwen, J., Wiedermann, Jiří. Understanding Computation. A General Theory of Computational Processes. Utrecht University, 2019 [ASEP]
• gmd-2019-287: Zhao, S., Russell, M., Hakami, A., Turner, D., Henze, D., Percell, P., Resler, Jaroslav, Shen, H., Russel, A., Nenes, A., Pappin, A., Napelenok, S., Bash, J., Fahey, K., Carmichael, G., Stanier, O., Chai, T.. A Multiphase CMAQ Version 5.0 Adjoint. EGU, 2019 [DOI] [ASEP]
• TR19-150: Žák, Stanislav. A Logical Characteristic of Read-Once Branching Programs. , 2019 [ASEP]
• : Lorencová, Eliška, Emmer, Adam, Geletič, Jan, Vačkář, David. Analýza zranitelnosti hl.m. Prahy vůči dopadům změny klimatu. Hlavní město Praha, 2017 [ASEP]
• LSS 433/15: Bouchner, P., Jiřina, Marcel, Novák, Mirko, Novotný, S., Poláček, I.. Analýza výskytu a příčin nebezpečných situací na vozovkách. LSS FD ČVUT a ÚI AV ČR, 2015 [ASEP]
• UU-CS-2016-007: van Leeuwen, J., Wiedermann, Jiří. Question Answering and Cognitive Automata with Background Intelligence. Utrecht University, 2016 [ASEP]
• WP #2015­?7: Martinková, Patrícia, Goldhaber, D.. Improving Teacher Selection: The Effect of Inter-Rater Reliability in the Screening Process. CEDR University of Washington Bothell, 2015 [ASEP]
• TR15-029: Žák, Stanislav. Inherent Logic and Complexity. , 2015 [ASEP]
• gmd-2020-175: Resler, Jaroslav, Eben, Kryštof, Geletič, Jan, Krč, Pavel, Rosecký, Martin, Sühring, M., Belda, M., Fuka, V., Halenka, T., Huszár, P., Karlický, J., Benešová, N., Ďoubalová, J., Honzáková, K., Keder, J., Nápravníková, Š., Vlček, O.. Validation of the PALM model system 6.0 in real urban environment; case study of Prague-Dejvice, Czech Republic. European Geosciences Union, 2021 [DOI] [ASEP]