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

ASEP Publications

Select all / Display all / Unmark

Records found: 241

0505945 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Šíma, Jiří - Plátek, Martin
One Analog Neuron Cannot Recognize Deterministic Context-Free Languages.
Neural Information Processing. Proceedings, Part III. Heidelberg: Springer, 2019 - (Gedeon, T.; Wong, K.; Lee, M.), s. 77-89. Lecture Notes on Computer Science, 11955. ISBN 978-3-030-36717-6.
[ICONIP 2019. International Conference on Neural Information Processing of the Asia-Pacific Neural Network /26./. Sydney (AU), 12.12.2019-15.12.2019]
R&D Projects: GA ČR(CZ) GA19-05704S
Institutional Support: RVO:67985807
Keywords: Neural computing * Analog neuron hierarchy * Deterministic context-free language * Restart automaton * 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)
https://www.springer.com/gp/book/9783030367176
Permanent link: http://hdl.handle.net/11104/0297270

0507671 - ÚI 2020 RIV CH eng C - Proceedings Paper (International conf.)
Bose, P. - Cano, P. - Saumell, Maria - Silveira, R.
Hamiltonicity for Convex Shape Delaunay and Gabriel Graphs.
Algorithms and Data Structures. Cham: Springer, 2019 - (Friggstad, Z.; Sack, J.; Salavatipour, M.), s. 196-210. Lecture Notes in Computer Science, 11646. ISBN 978-3-030-24765-2. ISSN 0302-9743.
[WADS 2019: Workshop on Algorithms and Data Structures /16./. Edmonton (CA), 05.08.2019-07.08.2019]
R&D Projects: GA ČR(CZ) GJ19-06792Y
Institutional Support: RVO:67985807
Keywords: Delaunay graphs * Gabriel graphs * Hamiltonian cycles
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Cano, P.
Permanent link: http://hdl.handle.net/11104/0298660

0507969 - ÚI 2020 RIV CH eng C - Proceedings Paper (International conf.)
Kůrková, Věra
Probabilistic Bounds for Approximation by Neural Networks.
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. Proceedings, Part I. Cham: Springer, 2019 - (Tetko, I.; Kůrková, V.; Karpov, P.; Theis, F.), s. 418-428. Lecture Notes in Computer Science, 11727. ISBN 978-3-030-30486-7. ISSN 0302-9743.
[ICANN 2019. International Conference on Artificial Neural Networks /28./. Munich (DE), 17.09.2019-19.09.2019]
R&D Projects: GA ČR(CZ) GA19-05704S
Institutional Support: RVO:67985807
Keywords: Approximation of random functions * Feedforward networks * Dictionaries of computational units * High-dimensional geometry * Concentration of measure * Azuma-Hoeffding inequalities
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/0298932

0508171 - ÚI 2020 RIV US eng C - Proceedings Paper (International conf.)
Pitra, Zbyněk - Repický, Jakub - Holeňa, Martin
Landscape analysis of gaussian process surrogates for the covariance matrix adaptation evolution strategy.
GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. New York: ACM, 2019 - (López-Ibáñez, M.), s. 691-699. ISBN 978-1-4503-6111-8.
[GECCO 2019: The Genetic and Evolutionary Computation Conference. Prague (CZ), 13.07.2019-17.07.2019]
R&D Projects: GA ČR GA17-01251S; GA ČR(CZ) GA18-18080S
GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: black-box optimization * evolutionary optimization * surrogate modelling * Gaussian process * landscape analysis
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/0299146

0508606 - ÚI 2020 RIV NL eng C - Proceedings Paper (International conf.)
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating Classical Probability Logics into Modal Fuzzy Logics.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Amsterdam: Atlantis Press, 2019 - (Štěpnička, M.), s. 342-349. Atlantis Studies in Uncertainty Modelling. ISBN 978-94-6252-770-6. ISSN 2589-6644.
[EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./. Praha (CZ), 09.09.2019-13.09.2019]
R&D Projects: GA ČR GA17-04630S
Institutional Support: RVO:67985807 ; RVO:67985556
Keywords: Mathematical Fuzzy Logic * Logics of uncertainty * Lukasiewicz logic * Probability logics * Two-layered modal logics
Subject RIV: IN - Informatics, Computer Science; 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)
https://download.atlantis-press.com/article/125914819.pdf
Permanent link: http://hdl.handle.net/11104/0299464

