Nápověda

Ústav informatiky AV ČR, v. v. i.

Publikace ASEP

Označit vše / Zobrazit všechny roky / Zrušit označení

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 241

0457696 - ÚI 2016 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Papáček, Š. - Macdonald, B. - Matonoha, Ctirad
Closed-form Formulae vs. PDE Based Numerical Solution for FRAP Data Processing: Theoretical and Practical Comparison.
Modelling for Engineering and Human Behaviour 2015. Valencia: Universitat Politecnica de Valencia, 2015 - (Jódar, L.; Acedo, L.; Cortés, J.; Torregrosa, J.), s. 359-364. ISBN 978-84-608-5355-8.
[Mathematical Modelling for Engineering and Human Behaviour 2015. Valencia (ES), 09.09.2015-11.09.2015]
GA MŠk(CZ) ED2.1.00/01.0024; GA MŠk(CZ) LO1205
Institucionální podpora: RVO:67985807
Klíčová slova: fluorescence recovery after photobleaching (FRAP) * parameter estimation * sensitivity analysis * partial differential equation (PDE)
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0258070

0459376 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Moudřík, J. - Baudiš, P. - Neruda, Roman
Evaluating Go Game Records for Prediction of Player Attributes.
Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games. Piscataway: IEEE, 2015, s. 162-168. ISBN 978-1-4799-8622-4. ISSN 2325-4289.
[CIG 2015. IEEE Conference on Computational Intelligence and Games. Tainan (TW), 31.08.2015-05.09.2015]
Grant CEP: GA ČR GA15-19877S
GA UK(CZ) 364015; SVV(CZ) 260 224
Institucionální podpora: RVO:67985807
Klíčová slova: computer Go * machine learning * feature extraction * board games * skill assessment
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0259581

Citace, recenze▾
Citace:
KOSAKA, Y. - ITO, T. Examination of Indicators for Estimating Players' Strength by using Computer Go. 2018 CONFERENCE ON TECHNOLOGIES AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE (TAAI). ISSN 2376-6816, 2018, p. 96-101.

0459745 - ÚI 2017 US eng C - Konferenční příspěvek (zahraniční konf.)
Kit, M. - Plášil, F. - Matěna, V. - Bureš, Tomáš - Kováč, O.
Employing Domain Knowledge for Optimizing Component Communication.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York: ACM, 2015, s. 59-64. ISBN 978-1-4503-3471-6.
[CBSE 2015. International ACM SIGSOFT Symposium on Component-Based Software Engineering /18./. Montreal (CA), 04.05.2015-05.05.2015]
Institucionální podpora: RVO:67985807
Klíčová slova: cyber-physical systems * domain knowledge * component communication
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý odkaz: http://hdl.handle.net/11104/0259904

0462894 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Šabata, T. - Borovička, T. - Holeňa, Martin
Modeling and Clustering the Behavior of Animals Using Hidden Markov Models.
Proceedings ITAT 2016: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2016 - (Brejová, B.), s. 172-178. CEUR Workshop Proceedings, V-1649. ISBN 978-1-5370-1674-0. ISSN 1613-0073.
[ITAT 2016. Conference on Theory and Practice of Information Technologies /16./. Tatranské Matliare (SK), 15.09.2016-19.09.2016]
Institucionální podpora: RVO:67985807
Klíčová slova: behavior patterns * behavioral sequences * clustering * hidden Markov models * Kullback-Leibler divergence
Kód oboru RIV: IN - Informatika
http://ceur-ws.org/Vol-1649/172.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0262246

0462902 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pulc, P. - Rosenzveig, E. - Holeňa, Martin
Image Processing in Collaborative Open Narrative Systems.
Proceedings ITAT 2016: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2016 - (Brejová, B.), s. 155-162. CEUR Workshop Proceedings, V-1649. ISBN 978-1-5370-1674-0. ISSN 1613-0073.
[ITAT 2016. Conference on Theory and Practice of Information Technologies /16./. Tatranské Matliare (SK), 15.09.2016-19.09.2016]
Institucionální podpora: RVO:67985807
Klíčová slova: multimedia * image processing * open narrative approach * collaborative open narrative * grid cut algorithm
Kód oboru RIV: IN - Informatika
http://ceur-ws.org/Vol-1649/155.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0262253

