- Fachgruppe Informatik an der RWTH Aachen

Presentation of
Courses in
Computer Science
Summer Term 2015
Presentation of Courses SoSe 15
• Overview of all elective courses
for Bachelor / Master
• Sorted according to 4 areas of Computer Science
1.
2.
3.
4.
Theoretische Informatik
Software & Kommunikation
Daten- & Informationsmgmt.
Angewandte Informatik
(Theoretical Computer Science)
(Software & Communication)
(Data- & Information-Management)
(Applied Computer Science)
• Transition slides contain key information about
courses (title, room, time schedule)
• Labels:
B
Bachelor
M
Master
Presentation Rules
• Each professor gets 2 minutes
• Slide presentation proceeds automatically
• Acceleration is possible, slowing down is not
• Next professor takes over during transition slide
(which are shown for 15 seconds)
Bereich 1:
Theoretische Informatik
Bereich 1: Theoretische Informatik
Algorithmen und Komplexität
Lehrstuhl Informatik 1
Prof. Dr. Berthold Vöcking, PD Dr. Walter Unger, Prof. Dr. Britta Preis
Effiziente Algorithmen (V3 Ü2, 6 ECTS)
V:
Do
16:15 – 17:45 AH VI
Fr
10:15 – 11:45 AH III
Algorithmic Game Theory (V4 Ü2, 6 ECTS)
V:
Mo 12:15 – 13:45 RS 5
Di
08:30 – 10:00 MeT P 11
B
M
Algorithmic Game Theory
Sprache: Englisch Start: Mo. 13.4. Credits: 6
Dozentin: Prof. Peis (Lehrstuhl für Management Science)
Spieltheorie:
●
●
●
stellt analytische Werkzeuge bereit, Situationen des täglichen Lebens zu
modellieren, in denen mehrere Entscheidungsträger (die “Spieler”)
interagieren und gegenseitig den Ausgang des Geschehens beeinflussen.
hat zahlreiche Anwendungen, z.B. in der Politik, der Ökonomie, der
Gesellschaftslehre, der Informatik,…
ist eine interdisziplinäre Wissenschaft an der Schnittstelle von Mathematik,
Informatik, Wirtschafts- und Sozialwissenschaften
Inhalte der Vorlesung:
Existenz und Berechenbarkeit von Gleichgewichten, Algorithmen zur
Berechnung “fairer” Kosten- Aufteilungen, Auktionen,…
Bereich 1: Theoretische Informatik
Softwaremodellierung und Verifikation
Lehrstuhl Informatik 2
Prof. Dr. Ir. Joost-Pieter Katoen, PD Dr. Thomas Noll
Semantics and Verification of Software (V3 Ü2, 6 ECTS)
V:
Di 14:15 – 15:45 AH II
Do 11:15 – 12:45 AH II
Ü:
Mi 15:00 – 16:30 AH VI
Introduction to Model Checking (V3 Ü2, 6 ECTS)
V:
Mo 12:15 – 13:45 AH I
Fr 14:00 – 15:30 AH III
Ü:
Mi 13:30 – 15:00 9U10
M
B M
Bereich 1: Theoretische Informatik
Programmiersprachen und Verifikation
LuFG Informatik 2
Prof. Dr. Jürgen Giesl
Logic Programming (V3 Ü2, 6 ECTS)
V:
Ü:
Mo 8:30 – 10:00
Fr 8:30 – 0:00
Fr 10:15 – 11:45
AH III
AH II
AH 1
B M
Imperative Program
Logic Program
 program = sequence of
instructions
 program = knowledge base
 specifies what should be
computed,
how it is computed
not
len([], 0).
len([HD|TL], N) :- len(TL,M),
N is M + 1.
?- len([15,70,36], P).
P = 3
Advantages
 shorter and clearer programs
 fast development
 especially suitable for AI
Imperative Program
Logic Program
 program = sequence of
instructions
class List {
 program = knowledge base
 specifies what should be
computed,
how it is computed
int hd; List tl;
int len ()
{
len([], 0).
len([HD|TL], N) :- len(TL,M),
N is M + 1.
List x = this;
int n = 0;
?- len([15,70,36], P).
while (x != null){
P = 3
x = x.tl;
Advantages
n = n + 1;
return n;
}
not
}
 shorter and clearer programs
}
 fast development
 especially suitable for AI
