Institute of Computer Science of the CAS, v. v. i.

ASEP Publications

Select all / Display all / Unmark

Records found: 241

0476437 - ÚI 2018 RIV CZ eng C - Proceedings Paper (International conf.)
Vlček, Jan - Lukšan, Ladislav
A Generalized Limited-Memory BNS Method Based on the Block BFGS Update.
Programs and algorithms of numerical mathematics 18. Prague: Institute of Mathematics CAS, 2017 - (Chleboun, J.; Kůs, P.; Přikryl, P.; Segeth, K.; Šístek, J.; Vejchodský, T.), s. 164-171. ISBN 978-80-85823-67-7.
[Programs and Algorithms of Numerical Mathematics /18./. Janov nad Nisou (CZ), 19.06.2016-24.06.2016]
R&D Projects: GA ČR GA13-06684S
Institutional Support: RVO:67985807
Keywords: unconstrained minimization * block variable metric methods * limited-memory methods * the BFGS update * global convergence * numerical results
Subject RIV: BA - General Mathematics
Obor OECD: Applied mathematics
http://dml.cz/handle/10338.dmlcz/703010
Permanent link: http://hdl.handle.net/11104/0272937

0476436 - ÚI 2018 RIV CZ eng C - Proceedings Paper (International conf.)
Matonoha, Ctirad - Papáček, Š. - Kindermann, S.
On the Optimization of Initial Conditions for a Model Parameter Estimation.
Programs and algorithms of numerical mathematics 18. Prague: Institute of Mathematics CAS, 2017 - (Chleboun, J.; Kůs, P.; Přikryl, P.; Segeth, K.; Šístek, J.; Vejchodský, T.), s. 73-80. ISBN 978-80-85823-67-7.
[Programs and Algorithms of Numerical Mathematics /18./. Janov nad Nisou (CZ), 19.06.2016-24.06.2016]
GA MŠk(CZ) ED2.1.00/01.0024; GA MŠk(CZ) LO1205
Institutional Support: RVO:67985807
Keywords: FRAP * sensitivity analysis * optimal experimental design * parameter estimation * finite differences
Subject RIV: BA - General Mathematics
Obor OECD: Applied mathematics
http://hdl.handle.net/10338.dmlcz/703000
Permanent link: http://hdl.handle.net/11104/0272938

0476493 - ÚI 2018 RIV GB eng C - Proceedings Paper (International conf.)
Sedlár, Igor
Non-Classical PDL on the Cheap.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 239-255. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Institutional Support: RVO:67985807
Keywords: DeMorgan negation * epistemic planning * formal verification * propositional dynamic logic
Subject RIV: BA - General Mathematics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0272980

0476509 - ÚI 2018 RIV CH eng C - Proceedings Paper (International conf.)
Kůrková, Věra
Sparsity of Shallow Networks Representing Finite Mappings.
EANN 2017. Cham: Springer, 2017 - (Boracchi, G.; Iliadis, L.; Jayne, C.; Likas, A.), s. 337-348. Communications in Computer and Information Science, 744. ISBN 978-3-319-65171-2. ISSN 1865-0929.
[EANN 2017. International Conference /18./. Athens (GR), 25.08.2017-27.08.2017]
R&D Projects: GA ČR GA15-18108S
Institutional Support: RVO:67985807
Keywords: shallow networks * finite mappings * sparsity * model complexity * concentration of measure * signum perceptrons
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0272989

0476538 - ÚI 2018 RIV CH eng C - Proceedings Paper (International conf.)
Peštová, Barbora - Pešta, M.
Ratio Tests of a Change in Panel Means with Small Fixed Panel Size.
Advances in Time Series Analysis and Forecasting. Cham: Springer, 2017 - (Rojas, I.; Pomares, H.; Valenzuela, O.), s. 223-240. Contributions to Statistics. ISBN 978-3-319-55788-5. ISSN 1431-1968.
[ITISE 2016. International Work-Conference on Time Series. Granada (ES), 27.06.2016-29.06.2016]
R&D Projects: GA ČR(CZ) GBP402/12/G097
Institutional Support: RVO:67985807
Keywords: change point * panel data * change in mean * hypothesis testing * structural change * fixed panel size * short panels * ratio type statistics
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Permanent link: http://hdl.handle.net/11104/0273018

0477041 - ÚI 2018 RIV US eng C - Proceedings Paper (International conf.)
Pilát, M. - Neruda, Roman
Parallel Evolutionary Algorithm with Interleaving Generations.
GECCO 2017. Proceedings of the 2017 Genetic and Evolutionary Computation Conference. New York: ACM, 2017, s. 865-872. ISBN 978-1-4503-4920-8.
[GECCO 2017. Genetic and Evolutionary Computation Conference. Berlin (DE), 15.07.2017-19.07.2017]
R&D Projects: GA ČR GA15-19877S
Institutional Support: RVO:67985807
Keywords: evolutionary algorithms * parallelization * evaluation-time bias * complex optimization * interleaving generations
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0273439

Citation, Review▾
Citation:
LAVINAS, Y. - ARANHA, C. - SAKURAI, T. - LADEIRA, M. Experimental Analysis of the Tournament Size on Genetic Algorithms. 2018 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC). ISSN 1062-922X, 2018, p. 3647-3653.

