- Ú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
"Problémy reálného světa jsou především ty, na které odmítáte aplikovat jejich efektivní řešení." - E. W. Dijkstra
Výzkumné zprávy
- V-1296: Numerické optimalizační metody. ICS CAS, 2024 [ASEP]
- V-1295: Etika AI: Přehled současné debaty v kontextu energetiky. ICS CAS, 2023 [ASEP]
- V-1294: Introduction to statistical inference based on scalar-valued scores. ICS CAS, 2022 [ASEP]
- V-1293: A New Look to Information and Uncertainty of Continuous Distributions. ICS CAS, 2022 [ASEP]
- V-1292: Score correlation for skewed distributions. ICS CAS, 2022 [ASEP]
- V-1291: Scalar-Valued Score Functions and their use in Parametric Estimation. ICS CAS, 2022 [ASEP]
- V-1290: Some modi?cations of the limited-memory variable metric optimization methods. ICS CAS, 2023 [ASEP]
- V-1289: UFO 2024: Interactive System for Universal Functional Optimization. ICS CAS, 2024 [ASEP]
- V-1288: Spatio-Spectral EEG Patterns in the Source-Reconstructed Space and Relation to Resting-State Networks: An EEG-fMRI Study. ICS CAS, 2022 [ASEP]
- V-1287: A Measure of Variability WIthin Parametric Families of Continuous Distributions. ICS CAS, 2022 [ASEP]
- V-1286: Large Perimeter Objects Surrounded by a 1.5D Terrain. ICS CAS, 2022 [ASEP]
- V-1285: Nearly All Reals Can Be Sorted with Linear Time Complexity. ICS CAS, 2021 [ASEP]
- V-1284: Score matching filters for Gaussian Markov random fields with a linear model of the precision matrix. ICS CAS, 2021 [ASEP]
- V-1283: Linear-time Algorithms for Largest Inscribed Quadrilateral. ICS CAS, 2020 [ASEP]
- V-1280: Two limited-memory optimization methods with minimum violation of the previous quasi-Newton equations. ICS CAS, 2020 [ASEP]
- V-1279: Assessment of Independent EEG Components Obtained by Different Methods for BCI Based on Motor Imagery. ICS CAS, 2021 [ASEP]
- V-1277: The Equation |x| - |Ax| = b. ICS CAS, 2020 [ASEP]
- V-1276: Globální implicitní funkce. ICS CAS, 2020 [ASEP]
- V-1275: 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: Sort Program for Real Keys with Linear Time Complexity. ICS CAS, 2019 [ASEP]
- V-1271: Generalization of a Theorem on Eigenvalues of Symmetric Matrices. ICS CAS, 2019 [ASEP]
- V-1270: A Logical Characteristic of Read-Once Branching Programs. ICS CAS, 2019 [ASEP]
- V-1269: Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství. ICS CAS, 2019 [ASEP]
- V-1268: Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix?. ICS CAS, 2019 [ASEP]
- V-1266: Absolute Value Mapping. ICS CAS, 2019 [ASEP]
- V-1265: Overdetermined Absolute Value Equations. ICS CAS, 2019 [ASEP]
- V-1264: The scalar-valued score functions of continuous probability distribution. ICS CAS, 2019 [ASEP]
- V-1263: Transforming hierarchical images to program expressions using deep networks. ICS CAS, 2018 [ASEP]
- V-1261: Popis TDD modelu verze 3.9. ICS CAS, 2018 [ASEP]
- V-1260: Stav předaných dat a úprava rozdělení vybraných měření 2018. ICS CAS, 2018 [ASEP]
- V-1259: Problems for Nonlinear Least Squares and Nonlinear Equations. ICS CAS, 2018 [ASEP]
- V-1258: Sparse Test Problems for Nonlinear Least Squares. ICS CAS, 2018 [ASEP]
- V-1257: Detailní simulace proudění, teplot a znečištění vzduchu pro oblast Praha-Dejvice. ICS CAS, 2018 [ASEP]
- V-1256: 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: Numerical solution of generalized minimax problems. ICS CAS, 2018 [ASEP]
- V-1254: Popis TDD modelu verze 3.8.. ICS CAS, 2017 [ASEP]
- V-1253: The IINC System under the ROOT Environment. ICS CAS, 2017 [ASEP]
- V-1252: UFO 2017. Interactive System for Universal Functional Optimization. ICS CAS, 2017 [ASEP]
- V-1251: Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript. ICS CAS, 2017 [ASEP]
- V-1250: Blind proxy voting. ICS CAS, 2017 [ASEP]
- V-1249: Stav předaných dat a úprava rozdělení vybraných měření 2017. ICS CAS, 2017 [ASEP]
- V-1248: Idempotents, Group Membership and their Applications. ICS CAS, 2017 [ASEP]
- V-1247: Semigroup Structure of Sets of Solutions to Equation X^s = X^m. ICS CAS, 2017 [ASEP]
- V-1246: Hybrid Methods for Nonlinear Least Squares Problems. ICS CAS, 2019 [ASEP]
- V-1245: A limited-memory optimization method using the infinitely many times repeated BNS update and conjugate directions. ICS CAS, 2018 [ASEP]
- V-1244: 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: On Nominal Automata as Models of Java-like Object-Oriented Programs. ICS CAS, 2016 [ASEP]
- V-1242: On Exact Heteroscedasticity Testing for Robust Regression. ICS CAS, 2016 [ASEP]
- V-1241: Robust Regularized Discriminant Analysis Based on Implicit Weighting. ICS CAS, 2016 [ASEP]
- V-1240: Popis TDD modelu verze 3.71. ICS CAS, 2016 [ASEP]
- V-1239: Interval Matrices: Regularity Yields Singularity. ICS CAS, 2016 [ASEP]
- V-1238: Real-valued Score Function, New Description of Continuous Random Variables and the Central Limit Theorem. ICS CAS, 2016 [ASEP]
- V-1237: Neural Networks Between Integer and Rational Weights. ICS CAS, 2016 [ASEP]
- V-1236: Cut Languages in Rational Bases. ICS CAS, 2016 [ASEP]
- V-1235: Report on the Last Work by Dr. Erich Nuding. ICS CAS, 2016 [ASEP]
- V-1234: Stav předaných dat a úprava rozdělení vybraných měření 2016. ICS CAS, 2016 [ASEP]
- V-1233: New Quasi-Newton Method for Solving Systems of Nonlinear Equations. ICS CAS, 2016 [ASEP]
- V-1232: A Block Version of the BNS Limited-Memory Variable Metric Method for Unconstrained Minimization. ICS CAS, 2016 [ASEP]
- V-1231: Nondeterministic Computations for Which Space is More Powerful than Time. ICS CAS, 2016 [ASEP]
- V-1230: Discerning Two Words by a Minimum Size Automaton. ICS CAS, 2016 [ASEP]
- V-1229: Detection of Differential Item Functioning with Non-Linear Regression: Non-IRT Approach Accounting for Guessing. ICS CAS, 2016 [ASEP]
- V-1228: Maximum Likelihood Estimation of Diagonal Covariance Matrix. ICS CAS, 2016 [ASEP]
- V-1227: Probabilistic learning model PAC - lecture notes. ICS CAS, 2015 [ASEP]
- V-1226: 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: IINC Software. ICS AS CR, 2015 [ASEP]
- V-1224: 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: The Distribution Mapping Functions. ICS AS CR, 2015 [ASEP]
- V-1220: Measures for Classification Results Evaluation. ICS AS CR, 2015 [ASEP]
- V-1219: Causation Entropy Principle and Bayesian Inference to Causal Networks. ICS AS CR, 2015 [ASEP]
- LINE-2024: Souhrnná zpráva projektu LINE za rok 2024. ICS CAS, 2023 [ASEP]
- LINE-2023: Souhrnná zpráva projektu LINE za rok 2023. ICS CAS, 2023 [ASEP]
- egusphere-2024-1222: Measurement report: TURBAN observation campaign combining street-level low-cost air quality sensors and meteorological profile measurements in Prague. EGU, 2024 [DOI] [ASEP]
- 4822006: On the Suitability of Dispersion Models of Varying Degree of Complexity for Air Quality Assessment and Urban Planning. Social Science Research Network, 2024 [DOI] [ASEP]
- 2024-1231: Challenges of high-fidelity air quality modeling in urban environments – PALM sensitivity study during stable conditions. Europen Geosciences Union, 2024 [ASEP]
- 11093034: Interpretative output for public authorities for Prague (TURBAN-D08). Zenodo, 2024 [DOI] [ASEP]
- 4763050: A Bayesian Model for Age at Death with Cohort Effects. Social Science Research Network, 2024 [DOI] [ASEP]
- UU-PCS-2024-01: Artificial Intelligence as a Pathway to Our Future. Utrecht University, 2024 [ASEP]
- UU-PCS-2023-01: From Knowledge to Wisdom: The Power of Large Language Models in AI. Utrecht University, 2023 [ASEP]
- SS02030031-V95: DC 5.3 Odhady kovariancí odhadnutého pole koncentrací. ICS CAS, 2023 [ASEP]
- : Causality Preserving Chaotic Transformation and Classification using Neurochaos Learning. OpenReview.net, 2022 [ASEP]
- PR-1: Tisková zpráva - měření tepelného komfortu. ICS CAS, 2022 [ASEP]
- 2021.05.13.21257139: Model-M: An agent-based epidemic model of a middle-sized municipality. , 2022 [DOI] [ASEP]
- ENV/2021/118018 / SS02030031-V94: DC 5.3 Základní statistický model velkého měřítka. ICS CAS, 2021 [ASEP]
- gmd-2020-94: Importance of radiative transfer processes in urban climate models: A study based on the PALM model system 6.0. EGU, 2021 [DOI] [ASEP]
- gmd-2020-126: Sensitivity analysis of the PALM model system 6.0 in the urban environment. European Geosciences Union, 2020 [DOI] [ASEP]
- gmd-2020-168: Radiative Transfer Model 3.0 integrated into the PALM model system 6.0. European Geosciences Union, 2021 [DOI] [ASEP]
- 2021.02.18.431886: neurolib: a simulation framework for whole-brain neural mass modeling. , 2021 [DOI] [ASEP]
- 2021.08.29.458101: Cross-frequency slow oscillation–spindle coupling in a biophysically realistic thalamocortical neural mass model. , 2021 [DOI] [ASEP]
- : City simulation software for modeling, planning, and strategic assessment of territorial city units. CTU & ICS CAS, 2021 [ASEP]
- UU-PCS-2021-01: Autonomous Vehicles that Cooperate and Understand. Utrecht University, 2021 [ASEP]
- 2020.12.02.407965: Perturbations both trigger and delay seizures due to generic properties of slow-fast relaxation oscillators. Cold Spring Harbor Laboratory, 2020 [DOI] [ASEP]
- UU-PCS-2020-02: Towards minimally conscious cyber-physical systems - A design philosophy. Utrecht University, 2020 [ASEP]
- UU-PCS-2020-01: Towards minimally conscious finite-state controlled cyber-physical systems - A manifesto. Utrecht University, 2020 [ASEP]
- 2019.12.19.876508: Estimating Sparse Neuronal Signal from Hemodynamic Response: the Mixture Components Inference Approach. Cold Spring Harbor Laboratory, 2019 [DOI] [ASEP]
- gmd-2020-175: 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: Understanding Computation. A General Theory of Computational Processes. Utrecht University, 2019 [ASEP]
- gmd-2019-287: A Multiphase CMAQ Version 5.0 Adjoint. EGU, 2019 [DOI] [ASEP]
- TR19-150: A Logical Characteristic of Read-Once Branching Programs. , 2019 [ASEP]
- : Interaction of Hippocampal Ripples and Cortical Slow Waves Leads to Coordinated Large-Scale Sleep Rhythm. bioArxiv.org, 2019 [DOI] [ASEP]
- : Analýza zranitelnosti hl.m. Prahy vůči dopadům změny klimatu. Hlavní město Praha, 2017 [ASEP]
- LSS 433/15: 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: Question Answering and Cognitive Automata with Background Intelligence. Utrecht University, 2016 [ASEP]
- WP #2015?7: Improving Teacher Selection: The Effect of Inter-Rater Reliability in the Screening Process. CEDR University of Washington Bothell, 2015 [ASEP]
- TR15-029: Inherent Logic and Complexity. , 2015 [ASEP]