0509320 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Pitra, Zbyněk - Bajer, Lukáš - Holeňa, Martin
Knowledge-based Selection of Gaussian Process Surrogates.
IAL ECML PKDD 2019: Workshop & Tutorial on Interactive Adaptive Learning. Proceedings. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2019 - (Kottke, D.; Lemaire, D.; Calma, A.; Krempl, G.; Holzinger, A.), s. 48-63. CEUR Workshop Proceedings, 2444. ISSN 1613-0073.
[ECML PKDD 2019: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Würzburg (DE), 16.09.2019-20.09.2019]
R&D Projects: GA ČR GA17-01251S; GA ČR(CZ) GA18-18080S
ČVUT(CZ) SGS17/193/OHK4/3T/14; GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: Benchmarking * Black-box optimization * Gaussian process * Landscape analysis
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-2444/ialatecml_paper4.pdf
Permanent link: http://hdl.handle.net/11104/0300063

0509321 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Šabata, T. - Páll, J. E. - Holeňa, Martin
Deep Bayesian Semi-Supervised Active Learning for Sequence Labelling.
IAL ECML PKDD 2019: Workshop & Tutorial on Interactive Adaptive Learning. Proceedings. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2019 - (Kottke, D.; Lemaire, D.; Calma, A.; Krempl, G.; Holzinger, A.), s. 80-95. CEUR Workshop Proceedings, 2444. ISSN 1613-0073.
[ECML PKDD 2019: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Würzburg (DE), 16.09.2019-20.09.2019]
R&D Projects: GA ČR(CZ) GA18-18080S
Institutional Support: RVO:67985807
Keywords: Active Learning * Semi-supervised Learning * Bayesian Inference * Deep Learning * Sequence Labelling
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-2444/ialatecml_paper6.pdf
Permanent link: http://hdl.handle.net/11104/0300071

0509646 - ÚI 2020 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Tobišková, Nicole - Tichavský, Jan
A Nonparametric Bootstrap Comparison of Variances of Robust Regression Estimators.
Conference Proceedings. 37th International Conference on Mathematical Methods in Economics 2019. České Budějovice: University of South Bohemia in České Budějovice, Faculty of Economics, 2019 - (Houda, M.; Remeš, R.), s. 168-173. ISBN 978-80-7394-760-6.
[MME 2019: International Conference on Mathematical Methods in Economics /37./. České Budějovice (CZ), 11.09.2019-13.09.2019]
R&D Projects: GA ČR(CZ) GA19-05704S; GA ČR GA17-01251S
Institutional Support: RVO:67985807
Keywords: robustness * linear regression * outliers * bootstrap * least weighted squares
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)
https://mme2019.ef.jcu.cz/files/conference_proceedings.pdf
Permanent link: http://hdl.handle.net/11104/0300321

0509648 - ÚI 2020 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Vidnerová, Petra
Implicitly weighted robust estimation of quantiles in linear regression.
Conference Proceedings. 37th International Conference on Mathematical Methods in Economics 2019. České Budějovice: University of South Bohemia in České Budějovice, Faculty of Economics, 2019 - (Houda, M.; Remeš, R.), s. 25-30. ISBN 978-80-7394-760-6.
[MME 2019: International Conference on Mathematical Methods in Economics /37./. České Budějovice (CZ), 11.09.2019-13.09.2019]
R&D Projects: GA ČR(CZ) GA19-05704S; GA ČR(CZ) GA18-23827S
Institutional Support: RVO:67985807
Keywords: regression quantiles * robust regression * outliers * leverage points
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
https://mme2019.ef.jcu.cz/files/conference_proceedings.pdf
Permanent link: http://hdl.handle.net/11104/0300322

0506360 - ÚI 2020 RIV CH eng C - Proceedings Paper (International conf.)
Kalina, Jan - Vidnerová, Petra
Robust Training of Radial Basis Function Neural Networks.
Artificial Intelligence and Soft Computing. Proceedings, Part I. Cham: Springer, 2019 - (Rutkowski, L.; Scherer, R.; Korytkowski, M.; Pedrycz, W.; Tadeusiewicz, R.; Zurada, J.), s. 113-124. Lecture Notes in Computer Science, 11508. ISBN 978-3-030-20911-7. ISSN 0302-9743.
[ICAISC 2019: International Conference on Artificial Intelligence and Soft Computing /18./. Zakopane (PL), 16.06.2019-20.06.2019]
R&D Projects: GA ČR(CZ) GA19-05704S; GA ČR(CZ) GA18-23827S
Institutional Support: RVO:67985807
Keywords: Machine learning * Outliers * Robustness * Subset selection * Anomaly detection
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/0297617