Logic Programming
Lecture
Exercise
Mon
08:30 - 10:00
AH 3
Fri
08:30 - 10:00
AH 2
Fri
10:15 - 11:45
AH 1
Prof. Dr. Jürgen Giesl
Bachelor:
Wahlpflicht Theorie
V3 + U2
Master Informatik:
Theorie
V3 + U2
Master SSE:
Theory (Core Subjects) /
Area of Specialization
V3 + U2
Begin:
Friday, April 10
(08:30 – 10:00 & 10:15 – 11:45)
Bereich 1: Theoretische Informatik
Theorie Hybrider Systeme
Nachwuchsgruppe Informatik 2
Prof. Dr. Erika Ábrahám
Modellierung und Analyse hybrider Systeme (V3 Ü1, 6 ECTS)
V/Ü: Mo 15:15 – 16:45
Di 12:15 – 13:45
AH III
5056
B M
Hybrid in computer science :
discrete
continuous
f(t)
+
t
The discrete part
Combined with the continuous part
Contents:

Modeling

Analysis

Applications
Bereich 1: Theoretische Informatik
Logik und Theorie diskreter Systeme
Lehrstuhl Informatik 7
Prof. Dr. Dr.h.c. Wolfgang Thomas, Dr. Christof Löding
Applied Automata Theory (V3 Ü2, 6 ECTS)
V:
Di
12:15 – 13:45
Ü:
Do 10:15 – 11:45
Fr 16:15 – 17:45
AH I
B M
AH I
AH III
Infinite Games (V3 Ü2, 6 ECTS)
V: Mi 10:15 – 11:45
5056
Fr 10:15 – 11:00
5052
Ü: Mi 16:15 – 17:45
5052
M
Lehrstuhl Informatik 7
Logik und Theorie diskreter Systeme
Prof. Dr. Wolfgang Thomas
Forschungsgebiete:
Automatentheorie
Algorithmische Programmverifikation und synthese
Unendliche Spiele und reaktive Systeme
Logik der Informatik
Sprechstunde: montags 13 – 14 Uhr
URL: http://www.lii.rwth-aachen.de
Lehrstuhl Informatik 7
Logik und Theorie diskreter Systeme
Prof. Dr. Wolfgang Thomas
Applied Automata Theory (B.Sc. und M.Sc.), W. Thomas
V3
Tue, 12:15 – 13:45, AH I;
Thu, 10:15 – 11:45, AH I
Ü2
Fri , 16:15 – 17:45, AH III
Begin:
Thu, 9th April 2015,10:15 h, AH I with announcement of lecture schedule
Keywords: • Minimization of automata
• Weighted automata, probablistic automata
• Automata and logic
• Pushdown-systems
• Undecidable problems in automata theory
• Petri nets
Lehrstuhl Informatik 7
Logik und Theorie diskreter Systeme
Prof. Dr. Wolfgang Thomas
Infinite Games (M.Sc.), C. Löding
V3
Wed 10:15 – 11:45, 5056;
Ü2
Wed 16:15 – 17:45, 5052
Begin:
Wed April 8, 2015
Fri 10:15 – 11:00, 5052
Prerequisites: Infinite Computations is recommended
Motivation: Synthesis of systems with input/output behaviour (e.g. controller)
input
?
output
• Given: Specification S describing the desired behaviour of the system
• Goal: Automatically construct a correct system from specification S
• Tool: Theory of infinite games and automata on infinite trees
Bereich 1: Theoretische Informatik
Komplexität diskreter Probleme
LuFG Informatik 7
Prof. Dr. Pascal Schweitzer
Computational Complexity (V3 Ü2, 6 ECTS)
V
Mo 10:15 – 11:45 AH I
Ü
Do 12:15 – 13:00 5052
Mi 14:45 – 16:15 5054
M
Computational Complexity
How difficult is a given
algorithmic problem?
3V + 2Ü
Theoretical topic
Lecture
- Mo 10:15-11:45 (AH 1)
- Thu 12:15-13:00 (5052)
Exercise group
- Wed 14:45-16:15 (5054)
Language: English
Sandra Kiefer, Pascal Schweitzer
Computational Complexity
Topics:
Randomization
Interactive proofs
Some cryptography
Circuits
Time and space ...
Why should I take this lecture?
Interest in algorithms
Want solid theory foundation for CS
First Lecture: Thu,12:15, 09.04.2015
Bereich 1: Theoretische Informatik
Mathematische Grundlagen der Informatik
LuFG Informatik 7
Prof. Dr. Erich Grädel
Quantum Computing (V2 Ü1, 5 ECTS )
V:
Ü:
Di
Mi
11:45 – 13:15
14:15 – 15:45
AH II
AH II
M
Mathematische Grundlagen der Informatik
Prof. Dr. Erich Grädel
Research Topics:
Logic
Game Theory
Complexity Theory
Lectures:
Mathematical Logic I and II
Logic and Games
Algorithmic Model Theory
Quantum Computing
More information:
http://logic.rwth-aachen.de/
Mathematische Grundlagen der Informatik
Prof. Dr. Erich Grädel
Quantum Computing (V2, Ü1)
Lecture: Start 14.4.
Tue
11:45 – 13:15, AH II
Tutorial: Start 22.4.
We
14:15 – 15:45, AH II
Content:
fundamental aspects of quantum computing
models for quantum computing
quantum Turing machines, quantum gate arrays
Shor's algorithm for integer factorization

