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
2008
-
Scalability Comparison of Peer-to-Peer Similarity Search Structures
Future Generation Computer Systems, year: 2008, volume: 24, edition: 8
-
Web-scale System for Image Similarity Search: When the Dreams Are Coming True
Proceedings of the Sixth International Workshop on Content-Based Multimedia Indexing (CBMI 2008), year: 2008
2007
-
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
-
Estimating Large Local Motion in Live-Cell Imaging Using Variational Optical Flow
VISAPP 2007 Second International Conference On Computer Vision Theory And Applications, Proceedings, year: 2007
-
Formalisms and Tools for Design and Specification of Network Protocols
Year: 2007, type: R&D Presentation
-
Image Similarity Search: Theory and Practice
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2007
-
LOBS: Load Balancing for Similarity Peer-to-Peer Structures
Year: 2007, type: R&D Presentation
-
LOBS: Load Balancing for Similarity Peer-to-Peer Structures
Databases Information Systems and Peer-to-Peer Computing 2007, year: 2007
-
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Year: 2007, type:
-
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Year: 2007, type: Workshop