0465841 - ÚI 2017 RIV GB eng C - Proceedings Paper (International conf.)
Sedlár, Igor
Propositional Dynamic Logic with Belnapian Truth Values.
Advances in Modal Logic. Vol. 11. London: College Publications, 2016 - (Beklemishev, L.; Demri, S.; Máté, A.), s. 503-519. ISBN 978-1-84890-201-5.
[AIML 2016. Advances in Modal Logic. Budapest (HU), 30.08.2016-02.09.2016]
R&D Projects: GA ČR GBP202/12/G061
Institutional Support: RVO:67985807
Keywords: Belnap-Dunn logic * four-valued logic * propositional dynamic logic
Subject RIV: BA - General Mathematics
Permanent link: http://hdl.handle.net/11104/0264286

0499984 - ÚI 2019 RIV US eng C - Proceedings Paper (International conf.)
Řeháková, L. - Neruda, Roman
Utilization of Genetic Programming to Solve a Simple Task Network Planning Problem.
Proceedings of the 2018 IEEE International Conference on Systems, Man, and Cybernetic. Los Alamitos: IEEE CS, 2018, s. 3660-3666. ISBN 978-1-5386-6650-0. ISSN 2577-1655.
[SMC 2018. International Conference on Systems, Man and Cybernetics. Miyazaki (JP), 07.10.2018-10.10.2018]
R&D Projects: GA ČR(CZ) GA18-23827S
Institutional Support: RVO:67985807
Keywords: Planning * Task analysis * Genetic programming * Standards * Software algorithms * Automobiles
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/0292162

0478794 - ÚI 2018 RIV HU eng C - Proceedings Paper (International conf.)
Resler, Jaroslav - Krč, Pavel - Belda, Michal - Juruš, Pavel - Eben, Kryštof - Benešová, N. - Srbová, D. - Derbek, P. - Hrubeš, P. - Lopata, J. - Vlček, O. - Blümelová, J. - Kazmuková, M. - Bauerová, P.
Street-level Modelling of the Effect of Climate Adaptation Measures on Air Quality.
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. 362-366. 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]
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: Large Eddy Simulation * micro - scale modelling * climate change adaptation measures
Subject RIV: DG - Athmosphere Science, Meteorology
Obor OECD: Meteorology and atmospheric sciences
Permanent link: http://hdl.handle.net/11104/0274849

0510554 - ÚI 2020 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Neoral, A.
A Robustified Metalearning Procedure for Regression Estimators.
The 13th International Days of Statistics and Economics Conference Proceedings. Slaný: Melandrium, 2019 - (Löster, T.; Pavelka, T.), s. 617-626. ISBN 978-80-87990-18-6.
[International Days of Statistics and Economics /13./. Prague (CZ), 05.09.2019-07.09.2019]
R&D Projects: GA ČR GA17-07384S
Institutional Support: RVO:67985807
Keywords: model choice * computational statistics * robustness * variable selection
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)
https://msed.vse.cz/msed_2019/sbornik/toc.html
Permanent link: http://hdl.handle.net/11104/0300999

0511426 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Sedlár, Igor - Punčochář, Vít - Tedder, Andrew
First Degree Entailment with Group Attitudes and Information Updates.
Logic, Rationality, and Interaction. Berlin: Springer, 2019 - (Blackburn, P.; Lorini, E.; Guo, M.), s. 273-285. Lecture Notes in Computer Science, 11813. ISBN 978-3-662-60291-1. ISSN 0302-9743.
[LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./. Chongqing (CN), 18.10.2019-21.10.2019]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional Support: RVO:67985807
Keywords: Common knowledge * Epistemic logic * First Degree Entailment * Information update * Lambek Calculus
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Sedlár, Igor
Permanent link: http://hdl.handle.net/11104/0301697

0511457 - ÚI 2020 RIV CH eng C - Proceedings Paper (International conf.)
Wiedermann, Jiří - van Leeuwen, J.
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness.
Computing with Foresight and Industry. Cham: Springer, 2019 - (Manea, F.; Martin, B.; Paulusma, D.; Primiero, G.), s. 286-297. Lecture Notes in Computer Science, 11558. ISBN 978-3-030-22995-5. ISSN 0302-9743.
[CiE 2019: Conference on Computability in Europe /19./. Durham (GB), 15.07.2019-19.07.2019]
AV ČR(CZ) StrategieAV21/1
StrategieAV
Institutional Support: RVO:67985807
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/0301728

0512085 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Žegklitz, Jan - Pošík, M.
Sequential model building in symbolic regression.
ITAT 2019: Information Technologies – Applications and Theory. Aachen: Technical University & CreateSpace Independent Publishing, 2019 - (Barančíková, P.; Holeňa, M.; Horváth, T.; Pleva, M.; Rosa, R.), s. 51-57. CEUR Workshop Proceeding, 2473.
[ITAT 2019: Conference Information Technologies - Applications and Theory /19./. Donovaly (SK), 20.09.2019-24.09.2019]
R&D Projects: GA ČR GA17-01251S
GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
http://ceur-ws.org/Vol-2473/paper5.pdf
Permanent link: http://hdl.handle.net/11104/0302291

