Branch Details
Computer Science and Engineering
Original title in Czech: Výpočetní technika a informatikaFITAbbreviation: DVI4Acad. year: 2011/2012
Programme: Computer Science and Engineering
Length of Study:
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
- Graduates from the doctoral study programme are trained to independently work in research, development, or management.
- They are able to solve and/or to lead teams solving advanced conceptual, research, development, or production problems in the area of contemporary information technology and its applications.
- They can be engaged to work on creative tasks, to lead research and development teams, or to work in management of companies or organizations whenever there are required abilities to work in an independent and creative way, to analyze complex problems, and to propose and realize new and original solutions. Graduates from the doctoral study programme can also teach and/or scientifically work at universities.
Guarantor
Issued topics of Doctoral Study Program
- Acceleration of algorithms of image and signal processing
- Acceleration of Numeric Alghorithms on GPU
- Advanced and alternative computer graphics methods
- Advanced Computing System for Numerical Solution of Differential Equations
- Advanced Electronic Circuits Simulation Methods
- Advanced Methods of Real-Time Rendering
- Advanced Methods of Real-Time Rendering
- Advanced Methods of Real-Time Rendering
- Advanced Methods of Real-Time Rendering
- Advanced Real-time Simulations
- Advanced Simulation Methods of Embedded Systems
- Advanced simulation techniques of system services and processes
- Advanced techniques in genetic programming
- Advanced techniques in genetic programming
- Analysis of Attacks on Chips
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of Attacks on Chips
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of attacks on (micro)chips and development of enhancement of their robustness/security
- Analyzis of the Processor Model
- Architecures for Highly Reliable Memories
- Artificial agents for wireless sensor networks
- Artificial agents for wireless sensor networks
- Augmented Reality on Mobile Devices
- Augmented Reality on Mobile Devices
- Augmented Reality on Mobile Devices
- Augmented Reality on Mobile Devices
- Automated Verification in Hardware Design and Hardware/Software Codesign
- Automatic question answering
- Automatic Transformation of Ordinary Differential Equations
- Citation Analysis
- Computational Parallelism and Formal Language Theory
- Computer Vision on Graphics Processors
- Concept of algorithms for removal of influence of skin diseases on the process for fingerprint recognition
- Context-Sensitive Analysis of Formal Languages
Tutor: Kolář Dušan, doc. Dr. Ing.
- Cross-lingual information retrieval and extraction
- Cryptographic protocols for sensor networks
Tutor: Hanáček Petr, doc. Dr. Ing.
- Cyber-Physical Systems
- Czech Grammar Checker
- Data mining in video
- Debugging of Optimized Code
- Design and optimization of autonomous algorithmic models for time series prediction
- Detection and Localization of Objects in Image and Video
- Digital manufacturing of 3D object models
- Distributed architecture and RT Unix-based environment for industrial applications
- DNS Security
- DNS Security
- Document Similarity Assessment Methods Using Visual Features
- E-learning and automatic assessment of students (beyond multi-choice tests)
- Electronic dictionaries and their automatic creation
- Embedded Systems for Decision Support in Manufacturing
- Embedded Systems in Robotics
- Emotional analysis of multimodal data
- Energy Reducing Compiler Optimizations
- Extraction of Ontological Features from Image and Video
- Feature extraction, classification, recognition
- Flight trajenctory optimization
- Frameworks for design of secure network applications
- General Purpose GPU
- Grammar formalisms for natural language
- Graphical design of Embedded Systems
- Graphical Prototyping of Embedded Systems
- High Performance Computing for Semantic Web
- High-level feature extraction in video
- Human tissues 3D modeling by medical image data
- Hybrid Flight Control
- Hypermedia
- Image analysis for navigation in large image collections
- Image recognition combined with text analysis
- Information Extraction from Text
- Information Technology in Psychology
- Intelligent camera system
- Intelligent robotic arm
- Knowledge data discovery from word sketches
- Knowledge Discovery in Documents
- Knowledge infrerence from text
- Knowledge Sharing Platforms in Companies
- Library for intelligent processing of a videosignal
- Linking External Regulations to Business Processes inside Companies
- Machine learning for microarray data processing
- Machine Translation
- Mapping of Application-Specific Problems on Parallel Architectures
- Medical image volume data visualization
- Medical image 3D data compression
- Medical 3D image data processing optimization
- Modeling and querying in genomics
- Modeling and Synthesis of GALS Circuits
Tutor: Fučík Otto, doc. Dr. Ing.
- Modeling IP network with QoS
- Modern Methods of Language Translation
- Morphological analysis of Czech
- New technology for 3D scanning of objects
- Ontology merging
- Optimization of portofolio allocation cumulative risks
- Optimizations in game-theoretical computations
Tutor: Hanáček Petr, doc. Dr. Ing.
- Parallel Analysis of Context-Sensitive Languages
Tutor: Kolář Dušan, doc. Dr. Ing.
- Parsing Based upon Grammar Systems
- Petri nets synthesis
- Pragma based executable code synthesis for generated application specific multi-core architectures
- Programming of multi-core systems
- Quantitative analysis of high frequency time series
- Reconstruction of 3D scene from images and/or video
- Regulated Formal Systems
- Retargetable C Compiler for DSP Architectures
- Search in speech using querying by example
Tutor: Černocký Jan, prof. Dr. Ing.
- Security increasing in the Internet Environment Using Malware Analysis
- Self-Adaptive Software Architectures
- Semantic Web and Web 2.0
- Semantic web portal generator
- Semantic Wiki
- Serious Games
- Simulation of Multiprocessor Systems on the Chip
- Stereometric measurement of longer distances
- Structure and access method optimization in video database
- Synthesis and applications of multi-terminal decision diagrams
- Tissues automatic 3D segmentation by medical image data
- Transformation techniques form C to VHDL
- unfilled
Tutor: Fučík Otto, doc. Dr. Ing.
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- User interfaces with focus on 3D
- User interfaces with focus on 3D
- Vizuální rozhraní pro zvýšení bezpečnosti letového provozu
- Web as language textbook
- Web data mining for security applications
- Web services and Service Component Architecture
- What Are Key Aspects?
- Workflow process modeling
- XML Databases for Large Data Management
- 3D interactive collaborative system
- 3D Object Recognition
- 3D polygonal models conversion to T-spline surfaces
Course structure diagram with ECTS credits
Study plan wasn't generated yet for this year.