More Information:
http://logic.rwth-aachen.de/Teaching/QC-SS15/
Bereich 2:
Software und
Kommunikation
Bereich 2: Software und Kommunikation
Software Engineering
Lehrstuhl Informatik 3
Prof. Dr. Bernhard Rumpe, Dr. Stefan Kriebel
Generative Softwareentwicklung (V3 Ü2, 6 ECTS)
V/Ü: Di 16:15 – 17:45 AH II
Do 14:15 – 15:45 AH II
Prozesse und Methoden beim Testen von Software (V1 Ü1, 3 ECTS)
V:
Block course
M
M
Prof. Dr. B. Rumpe
Lehrstuhl für
Software Engineering
offers three lectures
RWTH Aachen
Seite 39
Identifying…
methods, concepts, tools and infrastructures for
• developing software systems better and faster,
• in order to achieve a high quality product
• in less time while
• incorporating constantly changing requirements in an agile way.
 Generative Software Engineering
•
(3VL + 2Ü, 6 ECTS)
(Prof. B. Rumpe)
• Tired of writing so many bits of software?
• Speed up by generating lots of it!
• Goals:
• How to model software
• How to write a generator
• How template engines work
Prof. Dr. B. Rumpe
Lehrstuhl für
Software Engineering
offers three lectures
RWTH Aachen
Seite 40
 Prozesse und Methoden beim Testen von Software
•
(Dr. Stefan Kriebel, BMW Abteilungsleiter Entwicklung/
Elektronik Fahrassistenz)
• Industrielles Software/Systems Engineering
• Know-How-Transfer aus der Industrie
• Certified Tester – Foundation Level
(iSQI / GermanTestingBoard) möglich
 weitere Informationen und Termine:
http://www.se-rwth.de/
(2VL, 3 ECTS)
Bereich 2: Software und Kommunikation
Software Engineering
Lehrstuhl Informatik 3
Prof. Dr. Manfred Nagl
Die Softwaretechnik-Programmiersprache Ada95 (V2, 3 ECTS)
V:
Block course 01.10. – 09.10.2015
B M
Blockkurs Prof. Nagl WS 2015/2016:
Die SoftwaretechnikProgrammiersprache Ada
01.10.2015 – 09.10.2015
Wollen Sie die Konzepte von Programmiersprachen einschätzen können?
Wollen Sie wissen, wie C++ aussehen müsste?
Informatik (B.Sc.)
Informatik (M.Sc.)
Software Systems Engineering (M.Sc.)
Technik-Kommunikation (M.Sc.)
Anmeldung über campusOffice: SS 2015 (15ss-06456)
Für weitere Informationen siehe:
http://www.se-rwth.de/teaching/ws1516/ada/
Bei Interesse bitte Kontakt aufnehmen/ Please contact
Start
Michael von Wenckstern Do, 01.10.2015, 08:30 Uhr
[email protected]
Raum 2356|054 (5054)
Prof. Dr. M. Nagl
Lehrstuhl für
Software Engineering
RWTH Aachen
Schwerpunkte
Seite 43
1. Konzepte von Ada
2. methodische Verwendung,
Erstellung mittelgroßer Ada-Programme
3. Übersicht über Stand klassischer
Programmiersprachen
4. Ada zur Strukturierung
sequentieller Programme
(Entwurf): Generizität, Objektorientierung,
hierarchische Bibliotheken, etc.
5. Konstrukte für nebenläufige
Systeme (insb. eingebettete Systeme)
6. Ada Culture
Bereich 2: Software und Kommunikation
Software-Konstruktion
LuFG Informatik 3
Prof. Dr. Horst Lichter
Software-Qualitätssicherung (V3 Ü2, 6 ECTS)
V:
Mi 10:15 - 11:45 AH II
Do 10:15 – 11:45 9U09
Ü:
Fr 10:15 – 11:45 5056
Software-Projektmanagement (V2, 4 ECTS)
V:
Mi 08:30 – 10:00 AH I
Fr 08:30 - 10:00 AH I
B M
M
Software Project Management
Software Project Management
Earned Value Analysis
Software Quality Assurance
Software Quality Assurance
Bereich 2: Software und Kommunikation
Kommunikation und Verteilte Systeme
Lehrstuhl Informatik 4
Prof. Dr. Klaus Wehrle
Mobile Internet Technology (V3 Ü1, 6 ECTS)
V:
Do 10:15 – 11:45 AH VI
Fr 10:45 – 11:45 AH VI (bi-weekly)
Ü:
Fr 10:15 – 11:45 AH VI (bi-weekly)
Communication Systems Engineering (V3, Ü1, 6 ECTS)
V:
Mo 14:15 – 15:45 9222
Di 14:15 – 15-45 9222
Ü:
Do 14:15 – 15:45 9222 (bi-weekly)
B M
B M
Mobile Internet Technology
 Content of the lecture (3+1 SWS)
 Basics of wireless communication
 Modulation, error coding
 Signal propagation
 Medium access