0512089 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Fanta, M. - Pulc, P. - Holeňa, Martin
Rules extraction from neural networks trained on multimedia data.
ITAT 2019: Information Technologies – Applications and Theory. Aachen: Technical University & CreateSpace Independent Publishing, 2019 - (Barančíková, P.; Holeňa, M.; Horváth, T.; Pleva, M.; Rosa, R.), s. 26-35. CEUR Workshop Proceeding, 2473.
[ITAT 2019: Conference Information Technologies - Applications and Theory /19./. Donovaly (SK), 20.09.2019-24.09.2019]
R&D Projects: GA ČR(CZ) GA18-18080S
Institutional Support: RVO:67985807
Keywords: artificial neural networks * multilayer perceptrons * deep networks * rules extraction * multimedia data
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-2473/paper4.pdf
Permanent link: http://hdl.handle.net/11104/0302294

0512092 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Tumpach, J. - Krčál, M. - Holeňa, Martin
Deep networks in online malware detection.
ITAT 2019: Information Technologies – Applications and Theory. Aachen: Technical University & CreateSpace Independent Publishing, 2019 - (Barančíková, P.; Holeňa, M.; Horváth, T.; Pleva, M.; Rosa, R.), s. 90-98. CEUR Workshop Proceeding, 2473.
[ITAT 2019: Conference Information Technologies - Applications and Theory /19./. Donovaly (SK), 20.09.2019-24.09.2019]
R&D Projects: GA ČR(CZ) GA18-18080S
GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: artificial neural networks * multilayer perceptrons * deep networks * semi-supervised learning * malware detection
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-2473/paper7.pdf
Permanent link: http://hdl.handle.net/11104/0302298

0517845 - ÚI 2020 RIV CZ eng C - Proceedings Paper (International conf.)
Mráz, F. - Otto, F. - Pardubská, D. - Plátek, Martin
Lexicalized Syntactic Analysis by Restarting Automata.
Proceedings of the Prague Stringology Conference 2019. Prague: Czech Technical University in Prague, 2019 - (Holub, J.; Žďárek, J.), s. 69-83. ISBN 978-80-01-06618-8.
[Prague Stringology Conference 2019. Prague (CZ), 26.08.2019-28.08.2019]
R&D Projects: GA ČR(CZ) GA19-05704S
Institutional Support: RVO:67985807
Keywords: Restarting automaton * h-lexicalization * lexical disambiguation
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://www.stringology.org/papers/PSC2019.pdf
Permanent link: http://hdl.handle.net/11104/0303097

0517855 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
Plátek, Martin - Mráz, F. - Pardubská, D.
Lexically Syntactic Characterization by Restarting Automata.
ITAT 2019: Information Technologies – Applications and Theory. Aachen: Technical University & CreateSpace Independent Publishing, 2019 - (Barančíková, P.; Holeňa, M.; Horváth, T.; Pleva, M.; Rosa, R.), s. 104-111. CEUR Workshop Proceeding, 2473.
[ITAT 2019: Conference Information Technologies - Applications and Theory /19./. Donovaly (SK), 20.09.2019-24.09.2019]
R&D Projects: GA ČR(CZ) GA19-05704S
Institutional Support: RVO:67985807
Keywords: Restarting automaton * lexicalized syntax * correctness preserving property
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-2473/paper1.pdf
Permanent link: http://hdl.handle.net/11104/0303106

0481901 - ÚI 2018 RIV UA eng C - Proceedings Paper (International conf.)
Pidnebesna, Anna
Autoregressive Models of Submissions to Municipalities in Czech Republic.
CSIT 2017. Proceedings of the 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies. Vol. 1. Lviv: IEEE, 2017, s. 485-487. ISBN 978-1-5386-1639-0.
[CSIT 2017. International Scientific and Technical Conference /12./. Lviv (UA), 05.09.2017-07.09.2017]
Institutional Support: RVO:67985807
Keywords: autoregressive modelling * multivariate time series * real-data analysis
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Applied mathematics
Permanent link: http://hdl.handle.net/11104/0277350

0461966 - ÚI 2017 RIV DE eng C - Proceedings Paper (International conf.)
Bílková, Marta - Dostál, Matěj
Expressivity of Many-Valued Modal Logics, Coalgebraically.
Logic, Language, Information, and Computation. Berlin: Springer, 2016 - (Väänänen, J.; Hirvonen, A.; de Queiroz, R.), s. 109-124. Lecture Notes in Computer Science, 9803. ISBN 978-3-662-52920-1. ISSN 0302-9743.
[WoLLIC 2016. International Workshop /23./. Puebla (MX), 16.08.2016-19.08.2016]
R&D Projects: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institutional Support: RVO:67985807
Keywords: coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Subject RIV: BA - General Mathematics
Dostál, Matěj
Permanent link: http://hdl.handle.net/11104/0261503

