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 Programming 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.polleres@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

Algorithms and Datastructures

This lecture gives an introduction to basic algorithms and various datastructures. It deals mainly with sorting and hashing algorithms, datastructures and algorithms for trees, as well as time- and memory complexity measures.

Please see the separate course page for more about Algorithms and Datastructures .

Course Catalogue

ID 703008

ID 703009

Lecturer

Thomas Strang
thomas.strang@deri.org

Advanced Topics of Internet Computing: Ubiquitous Computing

This lecture discusses the challenges in computer systems research posed by the emerging field of Ubiquitous Computing. It first examines the relationship of this new field to its predecessors: distributed systems and mobile computing. We elaborate on the three main facets of Ubiquitous Computing, which are ad-hoc networks, smart sensors & devices, and context-awareness. A focus of this lecture is on several kinds of services in Ubiquitious Computing environments.

Please see the separate course page for more about Ubiquitous Computing.

Course Catalogue

ID 703620

ID 703621

Lecturer

Thomas Strang
thomas.strang@deri.org

Introduction to Artificial Intelligence

Artificial Intelligence (AI) is a big field. In this course you shall get a glimpse of the manifold methods which have been developed in order to achieve what we call "Intelligent" or "Rational" Agents. Topics covered in this course comprise: History of AI, Agents, Logics, Heuristic Search, Planning, Game Theory, Machine Learning, Reasoning under Uncertainty. These intelligent methods gain momentum also and in particular in the context of the next generation of the web, where intelligent search and learning methods shall assist the user and facilitate machine to machine interaction.

Please see the separate course page for more about Introduction to Artificial Intelligence .

Course Catalogue

ID 703614

ID 703615

Lecturer

Axel Polleres
axel.polleres@deri.org

Semantic Web

The Semantic Web is envisioned as the next generation of the Web which allows for automatic retrieval and combination of information on a world-wide scale. The backbone of the Semantic Web consists of Ontologies, which are consensual specifications of knowledge in a particular domain. In this course you will learn about representation mechanisms for data, meta-data and Ontologies on the Semantic Web. Furthermore, you will learn about different reasoning techniques which can be used for retrieving, filtering and combining information on the Web. You will learn about RDF, OWL and SWRL as representation mechanisms, and you will learn about reasoning with Description Logics, Logic Programming, and First-Order Logic for the Semantic Web.

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

Course Catalogue

ID 703618

Lecturer

Jos de Bruijn
jos.debruijn@deri.org

Telecooperation

Lecture with tutorials (VO 2 + UE 2) given by Axel Polleres and others Lehrzielkatalog: Lecture & Exercises

Telecooperation from a new point of view. Under Telecooperation one understands the cooperation locally distributed teams using telecommunications means. It for example allows the teams to process a document synchronously in a conference to participate etc., without leaving the workstation.

Please see the separate course page for more about Telecooperation.

Course Catalogue

ID 703211

ID 703212

Lecturer

Axel Polleres
axel.polleres@deri.org

Next Web Generation Seminar

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 Next Web Generation Seminar .

Course Catalogue

ID 703706

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Business-to-Business Integration

The fundamental basis of successful e-commerce is the ability of trading partners to communicate business data securely, reliably and consistently. This transmission occurs over both public and private networks, according to the external or public processes as well as the internal or private business processes of the trading partners. Only then is possible to exchange documents as dependable messages that enterprises can rely on to conduct business. The exchange of messages between trading partners is called business-to-business (B2B) integration.

Please see the separate course page for more about B2B Integration .

Course Catalogue

ID 703401

Lecturer

Sinuhé Arroyo
sinuhe.arroyo@deri.org

Research Seminar

The DERI Innsbruck group discusses core problems in periodical research seminars and provides an up to date listing of the corresponding topics and literature.

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

Course Catalogue

ID 703704

Lecturer

Thomas Strang
thomas.strang@deri.org

Semantic Web 2

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 2 .

Course Catalogue

ID 703304

Lecturers

Martin Hepp
martin.hepp@deri.org

Thomas Strang
thomas.strang@deri.org

Axel Polleres
axel.polleres@deri.org

Software Development I

The object of this subject is to develop problem-solving skills and to demonstrate the use of these skills in software development, using a high level language.

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

Course Catalogue

ID 703002

Lecturer

Thomas Strang
thomas.strang@deri.org

Advanced Topics of Web Technologies: Introduction to Logic Programming