300 Mbit/s
 Wireless networking
 Data networks: Wi-Fi
 Telecommunication networks:
GSM/UMTS/LTE
Lecture: Mobile Internet Technology
Internet
- First
lecture
on 9th April
 Mobility and
Internet
protocols
- Bachelor & Master
 Mobile IP, HIP
Community
member
X
Community
AP
51
Communication Systems Engineering
 Content of the lecture (3+1 SWS)
 Foundations and technologies for the engineering of modern
communication systems
 Communication systems implementation practice
 Protocol engineering, verification, and testing
 Performance Evaluation: local evaluation,
simulations, Internet-scale evaluation
Simulation model
Lecture: Communication Systems Engineering
- First lecture on 13th April
- Bachelor & Master
52
Bereich 2: Software und Kommunikation
Software für eingebettete Systeme
Lehrstuhl Informatik 11
Prof. Dr. Stefan Kowalewski
Einführung in eingebettete Systeme (V3 Ü1, 6 ECTS)
V/Ü: Di 12:15 – 13:45
Do 16:15 – 17:45
AH III
AH III
B M
Funktionale Sicherheit und Systemzuverlässigkeit (V3 Ü1, 6 ECTS)
V/Ü: Di
Mi
14:15 – 15:45
10:15 – 11:45
AH III
AH III
M
I11 – Embedded Software
Prof. Dr.-Ing. Stefan Kowalewski
Course schedule
Winter 2015/16
Dynamic Systems for
Computer Scientists
Formal Methods for logic
control software
Summer 2015
(Introduction to)
Embedded Systems
Functional safety and
system dependability
Winter 2014/15
Dynamic Systems for
Computer Scientists
Summer 2014
(Introduction to)
Embedded Systems
I11 – Embedded Software - Prof. Dr.-Ing. Stefan Kowalewski
Functional safety and
system dependability
(Introduction to) Embedded Systems
►
►
Language: German
 English slides
►
V3/Ü1, 6 ECTS
Appointments:

Tuesday,
12:15 - 13:45, AH III (2350|314.1)

Wednesday, 16:15 - 17:45, AH III (2350|314.1)
Contents:
 Embedded systems platforms:
•
•
•



►
►
Microcontrollers
PLCs
Android
Communication in embedded systems
Real-time
Embedded software engineering
First session: 09.04.2015
I11 – Embedded Software - Prof. Dr.-Ing. Stefan Kowalewski
Functional safety and system dependability
►
Language: English
►
►
►
Contents:







►
V3/Ü1, 6 ECTS
Appointments:

Tuesday,
14:15 - 15:45, AH III (2350|314.1)

Wednesday, 10:15 - 11:45, AH III (2350|314.1)
Design methods for reliability / safety
of embedded systems
Reliability / safety modelling
Reliability / safety metrics and analysis
Software failure
Mechanisms for HW/SW fault tolerance
Risk analysis, risk acceptance
Safety-related standards
First session: 08.04.2015
Reliability
I11 – Embedded Software - Prof. Dr.-Ing. Stefan Kowalewski
Safety
Student competition – Carolo Cup 2016
►
Annual competition where students design and
construct a model car
►
Tasks



►
Fields