Citation, Review

Citation:
MARTI, M. - METCALFE, G. Expressivity in chain-based modal logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2018, vol. 57, no. 3-4, p. 361-380.
CINTULA, P. - MENCHON, P. - NOGUERA, C. Toward a general frame semantics for modal many-valued logics. SOFT COMPUTING. ISSN 1432-7643, APR 2019, vol. 23, no. 7, SI, p. 2233-2241.

0461978 - ÚI 2017 RIV CH eng C - Proceedings Paper (International conf.)
Coufal, David
Kernel Networks for Function Approximation.
Engineering Applications of Neural Networks. Cham: Springer, 2016 - (Jayne, C.; Iliadis, L.), s. 295-306. Communications in Computer and Information Science, 629. ISBN 978-3-319-44187-0. ISSN 1865-0929.
[EANN 2016. International Conference /17./. Aberdeen (GB), 02.09.2016-05.09.2016]
R&D Projects: GA MŠk(CZ) LD13002
Institutional Support: RVO:67985807
Keywords: kernel networks * convolution * universal approximation
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/0261515

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

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.

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

0494463 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Coufal, David
Superkernels for RBF Networks Initialization (Short Paper).
Artificial Neural Networks and Machine Learning – ICANN 2018. Proceedings, Part II. Cham: Springer, 2018 - (Kůrková, V.; Manolopoulos, Y.; Hammer, B.; Iliadis, L.; Maglogiannis, I.), s. 621-623. Lecture Notes in Computer Science, 11140. ISBN 978-3-030-01420-9.
[ICANN 2018. International Conference on Artificial Neural Networks /27./. Rhodes (GR), 04.10.2018-07.10.2018]
R&D Projects: GA ČR(CZ) GA18-23827S
Institutional Support: RVO:67985807
Keywords: Regression task * Nonparametric estimation * Superkernel
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)
https://link.springer.com/content/pdf/bbm%3A978-3-030-01421-6%2F1.pdf
Permanent link: http://hdl.handle.net/11104/0287651

0508386 - ÚI 2020 RIV SK eng C - Proceedings Paper (International conf.)
Paluš, Milan
Causality and Information Transfer across Time Scales.
Measurement 2019. Proceedings of the 12th International Conference on Measurement. Bratislava: Institute of Measurement Science SAS, 2019 - (Maňka, J.; Švehlíková, J.; Witkovský, V.; Frollo, I.), s. 92-101. ISBN 978-809726293-8.
[Measurement 2019. The International Conference on Measurement /12./. Smolenice (SK), 27.05.2019-29.05.2019]
R&D Projects: GA ČR(CZ) GA19-16066S
Institutional Support: RVO:67985807
Keywords: Granger Causality * Information Transfer * Interactions * Multiscale Dynamics
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/0299314

0453637 - ÚI 2016 RIV CH eng C - Proceedings Paper (International conf.)
Coufal, David
RBF Neural Networks and Radial Fuzzy Systems.
Engineering Applications of Neural Networks. Cham: Springer, 2015 - (Iliadis, L.; Jayne, C.), s. 206-215. Communications in Computer and Information Science, 517. ISBN 978-3-319-23981-1. ISSN 1865-0929.
[EANN 2015. International Conference /16./. Rhodes (GR), 25.09.2015-28.09.2015]
R&D Projects: GA MŠk(CZ) LD13002
Institutional Support: RVO:67985807
Keywords: RBF neural networks * Radial fuzzy systems * Conjunctive and implicative rule bases
Subject RIV: IN - Informatics, Computer Science
Permanent link: http://hdl.handle.net/11104/0254403

0453676 - ÚI 2016 RIV US eng C - Proceedings Paper (International conf.)
Coufal, David
Degree of Coverage of Radial Rule Bases.
NAFIPS 2015. Proceedings of the 2015 Annual Meeting of the North American Fuzzy Information Processing Society. Piscataway: IEEE, 2015, s. 1-6. ISBN 978-1-4673-7249-7.
[NAFIPS 2015. Annual Meeting of the North American. Redmond (US), 17.08.2015-19.08.2015]
R&D Projects: GA MŠk(CZ) LD13002
Institutional Support: RVO:67985807
Keywords: radial fuzzy systems * convex optimization
Subject RIV: IN - Informatics, Computer Science
Permanent link: http://hdl.handle.net/11104/0254417