0477257 - ÚI 2018 RIV AT eng C - Proceedings Paper (International conf.)
Wiedermann, Jiří - van Leeuwen, J.
Non-Classical Turing Machines: Extending the Notion of Computation.
Ninth Workshop on Non-Classical Models of Automata and Applications. Wien: Österreichische Computer Gesellschaft, 2017 - (Freund, R.; Mráz, F.; Průša, D.), s. 29-40. ISBN 978-3-903035-18-8.
[NCMA 2017. Workshop on Non-Classical Models of Automata and Applications /9./. Prague (CZ), 17.08.2017-18.08.2017]
GA ČR(CZ) GA15-04960S
Institutional Support: RVO:67985807
Keywords: Turing machines * interaction * evolution * non-uniformity * interactive Turing machines with advice * red-green Turing machines * relativistic Turing machines
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0273640

Citation, Review▾
Citation:
NAGY, B. - VALYI, S. An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines. MACHINES, COMPUTATIONS, AND UNIVERSALITY, MCU 2018. ISSN 0302-9743, 2018, vol. 10881, p. 137-152.

0477273 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Brabec, Marek - Eben, Kryštof - Pelikán, Emil - Krč, Pavel - Resler, Jaroslav - Juruš, Pavel
Statistical Modeling for Improvement of Numerical-Model-Based Solar Radiation Forecasts.
Proceedings of the Third International Afro-European Conference for Industrial Advancement - AECIA 2016. Cham: Springer, 2018 - (Abraham, A.; Haqiq, A.; Ella Hassanien, A.; Snášel, V.; Alimi, A.), s. 248-257. Advances in Intelligent Systems and Computing, 565. ISBN 978-3-319-60833-4. ISSN 2194-5357.
[AECIA 2016. International Afro-European Conference for Industrial Advancement /3./. Marrakesh (MA), 21.11.2016-26.11.2016]
R&D Projects: GA ČR GA13-34856S
Institutional Support: RVO:67985807
Keywords: generalized additive model * numerical weather forecast model * global solar radiation * calibration * semiparametric modeling
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
https://link.springer.com/chapter/10.1007/978-3-319-60834-1_26
Permanent link: http://hdl.handle.net/11104/0273655

0477762 - ÚI 2018 RIV US eng C - Proceedings Paper (International conf.)
Pitra, Z. - Bajer, L. - Repický, J. - Holeňa, Martin
Overview of Surrogate-model Versions of Covariance Matrix Adaptation Evolution Strategy.
GECCO 2017. Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: ACM, 2017, s. 1622-1629. ISBN 978-1-4503-4939-0.
[GECCO 2017. Genetic and Evolutionary Computation Conference. Berlin (DE), 15.07.2017-19.07.2017]
R&D Projects: GA ČR GA17-01251S
GA MŠk(CZ) LO1611; ČVUT(CZ) SGS17/193/OHK4/3T/14; GA MŠk(CZ) LM2010005
Institutional Support: RVO:67985807
Keywords: black-box optimization * evolutionary optimization * surrogate modelling
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0274009

Citation, Review▾
Citation:
HUANG, C.W. - RADI, B. - EL HAMI, A. - BAI, H. CMA evolution strategy assisted by kriging model and approximate ranking. APPLIED INTELLIGENCE. ISSN 0924-669X, NOV 2018, vol. 48, no. 11, p. 4288-4304.
KAYHANI, A. - ARNOLD, D.V. Design of a Surrogate Model Assisted (1+1)-ES. PARALLEL PROBLEM SOLVING FROM NATURE - PPSN XV, PT I. ISSN 0302-9743, 2018, vol. 11101, p. 16-28.

0477789 - ÚI 2018 RIV US eng C - Proceedings Paper (International conf.)
Pitra, Z. - Bajer, L. - Repický, J. - Holeňa, Martin
Comparison of Ordinal and Metric Gaussian Process Regression as Surrogate Models for CMA Evolution Strategy.
GECCO 2017. Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: ACM, 2017, s. 1764-1771. ISBN 978-1-4503-4939-0.
[GECCO 2017. Genetic and Evolutionary Computation Conference. Berlin (DE), 15.07.2017-19.07.2017]
R&D Projects: GA ČR GA17-01251S
GA MŠk(CZ) LO1611; ČVUT(CZ) SGS17/193/OHK4/3T/14; GA MŠk(CZ) LM2010005
Institutional Support: RVO:67985807
Keywords: black-box optimization * evolutionary optimization * surrogate modelling * Gaussian-process regression
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0274013

Citation, Review▾
Citation:
MOLINA, D. - LATORRE, A. - HERRERA, F. An Insight into Bio-inspired and Evolutionary Algorithms for Global Optimization: Review, Analysis, and Lessons Learnt over a Decade of Competitions. COGNITIVE COMPUTATION. ISSN 1866-9956, AUG 2018, vol. 10, no. 4, p. 517-544.

0477799 - ÚI 2018 RIV DE eng C - Proceedings Paper (International conf.)
Dropka, N. - Holeňa, Martin - Frank-Rotsch, C.
TMF Otimization in VGF Crystal Growth of GaAs by Artificial Neural Networks and Gaussian Process Models.
Electrotechnologies for Material Processing. Hannover: Vulkan, 2017 - (Baake, E.; Nacke, B.), s. 203-208. ISBN 978-3-80273-095-5.
[International UIE-Congress on Electrotechnologies for Material Processing /18./. Hannover (DE), 06.06.2017-09.06.2017]
R&D Projects: GA ČR GA17-01251S
Institutional Support: RVO:67985807
Keywords: crystal growth * travelling magnetic field * artificial neural networks * multilayer perceptron * Gaussian process
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Condensed matter physics (including formerly solid state physics, supercond.)
Permanent link: http://hdl.handle.net/11104/0274019

0477854 - ÚI 2018 RIV DE eng C - Proceedings Paper (International conf.)
Cintula, Petr - Noguera, Carles - Smith, N.J.J.
A Logical Framework for Graded Predicates.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 3-16. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
R&D Projects: GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807 ; RVO:67985556
Keywords: graded predicates * vagueness * mathematical fuzzy logic
Subject RIV: BA - General Mathematics; BA - General Mathematics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Permanent link: http://hdl.handle.net/11104/0274074