►
Driving along a given track
Automated parking
Collision detection and avoidance
Mechanical Engineering: Construction, concept, driving
physics, driving assistance systems, control theory
Electronics: Board layout, sensors
Computer Science: µC, image recognition, (MATLAB)
simulation, communication buses
Cooperation with IKA
Interested? Send us an E-Mail:
[email protected]
I11 – Embedded Software - Prof. Dr.-Ing. Stefan Kowalewski
Bereich 3:
Daten- und
Informationsmanagement
Bereich 3: Daten- und Informationsmanagement
Wissensbasierte Systeme
LuFG Informatik 5
Prof. Gerhard Lakemeyer, Ph.D.
Knowledge Representation (V3 Ü2, 6 ECTS)
V:
Mo 13:15 – 14:45 AH V
Di 08:15 – 09:45 AH I
Ü:
Di
15:15 – 16:45 AH I
B M
Research Topics
• Knowledge Representation
representing and reasoning about
action and change
• Cognitive Robotics
High-level control of mobile robots using
logic-based action languages
Applications: Service robotics, Logistics
Service Robotics
Robocup Logistics League
Knowledge Representation
• Introduces basic methods of knowledge
representation, including:
first-order logic, procedural control, description logics, rulebased systems, default reasoning, diagnosis, reasoning about
action, planning
• Prerequisites: mathematical logic.
• Lectures start Monday, April 13.
Bereich 3: Daten- und Informationsmanagement
Frauenhofer Institut für Angewandte
Informationstechnik (FIT)
Prof. Dr. Matthias Jarke, Prof. Dr. T. Berlage, Prof. Dr. Wolfgang Prinz,
Prof. Dr. Thomas Rose
Scientific Data Management (V3 Ü1, 6 ECTS)
V/Ü:
Do
14:15 – 16:45 B-IT Research School
Prozess Management (V2 Ü1, 4 ECTS)
V:
Mi.
10:00 – 11:30 B-IT Research School
Ü:
Mi
11:30 – 13:00 B-IT Research School
M
M
Informatik 5
Information Systems & Databases
Large-Scale Heterogeneous
Information Integration
• Games and Social Software
for Societal Challenges
Social
Cloud
• Integration Infrastructures
Mobile
Streams
Real-Time
Multimedia
Web Services
• Formal Models &
Methods for Integration
Data Sources
Cooperative
Cars
Floating Phone
Data
User
DSMS
Aggregation & Integration
Other
• Big Data and NoSQL
Database Systems
Other consumers
Query Translator
Data Mining
Queue-end
Detection
Traffic
Message
Interactive Query
Interface
Data Quality
Assessment
Stationary
Detection
Traffic State
Estimation
Peer P2
Export
Peer P1
Peer P5
Historical
Data
Spatial
Data
Peer P3
Peer P4
Fraunhofer Institute for
Applied Information Technology FIT
Life Science Informatics (Prof. Dr. T. Berlage)
–
–
–
–
–
High content analysis and software-intensive instruments
Scientific data management
Biomolecular optical systems
Intra-operative molecular diagnostics
Adaptive scanning in automated microscopy
Cooperation Systems (Prof. W. Prinz, PhD)
–
–
–
–
Computer supported cooperative work
Social computing in business communication
Personalized and collaborative learning environments
Mixed and augmented reality solutions
Media Informatics / Media Processes (Prof. Dr. T. Rose)
– IT support for emergency management
– Impact assessment of financial legislation
– Sustainable financial information management
Scientific Data Management
(V3/Ü1, Quix/Berlage)
Master
Lecture/Exercises:
Thursday, 14.15-16.45 (start: Apr. 16)
Room 5053.2 (seminar room B-IT RS, opposite to AH 6)
• Challenges for data management in scientific applications
• Management of heterogeneous data
• Data integration & workflows for data management
• Metadata management & extraction
• Application of Big Data technologies
• Lecture with significant practical part (hands-on)
Process Management
(V2/Ü1, Rose)
Master
Lecture:
Wednesday, 10:00 – 11:30 (start: April 15)
Exercises:
Wednesday, 11:30 – 13:00 (bi-weekly, start: April 22)
Room 5053.2 (B-IT Research School, opposite to AH 6)
• Process management requirements,
concepts and approaches
• Process modelling
• Execution support and exchange
standards
• Maturity models
• Flexibility and customisation
concepts
Bereich 3: Daten- und Informationsmanagement
Datenmanagement und -exploration
Lehrstuhl Informatik 9
Prof. Dr. Thomas Seidl
Data Mining Algorithms II (V3 Ü2, 6 ECTS)
V:
Ü:
Mo 15:15 – 17:30
Di 10:15 – 11:45
AH VI
AH VI
M
winter
•
Data Mining Algorithms I (3+2)
– How to turn 'just data' into knowledge?
– How to do market basket analysis, frequent pattern mining, …?
• Data Mining Algorithms II (3+2)
– HighD – How to find patterns in multivariate observations?
summer
• Mining high-dimensional data: subspace clustering, outlier detection
– Streams – How to find patterns in evolving data streams?
• Stream data mining: anytime classification, clustering, concept drift detection
– Graphs – How to identify groups in social networks?
• Graph mining, network data analysis
winter
– Lectures Mon 15:15–17:30, Tutorials Tue 10:15–11:45
•
Content-Based Multimedia Search (3+2)
– How to model similarity of images, shapes, time series?
– How to speed up multimedia retrieval?
Area 3: Data & Informationmanagement
Learning Technologies
LuFG Informatik 9
Prof. Dr. Ulrik Schroeder
eLearning (V3 Ü2, 6 ECTS)
M
V(+Ü): Tu. 10:15 – 11:45 5056
V(+Ü): Th. 10:15 – 11:45 5056
Ü:
individual project meetings
Start: 14.04.2015
Vorlesung: Englisch
LuFG Informatik 9
 Engineering innovative learning