0462910 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Orekhov, N. - Bajer, L. - Holeňa, Martin
Testing Gaussian Process Surrogates on CEC’2013 Multi-Modal Benchmark.
Proceedings ITAT 2016: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2016 - (Brejová, B.), s. 138-146. CEUR Workshop Proceedings, V-1649. ISBN 978-1-5370-1674-0. ISSN 1613-0073.
[ITAT 2016. Conference on Theory and Practice of Information Technologies /16./. Tatranské Matliare (SK), 15.09.2016-19.09.2016]
GA MŠk(CZ) LM2015042
Institucionální podpora: RVO:67985807
Klíčová slova: Gaussian process * ordinary regression * surrogate modelling * black-box optimization * CMA-ES Gaussian process * ordinary regression * surrogate modelling * black-box optimization * CMA-ES
Kód oboru RIV: IN - Informatika
http://ceur-ws.org/Vol-1649/138.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0262257

0462912 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kůrková, Věra
Multivariable Approximation by Convolutional Kernel Networks.
Proceedings ITAT 2016: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2016 - (Brejová, B.), s. 118-122. CEUR Workshop Proceedings, V-1649. ISBN 978-1-5370-1674-0. ISSN 1613-0073.
[ITAT 2016. Conference on Theory and Practice of Information Technologies /16./. Tatranské Matliare (SK), 15.09.2016-19.09.2016]
Grant CEP: GA ČR GA15-18108S
Institucionální podpora: RVO:67985807
Klíčová slova: kernel networks * approximation of functions * Fourier transform
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-1649/118.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0262258

0462914 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jajcay, Nikola - Paluš, Milan
Statistical Modelling in Climate Science.
Proceedings ITAT 2016: Information Technologies - Applications and Theory. Aachen & Charleston: Technical University & CreateSpace Independent Publishing Platform, 2016 - (Brejová, B.), s. 102-109. CEUR Workshop Proceedings, V-1649. ISBN 978-1-5370-1674-0. ISSN 1613-0073.
[ITAT 2016. Conference on Theory and Practice of Information Technologies /16./. Tatranské Matliare (SK), 15.09.2016-19.09.2016]
Institucionální podpora: RVO:67985807
Klíčová slova: statistical modelling * inverse models * ENSO * climate modelling * ENSO modelling
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
http://ceur-ws.org/Vol-1649/102.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0262261

0462922 - ÚI 2017 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kalina, Jan - Peštová, Barbora
Some Robust Distances for Multivariate Data.
Proceedings of the 34th International Conference Mathematical Methods in Economics MME 2016. Liberec: Technical University, 2016 - (Kocourek, A.; Vavroušek, M.), s. 365-370. ISBN 978-80-7494-296-9.
[MME 2016. International Conference Mathematical Methods in Economics /34./. Liberec (CZ), 06.09.2016-09.09.2016]
GA ČR(CZ) GA13-01930S
Institucionální podpora: RVO:67985807
Klíčová slova: multivariate data * distance measures * regularization * robustness * high dimension
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
http://mme2016.tul.cz/conferenceproceedings/mme2016_conference_proceedings.pdf#page=377
Trvalý odkaz: http://hdl.handle.net/11104/0262275

0462951 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Sorrosal, G. - Borges, C.E. - Holeňa, Martin - Macarulla, A.M. - Martin, C. - Alonso-Vicario, A.
Evolutionary Dynamic Optimization of Control Trajectories for the Catalytic Transformation of the Bioethanol-To-Olefins Process using Neural Networks.
GECCO '16 Companion Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York: ACM, 2016 - (Friedrich, T.), s. 133-134. ISBN 978-1-4503-4323-7.
[GECCO 2016. Genetic and Evolutionary Computation Conference. Denver (US), 20.07.2016-24.07.2016]
BIOTRANS(ES) PI2013-40
Institucionální podpora: RVO:67985807
Klíčová slova: Evolutionary dynamic Optimization * BTO process
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0262285

0453676 - ÚI 2016 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠk(CZ) LD13002
Institucionální podpora: RVO:67985807
Klíčová slova: radial fuzzy systems * convex optimization
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0254417

0453637 - ÚI 2016 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠk(CZ) LD13002
Institucionální podpora: RVO:67985807
Klíčová slova: RBF neural networks * Radial fuzzy systems * Conjunctive and implicative rule bases
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0254403

0454132 - ÚI 2016 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:67985807
Klíčová slova: nonlinear equations * robustness * well groups * computation * homotopy theory
Kód oboru RIV: IN - Informatika
http://drops.dagstuhl.de/opus/volltexte/2015/5115/
Trvalý odkaz: http://hdl.handle.net/11104/0254844