0478496 - ÚI 2018 RIV PL eng C - Proceedings Paper (International conf.)
Vidnerová, Petra - Neruda, Roman
Evolving Keras Architectures for Sensor Data Analysis.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Warszawa: Polish Information Processing Society, 2017 - (Ganzha, M.; Maciaszek, L.; Paprzycki, M.), s. 109-112. Annals of Computer Science and Information Systems, 11. ISBN 978-83-946253-7-5. ISSN 2300-5963.
[FedCSIS 2017. Federated Conference on Computer Science and Information Systems. Prague (CZ), 03.09.2017-06.09.2017]
R&D Projects: GA ČR GA15-18108S
Institutional Support: RVO:67985807
Keywords: genetic algorithms * deep neural networks * air pollution prediction
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0274610

Citation, Review▾
Citation:
ZHANG, K.S. - CHUAI, G. - GAO, W.D. - LIU, X.W. - MAIMAITI, S. - SI, Z.W. A new method for traffic forecasting in urban wireless communication network. EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING. ISSN 1687-1472, MAR 15 2019.
YORDANOV, Y.E. - MLADENOV, V.M. Humanoid Robot Detecting Animals via Neural Network. 2018 14TH SYMPOSIUM ON NEURAL NETWORKS AND APPLICATIONS (NEUREL). 2018.
PADMALATHA, E. - SEKHAR, K.A.S. - MUDIAM, D.R.R. Real Time Analysis of Crowd Behaviour for Automatic and Accurate Surveillance. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS. ISSN 2158-107X, MAR 2019, vol. 10, no. 3, p. 492-496.

0478548 - ÚI 2018 RIV PL eng C - Proceedings Paper (International conf.)
Pulc, P. - Holeňa, Martin
Towards Real-time Motion Estimation in High-Definition Video Based on Points of Interest.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Warszawa: Polish Information Processing Society, 2017 - (Ganzha, M.; Maciaszek, L.; Paprzycki, M.), s. 67-70. Annals of Computer Science and Information Systems, 11. ISBN 978-83-946253-7-5. ISSN 2300-5963.
[FedCSIS 2017. Federated Conference on Computer Science and Information Systems. Prague (CZ), 03.09.2017-06.09.2017]
R&D Projects: GA ČR GA17-01251S
Institutional Support: RVO:67985807
Keywords: motion estimation * visual descriptor * ORB * FLANN * video processing
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0274643

0478625 - ÚI 2018 RIV DE eng C - Proceedings Paper (International conf.)
Kůrková, Věra
Bounds on Sparsity of One-Hidden-Layer Perceptron Networks.
Proceedings ITAT 2017: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2017 - (Hlaváčová, J.), s. 100-105. CEUR Workshop Proceedings, V-1885. ISBN 978-1974274741. ISSN 1613-0073.
[ITAT 2017. Conference on Theory and Practice of Information Technologies - Applications and Theory /17./. Martinské hole (SK), 22.09.2017-26.09.2017]
R&D Projects: GA ČR GA15-18108S
Institutional Support: RVO:67985807
Keywords: shallow perceptron networks * sparse networks * pseudo-noise sequences * variational norm
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-1885/100.pdf
Permanent link: http://hdl.handle.net/11104/0274766

0478627 - ÚI 2018 RIV DE eng C - Proceedings Paper (International conf.)
Kopp, M. - Nikl, M. - Holeňa, Martin
Breaking CAPTCHAs with Convolutional Neural Networks.
Proceedings ITAT 2017: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2017 - (Hlaváčová, J.), s. 93-99. CEUR Workshop Proceedings, V-1885. ISBN 978-1974274741. ISSN 1613-0073.
[ITAT 2017. Conference on Theory and Practice of Information Technologies - Applications and Theory /17./. Martinské hole (SK), 22.09.2017-26.09.2017]
R&D Projects: GA ČR GA17-01251S
ČVUT(CZ) SGS17/210/OHK3/3T/18
Institutional Support: RVO:67985807
Keywords: CAPTCHA * convolutional neural network * network security * optical character recognition
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-1885/93.pdf
Permanent link: http://hdl.handle.net/11104/0274764

0478629 - ÚI 2018 RIV DE eng C - Proceedings Paper (International conf.)
Pitra, Zbyněk - Bajer, Lukáš - Repický, Jakub - Holeňa, Martin
Adaptive Doubly Trained Evolution Control for the Covariance Matrix Adaptation Evolution Strategy.
Proceedings ITAT 2017: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2017 - (Hlaváčová, J.), s. 120-128. CEUR Workshop Proceedings, V-1885. ISBN 978-1974274741. ISSN 1613-0073.
[ITAT 2017. Conference on Theory and Practice of Information Technologies - Applications and Theory /17./. Martinské hole (SK), 22.09.2017-26.09.2017]
R&D Projects: GA ČR GA17-01251S
ČVUT(CZ) SGS17/193/OHK4/3T/14; GA MŠk(CZ) LO1611; GA MŠk(CZ) LM2010005
Institutional Support: RVO:67985807
Keywords: black-box optimization * evolutionary optimization * surrogate modelling * Gaussian process * CMA-ES
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-1885/120.pdf
Permanent link: http://hdl.handle.net/11104/0274762