systems





Learning theories
Web and mobile technologies
Learning technologies
Open assessment and feedback
Learning analytic
 Didactics of CS
 Teaching CS
 Educational technologies
 Gender and diversity (G&D)
Evolution of Learning
77
Evolution of Learning
78
Evolution of Learning
Mobile
Personalized
Communities
79
MOOCs: Learning revolution?
80
Concept & Content
 Projects
 Apps as tools
for innovative
learning
environments
 Lectures





81
Learning theories
Cognitive theories
Instructional Models
Current trends in Technology enhanced Learning
Implementing Learning systems
Bereich 3: Daten- und Informationsmanagement
LuFG IT-Security
Prof. Dr. Ulrike Meyer
Security in Mobile Communication (V3 Ü1, 6 ECTS)
V:
Ü:
Mo 10:15 – 11:45
Di
10:15 – 11:45
UMIC 025
UMIC 025
M
Security in Mobile Communications
GSM
UMTS
LTE
Security
Architectures
WiMAX
WLAN
Bluetooth
Attacks
Fixes
RFID
DECT
84
Bereich 4:
Angewandte Informatik
Bereich 4: Angewandte Informatik
Sprachverarbeitung und Mustererkennung
Lehrstuhl Informatik 6
Prof. Dr. Hermann Ney
Statistical Methods in Natural Language Processing (V3 Ü2, 8 ECTS)
V
Ü
Mo 10:15 – 11:45
Mi 10:15 – 11:45
Di 08:30 – 10:00
AH VI
5055
5056
B M
Lehrstuhl Informatik 6
Prof. Dr.-Ing. Hermann Ney
Lecture: Statistical Methods in Natural Language
Processing
•
•
•
Text and document classification
• including information retrieval
Information extraction
• including tagging and semantic annotation
Machine translation of natural languages
• alignment and lexicon models
• training methods
• generation process
• grammar-based approaches
Statistical Methods in Natural
Language Processing
Lectures:
Mon
Wed
10.15 – 11.45 AH 6
10.15 – 11.45 5055
Start:
13.04.2015
Exercises:
Tue 08.30 – 10.00 5056
Start:
14.04.2015
• Teaching language: English
• Study programs:
• Bachelor Informatik (V3/Ü2, 6 Credits)
• Master Informatik, Media Informatics and Software Systems
Engineering (V4/Ü2, 8 Credits)
www.hltpr.rwth-aachen.de/web/Teaching/
Bereich 4: Angewandte Informatik
Computergrafik und Multimedia
Lehrstuhl Informatik 8
Prof. Dr. Leif Kobbelt
Globale Beleuchtung und Image-based Rendering (V3 Ü2, 6 ECTS)
V:
Di 10:15 – 11:45 AH V
Do 10:15 – 11:45 AH V
Ü:
Mi 10:15 – 11:45 Seminarraum I8
Geometrieverarbeitung (V3 Ü2, 6 ECTS)
V:
Di 14:15 – 15:45 AH V
Do 14:15 – 15:45 AH V
Ü:
Mi 13:15 – 14:45 AH III
M
M
Computer Graphics
• what is it good for?
• which problem is being solved?
92
Computer Graphics
• what is it good for?
• which problem is being solved?
93
Computer Graphics
• what is it good for?
• which problem is being solved?
94
Computer Graphics
• what is it good for?
• which problem is being solved?
95
Courses Offered in SoSe 2015
• Geometry Processing (V3Ü2)
• Global Illumination (V3Ü2)
96
Courses Offered in SoSe 2015
• Geometry Processing (V3Ü2)
• Global Illumination (V3Ü2)
97
Smoothing Noisy Data
98
Reducing Data Complexity
50.000 Triangles
10.000 Triangles
1.000 Triangles
99
Parametrization
100
Quad-Remeshing
101
Courses Offered in SoSe 2015
• Geometry Processing (V3Ü2)
• Global Illumination (V3Ü2)
102
Global Illumination
• photorealistic rendering of virtual scenes
− reflection, scattering, soft shadows, ...
• the rendering equation
103
Global Illumination
104
Global Illumination
105
Image-Based Rendering
106
Courses Offered in SoSe 2015
• Geometry Processing (V3Ü2)
Starts: 09.04.2015
14:15 AHV
• Global Illumination (V3Ü2)
Starts: 09.04.2015
107
10:15 AH V
Bereich 4: Angewandte Informatik
Mobile Multimedia Processing
LuFG Informatik 8
Prof. Dr. Bastian Leibe
Machine Learning (V3 Ü1, 6 ECTS)
V:
Di 14:15 - 15:45
Do 14:15 - 15:45
UMIC 025
UMIC 025
M
PerceptualVision
and Sensory
Augmented Computing
Computer
WS 11/12
Computer Vision Group
Prof. Bastian Leibe
Lehrstuhl für Informatik 8
• Lecture: Betriebssysteme und Systemsoftware (B.Sc.)