0454876 - ÚI 2016 DE eng C - Konferenční příspěvek (zahraniční konf.)
Bartl, E. - Bělohlávek, R. - Osicka, P. - Řezanková, Hana
Dimensionality Reduction in Boolean Data: Comparison of Four BMF Methods.
Clustering High-Dimensional Data. Berlin: Springer, 2015 - (Masulli, F.; Petrosino, A.; Rovetta, S.), s. 118-133. Lecture Notes in Computer Science, 7627. ISBN 978-3-662-48576-7. ISSN 0302-9743.
[CHDD 2012. Clustering High-Dimensional Data. International Workshop /1./. Naples (IT), 15.05.2012-15.05.2012]
Grant CEP: GA ČR GAP202/10/0262
GA MŠk CZ.1.07/2.3.00/20.0059
Klíčová slova: binary data * dimensionality reduction * Boolean factor analysis * matrix decomposition
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Trvalý odkaz: http://hdl.handle.net/11104/0255530

Citace, recenze▾
Citace:
RAMIREZ, I. Binary Matrix Factorization via Dictionary Learning. IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING. ISSN 1932-4553, DEC 2018, vol. 12, no. 6, p. 1253-1262.

0436187 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
What is Computation: An Epistemic Approach.
SOFSEM 2015: Theory and Practice of Computer Science. Berlin: Springer, 2015 - (Italiano, G.; Margaria-Steffen, T.; Pokorný, J.; Quisquater, J.; Wattenhofer, R.), s. 1-13. Lecture Notes in Computer Science, 8939. ISBN 978-3-662-46077-1. ISSN 0302-9743.
[Sofsem 2015. International Conference on Current Trends in Theory and Practice of Computer Science /41./. Pec pod Sněžkou (CZ), 24.01.2015-29.01.2015]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge generation * information technology
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0239973

0438099 - ÚI 2015 RIV HU eng C - Konferenční příspěvek (zahraniční konf.)
Š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]
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logic * upper extremities * human gait * rhythmical movement * joint ahgles * relation maps
Kód oboru RIV: FI - Traumatologie, ortopedie
Trvalý odkaz: http://hdl.handle.net/11104/0241580

Citace, recenze▾
Citace:
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 - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:67985807
Klíčová slova: robust classification * regularization * keystroke dynamics
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0241581

0438102 - ÚI 2015 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:67985807
Klíčová slova: microarray * robust image analysis * noise * outlying measurements * background effect
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0241612

0439199 - ÚI 2015 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
Kalina, Jan - Duintjer Tebbens, Jurjen
Algorithms for Regularized Linear Discriminant Analysis.
BIOINFORMATICS 2015. Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. Lisbon: Scitepress, 2015, s. 128-133. ISBN 978-989-758-070-3.
[BIOINFORMATICS 2015. International Conference on Bioinformatics Models, Methods and Algorithms. Lisbon (PT), 12.01.2015-15.01.2015]
Grant CEP: GA ČR GA13-17187S; GA ČR GA13-06684S
Institucionální podpora: RVO:67985807
Klíčová slova: classification analysis * regularization * high-dimensional data * decomposition * computational aspects
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0242575

Citace, recenze▾
Citace:
PLANSANGKET, S. - GAN, J.Q. A New Term Weighting Scheme Based on Class Specific Document Frequency for Document Representation and Classification. 2015 7TH COMPUTER SCIENCE AND ELECTRONIC ENGINEERING CONFERENCE (CEEC). ISSN 2472-1530, 2015, p. 5-8.

0439763 - ÚI 2015 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
Bajer, Lukáš - Holeňa, Martin
Model Guided Sampling Optimization for Low-Dimensional Problems.
ICAART 2015. Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2. Lisbon: Scitepress, 2015 - (Loiseau, S.; Filipe, J.; Duval, J.; van den Herik, J.), s. 451-456. ISBN 978-989-758-074-1.
[ICAART 2015. International Conference on Agents and Artificial Intelligence /7./. Lisbon (PT), 10.01.2015-12.01.2015]
Grant CEP: GA ČR GAP202/10/1333; GA ČR GA13-17187S
Institucionální podpora: RVO:67985807
Klíčová slova: black-box Optimization * Gaussian Process * Surrogate Modelling * EGO
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0242987

0489088 - ÚI 2019 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985807
Klíčová slova: Heteroscedasticity * Regression median * Diagnostic tools * Asymptotics
Kód oboru RIV: IN - Informatika
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
Trvalý odkaz: http://hdl.handle.net/11104/0283572

