| Ústav informatiky AV ČR

Ústav informatiky
Akademie věd České republiky

"Počítač umožňuje provádět více chyb rychleji, než jakýkoli jiný vynález, s možnou výjimkou ručních zbraní a Tequily." - M. Ratcliffe

Knihovna

Výzkumné zprávy 2010 –

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-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-1215:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2013/2014.
Prague : ICS AS CR, 2014. 8 s.
V-1214:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Popis modelu TDD, verze 3.5.
Prague : ICS AS CR, 2014. 28 s.
V-1213:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt GAMMA – Analýza trendu ve spotřebě.
Prague : ICS AS CR, 2014. 28 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.
V-1199:
Jiřina, Marcel.
IINC classifier for MS Excel. The principle, method and Program.
Prague : ICS AS CR, 2014. 9 s.
V-1198:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2012/2013.
Prague : ICS AS CR, 2013. 7 s.
V-1197:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Popis modelu TDD, verze 3.4.
Prague : ICS AS CR, 2013. 26 s.
V-1196:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt TDD-ČR: Stav předaných dat a úprava rozdělení vybraných měření – rok 2013.
Prague : ICS AS CR, 2013. 15 s.
V-1195:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Predikce celkové roční spotřeby domácností a maloodběratelů podle ceníkových pásem.
Prague : ICS AS CR, 2013. 42 s.
V-1194:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2011/2012.
Prague : ICS AS CR, 2012. 7 s.
V-1193:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Popis modelu TDD, verze 3.3.
Prague : ICS AS CR, 2012. 26 s.
V-1192:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt GAMMA – Přehled činností za období říjen – prosinec 2012.
Prague : ICS AS CR, 2012. 13 s.
V-1191:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Matonoha, Ctirad – Hartman, J.
UFO 2013 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2014. 310 s.
V-1190:
Knihovna Ústavu informatiky AV ČR, v. v. i. Soupis publikovaných prací paní RNDr. Věry Kůrkové, DrSc. zpracovaný v listopadu 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti životního jubilea autorky.
Prague : ICS AS CR, 2013. 80 s.
V-1189:
Fabián, Zdeněk. Score function of distribution and revival of the moment method. Final version.
Prague : ICS AS CR, 2013. 27 s.
V-1188:
Kalina, Jan. Robust Template Matching.
Prague : ICS AS CR, 2013. 12 s.
V-1187:
Kůrková, Věra.
Representations of Highly-Varying Functions by One-Hidden-Layer Networks.
Prague : ICS AS CR, 2013. 10 s.
V-1186:
Běhounek, Libor. Fuzzied linear orderings, fuzzy maxima and minima.
Prague : ICS AS CR, 2014. 16 s.
V-1185:
Rohn, Jiří. A Triple Sufficient Condition for Regularity of Interval Matrices.
Prague : ICS AS CR, 2013. 6 s.
V-1184:
Rohn, Jiří. A Bendixson-Type Theorem for Eigenvalues of Interval Matrices.
Prague : ICS AS CR, 2013. 3 s.
V-1183:
Nedoma, Jiří.
Propagation of elastic waves in fractured media under a self-gravity field.
Prague : ICS AS CR, 2013. 21 s.
V-1182:
Fabián, Zdeněk. Correlation and heavy-tails.
Prague : ICS AS CR, 2013. 14 s.
V-1181:
Knihovna Ústavu informatiky AV ČR, v. v. i. Soupis publikovaných prací pana prof. Ing. Ladislava Lukšana, DrSc. zpracovaný ke dni 14. září 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 70 narozenin autora.
Prague : ICS AS CR, 2013. 59 s.
V-1180:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací pana prof. RNDr. Jiřího Wiedermanna, DrSc. zpracovaný ke dni 24. dubna 2013 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 65. narozenin autora.
Prague : ICS AS CR, 2013. 38 s.
V-1179:
Daniel, Milan. Steps Towards a Conflicting Part of a Belief Function.
Prague : ICS AS CR, 2013. 20 s.
V-1178:
Nedoma, Jiří. Models of Bone Cancers – Part I. Mathematical Models of Cancers. An Introduction.
Prague : ICS AS CR, 2013. 28 s.
V-1177:
Lukšan, Ladislav – Vlček, Jan. Efficient tridiagonal preconditioner for the matrix-free truncated Newton method.
Prague : ICS AS CR, 2013. 18 s.
V-1176:
Fabián, Zdeněk. Score Function of Distribution and Revival of the Moment Method.
Prague : ICS AS CR, 2012. 18 s.
V-1175:
Savický, Petr. Partitions of the Boolean cube with a vertex-transitive automorphism group.
Prague : ICS AS CR, 2012. 15 s.
V-1174:
Kůrková, Věra – Kainen, P.C. Fixed and Variable-Width Gaussian Networks.
Prague : ICS AS CR, 2012. 5 s.
V-1173:
Petrů, L. ; Wiedermann, Jiří. Flying Amorphous Computer: A Robust Model.
Prague : ICS AS CR, 2012. 14 s.
V-1172:
Coufal, David – Neruda, Roman.
Neural and Fuzzy Modelling of Hydrological Data.
Prague : ICS AS CR, 2012. 51 s.
V-1171:
Žák, Stanislav. A Lower Bound Method for Branching Programs and Its Application.
Prague : ICS AS CR, 2012. 19 s.
V-1170:
Kessl, Robert. Methods for parallel mining of frequent itemsets.
Prague : ICS AS CR, 2012. 35 s.
V-1169:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt GAMMA – Přehled činností za období červenec – srpen 2012.
Prague : ICS AS CR, 2012. 10 s.
V-1168:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil.
Projekt GAMMA – Přehled činností za období duben – červen 2012.
Prague : ICS AS CR, 2012. 20 s.
V-1167:
Nedoma, Jiří. The Primal-Dual Active Set (PDAS) Method for Dynamic Variational Inequalities Arising from the Fractured Bone Neoplasm Models.
Prague : ICS AS CR, 2012. 23 s.
V-1166:
Nedoma, Jiří. Mathematical models of odontogenic cysts and of fractures of jaw-bones. An introductory study.
Prague : ICS AS CR, 2012. 41 s.
V-1165:
Knihovna Ústavu informatiky AV ČR, v. v. i.
Soupis publikovaných prací pana prof. RNDr. Jiřího Rohna, DrSc. zpracovaný ke dni 19. června 2012 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 65. narozenin autora a doplněný citačním ohlasem a scientometrickými a statistickými daty.
Prague : ICS AS CR, 2012. 39 s.
V-1164:
Rohn, Jiří. A Manual of Results on Interval Linear Problems. Dedicated to my grandchildren Matthias, William and Beata, and also to those who might yet come. 10.08.2004 / 11.02.2005 / 05.07.2012.
Prague : ICS AS CR, 2012. 307 s.
V-1163:
Rohn, Jiří. A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012.
Prague : ICS AS CR, 2012. 75 s.
V-1162:
Kramosil, Ivan.
Some results on set-valued possibilistic distributions.
Prague : ICS AS CR, 2012. 14 s.
V-1160:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt GAMMA – Přehled činností za období leden – březen 2012.
Prague : ICS AS CR, 2012. 12 s.
V-1159:
Rohn, Jiří. (Z; z)-Solutions.
Prague : ICS AS CR, 2012. 3 s.
V-1158:
Rohn, Jiří. Theoretical Characterization of Enclosures.
Prague : ICS AS CR, 2012. 4 s.
V-1157:
Rohn, Jiří. Compact Form of the Hansen-Bliek-Rohn Enclosure.
Prague : ICS AS CR, 2012. 8 s.
V-1156:
Rohn, Jiří.
Verification of linear (in)dependence in finite precision arithmetic.
Prague : ICS AS CR, 2012. 8 s.
V-1155:
Rohn, Jiří. A New Characterization of the Maximum Cut in a Graph. Dedicated to the memory of the Tibetan meditation master Geshe1 Langri Tangpa (1054-1123), author of the „Eight verses for training the mind“.
Prague : ICS AS CR, 2012. 3 s.
V-1154:
Rohn, Jiří. Calculus Digest.
Prague : ICS AS CR, 2012. 26 s.
V-1153:
Robnik-Šikonja, M – Savický, Petr. Trends in random forests parameters for classi cation of imbalanced data.
Prague : ICS AS CR, 2012. 11 s.
V-1152:
Lukšan, Ladislav.
Numerické optimalizační metody. Nepodmíněná minimalizace.
Prague : ICS AS CR, 2011. 420 s.
V-1151:
Lukšan, Ladislav – Tůma, Miroslav – Vlček, Jan – Ramešová, Nina – Šiška, M – Hartman, J – Matonoha, Ctirad. UFO 2011 Interactive System for Universal Functional Optimization.
Prague : ICS AS CR, 2011. 299 s.
V-1150:
Rohn, Jiří. An Algorithm for Solving the P-Matrix Problem.
Prague : ICS AS CR, 2012. 9 s.
V-1149:
Rohn, Jiří. An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1.
Prague : ICS AS CR, 2012. 8 s.
V-1148:
Hájek, Petr.
What is graded fuzzy logic?.
Prague : ICS AS CR, 2012. 3 s.
V-1147:
Hooshyarbakhsh, V – Farhadsefat, R – Rohn, Jiří. A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices.
Prague : ICS AS CR, 2012. 3 s.
V-1146:
Běhounek, Libor – Bodenhofer, U – Cintula, Petr – Saminger-Platz, S – Sarkoci, P. Graded dominance and related graded properties of fuzzy connectives.
Prague : ICS AS CR, 2011. 19 s.
V-1145:
Hooshyarbakhsh, V – Lotfi, T – Farhadsefat, R – Rohn, Jiří. An Iterative Method for Solving Absolute Value Equations.
Prague : ICS AS CR, 2012. 7 s.
V-1144:
Rohn, Jiří.
Verified Singular Value Decomposition.
Prague : ICS AS CR, 2012. 4 s.
V-1143:
Rohn, Jiří. Verified Eigendecomposition.
Prague : ICS AS CR, 2012. 5 s.
V-1142:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt GAMMA – Přehled činností za období říjen – prosinec 2011.
Prague : ICS AS CR, 2012. 5 s.
V-1141:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil. Projekt GAMMA – Přehled činností za období červenec – září 2011.
Prague : ICS AS CR, 2011. 12 s.
V-1140:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období duben – červen 2011.
Prague : ICS AS CR, 2011. 15 s.
V-1139:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Projekt GAMMA – Přehled činností za období leden – březen 2011.
Prague : ICS AS CR, 2011. 11 s.
V-1138:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Metodika vyhodnocení přesnosti modelu TDD.
Prague : ICS AS CR, 2011. 8 s.
V-1137:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Popis modelu TDD, verze 3.2.
Prague : ICS AS CR, 2011. 31 s.
V-1136:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Popis modelu TDD, verze 3.1.
Prague : ICS AS CR, 2010. 54 s.
V-1135:
Konár, Ondřej – Brabec, Marek – Kasanický, Ivan – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Projekt GAMMA – Přehled činností za období říjen – prosinec 2010.
Prague : ICS AS CR, 2010. 17 s.
V-1134:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Projekt GAMMA – Přehled činností za období červenec – září 2010.
Prague : ICS AS CR, 2010. 18 s.
V-1133:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Projekt GAMMA – Přehled činností za období duben – červen 2010.
Prague : ICS AS CR, 2010. 20 s.
V-1132:
Konár, Ondřej – Brabec, Tomáš – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří.
Projekt GAMMA – Přehled činností za období leden – březen 2010.
Prague : ICS AS CR, 2010. 18 s.
V-1131:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Zdůvodnění změny počtu tříd TDD v roce 2011.
Prague : ICS AS CR, 2010. 3 s.
V-1130:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Metodika použití TDD provozovatelem distribuční soustavy pro rok 2011.
Prague : ICS AS CR, 2010. 5 s.
V-1129:
Konár, Ondřej – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Transformace metodiky použití TDD dle požadavků OTE.
Prague : ICS AS CR, 2010. 6 s.
V-1128:
Konár, Ondřej – Brabec, Tomáš – Brabec, Marek – Malý, Marek – Pelikán, Emil – Vondráček, Jiří. Metodika rozpočtu známé spotřeby modelem TDD.
Prague : ICS AS CR, 2010. 6 s.
V-1127:
Vlček, Jan – Lukšan, Ladislav. Modifications of the limited-memory BNS method for better satisfaction of previous quasi-Newton conditions.
Prague : ICS AS CR, 2011. 14 s.
V-1126:
Jiřina, Marcel – Hakl, František. Volatility of selected separators/classifiers wrt. data sets from field of particle physics.
Prague : ICS AS CR, 2011. 10 s.
V-1125:
Šíma, Jiří. Gradient Learning in Networks of Smoothly Spiking Neurons with an Additional Penalty Term.
Prague : ICS AS CR, 2011. 13 s.
V-1124:
Pelikán, Emil – Juruš, Pavel – Musílek, P – Brabec, Marek – Krč, Pavel – Paluš, Milan – Vejmelka, Martin.
Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions.
Prague : ICS AS CR, 2011. 11 s.
V-1123:
Papáček, Š – Kaňa, Radek – Matonoha, Ctirad. Estimation of Diffusivity of Phycobilisomes on Thylakoid Membrane based on spatio-temporal FRAP images.
Prague : ICS AS CR, 2011. 9 s.
V-1122:
Farhadsefat, R – Rohn, Jiří – Lotfi, T. Norms of Interval Matrices.
Prague : ICS AS CR, 2011. 12 s.
V-1121:
Rohn, Jiří. Verified Solutions of Linear Equations.
Prague : ICS AS CR, 2011. 9 s.
V-1120:
Vlček, Jan – Lukšan, Ladislav.
A conjugate directions approach to improve the limited-memory BFGS method.
Prague : ICS AS CR, 2011. 13 s.
V-1119:
Rohn, Jiří. VERSOFT: Examples.
Prague : ICS AS CR, 2011. 12 s.
V-1118:
Rohn, Jiří. VERSOFT: Guide.
Prague : ICS AS CR, 2011. 6 s.
V-1117:
Rohn, Jiří. INTLAB Primer.
Prague : ICS AS CR, 2011. 9 s.
V-1116:
Farhadsefat, R – Lotfi, T – Rohn, Jiří. A New Sufficient Condition for Regularity of Interval Matrices.
Prague : ICS AS CR, 2011. 9 s.
V-1115:
Húsek, Dušan – Frolov, A. A – Polyakov, P.
Hybrid Method of Boolean Factor Analysis.
Prague : ICS AS CR, 2011. 23 s.
V-1114:
Matonoha, Ctirad – Papáček, Š – Štys, D. Model of Photosynthesis and Photoinhibition in Microalgae: A Singularly Perturbed Problem.
Prague : ICS AS CR, 2010. 11 s.
V-1113:
Papáček, Š – Štumbauer, V – Štys, D – Petera, K – Matonoha, Ctirad. Growth impact of hydrodynamic dispersion in Couette-Taylor bioreactor.
Prague : ICS AS CR, 2010. 7 s.
V-1112:
Papáček, Š – Matonoha, Ctirad – Štumbauer, V – Štys, D. Modelling and simulation of photosynthetic microorganism growth: Random walk vs. Finite difference method.
Prague : ICS AS CR, 2010. 15 s.
V-1111:
Rohn, Jiří. Disproving the P-Matrix Property.
Prague : ICS AS CR, 2011. 7 s.
V-1110:
Knihovna Ústavu informatiky AV ČR, v. v. i. Soupis publikovaných prací pana prof. RNDr. Miroslava Fiedlera, DrSc. zpracovaný ke dni 7. dubna 2011 knihovnou Ústavu informatiky AV ČR, v. v. i. k příležitosti 85. narozenin autora a doplněný citačním ohlasem a scientometrickými a statistickými daty.
Prague : ICS AS CR, 2011. 42 s.
V-1109:
Húsek, Dušan – Frolov, A. A – Polyakov, P. Two new EM-Methods for Boolean Factor Analysis.
Prague : ICS AS CR, 2011. 33 s.
V-1107:
Rohn, Jiří.
An Algorithm for Solving the Absolute Value Inequality.
Prague : ICS AS CR, 2011. 7 s.
V-1106:
Rohn, Jiří. Every Two Square Matrices of the Same Size Have Some Solution in Common.
Prague : ICS AS CR, 2011. 4 s.
V-1105:
Rohn, Jiří. An Algorithm for Solving Basic Interval Linear Problems.
Prague : ICS AS CR, 2011. 6 s.
V-1104:
Rohn, Jiří. The Hansen-Bliek Optimality Result as a Consequence of the General Theory.
Prague : ICS AS CR, 2011. 5 s.
V-1103:
Rohn, Jiří. A Perturbation Theorem for Linear Equations.
Prague : ICS AS CR, 2011. 2 s.

MEDARD - předpověď počasí

Předpověď počasí a čistoty ovzduší pro Evropu a Českou Republiku. Projekt je vyvíjen Ústavem informatiky AV ČR od r. 2002.

Jádrem systému je numerický předpovědní model počasí MM5 (PSU/NCAR) konfigurovaný pro Českou republiku. Pro modelování kvality ovzduší používáme chemický transportní model CAMx (ENVIRON Corp.). Jakákoliv redistribuce či komerční využívání těchto informací a předpovědí nejsou dovoleny.

Více info

KONTAKT

Pod Vodárenskou věží 271/2
182 07 Praha 8

Telefon (+420) 266 052 083
Fax (+420) 286 585 789

E-mail: ics@cs.cas.cz

BLOG Ústavu informatiky
http://zatisi.cs.cas.cz

intranet | IT služby