Place & Time:
Wed 10:15 – 11:45
Thu 08:30 – 10:00
First lecture Wednesday, 08.04.
room TEMP2
room Audimax
• Lecture: Machine Learning


Place & Time:
Tue 14:15 – 15:45
Thu 14:15 – 15:45
First lecture Thursday, 09.04.
B. Leibe
room UMIC 025
room UMIC 025
Lecture Machine Learning (3V+1Ü)
• Goal
PerceptualVision
and Sensory
Augmented Computing
Computer
WS 11/12

Build machines that learn to perform a task from experience
• Lecture




What does it mean to learn?
How can we make this computational?
Focus on statistical machine learning techniques.
Look at state-of-the-art approaches and see how they work.
• Many real-world applications, e.g.
–
–
–
–
Is this email important or spam?
Is this credit card transaction correct or fraudulent?
Does this image contain a face?
What is the most likely cause for a patient’s symptoms?
B. Leibe
Lecture Machine Learning (3V+1Ü)
• Fundamentals
PerceptualVision
and Sensory
Augmented Computing
Computer
WS 11/12


Bayes Decision Theory
Probability Density Estimation
• Classification Approaches




Linear Discriminants
Support Vector Machines
Ensemble Methods & Boosting
Randomized Trees, Forests & Ferns
• Probabilistic Graphical Models



Bayesian Networks
Markov Random Fields
Probabilistic Inference
B. Leibe
PerceptualVision
and Sensory
Augmented Computing
Computer
WS 11/12
Interested in Machine Learning?
Come to our lecture!
Lecture: Machine Learning
Tue 14:15 – 15:45, room UMIC 025
Thu 14:15 – 15:45, room UMIC 025
First lecture Thursday, 09.04.!
Bereich 4: Angewandte Informatik
Mesh Generation and Optimization Group
Visual Computing Institute
Prof. Dr. David Bommes
Convex Optimization (V3 Ü1, 6 ECTS)
V:
Ü:
Do 10:15 – 11:45
Fr. 10:15 – 11:45
Fr. 10:15 – 11:45
Rogowski R115
Rogowski R115 (bi-weekly)
Rogowski R115 (bi-weekly)
M
Mesh Generation and
Optimization Group
Prof. Dr. David Bommes
Aachen Institute for Advanced Study in
Computational Engineering Science
Visual Computing Institute
Lecture: Convex Optimization
Optimization is everywhere!
Since the fabric of the universe is most perfect, and is the
work of a most wise Creator, nothing whatsoever takes
place in the universe in which some form of maximum or
minimum does not appear.
-Leonhard Euler(1707-1783)
Visual Computing Institute | Prof. Dr. David Bommes
Mesh Generation and Optimization
Lecture: Convex Optimization
Optimization is everywhere!
• Finance
• Engineering
• Product Design
•…
[© ANSYS]
Visual Computing Institute | Prof. Dr. David Bommes
Mesh Generation and Optimization
Lecture: Convex Optimization
minimize
subject to
• convexity
large problems possible (
)
• multi-objective/second-order cone/semidefinite/… programming
• primal-dual interior point methods
Visual Computing Institute | Prof. Dr. David Bommes
Mesh Generation and Optimization
Lecture: Convex Optimization
In summary you can
expect …
Convex
Optimization
• Learning a Powerful and
Versatile “Tool”
• Applied Introduction to
Modeling, Algorithms and
Underlying Theory
• V3Ü1
• C++ Programming Exercises
Visual Computing Institute | Prof. Dr. David Bommes
Mesh Generation and Optimization
Bereich 4: Angewandte Informatik
Medieninformatik
Lehrstuhl Informatik 10
Prof. Dr. Jan Borchers
Designing Interactive Systems II (V3 Ü2, 6 ECTS )
V/Ü: Mo 13:15 – 14:45 UMIC 025
Mi 09:15 – 11:45 UMIC 025
M
Current Topics in Media Computing and HCI (V2 Ü3, 6 ECTS)
V/Ü: Di 10:15 – 11:45 Raum 2222
Do 08:15 – 09:45 Raum 2222
M
Prof. Jan Borchers • Summer
Semester 2015
media
computing
group
Prof. Jan Borchers • Winter
Semester 2014/2015
media
computing
group
Designing Interactive Systems II
Prof. Jan Borchers • Summer
Semester 2015
124
media
computing
group
Research question
Current Topics in HCI
Observation
Test
Look
Make
Empirical science
Ethnography
Engineering
and design
Prof. Jan Borchers • Summer
Semester 2015
125
Hypothesis
media
computing
group
Bereich 4: Angewandte Informatik
Software and Tools for Computational Engineering
LuFG Informatik 12
Prof. Dr. Uwe Naumann
Kombinatorische Probleme im Wissenschaftlichen Rechnen (V2 Ü2, 4 ECTS)
V:
Ü:
Di 12:15 – 13:45
Do 12:15 – 13:45
AH II
AH VI
M
Combinatorial Problems in Scientific Computing
Image Credit: Tim Davis / Yifan Hu
V2 / Ü2, M. Sc.
Thu,
12:15
Tue,
12:15