0489976 - ÚT 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:61388998 ; RVO:67985807
Klíčová slova: turbine rotor * rotating speed instability * non-contact vibration diagnostics * time-varying-coefficient model
Kód oboru RIV: JB - Senzory, čidla, měření a regulace; BB - Aplikovaná statistika, operační výzkum (UIVT-O)
Obor OECD: Electrical and electronic engineering; Statistics and probability (UIVT-O)
Trvalý odkaz: http://hdl.handle.net/11104/0285789

0490833 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA15-19877S
GA MŠk(CZ) LM2015042; GA UK(CZ) 187115
Institucionální podpora: RVO:67985807
Klíčová slova: genetic programming * multi-objective evolutionary algorithm * machine learning
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0284977

0490841 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA18-23827S
GA MŠk(CZ) LM2015042
Institucionální podpora: RVO:67985807
Klíčová slova: Adversarial examples * RBF networks * Deep neural networks * Convolutional networks
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0284980

Citace, recenze▾
Citace:
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 - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GBP402/12/G097
Institucionální podpora: RVO:67985807
Klíčová slova: Change point * Panel data * Change in mean * Hypothesis testing * Structural change * Ratio type statistics
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
Trvalý odkaz: http://hdl.handle.net/11104/0284981

0490784 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Ší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]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: analog neural network * Turing machine * Chomsky hierarchy
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0284924

0490832 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA15-19877S
GA UK(CZ) 187115; GA UK(CZ) 364015
Institucionální podpora: RVO:67985807
Klíčová slova: Parametric Polymorphism * Monte-Carlo Tree Search * Genetic Programming * Nested Monte-Carlo Search
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0284976

0491208 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA15-19877S
Institucionální podpora: RVO:67985807
Klíčová slova: Monte-Carlo Tree Search * Parametric Polymorphism * Genetic Programming * Nested Monte-Carlo Search * UCT
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0285247

0491795 - ÚI 2019 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Resler, Jaroslav - Krč, Pavel - Belda, Michal - Juruš, Pavel - Benešová, N. - Vlček, O. - Damašková, D. - Eben, Kryštof - Derbek, P.
Street-level Assessment of Urban Scenarios on Thermal Comfort and Air Quality by the Means of Newly Developed Urban Surface Model for LES Model PALM.
HARMO 2017. Proceedings of the 18th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes. Bologna: CNR Research Area Bologna, 2017, s. 611-616.
[HARMO 2017. International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes /18./. Bologna (IT), 09.10.2017-12.10.2017]
EHP,MF ČR(CZ) 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
Institucionální podpora: RVO:67985807
Klíčová slova: Large Eddy Simulation * micro-scale modelling * climate change adaptation measures * air quality
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
http://www.harmo.org/Conferences/Proceedings/_Bologna/publishedSections/H18-197-Benesova.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0285424

0491805 - ÚI 2019 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Benešová, N. - Vlček, O. - Belda, M. - Huszár, P. - Resler, Jaroslav - Juruš, Pavel - Krč, Pavel - Eben, Kryštof
New Integrated Emission Processor for Air Quality Models.
HARMO 2017. Proceedings of the 18th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes. Bologna: CNR Research Area Bologna, 2017, s. 161-165.
[HARMO 2017. International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes /18./. Bologna (IT), 09.10.2017-12.10.2017]
TA ČR(CZ) TA04020797
Institucionální podpora: RVO:67985807
Klíčová slova: emission processor * air quality modelling * chemical transport models * air pollution
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
http://www.harmo.org/Conferences/Proceedings/_Bologna/publishedSections/H18-196-Vlcek.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0285428

0491993 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Š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]
Grant CEP: GA ČR GA15-19877S
ČVUT(CZ) SGS17/210/OHK3/3T/18
Institucionální podpora: RVO:67985807
Klíčová slova: Semantics * Genetic programming * Benchmark testing * Encoding * Standards * Computer science * Electronic mail
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0285591

0492065 - ÚI 2019 CA eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985807
Klíčová slova: malware detection * convolutional networks * end-to-end learning
Kód oboru RIV: IN - Informatika
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
Trvalý odkaz: http://hdl.handle.net/11104/0285636

Citace, recenze▾
Citace:
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.

0491981 - ÚI 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
AV ČR(CZ) JSPS-16-08
Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
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
Trvalý odkaz: http://hdl.handle.net/11104/0285566