In this lecture with tutorials you will gain hands-on experience using logic programming as a powerful formalism for declarative problem solving. We will start with logical foundations around resolution and unification. Furthermore we will get familiar with the logic programming language PROLOG and explore its features by practical examples. We will also explore the use of logic programming in the field of Deductive Databases where it turns out that Logic Programming also provides a powerful query language for databases.

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

Course Catalogue

ID 703608

Lecturer

Axel Polleres
axel.polleres@deri.org

Advanced Topics of Web Technologies and Internet Computing: Ontology Engineering

Lecture with tutorials given by Rüdiger Klein

The lectures will give overviews of

existing ontologies for engineering and 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 Ontology Engineering.

Course Catalogue

ID 703612

Lecturer

Rüdiger Klein

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 703613

Lecturer

Jacek Kopecky
jacek.kopecky@deri.org

Semantic Web Technologies

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 Semantic Web Technologies.

Course Catalogue

ID 703705

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Web Services

Like many other new technologies, Web services are still surrounded by a substantial level of noise. I.e. a lot of information is focusing on what could be done with Web services in the future, but on the other hand does not reveal what Web services can do today and in the short term. This seminar will describe the fundamental concepts behind the notion of Web services and present them as the natural evolution of conventional middleware, necessary to meet the challenges of the Web and of B2B application integration. Rather than focusing only on "how to write your first Web service" we will discuss the main objectives of Web services, the challenges that must be faced to achieve them, and the opportunities that this novel technology provides. Established, as well as recently proposed, standards and techniques (e.g., WSDL, UDDI, SOAP, WS-Coordination, WS-Transactions, and BPEL), are then examined in the context of this discussion in order to emphasize their scope, benefits, and shortcomings.

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

Course Catalogue

ID 703405

Lecturers

Holger Lausen
holger.lausen@deri.org

Axel Polleres
axel.polleres@deri.org

Applied Computer Science Problems

The seminar deals with basic problems of mobile services and their solutions. Participants are expected to elaborate on selected chapters of the book "Distributed Systems" (A.S. Tanenbaum) and other additional literature concerned with problems of mobility.

Please see the separate course page for more about Applied Computer Science Problems.

Lecturer

Thomas Strang
thomas.strang@deri.org

Semantic Web Project Lab

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 Lab.

Course Catalogue

ID 703304

Lecturers

Ying Ding
ying.ding@deri.org

Axel Polleres
axel.polleres@deri.org

Next Web Generation Seminar

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 Next Web Generation .

Course Catalogue

ID 703206

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Semantic Web Technologies and Ontologies in Industrial Environments

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 Semantic Web Technologies and Ontologies in Industrial Environments.

Course Catalogue

ID 703210

Lecturer

Rüdiger Klein

Semantic Web 2

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 Lab.

Course Catalogue

ID 703106

Lecturers

Ying Ding
ying.ding@deri.org

Axel Polleres
axel.polleres@deri.org

Algorithms and Data Structures

The course aims to provide familiarity with general algorithmic techniques, performance measures, analysis tools, and problem areas.

Course Catalogue

ID 703011

ID 703013

Lecturer

Markus Hohenwarter
markus.hohenwarter@uibk.ac.at

Telecooperation

Telecooperation from a new point of view. Under Telecooperation one understands the cooperation locally distributed teams using telecommunications means. It for example allows the teams to process a document synchronously in a conference to participate etc., without leaving the workstation.

Please see the separate course page for more about Telecooperation.

Course Catalogue

ID 703026

ID 703027

Lecturer

Axel Polleres
axel.polleres@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. The closing date for the registration for a diploma thesis with the Next Web Generation group is October 17, 2003.

Course Catalogue

ID 703220

Lecturers

Dieter Fensel
dieter.fensel@deri.org

Ying Ding
ying.ding@deri.org

Certain Aspects of Semantic Web Services

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

Course Catalogue

ID 703227

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Software Development I

The object of this subject is to develop problem-solving skills and to demonstrate the use of these skills in software development, using a high level language.

Course Catalogue

ID 703006

ID 703007

Lecturer

Jürgen Angele

Next Web Generation

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.

Course Catalogue

ID 703023

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Telecooperation

Telecooperation from a new point of view. Under Telecooperation one understands the cooperation locally distributed teams using telecommunications means. It for example allows the teams to process a document synchronously in a conference to participate etc., without leaving the workstation.

Course Catalogue

ID 703026

ID 703027

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Semantic Web

In the seminar, we discussed parts of some recent publications in this area. Students prepared some chapters of certain books and gave presentations.

Course Catalogue

ID 703214

Lecturer

Dieter Fensel
dieter.fensel@deri.org