-
13:45 2356|051 (AH VI) (Lecture)
13:45 2350|111 (AH II ) (Tutorial)
Combinatorial Problems in Scientific Computing
Image Credit: Tim Davis / Yifan Hu
• Matrix Dimension 50k x 50k
• 350k Nonzeros
• → only 0.1% of entries filled
• How can Algorithm be optimized to exploit the sparsity of the Matrix?
Combinatorial Problems in Scientific Computing
Graph Coloring Problems
Matrix Representation:
Column Incidence Graph:
Combinatorial Problems in Scientific Computing
Lecture Contents:
•
•
•
•
•
Sparse Matrix Multiplications (Dynamic Programming)
Fill-In Minimized Sparse LU / Cholesky Decomposition
Graph Elimination Techniques
Graph Coloring
Control Flow Reversal Schemes
Tutorial:
• Hands On Exercises in C++
Bereich 4: Angewandte Informatik
Lehrstuhl für High Performance Computing
Informatik 12
Prof. Dr. Matthias Müller
Einführung in High-Performance Computing (V3 Ü1, 6 ECTS)
V:
Ü
Di 10:15 – 11:45
Do 10:15 – 11:00
Do 11:00 – 11:45
MeT P 11
MeT P 11
MeT P 11
B M
Prof. Dr.
Matthias Müller
J. Protze, P. Reble, S. Wienke, C. Terboven, H. Iliev
Chair of High Performance Computing (Informatik 12)
www.hpc.rwth-aachen.de
[email protected]
Lecture: Introduction to High Performance Computing
IT Center der RWTH Aachen University
Parallel Architectures
QuadCore
4x
need time
270x
Aim: faster execution
134
Chair of High Performance Computing
Prof. Matthias Müller | IT Center der RWTH Aachen University
50x
Parallel Programming
10,000s of cores
Shared-Memory
Parallelization
Distributed-Memory
Parallelization
double CalcPi (int n){
const double fH
= 1.0 / (double) n;
double fSum = 0.0;
double fX;
int i;
#pragma omp parallel for private(fX,i) reduction(+:fSum)
for (i = 0; i < n; i++) {
fX = fH * ((double)i + 0.5);
fSum += f(fX);
}
return fH * fSum;
}
135
Chair of High Performance Computing
Prof. Matthias Müller | IT Center der RWTH Aachen University
Lecture: Introduction to
High Performance Computing (HPC)
 Content: SS 2015
 Parallel computer architectures
 Parallelization strategies
 Parallel algorithms
 Parallel programming
www.hpc.rwth-aachen.de
[email protected]
136
Chair of High Performance Computing
Prof. Matthias Müller | IT Center der RWTH Aachen University
Bereich 4: Angewandte Informatik
Automation and High Performance Computing
Nachwuchsgruppe Informatik 12
Prof. Paolo Bientinesi, Ph.D.
High-performance Matrix Computations (V3 Ü1, 6 ECTS)
V/Ü: Di 17:15 – 18:45
Do 17:15 – 18:45
Rogowski 115
Rogowski 115
M
The End

Download Report