0492042 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:67985807
Klíčová slova: Optimization * Parameter identification * FRAP Bleaching pattern * Initial boundary value problem * Sensitivity measure
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Matonoha, Ctirad
Trvalý odkaz: http://hdl.handle.net/11104/0285620

0492044 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:67985807
Klíčová slova: Microalgae * Mathematical modeling * Photosynthesis * CFD * Couette-Taylor bioreactor * Flashing light enhancement
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Matonoha, Ctirad
Trvalý odkaz: http://hdl.handle.net/11104/0285622

0492190 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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
Institucionální podpora: RVO:67985807
Klíčová slova: Krylov subspace * CGL * Finite-precision computations * MINRES * Loss of orthogonality * Delay of convergence * Lanczos vectors
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Applied mathematics
Kubínová, Marie
Trvalý odkaz: http://hdl.handle.net/11104/0285734

0493293 - ÚI 2019 RIV IE eng C - Konferenční příspěvek (zahraniční konf.)
Š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]
Grant CEP: GA ČR(CZ) GA18-18080S
Institucionální podpora: RVO:67985807
Klíčová slova: video data * scene classification * semi-supervised learning * active learning * colour statistics * feedforward neural networks
Kód oboru RIV: IN - Informatika
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
Trvalý odkaz: http://hdl.handle.net/11104/0286680

0512092 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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. ISSN 1613-0073.
[ITAT 2019: Conference Information Technologies - Applications and Theory /19./. Donovaly (SK), 20.09.2019-24.09.2019]
Grant CEP: GA ČR(CZ) GA18-18080S
GA MŠk(CZ) LM2015042
Institucionální podpora: RVO:67985807
Klíčová slova: artificial neural networks * multilayer perceptrons * deep networks * semi-supervised learning * malware detection
Kód oboru RIV: IN - Informatika
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
Trvalý odkaz: http://hdl.handle.net/11104/0302298

0507969 - ÚI 2020 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Approximation of random functions * Feedforward networks * Dictionaries of computational units * High-dimensional geometry * Concentration of measure * Azuma-Hoeffding inequalities
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0298932

0508386 - ÚI 2020 RIV SK eng C - Konferenční příspěvek (zahraniční konf.)
Paluš, Milan
Causality and Information Transfer across Time Scales.
Measurement 2019. Proceedings of the 12th International Conference on Measurement. Bratislava, Piscataway: Institute of Measurement Science SAS, IEEE, 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]
Grant CEP: GA ČR(CZ) GA19-16066S
Institucionální podpora: RVO:67985807
Klíčová slova: Granger Causality * Information Transfer * Interactions * Multiscale Dynamics * causality * coupling * information transfer * synchronization * time scales
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0299314

0475613 - ÚI 2018 RIV SK cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Nový pohled na výpočty a umělá inteligence.
[A new view of computations and artificial intelligence.]
Kognícia a umelý život 2017. Bratislava: Univerzita Komenského, 2017 - (Farkaš, I.; Takáč, M.; Rybár, J.; Gergeľ, P.), s. 190-193. ISBN 978-80-223-4346-6.
[Kognícia a umelý život /17./. Trenčianske Teplice (SK), 31.05.2017-02.06.2017]
GA ČR(CZ) GA15-04960S; AV ČR(CZ) StrategieAV21/1
StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: computations * knowledge theory * cognitive functions * accountability * self-awareness * introspection * knowledge understanding * free will * creativity
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0272286

0497192 - ÚI 2020 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Lukšan, Ladislav - Vlček, Jan
A Hybrid Method for Nonlinear Least Squares that Uses Quasi-Newton Updates Applied to an Approximation of the Jacobian Matrix.
Programs and Algorithms of Numerical Mathematics 19. Prague: Institute of Mathematics of the Czech Academy of Sciences, 2019 - (Chleboun, J.; Kůs, P.; Přikryl, P.; Rozložník, M.; Segeth, K.; Šístek, J.; Vejchodský, T.), s. 99-106. ISBN 978-80-85823-69-1.
[Programs and Algorithms of Numerical Mathematics /19./. Hejnice (CZ), 24.06.2018-29.06.2018]
Institucionální podpora: RVO:67985807
Klíčová slova: nonlinear least squares * hybrid methods * trust-region methods * quasi-Newton methods * numerical algorithms * numerical experiments
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Applied mathematics
Trvalý odkaz: http://hdl.handle.net/11104/0289769

