Project information
Integrated approach to education of PhD students in the area of parallel and distributed systems
- Project Identification
- GD102/05/H050
- Project Period
- 4/2005 - 12/2008
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Doctor grants
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- concurrency, verification, modelling, quantum computing, discrete mathematics
- Cooperating Organization
-
Brno University of Technology
- Responsible person prof. RNDr. Milan Češka, CSc.
The aim of project is to create a new type of framework for PhD studies whose underlying principles are consistent with current international trends. The project focuses on a highly important topic of parallel and distributed systems. The number of PhD students taking part in the project is 18. The new quality should rise both from scientific and educational experience of the advisory team, and from (an already existing) system of laboratories, seminars, and international contacts. The emphasis is on cooperative and international aspects of PhD study programmes. The project further extends the cooperation among three research groups affiliated at the Faculty of Informatics, Masaryk University Brno, the Faculty of Science, Masaryk University Brno, and the Faculty of Information Technology, Brno University of Technology. The current environment for PhD studies existing at all the faculties already meets very good standards. The aim of proposed project is to push this quality to a new level, comparable with the one of international research and educational centers.
Results
Publications
Total number of publications: 80
2009
-
Distance browsing in distributed multimedia databases
Future Generation Computer Systems, year: 2009, volume: 25/2009, edition: 1
-
DiVinE 2.0
Year: 2009
-
MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers
Year: 2009, type:
-
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 251
2008
-
A Self-organizing System for Large-scale Content-based Information Retrieval
Year: 2008, type: R&D Presentation
-
Applications of PDE-Based Image Processing in Fluorescence Microscopy
Year: 2008, type:
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.
-
Content-based Image Retrieval on the Web
Proceedings of the Poster and Demonstration Paper Track of the 1st Future Internet Symposium (FIS 2008), year: 2008
-
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., year: 2008
-
Crawling, Indexing, and Similarity Searching Images on the Web
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, year: 2008