0454132 - ÚI 2016 RIV DE eng C - Proceedings Paper (International conf.)
Franek, Peter - Krčál, M.
On Computability and Triviality of Well Groups.
31st International Symposium on Computational Geometry. Dagstuhl: Leibniz-Zentrum fuer Informatik, 2015 - (Arge, L.; Pach, J.), s. 842-856. Leibniz International Proceedings in Informatics, 34. ISBN 978-3-939897-83-5. ISSN 1868-8969.
[SoCG 2015. International Symposium on Computational Geometry /31./. Eindhoven (NL), 22.06.2015-25.06.2015]
FP7(XE) REA grant agreement 291734
Institutional Support: RVO:67985807
Keywords: nonlinear equations * robustness * well groups * computation * homotopy theory
Subject RIV: IN - Informatics, Computer Science
http://drops.dagstuhl.de/opus/volltexte/2015/5115/
Permanent link: http://hdl.handle.net/11104/0254844

0438099 - ÚI 2015 RIV HU eng C - Proceedings Paper (International conf.)
Škoda, D. - Kutílek, P. - Socha, V. - Schlenker, J. - Štefek, A. - Kalina, Jan
The Estimation of the Joint Angles of Upper Limb During Walking Using Fuzzy Logic Systems and Relation Maps.
SAMI 2015. Budapest: IEEE Hungary Section, 2015, s. 267-272. ISBN 978-1-4799-8220-2.
[SAMI 2015. International Symposium on Applied Machine Intelligence and Informatics /13./. Herl'any (SK), 22.01.2015-24.01.2015]
Institutional Support: RVO:67985807
Keywords: fuzzy logic * upper extremities * human gait * rhythmical movement * joint ahgles * relation maps
Subject RIV: FI - Traumatology, Orthopedics
Permanent link: http://hdl.handle.net/11104/0241580

Citation, Review

Citation:
SIVARATHINABALA, M. - ABIRAMI, S. - BASKARAN, R. A Study on Security and Surveillance System Using Gait Recognition. INTELLIGENT TECHNIQUES IN SIGNAL PROCESSING FOR MULTIMEDIA SECURITY. ISSN 1860-949X, 2017, vol. 660, p. 227-252.
ESFAHLANI, S.S. - CIRSTEA, S. - SANAEI, A. - WILSON, G. An adaptive self-organizing fuzzy logic controller in a serious game for motor impairment rehabilitation. 2017 IEEE 26TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE). ISSN 2163-5137, 2017, p. 1311-1318.

0438100 - ÚI 2015 RIV HU eng C - Proceedings Paper (International conf.)
Kalina, Jan - Schlenker, A. - Kutílek, P.
Highly Robust Analysis of Keystroke Dynamics Measurements.
SAMI 2015. Budapest: IEEE Hungary Section, 2015, s. 133-138. ISBN 978-1-4799-8220-2.
[SAMI 2015. International Symposium on Applied Machine Intelligence and Informatics /13./. Herl'any (SK), 22.01.2015-24.01.2015]
GA ČR(CZ) GA13-01930S; CESNET Development Fund(CZ) 494/2013; SVV(CZ) 260034
Institutional Support: RVO:67985807
Keywords: robust classification * regularization * keystroke dynamics
Subject RIV: IN - Informatics, Computer Science
Permanent link: http://hdl.handle.net/11104/0241581

0438102 - ÚI 2015 RIV PT eng C - Proceedings Paper (International conf.)
Kalina, Jan - Schlenker, A.
Robust Image Analysis of BeadChip Microarrays.
BIOIMAGING 2015. Proceedings of the International Conference on Bioimaging. Lisbon: Scitepress, 2015 - (Secca, M.; Schier, J.; Fred, A.; Gamboa, H.; Elias, D.), s. 89-94. ISBN 978-989-758-072-7.
[BIOIMAGING 2015. International Conference on Bioimaging /2./. Lisbon (PT), 12.01.2015-15.01.2015]
SVV(CZ) 260034
Institutional Support: RVO:67985807
Keywords: microarray * robust image analysis * noise * outlying measurements * background effect
Subject RIV: IN - Informatics, Computer Science
Permanent link: http://hdl.handle.net/11104/0241612

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

0491993 - ÚI 2019 RIV US eng C - Proceedings Paper (International conf.)
Šlapák, M. - Neruda, Roman
Matching Subtrees in Genetic Programming Crossover Operator.
ICNC-FSKD 2017. Proceedings of International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery. Piscataway: IEEE, 2017, s. 208-213. ISBN 978-1-5386-2165-3.
[ICNC-FSKD 2017. International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery /13./. Guilin (CN), 29.07.2017-31.07.2017]
R&D Projects: GA ČR GA15-19877S
ČVUT(CZ) SGS17/210/OHK3/3T/18
Institutional Support: RVO:67985807
Keywords: Semantics * Genetic programming * Benchmark testing * Encoding * Standards * Computer science * Electronic mail
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/0285591

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

0492065 - ÚI 2019 CA eng C - Proceedings Paper (International conf.)
Krčál, Marek - Švec, O. - Jašek, O. - Bálek, M.
Deep Convolutional Malware Classifiers Can Learn from Raw Executables and Labels Only.
ICLR 2018 Workshop Track. Vancouver, 2018.
[ICLR 2018: International Conference on Learning Representations /6./. Vancouver (CA), 30.04.2018-03.05.2018]
Institutional Support: RVO:67985807
Keywords: malware detection * convolutional networks * end-to-end 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)
https://openreview.net/forum?id=HkHrmM1PM
Permanent link: http://hdl.handle.net/11104/0285636

