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-1251:
Porubský, Štefan. Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript.
ICS CAS, 2017
[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-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-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]
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-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]
:
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]
