Výzkumné zprávy od č. V-1200
- V-1271:
Rohn, Jiří.
Generalization of a Theorem on Eigenvalues of Symmetric Matrices.
Prague: ICS CAS, 2019. 4 s.
- V-1270:
Žák, Stanislav.
A Logical Characteristic of Read-Once Branching Programs.
Prague: ICS CAS, 2019. 16 s.
- V-1269:
Rohn, Jiří.
Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství.
Prague: ICS CAS, 2019. 12 s.
- V-1268:
Rohn, Jiří.
Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix?
Prague: ICS CAS, 2019. 7 s.
- V-1266:
Rohn, Jiří.
Absolute Value Mapping.
Prague: ICS CAS, 2019. 5 s.
- V-1265:
Rohn, Jiří.
Overdetermined Absolute Value Equations.
Prague: ICS CAS, 2019. 5 s.
- V-1264:
Fabián, Zdeněk.
The scalar-valued score functions of continuous probability distribution.
Prague: ICS CAS, 2019. 73 s.
- V-1263:
Křen, Tomáš.
Transforming hierarchical images to program expressions using deep networks.
Prague: ICS CAS, 2018. 12 s.
- V-1261:
Novák, Jakub – Jiřina, Marcel – Benešová, Michaela.
Popis TDD modelu verze 3.9.
Prague : ICS CAS, 2018. 26 s.
- V-1260:
Novák, Jakub – Jiřina, Marcel – Benešová, Michaela.
Stav předaných dat a úprava rozdělení vybraných měření 2018.
Prague : ICS CAS, 2018. 8 s.
- V-1259:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Problems for Nonlinear Least Squares and Nonlinear Equations.
Prague : ICS CAS, 2018. 36 s.
- V-1258:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Sparse Test Problems for Nonlinear Least Squares.
Prague : ICS CAS, 2018. 20 s.
- 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.
Prague: ICS CAS, 2018. 13 s.
- 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í
Prague : ICS AS CR, 2018. 60 s.
- V-1255:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Numerical solution of generalized minimax problems.
Prague : ICS CAS, 2018. 46 s.
- V-1254:
Novák, Jakub – Jiřina jr., M. – Benešová, Michaela.
Popis modelu TDD verze 3.8.
Prague : ICS CAS, 2017. 24 s.
- V-1253:
Jiřina, Marcel.
The IINC System under the ROOT Environment.
Prague : ICS AS CR, 2017. 29 s.
- V-1252:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Matonoha, Ctirad – Šiška, M – Hartman, J.
UFO 2017. Interactive System for Universal Functional Optimization.
Prague : ICS CAS, 2017. 395 s.
- V-1251:
Porubský, Štefan.
Application and Misapplication of the Czechoslovak STP Cipher During WWII – Report on an Unpublished Manuscript.
Prague : ICS CAS, 2017. 42 s.
- V-1250:
Haniková, Zuzana.
Blind proxy voting.
Prague : ICS CAS, 2017. 12 s.
- 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.
Prague : ICS CAS, 2017. 6 s.
- V-1248:
Porubský, Štefan.
Idempotents, Group Membership and their Applications.
Prague : ICS CAS, 2017. 113 s.
- V-1247:
Porubský, Štefan.
Semigroup Structure of Sets of Solutions to Equation X^s = X^m.
Prague : ICS CAS, 2017. 26 s.
- V-1246:
Lukšan, Ladislav – Matonoha, Ctirad – Vlček, Jan.
Hybrid Methods for Nonlinear Least Squares Problems.
Prague: ICS CAS, 2019. 50 s.
- V-1245:
Vlček, Jan – Lukšan, Ladislav.
A limited-memory optimization method using the infinitely many times repeated BNS update and conjugate directions.
Prague : ICS CAS, 2018. 20 s.
- 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.
Prague : ICS CAS, 2017. 26 s.
- V-1243:
Suzuki, Tomoyuki.
On nominal automata as models of Java-like object-oriented programs.
Prague : ICS CAS, 2016. 8 s.
- V-1242:
Kalina, Jan – Peštová, Barbora.
On Exact Heteroscedasticity Testing for Robust Regression.
Prague : ICS CAS, 2016. 10 s.
- V-1241:
Kalina, Jan – Hlinka, Jaroslav.
Robust Regularized Discriminant Analysis Based on Implicit Weighting.
Prague : ICS CAS, 2016. 21 s.
- V-1240:
Chytil, Michal – Novák, J. – Jiřina jr., M. – Benešová, M.
Popis TDD modelu verze 3.71.
Prague : ICS CAS, 2016. 23 s.
- V-1239:
Rohn, Jiří.
Interval Matrices: Regularity Yields Singularity.
Prague : ICS CAS, 2016. 3 s.
- V-1238:
Fabián, Zdeněk.
Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem.
Prague : ICS CAS, 2016. 23 s.
- V-1237:
Šíma, Jiří.
Neural Networks Between Integer and Rational Weights.
Prague : ICS CAS, 2016. 8 s.
- V-1236:
Šíma, Jiří – Savický, Petr.
Cut Languages in Rational Bases.
Prague : ICS CAS, 2016. 12 s.
- V-1235:
Rohn, Jiří.
Report on the Last Work by Dr. Erich Nuding.
Prague : ICS CAS, 2016. 8 s.
- 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.
Prague : ICS CAS, 2016. 5 s.
- V-1233:
Lukšan, Ladislav – Vlček, Jan.
New quasi-Newton method for solving systems of nonlinear equations.
Prague : ICS CAS, 2016. 10 s.
- V-1232:
Vlček, Jan – Lukšan, Ladislav.
A block version of the BNS limited-memory variable metric method for unconstrained minimization.
Prague : ICS CAS, 2016. 24 s.
- V-1231:
Wiedermann Jiří.
Nondeterministic Computations for which Space is More Powerful than Time.
Prague : ICS CAS, 2016. 10 s.
- V-1230:
Wiedermann Jiří.
Discerning Two Words by a Minimum Size Automaton.
Prague : ICS CAS, 2016. 8 s.
- V-1229:
Drabinová, Adéla – Martinková, Patrícia.
Detection of Differential Item Functioning with Non-Linear Regression: Non-IRT Approach Accounting for Guessing.
Prague : ICS CAS, 2016. 26 s.
- V-1228:
Turčičová, Marie – Mandel, Jan – Eben, Kryštof.
Maximum Likelihood Estimation of Diagonal Covariance Matrix.
Prague : ICS CAS, 2016. 7 s.
- V-1227:
Hakl, František.
Probabilistic learning model PAC – lecture notes.
Prague : ICS CAS, 2015. 73 s.
- 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.
Prague : ICS AS CR, 2015. 23 s.
- V-1225:
Jiřina, Marcel.
IINC Software.
Prague : ICS AS CR, 2015. 51 s.
- 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.
Prague : ICS AS CR, 2015. 35 s.
- V-1223:
Rohn, Jiří.
A Hybrid Method for Solving Absolute Value Equations.
Prague : ICS AS CR, 2014. 3 s.
- V-1222:
Jiřina, Marcel.
The Distribution Mapping Functions.
Prague : ICS AS CR, 2015. 29 s.
- V-1220:
Řezanková, Hana – Húsek, Dušan.
The Measures for Classification Results Evaluation.
Prague : ICS AS CR, 2015. 13 s.
- V-1219:
Coufal, David – Hlinka, Jaroslav.
Causation Entropy Principle and Bayesian Inference to Causal Networks.
Prague : ICS AS CR, 2015. 15 s.
- V-1218:
Lukšan, Ladislav – Tůma, Miroslav – Matonoha, Ctirad – Vlček, Jan – Ramešová, Nina – Šiška, M. – Hartman, J.
Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2014. 385 s.
- V-1216:
Fabián, Zdeněk.
Description of Continuous Distributions and Data Samples by Means of Score Functions of Distribution.
Prague : ICS AS CR, 2014. 17 s.
- V-1212:
Rohn, Jiří.
A New Proof of the Hansen-Bliek-Rohn Optimality Result.
Prague : ICS AS CR, 2014. 6 s.
- V-1211:
Jiřina, Marcel.
Influence of Metric on Classification Error of Distance-Based Classifiers.
Prague : ICS AS CR, 2014. 25 s.
- V-1210:
Coufal, David.
Kernel density estimates in particle filter.
Prague : ICS AS CR, 2014. 29 s.
- V-1209:
Wiedermann, Jiří.
Fast nondeterministic matrix multiplication via derandomization of Freivalds‘ algorithm (Revised corrected version).
Prague : ICS AS CR, 2014. 12 s.
- V-1208:
Žák, Stanislav.
Inherent Logic and Complexity.
Prague : ICS AS CR, 2014. 17 s.
- V-1206:
Rohn, Jiří.
Explicit Form of Matrices Qz for an Interval Matrix with Unit Midpoint.
Prague : ICS AS CR, 2014. 5 s.
- V-1204:
Rohn, Jiří.
A Reduction Theorem for Absolute Value Equations.
Prague : ICS AS CR, 2014. 7 s.
- V-1203:
Vlček, Jan – Lukšan, Ladislav.
A modified limited-memory BNS method for unconstrained minimization based on the conjugate directions idea.
Prague : ICS AS CR, 2014. 16 s.
- V-1202:
Rohn, Jiří.
A Class of Explicitly Solvable Absolute Value Equations.
Prague : ICS AS CR, 2014. 4 s.
- V-1201:
Fabián, Zdeněk.
The use of Score Functions of Distribution for Description of Parametric Families.
Prague : ICS AS CR, 2014. 24 s.
- V-1200:
Hakl, František.
Nástroj pro vzdálené použití NNSU algoritmu pro separaci dat (uživatelský manuál).
Prague : ICS AS CR, 2013. 29 s.
Intranet knihovny ÚI