Citation, Review

Citation:
VINAYAKUMAR, R. - SOMAN, K.P. DeepMalNet: Evaluating shallow and deep networks for static PE malware detection. ICT EXPRESS. ISSN 2405-9595, DEC 2018, vol. 4, no. 4, p. 255-258.
GO, W. - LEE, D. Toward Trustworthy Deep Learning in Security. PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18). 2018, p. 2219-2221.

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

0493293 - ÚI 2019 RIV IE eng C - Proceedings Paper (International conf.)
Šabata, T. - Pulc, Petr - Holeňa, Martin
Semi-supervised and Active Learning in Video Scene Classification from Statistical Features.
ECML PKDD 2018: Workshop on Interactive Adaptive Learning. Proceedings. Dublin, 2018 - (Krempl, G.; Lemaire, V.; Kottke, D.; Calma, A.; Holzinger, A.; Polikar, R.; Sick, B.), s. 24-35
[ECML PKDD 2018: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Dublin (IE), 10.09.2018-14.09.2018]
R&D Projects: GA ČR(CZ) GA18-18080S
Institutional Support: RVO:67985807
Keywords: video data * scene classification * semi-supervised learning * active learning * colour statistics * feedforward neural 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)
ttps://www.ies.uni-kassel.de/p/ial2018/ialatecml2018.pdf
Permanent link: http://hdl.handle.net/11104/0286680

0493805 - ÚI 2019 RIV CZ eng C - Proceedings Paper (International conf.)
Kalina, Jan - Pitra, Zbyněk
How to down-weight observations in robust regression: A metalearning study.
Mathematical Methods in Economics 2018. Conference Proceedings. Prague: MatfyzPress, 2018 - (Váchová, L.; Kratochvíl, V.), s. 204-209. ISBN 978-80-7378-371-6.
[MME 2018. International Conference Mathematical Methods in Economics /36./. Jindřichův Hradec (CZ), 12.09.2018-14.09.2018]
R&D Projects: GA ČR GA17-07384S; GA ČR GA17-01251S
Institutional Support: RVO:67985807
Keywords: metalearning * robust statistics * linear regression * outliers
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
Permanent link: http://hdl.handle.net/11104/0287108

0493825 - ÚI 2019 RIV CH eng C - Proceedings Paper (International conf.)
Kůrková, Věra
Sparsity and Complexity of Networks Computing Highly-Varying Functions.
Artificial Neural Networks and Machine Learning – ICANN 2018. Proceedings, Part III. Cham: Springer, 2018 - (Kůrková, V.; Manolopoulos, Y.; Hammer, B.; Iliadis, L.; Maglogiannis, I.), s. 534-543. Lecture Notes in Computer Science, 11141. ISBN 978-3-030-01423-0. ISSN 0302-9743.
[ICANN 2018. International Conference on Artificial Neural Networks /27./. Rhodes (GR), 04.10.2018-07.10.2018]
R&D Projects: GA ČR(CZ) GA18-23827S
Institutional Support: RVO:67985807
Keywords: Shallow and deep networks * Model complexity * Sparsity * Highly-varying functions * Covering numbers * Dictionaries of computational units * 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)
https://www.springer.com/us/book/9783030014230
Kůrková, Věra
Permanent link: http://hdl.handle.net/11104/0287121