0497292 - ÚI 2019 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Peštová, Barbora - Kalina, Jan
Robust Metalearning: Comparing Robust Regression Using A Robust Prediction Error.
The 12th International Days of Statistics and Economics Conference Proceedings. Slaný: Melandrium, 2018 - (Löster, T.; Pavelka, T.), s. 1367-1376. ISBN 978-80-87990-14-8.
[International Days of Statistics and Economics /12./. Prague (CZ), 06.09.2018-08.09.2018]
Grant CEP: GA ČR GA17-01251S
Institucionální podpora: RVO:67985807
Klíčová slova: metalearning * robust regression * outliers * robust prediction error
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://msed.vse.cz/msed_2018/article/13-Pestova-Barbora-paper.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0289877

0497296 - ÚI 2019 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kalina, Jan
Nonparametric Bootstrap Techniques for Implicitly Weighted Robust Estimators.
The 12th International Days of Statistics and Economics Conference Proceedings. Slaný: Melandrium, 2018 - (Löster, T.; Pavelka, T.), s. 770-779. ISBN 978-80-87990-14-8.
[International Days of Statistics and Economics /12./. Prague (CZ), 06.09.2018-08.09.2018]
Grant CEP: GA ČR GA17-07384S
Institucionální podpora: RVO:67985807
Klíčová slova: robust statistics * econometrics * correlation coefficient * multivariate data
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
https://msed.vse.cz/msed_2018/article/3-Kalina-Jan-paper.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0289872

0497814 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pulc, Petr - Holeňa, Martin
Hierarchical Motion Tracking Using Matching of Sparse Features.
SITIS 2018. Proceedings of the 14th International Conference on Signal-Image Technology & Internet-Based Systems. Los Alamitos: IEEE Computer Society CPS, 2018 - (Sanniti di Baja, G.; Gallo, L.; Yetongnon, K.; Dipanda, A.; Castrillón-Santana, M.; Chbeir, R.), s. 449-456. ISBN 978-1-5386-9385-8.
[SITIS 2018. International Conference on Signal Image Technology & Internet Based Systems /14./. Las Palmas de Gran Canaria (ES), 26.11.2018-29.11.2018]
Grant CEP: GA ČR(CZ) GA18-18080S
ČVUT(CZ) SGS17/210/OHK3/3T/18
Institucionální podpora: RVO:67985807
Klíčová slova: motion tracking * image feature detection * image feature description * GPU * CUDA * ORB * Ultra HD
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0290299

0461966 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Kód oboru RIV: BA - Obecná matematika
Dostál, Matěj
Trvalý odkaz: http://hdl.handle.net/11104/0261503

Citace, recenze▾
Citace:
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.

0505945 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ší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]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Neural computing * Analog neuron hierarchy * Deterministic context-free language * Restart automaton * Chomsky hierarchy
Kód oboru RIV: IN - Informatika
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
Trvalý odkaz: http://hdl.handle.net/11104/0297270

0519370 - ÚI 2020 US eng C - Konferenční příspěvek (zahraniční konf.)
Pešková, K. - Neruda, Roman
Hyperparameters search methods for machine learning linear workflows.
18th IEEE International Conference on Machine Learning and Applications ICMLA 2019. Proceedings. 2019, s. 1205-1210.
[ICMLA 2019: IEEE International Conference on Machine Learning and Applications /18./. Boca Raton (US), 16.12.2019-19.12.2019]
Grant CEP: GA ČR(CZ) GA18-23827S
Institucionální podpora: RVO:67985807
Klíčová slova: hyperparameters optimization * machine learning workflows * data preprocessing
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0304362

0465841 - ÚI 2017 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Belnap-Dunn logic * four-valued logic * propositional dynamic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0264286

0449741 - ÚI 2016 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kalina, Jan
Some Robust Estimation Tools for Multivariate Models.
The 9th International Days of Statistics and Economics Conference Proceedings. Praha: VŠE, 2015 - (Löster, T.; Pavelka, T.), s. 713-722. ISBN 978-80-87990-06-3.
[International Days of Statistics and Economics /9./. Prague (CZ), 10.09.2015-12.09.2015]
Grant CEP: GA ČR GA13-17187S
GA ČR(CZ) GA13-01930S
Institucionální podpora: RVO:67985807
Klíčová slova: robust data mining * high-dimensional data * cluster analysis * outliers
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
http://msed.vse.cz/msed_2015/article/7-Kalina-Jan-paper.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0251206