LFU:online

Prerequisites for registration: none

Learning Outcome: Students who have completed this module know different first- and higher-order logics and their advantages and disadvantages. Additionally they are familiar with suitable calculi to implement an automatic theorem prover.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module possess in-depth knowledge and competencies of geometric aspects of image recording, of methods to characterize local image content and further selected sub areas of computer vision. They possess the skills to apply these to related, complex problems in computer vision as well as to further elaborate similar and more specialised contents in an autonomous manner. Furthermore they have accumulated a wide basic knowledge in the most important aspects of computer vision and possess the skill to apply this knowledge to practical problems.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module possess skills in the area of enterprise architecture. In particular, they possess the skill to represent business processes as process models, to analyse, and implement them. They know the frameworks and standards for the implementation of IT Governance. They can identify problems in IT Governance and are able to select instruments, methods and processes to improve them. They have acquired the skill to work in teams.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module know decision procedures for propositional logic and for restrictions of predicate logic. They can implement these decision procedures and formulate specifications in these logics and verify them using tools.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module understand the most important concepts of intra-vehicle and inter-vehicle communication, which is characterized by high dynamics and heterogeneity of the used protocols. They are able to use measures like performance and reliability. They understand wireless communication between vehicles with a focus on its distributed nature, scalability and security (incl. privacy).

Prerequisites for registration: none

Learning Outcome: Students who have completed this module can specify and explain complex program analysis and optimisation techniques of compilers and implement optimisation strategies.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module understand the most important concepts of advanced communication systems. Besides understanding the basics of modern circuitand packet switching networks, they also understand quality of service mechanisms which form the basis for multimedia transmission. They understand the characteristics of wireless and mobile networks.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module are able to describe and classify more complex distributed and parallel computer architectures (e.g. Cloud architectures). They understand techniques for resource management, scheduling and workload distribution. Performance analysis and optimisation of distributed and parallel applications can be carried out.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module understand the concepts, techniques and algorithms of information retrieval in modern information systems. They possess detailed knowledge of the mode of operation of current web search engines and multimedia retrieval systems, especially their algorithms for retrieving, processing and evaluation of data. Furthermore they possess the skills to apply this knowledge in a practical manner and to autonomously further expand their knowledge in the area of information retrieval.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module are familiar with the verification of specifications. They know first- and higher-order logics and can carry out structured proofs in those logics and verify them in interactive theorem provers.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module understand the most important concepts of network security, the practical relevance and concept of cryptographic techniques and their application. They are able to apply security protocols and to integrate methods of network security into protocol stacks. They have acquired competencies in the area of attack identification in high-speed networks.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module know and understand the foundations of new database concepts and can compare them with and evaluate against the architecture of conventional database systems. They understand the concepts of object-oriented, document-oriented, XML and graph-based systems and possess the skill to apply them in the respective query languages. Furthermore they possess the ability to autonomously acquire further skills regarding the content of the different areas.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module understand the fundamental concepts and technologies in conjunction with semantic web services. They are familiar with frameworks for representation, relaying and execution of semantic web services and possess an overview of application with build on them.

Prerequisites for registration: none

Learning Outcome: Students who have completed this module possess an in-depth understanding of the specific requirements of web applications. They master relevant technologies and languages (XHTML, JavaScript, CSS, Java) as well as methods for the development of web applications, especially requirement analysis, test procedures and project management.