13000 / 13136 - Department of Computer Science

Projects Supported by Grants 2017

Čermák, J.: Solving games in extensive form

2015 - 2017, SGS15/205/OHK3/3T/13

Dolgikh, D.: Graph-based recommendation engine using Social Network Analysis

2016 - 2017, SGS16/163/OHK3/2T/13

Durkota, K.: Multiagent strategic decisions

2015 - 2017, SGS15/206/OHK3/3T/13

Faigl, J.: Plánování, umělá inteligence a robotika (PAIR) 2017

2017 - 2017, SVK 24/17/F3

Frajták, K.: Automated methods for software testing

2017 - 2017, SGS17/097/OHK3/1T/13

Jakob, M.: Transport systems development centre

2012 - 2018, TE01020155

Mazanec, M.: Multi-platform mobile application development

2015 - 2017, SGS15/207/OHK3/3T/13

Mrva, J.: Adaptive Informative Motion Planning In Autonomous Data Collection

2015 - 2017, SGS15/208/OHK3/3T/13

Pačes, P.: Key technologies for Time-Of-Flight sensor data processing and visualization

2017 - 2019, LTACH17013

Rollo, M.: Development of Unmanned Aerial Vehicles for Forest Monitoring

2015 - 2018, QJ1520187

Schaefer, M.: Coordination Algorithms for Intelligent Vehicles

2015 - 2017, SGS15/209/OHK3/3T/13

Šebek, J.: Aspected oriented design of software applications and optimalization of their development

2015 - 2017, SGS15/210/OHK3/3T/13

Šír, G.: Developing machine learning methods for bioinformatics

2017 - 2019, SGS17/189/OHK3/3T/13

Tomášek, M.: Using Aspected oriented approach for design software applications and optimalization of their development

2016 - 2018, SGS16/234/OHK3/3T/13

Vokřínek, J.: Planning and strategic reasoning in mutliagent systems

2016 - 2018, SGS16/235/OHK3/3T/13

Volf, P.: Development and Validation of Enhanced AGENTFLY Simulation Platform with ATC Agent

2013 - 2018, DTFACT-12-A-80003 / 218036-3850

Železný, F.: Design of Large Master-Key Systems through Artificial Intelligence (CyberCalc)

2016 - 2019, TH02010824

Železný, F.: Deep relational learning

2017 - 2019, GA17-26999S

13136 / 13141 - Artificial Intelligence Center

Projects Supported by Grants 2017

Bošanský, B.: Defeating the Dark Triad in Cyber Security Using Game Theory

2016 - 2019,

Faigl, J.: Adaptive Informative Path Planning in Autonomous Data Collection in Dynamic Unstructured Environments

2015 - 2017, GJ15-09600Y

Faigl, J.: Efficient Information Gathering with Dubins Vehicles in Persistent Monitoring and Surveillance Missions

2016 - 2018, GA16-24206S

García, S.: Ludus: Machine Learning and Game Theory to Collaboratively Defend Against Internet Threats

2016 - 2019, TH02010990

Jakob, M.: Enabling seamless electromobility through smart vehicle-grid integration

2016 - 2019, 713864

Jakob, M.: Unlocking Large-Scale Access to Combined Mobility through a European MaaS Network

2017 - 2019, 723314

Komenda, A.: Heuristic Search for Multiagent and Factored Planning

2015 - 2017, GJ15-20433Y

Krajník, T.: Spatio-temporal representations for life-long mobile robot navigation

2017 - 2019, GJ17-27006Y

Pěchouček, M.: Abstractions and Extensive-Form Games with Imperfect Recall

2015 - 2017, GA15-23235S

Volf, P.: Controller Tools and Team Organisation for the Provision of Separation in Air Traffic Management

2016 - 2019, 734134

13136 / 13143 - Intelligent Data Analysis

Projects Supported by Grants 2017

Kléma, J.: Zefektivnění veřejného systému miXGENE pro integrativní analýzu molekulárních dat

2016 - 2017, 579R1/2016

Kléma, J.: Long non-coding RNAs in myelodysplatic syndromes: clinical relevance and impication in the pathogenesis

2017 - 2021, NV17-31398A

13136 / 13144 - System Testing IntelLigent Lab

Projects Supported by Grants 2017

Bureš, M.: Innovation in history education: Development of digital application for work with resources

2016 - 2017, TD03000063

Bureš, M.: Quality Assurance System for Internet of Things Technology

2017 - 2020, TH02010296