0493926 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Kůrková, Věra - Sanguineti, M.
Probabilistic Bounds on Complexity of Networks Computing Binary Classification Tasks.
ITAT 2018: Information Technologies – Applications and Theory. Proceedings of the 18th conference ITAT 2018. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2018 - (Krajči, S.), s. 86-91. CEUR Workshop Proceedings, V-2203. ISSN 1613-0073.
[ITAT 2018. Conference on Information Technologies – Applications and Theory /18./. Plejsy (SK), 21.09.2018-25.09.2018]
R&D Projects: GA ČR(CZ) GA18-23827S
Institutional Support: RVO:67985807
Keywords: feedforward networks * binary classification * measures of sparsity * probabilistic bounds * dictionaries of computational units
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-2203/86.pdf
Permanent link: http://hdl.handle.net/11104/0287193

0494103 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Kožusznik, J. - Pulc, Petr - Holeňa, Martin
Sentiment Analysis from Utterances.
ITAT 2018: Information Technologies – Applications and Theory. Proceedings of the 18th conference ITAT 2018. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2018 - (Krajči, S.), s. 92-99. CEUR Workshop Proceedings, V-2203. ISSN 1613-0073.
[ITAT 2018. Conference on Information Technologies – Applications and Theory /18./. Plejsy (SK), 21.09.2018-25.09.2018]
R&D Projects: GA ČR(CZ) GA18-18080S
Institutional Support: RVO:67985807
Keywords: sentiment analysis * MPEG-7 * classification of utterances * Berlin database of emotional speech
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-2203/92.pdf
Permanent link: http://hdl.handle.net/11104/0287341

0494104 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Keruľ-Kmec, O. - Pulc, Petr - Holeňa, Martin
Semisupervised Segmentation of UHD Video.
ITAT 2018: Information Technologies – Applications and Theory. Proceedings of the 18th conference ITAT 2018. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2018 - (Krajči, S.), s. 100-107. CEUR Workshop Proceedings, V-2203. ISSN 1613-0073.
[ITAT 2018. Conference on Information Technologies – Applications and Theory /18./. Plejsy (SK), 21.09.2018-25.09.2018]
R&D Projects: GA ČR(CZ) GA18-18080S
Institutional Support: RVO:67985807
Keywords: UHD video * Scene segmentation * Keypoint detector * Semisupervised classification * Cluster regularization * C-means
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-2203/100.pdf
Permanent link: http://hdl.handle.net/11104/0287344

0494108 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Vidnerová, Petra - Neruda, Roman
Asynchronous Evolution of Convolutional Networks.
ITAT 2018: Information Technologies – Applications and Theory. Proceedings of the 18th conference ITAT 2018. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2018 - (Krajči, S.), s. 80-85. CEUR Workshop Proceedings, V-2203. ISSN 1613-0073.
[ITAT 2018. Conference on Information Technologies – Applications and Theory /18./. Plejsy (SK), 21.09.2018-25.09.2018]
R&D Projects: GA ČR(CZ) GA18-23827S
GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: convolutional neural networks * evolutioanary algorithms * asynchronous evolution
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-2203/80.pdf
Vidnerová, Petra
Permanent link: http://hdl.handle.net/11104/0287354

0494112 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Pitra, Zbyněk - Repický, Jakub - Holeňa, Martin
Boosted Regression Forest for the Doubly Trained Surrogate Covariance Matrix Adaptation Evolution Strategy.
ITAT 2018: Information Technologies – Applications and Theory. Proceedings of the 18th conference ITAT 2018. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2018 - (Krajči, S.), s. 72-79. CEUR Workshop Proceedings, V-2203. ISSN 1613-0073.
[ITAT 2018. Conference on Information Technologies – Applications and Theory /18./. Plejsy (SK), 21.09.2018-25.09.2018]
R&D Projects: GA ČR GA17-01251S
ČVUT(CZ) SGS17/193/OHK4/3T/14; GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: Gradient boosting * Random forest * Black-box optimization * Surrogate model * Benchmarking
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-2203/72.pdf
Permanent link: http://hdl.handle.net/11104/0287361

0494113 - ÚI 2019 RIV DE eng C - Proceedings Paper (International conf.)
Repický, Jakub - Pitra, Zbyněk - Holeňa, Martin
Automated Selection of Covariance Function for Gaussian Process Surrogate Models.
ITAT 2018: Information Technologies – Applications and Theory. Proceedings of the 18th conference ITAT 2018. Aachen: Technical University & CreateSpace Independent Publishing Platform, 2018 - (Krajči, S.), s. 64-71. CEUR Workshop Proceedings, V-2203. ISSN 1613-0073.
[ITAT 2018. Conference on Information Technologies – Applications and Theory /18./. Plejsy (SK), 21.09.2018-25.09.2018]
R&D Projects: GA ČR GA17-01251S
GA MŠk(CZ) LM2015042
Institutional Support: RVO:67985807
Keywords: black-box optimization * Gaussian processes * information criteria * model selection
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-2203/64.pdf
Permanent link: http://hdl.handle.net/11104/0287367