Přístupnostní navigace
E-application
Search Search Close
Branch Details
Original title in Czech: Výpočetní technika a informatikaFITAbbreviation: DVI4Acad. year: 2016/2017
Programme: Computer Science and Engineering
Length of Study:
Accredited from: 30.6.2007Accredited until: 31.12.2020
Profile
The goal of the doctoral study programme is to provide outstanding graduates from the MSc study programme with a specialised university education of the highest level in certain fields of information technology, including especially the areas of information systems, computer-based systems and computer networks, computer graphics and multimedia, and intelligent systems. The education obtained within this study programme also comprises a training and attestation for scientific work.
Key learning outcomes
Guarantor
prof. RNDr. Milan Češka, CSc.
Issued topics of Doctoral Study Program
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
The topic focuses algorithms of computer graphics and generally computer image synthesis. Its main goal is to research algorithms so that their features and application possibilities are better understood, so that they are deeply analyzed, so that they are improved or newly created, and so that they are efficiently implemented e.g. in CPU, in CPU with acceleration through SSE instructions, in embeded systems, in embedded systems with FPGA, or in other systems, such as x86/64, ARM, Xeon PHI, or other cores. Algorithms of interest include 3D model processing and acquisition. The programming work is expected in C, C++, C#, assembly language, CUDA, OpenCl, VHDL, or other. The algorithms of interest include:
After mutual agreement, individually selected algorithms can be considered as well as soon as they do belong to the general topic.
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Tutor: Matoušek Petr, doc. Ing., Ph.D., M.A.
The project is concerned with advanced methods of computational photography. The aim is to research new computational photography methods, which comprises software solutions potentially supported by new optics and/or hardware. Our interest is on HDR image and video processing, color-to-grayscale conversions, spectral imaging, and others.
Tutor: Čadík Martin, doc. Ing., Ph.D.
Tutor: Španěl Michal, Ing., Ph.D.
Tutor: Zbořil František, doc. Ing., Ph.D.
Tutor: Burget Lukáš, doc. Ing., Ph.D.
The topic focuses algorithms of image and video processing. Its main goal is to research algorithms so that their features and application possibilities are better understood, so that they are deeply analyzed, so that they are improved or newly created, and so that they are efficiently implemented e.g. in CPU, in CPU with acceleration through SSE instructions, in embeded systems, in embedded systems with FPGA, or in other systems. The programming work is expected in C, C++, C#, assembly language, CUDA, OpenCl, or VHDL. The algorithms of interest include:
Tutor: Hruška Tomáš, prof. Ing., CSc.
Tutor: Hanáček Petr, doc. Dr. Ing.
Tutor: Herout Adam, prof. Ing., Ph.D.
The goal of the work is to research and create algorithms that will allow for running augmented reality on mobile (ultramobile) devices. It mainly concerns algorithms of pose estimation in the space by the means of computer vision and by using sensors embedded in the device. Furthermore, the work will elaborate on algorithms of rendering of virtual elements into the real-world scene and on applications of augmented reality on mobile devices.
Tutor: Vojnar Tomáš, prof. Ing., Ph.D.
Tutor: Beran Vítězslav, doc. Ing., Ph.D.
Tutor: Kolář Dušan, doc. Dr. Ing.
Tutor: Jaroš Jiří, doc. Ing., Ph.D.
Tutor: Zbořil František, doc. Ing., CSc.
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Modern operating systems (OS) must meet many requirements not only in terms of flexibility and efficiency of their execution on recent computing platforms, but also in terms of dependability of their kernels and services they provide to the application layer. The aim of the project is:
The project can be oriented into various directions, such as low-power applications / OS or application / OS designed to run in an embedded or a multi-core environment. During the project, a "conventional" OS such as Unix, Linux, Android, Windows, iOS or a specialized OS such as QNX, uC/OS-I (II, III), FreeRTOS, MQX can be utilized.
Tutor: Strnadel Josef, Ing., Ph.D.
Tutor: Růžička Richard, doc. Ing., Ph.D., MBA
Tutor: Kořenek Jan, doc. Ing., Ph.D.
Tutor: Kreslíková Jitka, doc. RNDr., CSc.
Tutor: Kotásek Zdeněk, doc. Ing., CSc.
Tutor: Meduna Alexandr, prof. RNDr., CSc.
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
As you probably know, a compiler comprises from a language depending analytic part (front-end) which is producing a revised internal representation and a following part (back-end) which is generating a result object code or an assembler code. The methodology for the front-end is already solved from the practical point of view many years and it is thought on a bachelor level of study. There are some generators of the analytical compiler part which are mainly based on the LALR grammars. These ones are able to generate the analytical part and a context depending part is easy built according to a known methodology. For some branches we use moreover the C/C++ language only. The front-end of such compiler is freely down able on the net. When we sufficiently design the internal representation, the front-end generator is depending on the input language only. Such internal representations are existing. The definition language pro the generator is mainly an attribute grammar. Real practical problems occur in the back-end generation. An amount of processor architectures is high and moreover is permanently increasing in connection with mobile phones, and other embedded systems, Internet of Things, medical devices, automotive devices etc. One of the main reasons is a collision of using of available processors with already developed compilers and simultaneously large energy consumption. These designed devices cannot use such processors by reasons of energy consumption and often also of a license price. So, the number and variety of the processor architecture is quickly increasing. It will be sufficient to keep at disposition for the back-end a similar generating tool like for the front-end. In such way, we can to a great extend to speed-up a transport of applications (written mainly in the C language) on the new processors. The back-end generating is a relatively new topic which is not taught in the university curricula (at FIT as well).
What we should possess:
So, we want to generate a quick and effective compiler (currently for the C language only) for different processor architectures which will be described by the definition language.
What we can link to? In a frame of the Lissom group research, a reconfigurable C compiler grew. It is now a part of the Codasip Studio of the Codasip Ltd. (www.codasip.com) and also for our university. We have some experience with this research. It is sure, that we do a research on the world level which is practically requested and which is not definitely solved. There are definition languages, the internal representation, and the reconfigurable C compiler. We have developed a workable generator, but it is not sure, whether it is sufficiently effective for sufficient scale of architectures.
More information verbally.
Tutor: Fučík Otto, doc. Dr. Ing.
The project deals with image and video quality assessment metrics (IQM). The aim is to explore new ways how to incorporate human visual system properties into IQM. In particular, we will consider perception of HDR images, and utilization of additional knowledge (in form of metadata, 3D information, etc.) about the tested scenes.
In the back-end, a static analysis is running during a compilation. It make possible to generate a currenty optimal code which is based on information available during the compilation. But this approach is not sufficient for some architectures. Especially in the case when the number of application program sis limited (a frequent situation for more processors), it is necessary to use for the optimization also data reached after the program execution (a profil). What we can link to? In a frame of the Lissom group research, a reconfigurable C compiler grew. It is now a part of the Codasip Studio of the Codasip Ltd. (www.codasip.com) and also for our university. We have some experience with this research. It is sure, that we do a research on the world level which is practically requested and which is not definitely solved. There are definition languages, the internal representation, and the reconfigurable C compiler. We have developed a workable generator, but it is not sure, whether it is sufficiently effective for sufficient scale of architectures.
Tutor: Švéda Miroslav, prof. Ing., CSc.
Tutor: Černocký Jan, prof. Dr. Ing.
MAQL is a proprietary analytical query language developed at GoodData. In multitenant analytical projects there are often similar metrics or reports, created by different people, or even by one developer during long time span. The goal is to create a heuristics to detect similarities and offer user an existing metric instead of creating a new one. This may be applied also on complex metric expressions which may be rewritten into a simpler form, with subsequent similarity detection.
The project deals with camera localization in indoor environments using computer vision and computer graphics methods. It proposes the investigation of image to model registration techniques allowing for building accurate visual localization systems that are more robust to qualities of input photos. Particular attention will be devoted to finding applications of visual localization systems in challenging scenarios, e.g. navigation in buildings.
Tutor: Janoušek Vladimír, doc. Ing., Ph.D.
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Study plan wasn't generated yet for this year.