0478647 - ÚI 2018 RIV CZ cze C - Proceedings Paper (International conf.)
Resler, Jaroslav - Krč, Pavel - Belda, Michal - Juruš, Pavel - Benešová, N. - Vlček, O. - Damašková, D. - Eben, Kryštof - Derbek, P.
Modelové vyhodnocení urbanistických scénářů na kvalitu ovzduší a tepelný komfort v uliční síti.
[Modelling assessment of scenarios of urban development to air quality and thermal comfort at street level.]
OVZDUŠÍ 2017. Program a sborník konference. Brno: Masarykova univerzita, 2017 - (Růžičková, P.), s. 20-24. ISBN 978-80-210-8544-2.
[Ovzduší 2017. Brno (CZ), 10.04.2017-12.04.2017]
UrbanAdapt(XE) EHP-CZ02-OV-1-036-2015
CZ02 Biodiverzita a ekosystémové služby / Monitorování a integrované plánování a kontrola v životním prostředí/ Adaptace na změnu klimatu
Institutional Support: RVO:67985807
Keywords: USM * PALM * LES * UHI * air quality * development scenarios
Subject RIV: DG - Athmosphere Science, Meteorology
Obor OECD: Meteorology and atmospheric sciences
Permanent link: http://hdl.handle.net/11104/0274857

0478655 - ÚI 2018 RIV US eng C - Proceedings Paper (International conf.)
Petrík, Milan
On Generalized Mulholland Inequality and Dominance on Nilpotent Triangular Norms.
IFSA-SCIS 2017. Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems. Danvers: IEEE, 2017, č. článku 8023247. ISBN 978-1-5090-4917-2.
[IFSA-SCIS 2017. Joint World Congress of International Fuzzy Systems Association /17./ and International Conference on Soft Computing and Intelligent Systems /9./. Otsu (JP), 27.06.2017-30.06.2017]
R&D Projects: GA ČR GJ15-07724Y
Institutional Support: RVO:67985807
Keywords: continuous Archimedean triangular norm * dominance relation * functional inequality * generalized Mulholland inequality * transitivity
Subject RIV: BA - General Mathematics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0274769

0479378 - ÚI 2018 RIV CH eng C - Proceedings Paper (International conf.)
Neruda, Roman - Pilát, M. - Moudřík, J.
Unsupervised and Supervised Activity Analysis of Drone Sensor Data.
Applied Computer Sciences in Engineering. Cham: Springer, 2017 - (Figueroa-García, J.; López-Santana, E.; Villa-Ramírez, J.; Ferro-Escobar, R.), s. 3-11. Communications in Computer and Information Science, 742. ISBN 978-3-319-66962-5. ISSN 1865-0929.
[WEA 2017. Workshop on Engineering Applications /4./. Cartagena (CO), 27.09.2017-29.09.2017]
R&D Projects: GA ČR GA15-19877S
Institutional Support: RVO:67985807
Keywords: robotics * machine learning * sensor data * drones * robotika * strojové učení * senzorová data * drony
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Neruda, Roman
Permanent link: http://hdl.handle.net/11104/0275352

0480445 - ÚI 2018 RIV GB eng C - Proceedings Paper (International conf.)
Aldhaidhawi, M. - Brabec, Marek - Lucian, M. - Chiriac, R. - Badescu, V.
Experimental and Numerical Assessment of Ignition Delay Period for Pure Diesel and Biodiesel B20.
CAR2017. Proceedings of the International Congress of Automotive and Transport Engineering - Mobility Engineering and Environment. Bristol: IOP Publishing, 2017, č. článku 012068. IOP Conference Series-Materials Science and Engineering, 252. ISBN 978-1-5108-5030-9. ISSN 1757-8981.
[CAR 2017. International Congress of Automotive and Transport Engineering - Mobility Engineering and Environment. Pitesti (RO), 08.11.2017-10.11.2017]
Institutional Support: RVO:67985807
Keywords: ignition delay * biodiesel B20 * diesel engine
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
iopscience.iop.org/article/10.1088/1757-899X/252/1/012068/
Permanent link: http://hdl.handle.net/11104/0276223

