Programming in C

The intention of the course is to give a thorough grounding in programming in C. All major features of ISO standard C will be covered. On completion of the course, attendees should be able to write well-structured and clearly understandable programs of moderate complexity. The use of ISO standard C will allow programs to be compiled and executed on any platform for which a conformant C compiler is available.

Please see the separate course page for more about Programmin in C.

Course Catalogue

ID 703000


Lecturer

Josef Strasser-Leitner
josef.strasser-leitner@uibk.ac.at

Software Development I

The lecture introduces the foundations of computer science. It covers the basic models, formalisms and programming language constructs as well as some of the important application areas and technical concepts. An overview over the area of problem-specific programming is given, starting from the notional and methodological basics up to simple data structures and techniques of functional and procedural programming. All concepts are illustrated and deepened in exercises with the programming language C.

Please see the separate course page for more about Software Development I.

Course Catalogue

ID 703003

ID 703004


Lecturer

Thomas Strang
thomas.strang@deri.org

Introduction to Declarative Programming

In this course you will gain hands-on experience using two complementary paradigms for declarative programming, namely logic programming and functional programming. In the logic programming part, we will start with some foundations such as resolution and unification. Furthermore, we will get familiar with the logic programming language PROLOG and explore its features by practical examples.

The latter part of the course will provide an introduction to functional programming using Objective CAML. We will discuss basic notions like recursion and higher-order functions as well as the implementation of functional programming languages.

Please see the separate course page for more about Introduction to Declarative Programming.

Course Catalogue

ID 703202


Lecturers

Axel Polleres
axel.pollere@deri.org

Nao Hirokawa
nao.hirokawa@uibk.ac.at

Mobile Ad-hoc Systems

Sensor networks and mobile ad-hoc computer systems rely on wireless communication architectures for data and control operations. Rapid advances in the miniaturization and computational power of computer and communication devices enable the widespread use of these systems. However, the use of these systems raises many new challenges in distributed system and network design and implementation. This course covers a selection of these topics, including issues in data-link management, ad-hoc and energy aware routing protocols, transport layer protocols, data management and security. The course is conducted as a research seminar, and significant student participation is expected.

Please see the separate course page for more about Mobile Ad-hoc Systems.

Course Catalogue

ID 703310


Lecturer

Thomas Strang
thomas.strang@deri.org

Semantic Web

The major objective of the lab is to supervise students writing their first Bachelor Thesis on topics related to the Semantic Web.

Please see the separate course page for more about Semantic Web.

Course Catalogue

ID 703410


Supervisors

Thomas Strang
thomas.strang@deri.org

Ying Ding
ying.ding@deri.org

Publishing Your Research - Seven Tips for Effective Writing

In this course various ways for the creation of scientific research papers will be discussed in detail.

This lecture unit is "embedded" into all the project lab courses (PR8) this winter semester for some reasons. That means, if you are doing your bachelor thesis this semester, you have to inscribe into one of the stream's project lab, write your thesis, visit all the units of your specific project lab (which includes this unit) and receive the credits for your project lab.

You cannot receive credits for this single unit - but you can learn someting, so it is strongly recommended to go there in any case.

Please see the separate course page for more about Publishing Your Research - Seven Tips for Effective Writing.

Lecturer

David O'Sullivan
david.osullivan@deri.org

Compiler Design

This course is an overview of the internal structure of modern compilers, with an emphasis on implementation techniques. Topics covered include lexical scanning, parsing techniques, static type checking, code generation, dataflow analysis and other optimization techniques, storage management, and execution environments. As part of the course, you will build a working compiler.

Please see the separate course page for more about Compiler Design.

Course Catalogue

ID 703602


Lecturer

Sinuhé Arroyo
sinuhe.arroyo@deri.org

Business Information Systems

A study of the introductory concepts of computing in business; basic computer components, computer history and programming. Theory, capabilities, applications, benefits, liabilities and economics of business computer information systems. Using the computer to solve business problems. Management information systems and computer-based decision support emphasized. Use of standard support application packages.

Please see the separate course page for more about Business Information Systems.

Course Catalogue

ID 703813


Lecturer

Martin Hepp
martin.hepp@deri.org

International Management (Managing Innovation)

A study of international business and management practices on change and innovation across extended enterprises and business systems. Topics include systems engineering, change management, teams and leadership, business process reengineering, strategic planning, performance indicators, enterprise modeling, innovation and creativity, project management and knowledge management.

Please see the separate course page for more about International Management.

Course Catalogue

ID 703607


Lecturer

David O'Sullivan
david.osullivan@deri.org

Web Engineering

The course aims to present the principles that guide the web and make it so successful. It will begin by introducing the historical issues and the first attempts at similar systems. Then the architecture of the web will be detailed, including the multiple complementary standards and their roles in the big picture, but also including important proprietary back-end technologies like ASP. The students will learn good practices for web engineering, important mainly for accessibility and scalability of web applications. Finally, the course will introduce the topic of distributed applications on the web. Due to the similarity of intent with Web Services, special focus will be put on design issues and applicability of Web Services technologies.

Please see the separate course page for more about Web Engineering.

Course Catalogue

ID 703810


Lecturer

Jacek Kopecký
jacek.kopecky@deri.org

Semantic Web Technology in Industry

The lectures will give overviews of

  • existing ontologies for engineering
  • industrial enterprises real world applications (with some examples from DaimlerChrysler)
    • semantic knowledge management
    • semantic information integration
    • semantic modeling in industrial applications
  • existing ontology methodologies and tools

Please see the separate course page for more about Semantic Web Technology in Industry.

Course Catalogue

ID 703814


Lecturer

Rüdiger Klein
ruediger.klein@ daimlerchrysler.com

Research Seminar

The core problems covered by our stream are discussed in this seminar and an up-to-date listing of relevant topics and literature is provided.

Please see the separate course page for more about Research Seminar.

Course Catalogue

ID 703811


Lecturer

Thomas Strang
thomas.strang@deri.org

The Role of Semantics in Computer Science

The major objective of our work is this seminar is to discuss current technologies that bring the Web somewhat closer to its full potential by combining and improving recent trends.

Please see the separate course page for more about The Role of Semantics in Computer Science.

Course Catalogue

ID 703700


Lecturers

Dieter Wolf
dieter.wolf@deri.org

Dieter Fensel
dieter.fensel@deri.org