Intelligent Systems and Computing ****************************************************************************************** * Intelligent Systems and Computing ****************************************************************************************** Five research groups from the School of Computer Science focus on applied computer science research is conducted in the areas of artificial intelligence, machine learning, modeling of algorithms, data structures as well as in state-of-the-art methods for visual computing technologies. ****************************************************************************************** * Data Engineering ****************************************************************************************** The Department of Software Engineering [ URL "https://www.mff.cuni.cz/cs/fakulta/organizac katedra?code=204"] deals with search in big structured and unstructured data, such as mult scientific and bio data. We focus on database methods for similarity search (performance, modeling and development of alternative means of retrieval, and also similarity modeling i data domains. In the multimedia retrieval field, we work with complex image descriptors an of retrieval using database methods based on massively parallel processing. In the bioinfo we focus on the development of algorithms and computational tools to aid analysis of biolo computational drug discovery. In the big data domain, we develop methods which can be used integration and extraction. We develop methods which allow people to integrate large heter explore and browse it in a user friendly way. We also research Linked Data methods which p framework for publishing and interlinking data on the Web. This allows us to enrich given context of thousands of data sources already available on the Web. ****************************************************************************************** * Software Systems ****************************************************************************************** The Department of Distributed and Dependable Systems [ URL "https://d3s.mff.cuni.cz/"] foc and models that enable systematic development of dependable software for complex and dynam systems. This covers approaches for (i) architectural models based on autonomic component that are specifically tailored for highly dynamic systems, (ii) models and techniques for adaptivity and self-awareness (including awareness of own performance), (iii) methods for in edge-cloud with soft real-time guarantees, (iv) methods and tools for assessing perform resource consumption. The department further focuses on analysis of software systems. This formal verification of properties of software systems implemented in Java and PHP. The dep regularly participates in industrial and EU projects (FP7, H2020); its most recent publicl projects are AFarCloud [ URL "https://d3s.mff.cuni.cz/projects/afarcloud"] and FitOptiVis d3s.mff.cuni.cz/projects/fitoptivis"] (ECSEL), ESTABLISH (ITEA3/EUREKA), and Trust 4.0 (TA ****************************************************************************************** * Visual Computing ****************************************************************************************** The Computer Graphics Group [ URL "https://cgg.mff.cuni.cz/"] is one of the leading groups Graphics research worldwide, with a strong focus on realistic image synthesis and 3D print research is strongly rooted in problems encountered in practice: many of the results have the renowned graphics production houses, such as Weta Digital, PIXAR Animation Studios, or Two leading figures contribute to the scientific excellence of the group. Alexander Wilkie cgg.mff.cuni.cz/~wilkie/Website/Home.html"] focuses on physics related aspects of light tr modeling, and color science. Jaroslav Křivánek [ URL "https://cgg.mff.cuni.cz/~jaroslav/"] radiative transport, Monte Carlo methods, and visual perception. In 2014, he was selected Europe 100 list, “a list of outstanding challengers who are leading world class innovation Eastern Europe”. ****************************************************************************************** * Language technologies ****************************************************************************************** The Institute of Formal and Applied Linguistics [ URL "http://ufal.mff.cuni.cz/"] focuses technologies such as machine translation, text analytics, information retrieval and inform as well as dialogue systems. The research areas, headed by two renown experts in computati and machine translation, Jan Hajič [ URL "http://ufal.mff.cuni.cz/jan-hajic"] and Ondřej B "http://ufal.mff.cuni.cz/ondrej-bojar"] , represent attractive interdisciplinary tasks rel computer science, linguistics, statistics and mathematical modeling, with specific challen engineering – as the volume of the data processed typically reaches tens of billions of wo the area of language technologies is supported by the Research Infrastructure LINDAT / CLA distributed national node of the Czech Republic in European research infrastructures CLARI "https://www.clarin.eu/content/clarin-in-a-nutshell"] and DARIAH ERIC [ URL "https://www.d infrastructure collects and prepares open language resources necessary for all research ar language processing and digital humanities. It also provides open tools and services for b as well as applied research in these dynamic areas. ****************************************************************************************** * Artificial Intelligence ****************************************************************************************** The Department of Theoretical Computer Science and Mathematical Logic [ URL "https://www.k KTIML-1.html"] does research in the area of artificial intelligence, namely, constraint sa automated planning and scheduling, knowledge representation and compilation, artificial ne machine learning and data mining, nature-inspired computation and robotics. Specifically, of hard combinatorial optimization problems such as manufacturing scheduling and path plan reduction-based techniques to solve the problems (for example by reduction to Boolean sati constraint satisfaction problems). In general, we deal with formal representation of probl in propositional logic, and with transformations of representations to achieve better solv We apply AI techniques on real robots with showcase at events such as Eurobot and Field Ro We also deal with pattern recognition and classification problems and with nature-inspired techniques such as genetic algorithms. Our research is motivated by real-life applications various planning, scheduling, and decision making problems. ****************************************************************************************** * Selected outputs ****************************************************************************************** • Radim Bača, Michal Krátký, Irena Holubová, Martin Nečaský, Tomáš Skopal, Martin Svoboda, Structural XML Query Processing, ACM Computing Surveys, 50(5), pp.:64:1-64:41, ACM, 2017 • Roman Barták, Adrien Maillard, Rafael Cau? Cardoso: Validation of Hierarchical Plans via of Attribute Grammars. Proceedings of the 28th International Conference on Automated Pla Scheduling (ICAPS 2018), AAAI Press, pp. 11-19, 2018 • Roman Barták, Jiří Švancara, Marek Vlk: A Scheduling-Based Approach to Multi-Agent Path Weighted and Capacitated Arcs. Proceedings of the 17th International Conference on Auton MultiAgent Systems (AAMAS 2018), pp. 748-756, 2018 • Ondřej Bojar, Rajen Chatterjee, Christian Federmann, Yvette Graham, Barry Haddow, Shujia Matthias Huck, Philipp Koehn, Qun Liu, Varvara Logacheva, Christof Monz, Matteo Negri, M Raphael Rubino, Lucia Specia, Marco Turchi: Findings of the 2017 Conference on Machine T (WMT17). In: Proceedings of the Second Conference on Machine Translation, Volume 2: Shar Copyright © Association for Computational Linguistics, Stroudsburg, PA, USA, pp. 169-214 • Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B., Wilkie, A., and Scattering-aware Texture Reproduction for 3D Printing. ACM Transactions on Graphics (Pro SIGGRAPH Asia), 36(6), 2017 • Ilias Gerostathopoulos, Dominik Škoda, František Plášil, Tomáš Bureš, T. and Knauss, A.: Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis. Jour Systems and Software. (Feb. 2019). DOI:https://doi.org/10.1016/j.jss.2018.10.051, 2019 [ www.sciencedirect.com/science/article/pii/S016412121830236X?via%3Dihub"] • Hauzar, David. and Kofroň, Jan: Framework for Static Analysis of PHP Applications. Proce 2015 (Dagstuhl, Germany, Jul. 2015), 689-711, 2015 • David Hoksza, Piotr Gawron, Marek Ostaszewski and Reinhard Schneider. MolArt: A molecula annotation and visualization tool, Bioinformatics, 34(23):4127-4128, Oxford Journals, 20 • Joakim Nivre, Marie-Catherine de Marneffe, Filip Ginter, Yoav Goldberg, Jan Hajič, Chris Manning, Ryan McDonald, Slav Petrov, Sampo Pyysalo, Natalia Silveira, Reut Tsarfaty, Dan Universal Dependencies v1: A Multilingual Treebank Collection. In Proceedings of the 10t Conference on Language Resources and Evaluation (LREC 2016). pp. 1659-1666. European Lan Association, 2016 • Vévoda, P., Kondapaneni, I., and Křivánek, J.: Bayesian online regression for adaptive d illumination sampling. ACM Transactions on Graphics (Proceedings of SIGGRAPH 2018), 37(4 • Zheng, Yudi, Bulej, Lubomír and Binder, Walter: Accurate Profiling in the Presence of Dy Compilation. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Orie Programming, Systems, Languages, and Applications (New York, NY, USA, 2015), 433-450, 20