0480888 - ÚI 2018 DE eng C - Proceedings Paper (International conf.)
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
[IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
R&D Projects: GA ČR GBP202/12/G061
GA ČR GA15-15511S
Institutional Support: RVO:67985807
Keywords: conjunctive normal form * matched formula * pure literal satisfiable formula
Subject RIV: BA - General Mathematics
https://www.ijcai.org/proceedings/2017/0721.pdf
Permanent link: http://hdl.handle.net/11104/0276554

0489088 - ÚI 2019 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Peštová, Barbora
Various Approaches to Szroeter’s Test for Regression Quantiles.
Proceedings of the 11th International Scientific Conference INPROFORUM: Innovations, Enterprises, Regions and Management. České Budějovice: University of South Bohemia in České Budějovice, 2017 - (Pech, M.), s. 361-365. ISBN 978-80-7394-667-8. E-ISSN 2336-6788.
[INPROFORUM 2017. The International Scientific Conference. Innovations, Enterprises, Regions and Management /11./. České Budějovice (CZ), 09.11.2017-10.11.2017]
Institutional Support: RVO:67985807
Keywords: Heteroscedasticity * Regression median * Diagnostic tools * Asymptotics
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ocs.ef.jcu.cz/index.php/inproforum/INP2017/paper/view/916
Permanent link: http://hdl.handle.net/11104/0283572

0489976 - ÚT 2019 RIV US eng C - Proceedings Paper (International conf.)
Procházka, Pavel - Maturkanič, Dušan - Brabec, Marek
Measurement and Assessment of Turbine Rotor Speed Instabilities in Applying the BTT Method.
I2MTC 2018 - Proceedings. Houston: IEEE, 2018, s. 1320-1324. 2018 IEEE, CFP18IMT-ART. ISBN 978-1-5386-2222-3.
[2018 IEEE International Instrumentation and Measurement Technology Conference. Houston (US), 14.05.2018-17.05.2018]
AV ČR(CZ) StrategieAV21/3
Institutional Support: RVO:61388998 ; RVO:67985807
Keywords: turbine rotor * rotating speed instability * non-contact vibration diagnostics * time-varying-coefficient model
Subject RIV: JB - Sensors, Measurment, Regulation; BB - Applied Statistics, Operational Research
Obor OECD: Electrical and electronic engineering; Statistics and probability (UIVT-O)
Permanent link: http://hdl.handle.net/11104/0285789

0490784 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Šíma, Jiří
Three Analog Neurons Are Turing Universal.
Theory and Practice of Natural Computing. Cham: Springer, 2018 - (Fagan, D.; Martín-Vide, C.; O'Neill, M.; Vega-Rodríguez, M.), s. 460-472. Lecture Notes in Computer Science, 11324. ISBN 978-3-030-04069-7. ISSN 0302-9743.
[TPNC 2018. International Conference on the Theory and Practice of Natural Computing /7./. Dublin (IE), 12.12.2018-14.12.2018]
R&D Projects: GA ČR GBP202/12/G061
Institutional Support: RVO:67985807
Keywords: analog neural network * Turing machine * Chomsky hierarchy
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0284924

0490832 - ÚI 2019 RIV US eng C - Proceedings Paper (International conf.)
Křen, T. - Moudřík, J. - Neruda, Roman
Combining Top-Down and Bottom-Up Approaches for Automated Discovery of Typed Programs.
SSCI 2017 IEEE Symposium Series on Computational Intelligence. New York: IEEE, 2017, s. 938-945. ISBN 978-1-5386-2726-6.
[SSCI 2017. Symposium Series on Computational Intelligence. Honolulu (US), 27.11.2017-01.12.2017]
R&D Projects: GA ČR GA15-19877S
GA UK(CZ) 187115; GA UK(CZ) 364015
Institutional Support: RVO:67985807
Keywords: Parametric Polymorphism * Monte-Carlo Tree Search * Genetic Programming * Nested Monte-Carlo Search
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0284976

0490833 - ÚI 2019 RIV US eng C - Proceedings Paper (International conf.)
Křen, T. - Pilát, M. - Neruda, Roman
Multi-Objective Evolution of Machine Learning Workflows.
SSCI 2017 IEEE Symposium Series on Computational Intelligence. New York: IEEE, 2017. ISBN 978-1-5386-2726-6.
[SSCI 2017. Symposium Series on Computational Intelligence. Honolulu (US), 27.11.2017-01.12.2017]
R&D Projects: GA ČR GA15-19877S
GA MŠk(CZ) LM2015042; GA UK(CZ) 187115
Institutional Support: RVO:67985807
Keywords: genetic programming * multi-objective evolutionary algorithm * machine learning
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0284977

0490841 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Vidnerová, Petra - Neruda, Roman
Deep Networks with RBF Layers to Prevent Adversarial Examples.
Artificial Intelligence and Soft Computing. Cham: Springer, 2018 - (Rutkowski, L.; Scherer, R.; Korytkowski, M.; Pedrycz, W.; Tadeusiewicz, R.; Zurada, J.), s. 257-266. Lecture Notes in Artificial Intelligence, 10841. ISBN 978-3-319-91252-3. ISSN 0302-9743.
[ICAISC 2018. International Conference on Artificial Intelligence and Soft Computing /17./. Zakopane (PL), 03.06.2018-07.06.2018]
R&D Projects: GA ČR(CZ) GA18-23827S
GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: Adversarial examples * RBF networks * Deep neural networks * Convolutional networks
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0284980

Citation, Review▾
Citation:
ZHAO, Y. - PEI, J.H. - CHEN, H. Multi-layer radial basis function neural network based on multi-scale kernel learning. APPLIED SOFT COMPUTING. ISSN 1568-4946, SEP 2019, vol. 82.

0490843 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Peštová, Barbora - Pešta, M.
Change Point in Panel Data with Small Fixed Panel Size: Ratio and Non-ratio Test Statistics.
Statistics and Simulation. Cham: Springer, 2018 - (Pilz, J.; Rasch, D.; Melas, V.; Moder, K.), s. 259-271. Springer Proceedings in Mathematics and Statistics, 231. ISBN 978-3-319-76034-6. ISSN 2194-1009.
[IWS 2015. International Workshop on Simulation /8./. Vienna (AT), 21.09.2015-25.09.2015]
R&D Projects: GA ČR(CZ) GBP402/12/G097
Institutional Support: RVO:67985807
Keywords: Change point * Panel data * Change in mean * Hypothesis testing * Structural change * Ratio type statistics
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
Permanent link: http://hdl.handle.net/11104/0284981

0491208 - ÚI 2019 RIV US eng C - Proceedings Paper (International conf.)
Moudřík, J. - Křen, T. - Neruda, Roman
Algorithm Discovery with Monte-Carlo Search: Controlling the Size.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence. Los Alamitos: IEEE, 2017, s. 390-395. ISBN 978-1-5386-3876-7. E-ISSN 2375-0197.
[ICTAI 2017. IEEE International Conference on Tools with Artificial Intelligence /29./. Boston (US), 06.11.2017-08.11.2017]
R&D Projects: GA ČR GA15-19877S
Institutional Support: RVO:67985807
Keywords: Monte-Carlo Tree Search * Parametric Polymorphism * Genetic Programming * Nested Monte-Carlo Search * UCT
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0285247

0491225 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Ralaivaosaona, D. - Šileikis, Matas - Wagner, S.
Asymptotic Normality of Almost Local Functionals in Conditioned Galton-Watson Trees.
29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018). Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2018 - (Ward, M.; Fill, J.), č. článku 33. Leibniz International Proceedings in Informatics, 110. ISBN 978-395977078-1. ISSN 1868-8969.
[AofA 2018: International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms /29./. Uppsala (SE), 25.06.2018-29.06.2018]
R&D Projects: GA ČR GJ16-07822Y
Institutional Support: RVO:67985807
Keywords: Galton-Watson trees * central limit theorem * additive functional
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=8926
Permanent link: http://hdl.handle.net/11104/0285264

0491981 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
R&D Projects: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
AV ČR(CZ) JSPS-16-08
Bilaterální spolupráce
Institutional Support: RVO:67985807 ; RVO:67985556
Keywords: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Subject RIV: BA - General Mathematics; BA - General Mathematics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Permanent link: http://hdl.handle.net/11104/0285566

0492042 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Matonoha, Ctirad - Papáček, Š. - Kindermann, S.
Disc vs. Annulus: On the Bleaching Pattern Optimization for FRAP Experiments.
High Performance Computing in Science and Engineering - HPCSE 2017. Cham: Springer, 2018 - (Kozubek, T.; Čermák, M.; Tichý, P.; Blaheta, R.; Šístek, J.; Lukáš, D.; Jaroš, J.), s. 160-173. Lecture Notes in Computer Science, 11087. ISBN 978-3-319-97135-3. ISSN 0302-9743.
[HPCSE 2017: International Conference on High Performance Computing in Science and Engineering /3./. Karolinka (CZ), 22.05.2017-25.05.2017]
CENAKVA(CZ) CZ.1.05/2.1.00/01.0024; GA MŠk(CZ) LO1205; CENAKVA(CZ) CZ.1.05/2.1.00/19.0380
Institutional Support: RVO:67985807
Keywords: Optimization * Parameter identification * FRAP Bleaching pattern * Initial boundary value problem * Sensitivity measure
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Matonoha, Ctirad
Permanent link: http://hdl.handle.net/11104/0285620

0492044 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Papáček, Š. - Matonoha, Ctirad - Petera, K.
Modeling and Simulation of Microalgae Growth in a Couette-Taylor Bioreactor.
High Performance Computing in Science and Engineering - HPCSE 2017. Cham: Springer, 2018 - (Kozubek, T.; Čermák, M.; Tichý, P.; Blaheta, R.; Šístek, J.; Lukáš, D.; Jaroš, J.), s. 174-187. Lecture Notes in Computer Science, 11087. ISBN 978-3-319-97135-3. ISSN 0302-9743.
[HPCSE 2017: International Conference on High Performance Computing in Science and Engineering /3./. Karolinka (CZ), 22.05.2017-25.05.2017]
CENAKVA(CZ) CZ.1.05/2.1.00/01.0024; GA MŠk(CZ) LO1205; CENAKVA(CZ) CZ.1.05/2.1.00/19.0380
Institutional Support: RVO:67985807
Keywords: Microalgae * Mathematical modeling * Photosynthesis * CFD * Couette-Taylor bioreactor * Flashing light enhancement
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Matonoha, Ctirad
Permanent link: http://hdl.handle.net/11104/0285622

0492190 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Gergelits, Tomáš - Hnětynková, I. - Kubínová, Marie
Relating Computed and Exact Entities in Methods Based on Lanczos Tridiagonalization.
High Performance Computing in Science and Engineering - HPCSE 2017. Cham: Springer, 2018 - (Kozubek, T.; Čermák, M.; Tichý, P.; Blaheta, R.; Šístek, J.; Lukáš, D.; Jaroš, J.), s. 73-87. Lecture Notes in Computer Science, 11087. ISBN 978-3-319-97135-3. ISSN 0302-9743.
[HPCSE 2017: International Conference on High Performance Computing in Science and Engineering /3./. Karolinka (CZ), 22.05.2017-25.05.2017]
GA ČR(CZ) GC17-04150J
Institutional Support: RVO:67985807
Keywords: Krylov subspace * CGL * Finite-precision computations * MINRES * Loss of orthogonality * Delay of convergence * Lanczos vectors
Subject RIV: BA - General Mathematics
Obor OECD: Applied mathematics
Kubínová, Marie
Permanent link: http://hdl.handle.net/11104/0285734

0482816 - ÚI 2018 SE eng C - Proceedings Paper (International conf.)
Turčičová, M. - Mandel, J. - Eben, Kryštof
Stability of the Spectral EnKF under nested covariance estimators.
Proceedings of the 20th European Young Statisticians Meeting. Uppsala Universitet, 2017 - (Wiklund, T.), s. 137-142
[European Young Statisticians Meeting /20./. Uppsala (SE), 14.08.2017-18.08.2017]
Institutional Support: RVO:67985807
Keywords: nested covariance model * maximum likelihood * error of EnKF
Turčičová, M.
Permanent link: http://hdl.handle.net/11104/0278215

0482950 - ÚI 2018 RIV HU eng C - Proceedings Paper (International conf.)
Juruš, Pavel - Karel, J. - Jareš, R. - Martinovský, J. - Píša, V. - Polák, R. - Smolová, E. - Pelikán, Emil - Brabec, Marek - Konár, O. - Fuglík, Viktor - Eben, Kryštof - Resler, Jaroslav - Vlček, O. - Machálek, P. - Modlík, M. - Hnilicová, H. - Benešová, N. - Srbová, D. - Zapletal, M. - Kadlubiec, R. - Škarková, P. - Barnet, J.
Emission Processor for Air Quality Models Utilizing Newly Available Data.
HARMO 17. Proceedings of the 17th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes. Budapest: Hungarian Meteorological Service, 2016 - (Bozó, L.; Ferenczi, Z.; Puskás, M.), s. 117-120. ISBN 978-963-9931-10-7.
[HARMO 2016. International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes /17./. Budapest (HU), 09.05.2016-12.05.2016]
TA ČR(CZ) TA04020797
Institutional Support: RVO:67985807
Keywords: Emission processor * air quality modelling * chemical transport models * air pollution
Subject RIV: DG - Athmosphere Science, Meteorology
Obor OECD: Meteorology and atmospheric sciences
Permanent link: http://hdl.handle.net/11104/0279303

0484305 - ÚI 2018 RIV US eng C - Proceedings Paper (International conf.)
Coufal, David
On Smooth Compactly Supported Radial Fuzzy System.
INES 2017 IEEE 21st International Conference on Intelligent Engineering Systems. Danvers: IEEE, 2017, s. 39-44. ISBN 978-1-4799-7678-2.
[INES 2017. International Conference on Intelligent Engineering Systems /21./. Larnaca (CY), 20.10.2017-23.10.2017]
R&D Projects: GA ČR GA15-18108S
Institutional Support: RVO:67985807
Keywords: fuzzy systems * radial functions * smoothness
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8118577&isnumber=8118527
Permanent link: http://hdl.handle.net/11104/0279438

0484984 - ÚI 2018 RIV PL eng C - Proceedings Paper (International conf.)
Fiedler, Miroslav
Some Results on Combined Matrices.
Études opératorielles. Warszawa: Polish Academy of Sciences, 2017 - (Zemánek, J.; Tomilov, Y.), s. 99-105. Banach Center Publications, 112. ISBN 978-83-86806-36-2.
[Conference on Operator Theory and its Applications. Jurata (PL), 18.03.2010-22.03.2010]
Institutional Support: RVO:67985807
Keywords: combined matrix * totally nonnegative matrix * oscillatory matrix * Hessenberg CBM-matrix
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Permanent link: http://hdl.handle.net/11104/0280113

0486446 - ÚI 2018 RIV CZ eng C - Proceedings Paper (International conf.)
Šíma, Jiří
The Computational Power of Neural Networks and Representations of Numbers in Non-Integer Bases.
Mendel 2017. Brno: University of Technology, 2017, s. 103-110. Mendel Journal Series, 23. ISSN 1803-3814.
[MENDEL 2017. International Conference on Soft Computing /23./. Brno (CZ), 20.06.2017-22.06.2017]
R&D Projects: GA ČR GBP202/12/G061
Institutional Support: RVO:67985807
Keywords: neural network * Chomsky hierarchy * beta-expansion * cut language
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0281255

0471841 - ÚI 2017 US eng C - Proceedings Paper (International conf.)
Bureš, Tomáš - Hnětynka, P. - Kofroň, J. - Škoda, D.
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems.
WICSA 2016. proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture. Piscataway: IEEE, 2016, s. 168-177. ISBN 978-1-5090-2131-4.
[WICSA 2016. Working IEEE/IFIP Conference on Software Architecture /13./. Venice (IT), 05.04.2016-08.04.2016]
GA MŠk(CZ) LD15051
Institutional Support: RVO:67985807
Keywords: architecture modes * smart cyber physical systems * statistical testing
Subject RIV: JC - Computer Hardware & Software
Permanent link: http://hdl.handle.net/11104/0269164

Citation, Review▾
Citation:
BERARDINELLI, L. - BERNARDO, M. - CORTELLESSA, V. - DIMARCO, A. Multidimensional context modeling applied to non-functional analysis of software. SOFTWARE AND SYSTEMS MODELING. ISSN 1619-1366, JUN 2019, vol. 18, no. 3, p. 2137-2176.

0472668 - ÚI 2017 NL eng C - Proceedings Paper (International conf.)
Douša, J. - Krč, Pavel - Eliaš, M. - Eben, Kryštof - Resler, Jaroslav
NWM Forecast Monitoring with Near Real-Time GNSS Products.
5th International Colloquium Scientific and Fundamental Aspects of the Galileo Programme. Noordwijk: ESA, 2015.
[International Colloquium Scientific and Fundamental Aspects of the Galileo Programme /5./. Braunschweig (DE), 27.10.2015-29.10.2015]
GA ČR GAP209/12/2207; GA MŠk LD14102
Institutional Support: RVO:67985807
Keywords: GNSS * troposphere * positioning * numerical weather prediction
Subject RIV: DG - Athmosphere Science, Meteorology
http://esaconferencebureau.com/2015-events/15a08/introduction
Permanent link: http://hdl.handle.net/11104/0269904

0473170 - ÚI 2017 RIV NL eng C - Proceedings Paper (International conf.)
Vieira, V. - Sahlée, E. - Juruš, Pavel - Clementi, E. - Pettersson, H. - Mateus, M.
Improving Estimates of Atmosphere-Ocean Greenhouse Gas Fluxes for Earth-System Modelling.
Proceedings of Living Planet Symposium 2016. Vol. ESASP-740. Nordwijk: European Space Agency (ESA), 2016 - (Ouwehand, L.). ISBN 978-92-9221-305-3. ISSN 1609-042X.
[ESA Living Planet Symposium 2016. Praha (CZ), 09.05.2016-13.05.2016]
Institutional Support: RVO:67985807
Keywords: greenhouse gases * carbon cycle * atmosphere-ocean interaction * atmosphere modelling * ocean modelling
Subject RIV: DG - Athmosphere Science, Meteorology
Permanent link: http://hdl.handle.net/11104/0270334

0473143 - ÚI 2018 RIV CH eng C - Proceedings Paper (International conf.)
Kalina, Jan - Hlinka, Jaroslav
Implicitly Weighted Robust Classification Applied to Brain Activity Research.
Biomedical Engineering Systems and Technologies. Cham: Springer, 2017 - (Fred, A.; Gamboa, H.), s. 87-107. Communications in Computer and Information Science, 690. ISBN 978-3-319-54716-9. ISSN 1865-0929.
[BIOSTEC 2016 International Joint Conference /9./. Rome (IT), 21.02.2016-23.02.2016]
R&D Projects: GA ČR GA13-23940S
GA MŠk(CZ) LO1611; Nadační fond na podporu vědy(CZ) Neuron
Institutional Support: RVO:67985807
Keywords: high-dimensional data * classification analysis * robustness * outliers * regularization
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Kalina, Jan
Permanent link: http://hdl.handle.net/11104/0270309

0473167 - ÚI 2017 US eng C - Proceedings Paper (International conf.)
Matěna, V. - Bureš, Tomáš - Gerostathopoulos, I. - Hnětynka, P.
Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-Physical Systems.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. New York: ACM, 2016, s. 82-88. ISBN 978-145034187-5.
[SEAMS 2016. International Symposium on Software Engineering for Adaptive and Self-Managing Systems /11./. Austin (US), 14.05.2016-22.05.2016]
Institutional Support: RVO:67985807
Keywords: model problem * self-adaptation * smart cyber physical systems * testbed
Subject RIV: JC - Computer Hardware & Software
Permanent link: http://hdl.handle.net/11104/0270329

0474072 - ÚI 2018 RIV CH eng C - Proceedings Paper (International conf.)
Kalina, Jan - Hlinka, Jaroslav
On Coupling Robust Estimation with Regularization for High-Dimensional Data.
Data Science. Innovative Developments in Data Analysis and Clustering. Cham: Springer, 2017 - (Palumbo, F.; Montanari, A.; Vichi, M.), s. 15-27. Studies in Classification, Data Analysis, and Knowledge Organization. ISBN 978-3-319-55722-9. ISSN 1431-8814.
[IFCS 2015. Bologna (IT), 05.07.2015-08.07.2015]
R&D Projects: GA ČR GA13-23940S
GA MŠk(CZ) ED2.1.00/03.0078; Nadační fond na podporu vědy(CZ) Neuron
Institutional Support: RVO:67985807
Keywords: classification * outliers * robustness * sparsity * brain activity
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Kalina, Jan
Permanent link: http://hdl.handle.net/11104/0271250

0474350 - ÚI 2018 RIV GB eng C - Proceedings Paper (International conf.)
Wiedermann, Jiří - van Leeuwen, J.
Understanding and Controlling Artificial General Intelligent Systems.
Proceedings of AISB Annual Convention 2017. London: AISB, 2017 - (Bryson, J.; De Vos, M.; Padget, J.), s. 356-363. ISBN 978-1-908187-81-9.
[AISB 2017. Bath (GB), 18.04.2017-22.04.2017]
GA ČR(CZ) GA15-04960S
Institutional Support: RVO:67985807
Keywords: artificial intelligence * epistemic computation * artificial general intelligence (AGI) * self-improving epistemic theories * controlling AGI systems
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://aisb2017.cs.bath.ac.uk/proceedings.html
Permanent link: http://hdl.handle.net/11104/0271429

0474726 - ÚI 2018 RIV SK eng C - Proceedings Paper (International conf.)
Porubský, Štefan
STP Cipher of the Czechoslovak In-Exile Ministry of Defence in London during WWII.
Proceedings of the 3rd European Historical Ciphers Colloquium Euro HCC 2017. Bratislava: Slovak University of Technology, 2017 - (Gathen, J.; Grošek, O.; Nemoga, K.; Wacker, A.), s. 47-66. ISBN 978-80-227-4687-8.
[European Historical Ciphers Colloquium /3./. Smolenice (SK), 18.05.2017-19.05.2017]
Institutional Support: RVO:67985807
Keywords: STP cipher * Josef Růžek * Karol Cigáň * František Moravec * Czechoslovak military cryptography * World War II
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Pure mathematics
Permanent link: http://hdl.handle.net/11104/0271704

0475084 - ÚI 2018 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Peštová, Barbora
Exact Inference In Robust Econometrics under Heteroscedasticity.
The 11th International Days of Statistics and Economics Conference Proceedings. Slaný: Melandrium, 2017 - (Löster, T.; Pavelka, T.), s. 636-645. ISBN 978-80-87990-12-4.
[International Days of Statistics and Economics /11./. Prague (CZ), 14.09.2017-16.09.2017]
R&D Projects: GA ČR GA17-07384S
Institutional Support: RVO:67985807
Keywords: heteroscedasticity * robust statistics * regression * diagnostic tools * economic data
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
https://msed.vse.cz/msed_2017/article/6-Kalina-Jan-paper.pdf
Permanent link: http://hdl.handle.net/11104/0271960

0475088 - ÚI 2018 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Peštová, Barbora
Robust Regression Estimators: A Comparison of Prediction Performance.
MME 2017 Mathematical Methods in Economics. Hradec Králové: University of Hradec Králové, 2017 - (Pražák, P.), s. 307-312. ISBN 978-80-7435-678-0.
[MME 2017. International Conference Mathematical Methods in Economics /35./. Hradec Králové (CZ), 13.09.2017-15.09.2017]
R&D Projects: GA ČR GA17-01251S
Institutional Support: RVO:67985807
Keywords: robust estimation * linear regression * prediction * outliers * metalearning
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0271963