Summer 2005

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

Winter 2004/2005

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.

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

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.

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.

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.

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.

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.

Course Catalogue

ID 703304

Lecturers

Ying Ding
ying.ding@deri.org

Axel Polleres
axel.polleres@deri.org

Summer 2004

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.

Course Catalogue

ID 703206

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Course Catalogue

ID 703026

ID 703027

Lecturer

Dieter Fensel
dieter.fensel@deri.org

Winter 2002/2003

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