UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 
 Darstellung
 
kompakt

kurz

Druckansicht

 
 
Stundenplan

 
 
 Extras
 
alle markieren

alle Markierungen löschen

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

Lehrveranstaltungen einzelner Einrichtungen

 
 
Vorlesungs- und Modulverzeichnis nach Studiengängen >> Technische Fakultät (Tech) >> Artificial Intelligence (AI) >>

Lehrveranstaltungsverzeichnis Masterstudiengang Artificial Intelligence (AI)

 

Seminar Inverse Rendering [InvHS]

Dozentinnen/Dozenten:
Tim Weyrich, Bernhard Egger, Marc Stamminger
Angaben:
Masterseminar, 2 SWS, benoteter Schein, ECTS: 5, nur Fachstudium
Termine:
Di, 8:15 - 9:45, 01.151-128
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Attendance is mandatory for this seminar, with a maximum of two absences allowed. Exceptions will be made for medical reasons or other special occurrences, provided they have been agreed upon prior to the appointment.
Inhalt:
This seminar covers advanced topics in computer graphics and computer vision and includes both ground-breaking and recent research publications. Topics include inverse rendering, appearance, surface reflectance, and computer graphics in general.
Schlagwörter:
Inverse Rendering, Appearance, Surface Reflectance, Computer Graphics, Digital Reality, Visual Computing, Rendering

 

Project Digital Reality [DigiRealPR]

Dozent/in:
Tim Weyrich
Angaben:
Praktikum, ECTS: 10
Termine:
If interested, please contact the lecturer.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Projekt Mustererkennung [ProjME]

Dozent/in:
Andreas Maier
Angaben:
Praktikum, benoteter Schein, ECTS: 10, für FAU Scientia Gaststudierende zugelassen, At the Pattern Recognition Lab we offer project topics that are connected to our current research in the fields of medical image processing, speech processing and understanding, computer vision and digital sports. Other than a course with fixed topic, project topics are defined individually. The 10 ECTS project is directed towards students of computer science. However, most projects can also be offered as 5 ECTS medical engineering Academic Lab or Research Lab. Please have a look at our website for an overview: https://lme.tf.fau.de/teaching/thesis/
Termine:
Zeit/Ort n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
Es werden mehrere verschiedene Aufgabenstellungen angeboten. Details zum Thema und der Bearbeitungszeit finden sich unter https://lme.tf.fau.de/teaching/thesis/
Schlagwörter:
Master Projekt Project

 

AI-2 Systems Project [AI2SysProj]

Dozentinnen/Dozenten:
Michael Kohlhase, Jan Frederik Schäfer
Angaben:
Projektseminar, 4 SWS, ECTS: 10, für FAU Scientia Gaststudierende zugelassen
Termine:
Di, 14:15 - 15:45, Raum n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Registration is via studOn. All students can apply, but the students from Master AI and Master CS will be preferred: Applications will be decided in the second week of the semester.

 

Biomedical Image Analysis Project [BIMAP]

Dozentinnen/Dozenten:
Andreas Kist, René Groh, und Mitarbeiter/innen
Angaben:
Projektseminar, 4 SWS, ECTS: 10, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 11:15 - 12:45, Raum n.V.
AIBE Seminar Room, Werner-von-Siemens-Str. 61, 91054 Erlangen
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Master-Projekt Datenmanagement [MastProj]

Dozentinnen/Dozenten:
Richard Lenz, Alle Assistenten
Angaben:
Projektseminar, 2 SWS, ECTS: 10, nur Fachstudium
Termine:
unregelmäßig, nach Bedarf
Studienrichtungen / Studienfächer:
WPF AI-MA 3
Inhalt:
Da wir in der Vergangenheit immer mit sehr kleinen Teilnehmerzahlen in unseren Master-Projekten zu tun hatten, haben wir sie nun (nach dem Vorbild anderer Lehrstühle) anders organisiert:

Die Teilnehmer erhalten individuelle Aufgaben, die sich in den Projekten am Lehrstuhl ergeben haben und die sich im Rahmen einer solchen Lehrveranstaltung lösen lassen. Sowohl die Wissenschaftlichkeit als auch die erwünschte Team-Arbeit sind durch die Einbettung in diese Projekte gegeben, selbst bei nur einem Teilnehmer oder einer Teilnehmerin.

Im Unterschied zu den Examensarbeiten wird die praktische Arbeit einen viel größeren Anteil einnehmen. Literaturarbeit und Dokumentation der Ergebnisse sind immer noch erwünscht, fallen aber deutlich geringer aus als bei Examensarbeiten. In erster Linie wird an Forschungsprototypen mitgearbeitet, die in den Projekten am Lehrstuhl erstellt werden. Das kann Codierung bedeuten, aber auch Messungen und Simulationen, um nur einige Beispiele zu nennen.

Wir schlagen Themen vor, aber es ist durchaus zulässig, sich auch selbst Gedanken über ein Thema zu machen. Naheliegende Voraussetzung dafür ist es, sich mit den Projekten am Lehrstuhl zu befassen (siehe Orientierungsvorlesung!) und auch mit den Mitarbeitern zu sprechen, die diese Projekte durchführen.

Themenvorschläge finden sich im zugeordneten StudOn-Kurs: https://www.studon.fau.de/crs1948594.html

Schlagwörter:
Master; Projekt; Project; Masterprojekt; Master Projekt; EDEN; BATS; TDQMed; DSAM

 

Projekt Biomedical Network Science [BIONETS]

Dozentinnen/Dozenten:
David B. Blumenthal, Suryadipto Sarkar
Angaben:
Projektseminar, 4 SWS, ECTS: 10
Termine:
Vorbesprechung: Dienstag, 26.4.2022, 10:00 - 14:00 Uhr, 01.151-128
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
StudOn registration: https://www.studon.fau.de/crs4393906_join.html

 

Projekt Künstliche Intelligenz [P KI]

Dozent/in:
Michael Kohlhase
Angaben:
Projektseminar, für FAU Scientia Gaststudierende zugelassen
Termine:
KI-Projektarbeiten werden individuell vergeben und betreut. Details siehe https://kwarc.info/courses/AIProj/
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.
In contrast to courses with fixed topics, project topics are defined individually. See http://kwarc.info for further information.

 

Fantastic datasets and where to find them [FANDAT]

Dozentinnen/Dozenten:
Andreas Kist, René Groh
Angaben:
Seminar, 2 SWS, benoteter Schein, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 13:15 - 14:45, Zoom-Meeting
Online only seminar, please register via StudOn to have access to the Zoom link
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
Im ersten Zoom-Meeting werden verschiedene biomedizinische Datensätze aufgezeigt, wo man diese finden kann und als Vortrag vergeben. Ziel des Seminars ist es, dass Studenten durch das Vorstellen eines biomedizinischen Datensatzes die Grundlagen der Datenakquise, den Umfang des Datensatzes, sowie die Vor- und Nachteile eines Datensatzes verstehen.

 

Green AI - AI for Sustainability and Sustainability of AI [GREENAI]

Dozentinnen/Dozenten:
Eva Dorschky, René Raab, Björn Eskofier
Angaben:
Seminar, 2 SWS, benoteter Schein, ECTS: 5, für FAU Scientia Gaststudierende zugelassen, There are no more free places in the SS 2022.
Termine:
Do, 10:15 - 11:45, 00.010
Einzeltermin am 21.7.2022, 10:15 - 11:45, 01.151-128
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Maschinelles Lernen und Datenanalytik für Industrie 4.0 [MADI40]

Dozentinnen/Dozenten:
Björn Eskofier, Johannes Roider, Christoph Scholl, Lukas Schmidt
Angaben:
Seminar, 2 SWS, benoteter Schein, ECTS: 5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Registration via mail to johannes.roider@fau.de
Termine:
Mi, 16:15 - 18:00, 00.010
Starts April 27th 2022
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Registration via e-mail to johannes.roider@fau.de Registration period: 25.02.-04.05.2022
The seminar will be held face-to-face.
Requirements:
  • Prior knowledge of machine learning via courses like PA, IntroPR, PR, DL, MLTS, CVP or equivalent (ideally first project experiences) is expected!

  • Motivation to explore scientific findings (e.g. via literature research)

  • Motivation to code and analyze data

Please state your previous experience in machine learning (e. g. Which courses did you take? Which project experience do you have?) when registering for the course.

Examination:
50% of grade: Presentation + demo (20 minutes)
50% of grade 4 pages IEEE standard paper (excluding references) (+ code submission)
Attendance of all meetings is required.

Inhalt:
Contents
Companies in all kinds of industries are producing and collecting rapidly more and more data from various sources. This is enabled by technologies such as the Internet of Things (IoT), Cyber-physical system (CPS) and cloud computing. Hence there is an increasing demand in industry and research for students and graduates with machine learning and data analytics skills in the Industry 4.0 context.
In this Seminar the Industry 4.0 term will include adjacent fields like the medical device or the automotive sector. Aim of this seminar is to give students insights about state-of-the-art machine learning and data analytics methods and applications in Industry 4.0 and adjacent fields. Students will mainly work independently on either a implementation centric or a research centric topic. The implementation centric topics will focus primarily on the implementation of algorithms and analytical components, while the research centric topic will focus on researching and structuring literature on a specific field of interest. Several potential topics will be provided but students are also encouraged to propose their own topics (please discuss with teaching staff beforehand).

Topics covered will include but are not limited to:

  • Best practices for presentation and scientific work

  • Brief overview of current hot topics in the field of machine learning and data analytics for Industry 4.0 (e.g. deep learning for predictive maintenance and process mining for usage analysis)

  • Data acquisition (what kind of data can be acquired? Identification of publicly available data sets) and storage (how can data be stored efficiently?)

  • Machine learning and data analytics methodologies (Support vector machines, Hidden Markov models, Deep learning, Process mining, etc.) for industrial data (sensor data, event logs, ...)

The seminar will include talks by corresponding lecturer and invited experts in the domain. Furthermore, students will present results from literature research and data analytics projects.

Learning Objectives and Competencies

  • Students will develop an understanding of the current hot field of machine learning and data analytics for Industry 4.0 / healthcare / automotive

  • Students will learn to research and present a topic within the context of machine learning and data analytics for Industry 4.0 / healthcare / automotive independently

  • Students will learn to identify opportunities, challenges and limitations of corresponding ML approaches for Industry 4.0 / healthcare / automotive

  • Students will develop the skill to identify and understand relevant literature and to present their finding in a structured manner

  • Students will learn to present implementation and validation results in form of a demonstration and/or report

Empfohlene Literatur:
  • Lei, Yaguo, Naipeng Li, Liang Guo, Ningbo Li, Tao Yan, and Jing Lin. “Machinery Health Prognostics: A Systematic Review from Data Acquisition to RUL Prediction.” Mechanical Systems and Signal Processing 104 (May 2018): 799–834.https://doi.org/10.1016/j.ymssp.2017.11.016.
  • Rojas, Eric, Jorge Munoz-Gama, Marcos Sepúlveda, and Daniel Capurro. “Process Mining in Healthcare: A Literature Review.” Journal of Biomedical Informatics 61 (June 1, 2016): 224–36. https://doi.org/10.1016/j.jbi.2016.04.007.

  • Wil M. P. van der Aalst. „Process Mining: Data Science in Action” 2nd edition, Springer 2016. ISBN 978-3-662-49851-4

  • Wang, Lihui, and Xi Vincent Wang. Cloud-Based Cyber-Physical Systems in Manufacturing. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-67693-7.

Schlagwörter:
Machine Learning, Data Analytics, Process Mining, Predictive Maintenance, Industry 4.0, Healthcare, Automotive

 

Tracking Olympiad [TRACO]

Dozentinnen/Dozenten:
Andreas Kist, René Groh, Tutoren
Angaben:
Seminar, 4 SWS, ECTS: 5, nur Fachstudium
Termine:
Di, 10:15 - 11:45, Raum n.V.
Fr, 9:15 - 10:45, Raum n.V.
AIBE Seminar Room, Werner-von-Siemens-Str. 61, 91054 Erlangen
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Applied Software Engineering Master-Projekt [OSS-PROJ]

Dozent/in:
Dirk Riehle
Angaben:
Sonstige Lehrveranstaltung, ECTS: 10, für FAU Scientia Gaststudierende zugelassen
Termine:
Mo, 10:15 - 11:45, 11.132
Nach Vereinbarung
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
This module lets students fulfill their degree program's project obligation by performing a project in software engineering and/or open source.

We prefer that you use one of our existing courses for your project obligation, but are willing to have you for a one-off topic if none of our courses fit.

Project topics should be in the domain of (applied) software engineering and may or may not include open source software as a topic.

You can find current seminar / project / thesis topics at https:/oss.cs.fau.de/fun; all topics are customizable to your needs (ECTS points).

If you find something that interests you, please talk to the respective person listed in the topic description (bottom of document, usually).

Empfohlene Literatur:
None

 

Computational Imaging Project [Computational Imaging Project]

Dozentinnen/Dozenten:
Florian Knoll, Zhengguo Tan
Angaben:
Sonstige Lehrveranstaltung, 8 SWS, ECTS: 10, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Termine:
Zeit/Ort n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA 1

 

Neurotechnology Project [Neurotech Project]

Angaben:
Sonstige Lehrveranstaltung, 10 SWS, benoteter Schein, ECTS: 10, für FAU Scientia Gaststudierende zugelassen, Different projects from neurotechnology are on offer. Both computational and experimental projects are available.
Studienrichtungen / Studienfächer:
WPF AI-MA 9

 
 
n.V.    N.N. 
Meetings will be scheduled with the students individually.
 

Project Representation Learning [PRL]

Dozentinnen/Dozenten:
Bernhard Kainz, Johanna Müller, Mischa Dombrowski
Angaben:
Sonstige Lehrveranstaltung, 8 SWS, ECTS: 10, nur Fachstudium
Termine:
Zeit/Ort n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
recommended:
Deep Learning ML Prof. Dr. Andreas Maier 2+2 5 x E
Pattern Recognition ML Prof. Dr. Andreas Maier 3+1+2 5 x E
Maschinelles Lernen für Zeitreihen ML Prof. Eskofier, Prof. Oliver Amft, Dr. Ch. Mutschler 2+2+2 7.5 x E
Inhalt:
Different projects in the area of (deep) representation learning are on offer. These reach from theoretical exploration of new data representation methods to practical evaluation of applications in, e.g., medical image analysis. Example projects will be made available on the website of the IDEA Lab https://idea.tf.fau.eu/. Students may also propose their own projects, which will be coordinated and refined with the module lead during preliminary discussions.
Empfohlene Literatur:
A specific reading list will be established at the beginning of each project, general literature is listed below:
Quinn J, McEachen J, Fullan M, Gardner M, Drummy M. Dive into deep learning: Tools for engagement. Corwin Press; 2019 Jul 15. https://d2l.ai/
Goodfellow I, Bengio Y, Courville A, Bengio Y. Deep learning. Cambridge: MIT press; 2016 Nov 18. https://www.deeplearningbook.org/

 

Project on Applied AI in Factory Automation and Production Systems [AI-FAPS]

Dozent/in:
Jörg Franke
Angaben:
Sonstige Lehrveranstaltung, 8 SWS, ECTS: 10, für FAU Scientia Gaststudierende zugelassen
Termine:
Zeit/Ort n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA 1
Inhalt:
Current project topics as well as further organizational information can be found in the corresponding StudOn folder: https://www.studon.fau.de/cat4525463.html

 

The AMOS Project (UE) [OSS-AMOS-UE]

Dozent/in:
Dirk Riehle
Angaben:
Übung, für FAU Scientia Gaststudierende zugelassen
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
This course teaches agile methods (Scrum and XP) and open source tools using a single semester-long project. Topics covered are:
  • Agile methods and related software development processes

  • Scrum roles, process practices, including product and engineering management

  • Technical practices like refactoring, continuous integration, and test-driven development

  • Principles and best practices of open source software development

The project is a software development project in which student teams work with an industry partner who provides the idea for the project. This is a practical hands-on experience. Students can play one of two primary roles:

  • Product owner. In this function, a student defines, prioritizes, communicates, and reviews requirements. The total effort adds up to 5 ECTS.

  • Software developer. In this function, a student estimates their effort for requirements and implements them. The total effort adds up to 10 ECTS.

Students will be organized into teams of 7-8 people, combining product owners with software developers. An industry partner will provide requirements to be worked out in detail by the product owners and to be realized by the software developers. The available projects will be presented in the run-up to the course.

Class consists of a 90min lecture followed by a 90min team meeting. Rooms and times for team meetings are assigned in the beginning of the semester.

Sign-up and further course information are available at https://amos.uni1.de - please sign up for the course on StudOn (available through previous link) as soon as possible.

The course information will also tell you how the course will be held (online or in person).

 
 
Mo14:15 - 15:45Übung 3 / 01.252-128  Riehle, D. 
 
 
Di08:15 - 09:4500.152-113  Riehle, D. 
 
 
Mi14:15 - 15:4501.255-128  Riehle, D. 
 
 
Do08:15 - 09:45Übung 3 / 01.252-128  Riehle, D. 
 
 
Do12:15 - 13:45Übung 3 / 01.252-128  Riehle, D. 
 
 
Do16:15 - 17:45Übung 3 / 01.252-128  Riehle, D. 
 
 
Fr08:15 - 09:45Übung 3 / 01.252-128  Riehle, D. 
 
 
Fr12:15 - 13:45Übung 3 / 01.252-128  Riehle, D. 
 

Tutorials to Computational Photography and Capture [CPaCTut]

Dozentinnen/Dozenten:
Vanessa Klein, Oliver Korn, Tim Weyrich
Angaben:
Übung, 2 SWS, benoteter Schein
Termine:
Do, 14:15 - 15:45, 01.153-113 CIP
Studienrichtungen / Studienfächer:
WPF AI-MA 1

 

Approximate Computing [APPROXC]

Dozentinnen/Dozenten:
Oliver Keszöcze, Jürgen Teich
Angaben:
Vorlesung, 2 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 14:00 - 16:00, 0.031-113
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Exercises to Approximate Computing [APPROXC-EX]

Dozentinnen/Dozenten:
Pierre-Louis Sixdenier, Chetana Pradhan
Angaben:
Übung, für FAU Scientia Gaststudierende zugelassen
Termine:
Di, 10:00 - 12:00, 02.133-128
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Artificial Intelligence II [AI II]

Dozent/in:
Michael Kohlhase
Angaben:
Vorlesung, 4 SWS, für FAU Scientia Gaststudierende zugelassen, Artificial Intelligence II will take place this semester, probably online. For details, see the announcements at https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II
Termine:
Di, 16:15 - 17:45, H8
Do, 12:15 - 13:45, H8
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
WPF AI-MA ab 1
Inhalt:
Artificial Intelligence II will be hybrid (presence/online) this semester. Details will be announced on StudOn

Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und dem Sprachverstehen.
Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.

Lernziele und Kompetenzen
Fach- Lern- bzw. Methodenkompetenz

  • Wissen: Die Studierenden lernen grundlegende Repräsentationsformalismen und Algorithmen der Künstlichen Intelligenz kennen.

  • Anwenden: Die Konzepte werden an Beispielen aus der realen Welt angewandt (Übungsaufgaben).

  • Analyse: Die Studierenden lernen über die Modellierung in der Maschine menschliche Intelligenzleistungen besser einzuschätzen.

Sozialkompetenz

  • Die Studierenden arbeiten in Kleingruppen zusammen um kleine Projekte zu bewältigen

Empfohlene Literatur:
Die Vor­lesung folgt weit­ge­hend dem Buch Stu­art Rus­sell und Peter Norvig: Ar­ti­fi­cial In­tel­li­gence: A Mod­ern Ap­proach. Pren­tice Hall, 3rd edi­tion, 2009.
Deutsche Aus­gabe: Stu­art Rus­sell und Peter Norvig: Künstliche In­tel­li­genz: Ein Mod­ern­er Ansatz. Pear­son-Studi­um, 2004 (Überset­zung der 2.Auflage).
ISBN: 978-3-8273-7089-1

 

Übungen zu Artificial Intelligence II [UeAI II]

Dozent/in:
Florian Rabe
Angaben:
Übung, 2 SWS, für FAU Scientia Gaststudierende zugelassen
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 
 
Mo8:15 - 9:45Übung 3 / 01.252-128  N.N. 
 
 
Mi12:15 - 13:4501.151-128  Mehlich, D. 
on May 11, only online at https://fau.zoom.us/j/97169402146
 
 
Mi14:15 - 15:45n.V.  Rabe, F. 
Zoom: https://fau.zoom.us/j/97169402146
 
 
Mi16:15 - 17:45Übung 3 / 01.252-128  N.N. 
 
 
Do14:15 - 15:4501.021  N.N. 
 

Cognitive Neuroscience for AI Developers [CNAID]

Dozentinnen/Dozenten:
Patrick Krauß, Andreas Kist, Andreas Maier
Angaben:
Vorlesung, 4 SWS, ECTS: 5, nur Fachstudium
Termine:
Di, 12:15 - 13:45, H8
Do, 8:15 - 9:45, H11
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
FAU students register for the written exam via meinCampus.
https://www.studon.fau.de/crs4053784_join.html
Inhalt:
Neuroscience has played a key role in the history of artificial intelligence (AI), and has been an inspiration for building human-like AI, i.e. to design AI systems that emulate human intelligence.
Neuroscience provides a vast number of methods to decipher the representational and computational principles of biological neural networks, which can in turn be used to understand artificial neural networks and help to solve the so called black box problem. This endeavour is called neuroscience 2.0 or machine behaviour. In addition, transferring design and processing principles from biology to computer science promises novel solutions for contemporary challenges in the field of machine learning. This research direction is called neuroscience-inspired artificial intelligence.
The course will cover the most important works which provide the cornerstone knowledge to understand the biological foundations of cognition and AI, and applications in the areas of AI-based modelling of brain function, neuroscience-inspired AI and reverse-engineering of artificial neural networks.
Empfohlene Literatur:
Gazzaniga, Michael. Cognitive Neuroscience - The Biology of the Mind. W. W. Norton & Company, 2018.
Ward, Jamie. The Student's Guide to Cognitive Neuroscience. Taylor & Francis Ltd., 2019.
Bermúdez, José Luis. Cognitive Science: An Introduction to the Science of the Mind. Cambridge University Press, 2014.
Friedenberg, Jay D., and Silverman, Gordon W. Cognitive Science: An Introduction to the Study of Mind. SAGE Publications, Inc., 2015.
Gerstner, Wulfram, et al. Neuronal dynamics: From single neurons to networks and models of cognition. Cambridge University Press, 2014.

 

Computational Photography and Capture [CPaC]

Dozent/in:
Tim Weyrich
Angaben:
Vorlesung, 2 SWS, benoteter Schein, ECTS: 5, nur Fachstudium
Termine:
Di, 12:15 - 13:45, 00.152-113
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
Never in human history have we been able to record so much of our environment in so little time with such high quality. Since the rise of smartphones, nearly everyone carries a powerful camera with them in their daily lives. This module introduces the theoretical and practical aspects of modern photography and capture algorithms: universal models of colour, computer-controlled cameras, lighting and shape capture.
The lecture covers the following topics:
  • Cameras, sensors and colour

  • Image processing (e.g., blending, warping)

  • Radiometry

  • Appearance acquisition

  • Structured-light 3D acquisition

  • Image-based and video-based rendering

 

Computer Vision [CV]

Dozentinnen/Dozenten:
Bernhard Egger, Andreas Maier, Tim Weyrich
Angaben:
Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium
Termine:
Do, 12:15 - 13:45, H4
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
This lecture discusses important algorithms from the field of computer vision. The emphasis lies on 3-D vision algorithms, covering the geometric foundations of computer vision, and central algorithms such as stereo vision, structure from motion, optical flow, and 3-D multiview reconstruction. The course will also introduce Convolutional Neural Networks (with some examples to play around) and discuss it's importance and impact. Participants of this advanced course are expected to bring experience from prior lectures either from the field of pattern recognition or from the field of computer graphics.
Empfohlene Literatur:
Richard Szeliski: Computer Vision: Algorithms and Applications, Springer 2011.

Richard Hartley and Andrew Zisserman: Multiple view geometry in Computer Vision. Cambridge university press, 2003.

Schlagwörter:
computer vision; stereo vision; structure from motion; multi-view reconstruction; convolutional neural networks

 

Computer Vision Exercise [CV-E]

Dozentinnen/Dozenten:
Bernhard Egger, Shih-Yuan Huang, Sarma Jeet Sen, Maximilian Weiherer, Mathias Zinnen, Darius Rückert
Angaben:
Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, Exercises are voluntary and will not be graded/corrected. The exam will contain questions on the excercises.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Schlagwörter:
computer vision; stereo vision; structure from motion; multi-view reconstruction; convolutional neural networks

 
 
Di10:00 - 12:000.01-142 CIP  Egger, B. 
 
 
Mi8:00 - 10:0000.156-113 CIP  Egger, B. 
 

Deep Learning [DL]

Dozent/in:
Andreas Maier
Angaben:
Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Information regarding the online teaching will be added to the studon course
Termine:
Fr, 10:15 - 11:45, H4
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
The following lectures are recommended:
  • Introduction to Pattern Recognition (IntroPR)

  • Pattern Recognition (PR)

https://www.studon.fau.de/crs4449450.html

Inhalt:
Deep Learning (DL) has attracted much interest in a wide range of applications such as image recognition, speech recognition and artificial intelligence, both from academia and industry. This lecture introduces the core elements of neural networks and deep learning, it comprises:
  • (multilayer) perceptron, backpropagation, fully connected neural networks

  • loss functions and optimization strategies

  • convolutional neural networks (CNNs)

  • activation functions

  • regularization strategies

  • common practices for training and evaluating neural networks

  • visualization of networks and results

  • common architectures, such as LeNet, Alexnet, VGG, GoogleNet

  • recurrent neural networks (RNN, TBPTT, LSTM, GRU)

  • deep reinforcement learning

  • unsupervised learning (autoencoder, RBM, DBM, VAE)

  • generative adversarial networks (GANs)

  • weakly supervised learning

  • applications of deep learning (segmentation, object detection, speech recognition, ...)

The accompanying exercises will provide a deeper understanding of the workings and architecture of neural networks.

Empfohlene Literatur:
  • Ian Goodfellow, Yoshua Bengio, Aaron Courville: Deep Learning. MIT Press, 2016
  • Christopher Bishop: Pattern Recognition and Machine Learning, Springer Verlag, Heidelberg, 2006

  • Yann LeCun, Yoshua Bengio, Geoffrey Hinton: Deep learning. Nature 521, 436–444 (28 May 2015)

Schlagwörter:
deep learning; machine learning

 

Deep Learning Exercises [DL E]

Dozentinnen/Dozenten:
Leonhard Rist, Zijin Yang, Alexander Barnhill, Noah Maul
Angaben:
Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, This course will be held online until the coronavirus pandemic is contained to such an extent that the Bavarian state government can allow face-to-face teaching again. Information regarding the online teaching will be added to the studon course
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Schlagwörter:
deep learning; machine learning

 
 
Mo12:00 - 14:000.01-142 CIP  N.N. 
 
 
Di18:00 - 20:000.01-142 CIP  N.N. 
 
 
Mi16:00 - 18:000.01-142 CIP  N.N. 
 
 
Do14:00 - 16:000.01-142 CIP  N.N. 
 
 
Fr8:00 - 10:000.01-142 CIP  N.N. 
 

Human Computer Interaction [HCI]

Dozent/in:
Björn Eskofier
Angaben:
Vorlesung, 3 SWS, ECTS: 3,75
Termine:
Di, Do, 8:15 - 9:45, H10
Die erste Veranstaltung findet am 28.04 um 08:15 in H10 statt.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Folien zur Vorlesung und Organisation über Studon.
Inhalt:
Studon Kurs: https://www.studon.fau.de/studon/goto.php?target=crs_4380069
Schlagwörter:
human-computer interaction, Mensch-Maschine-Schnittstelle, grafische Benutzerschnittstellen, mobile Mensch-Computer-Interaktion, Mensch-Maschine-Interaktion im Fahrzeug, ubiquitäre und eingebettete interaktive Systeme

 

Human Computer Interaction Exercises [HCI-E]

Dozent/in:
Madeleine Flaucher
Angaben:
Übung, 1 SWS, ECTS: 1,25
Termine:
Di, 12:15 - 13:45, H3 Egerlandstr.3
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Schlagwörter:
human-computer interaction, Mensch-Maschine-Schnittstelle, grafische Benutzerschnittstellen, mobile Mensch-Computer-Interaktion, Mensch-Maschine-Interaktion im Fahrzeug, ubiquitäre und eingebettete interaktive Systeme

 

Medical Image Processing for Diagnostic Applications (VHB-Kurs) [MIPDA]

Dozentinnen/Dozenten:
Andreas Maier, Luis Carlos Rivera Monroy, Celia Martín Vicario, Arpitha Ravi
Angaben:
Vorlesung, 4 SWS, ECTS: 5
Termine:
Zeit/Ort n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Requirements: mathematics for engineering

Organization: This is an online course of Virtuelle Hochschule Bayern (VHB). Go to https://www.vhb.org to register to this course. FAU students register for the written exam via meinCampus.

Inhalt:
Medical imaging helps physicians to take a view inside the human body and therefore allows better treatment and earlier diagnosis of serious diseases.

However, as straightforward as the idea itself is, so diversified are the technical difficulties to overcome when implementing a clinically useful imaging device.

We begin this course by discussing all available modalities and the actual imaging goals which highly affect the imaging result.

Some modalities produce very noisy results, but there are multiple other artifacts that show up in raw acquisition data and have to be dealt with. We address these issues in the chapter preprocessing and show how to compensate for image distortions, how to interpolate defect pixels, and finally correct bias fields in magnetic resonance images.

The largest portion of this course covers the theory of medical image reconstruction. Here, from a set of projections from different viewing angles a 3-D image is merged that allows a definite localization of anatomical and pathological features. Following roughly the historical development of CT devices, we study the process from parallel beam to fan beam geometry and include a discussion of phantoms as a tool for calibration and image quality assessment. We then move forward and learn about reconstruction in 3-D. Since the system matrix often grows in dimensions such that many direct solvers become infeasible, we also discuss pros and cons of iterative methods.

In the final chapter, image registration is introduced as the concept of computing the mapping that maps the content of one image to another. Two different acquisitions usually result in images that are at least rotated and translated against each other. Image registration forms the set of tools that we need to match certain image features in order to align both images for further processing, image improvement or image overlays.

Schlagwörter:
Mustererkennung, Medizinische Bildverarbeitung

 

Medical Image Processing for Interventional Applications (VHB-Kurs) [MIPIA]

Dozentinnen/Dozenten:
Andreas Maier, Luis Carlos Rivera Monroy, Celia Martín Vicario, Arpitha Ravi
Angaben:
Vorlesung, 4 SWS, ECTS: 5
Termine:
Zeit/Ort n.V.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
mathematics for engineering; This lecture focuses on interventional procedures. It is recommended but not necessary to attend Medical Image Processing for Diagnostic Applications (MIPDA) before.
Inhalt:
This lecture focuses on recent developments in image processing driven by medical applications. All algorithms are motivated by practical problems. The mathematical tools required to solve the considered image processing tasks will be introduced.

In addition to the lectures, we also offer exercise classes. The exercises consist of theoretical parts where you immerse in lecture topics. But we also set emphasis on the practical implementation of the methods.

Schlagwörter:
Mustererkennung, Medizinische Informatik, Medizinische Bildverarbeitung

 

Numerische Neurotechnologie - Vorlesung [Neurotech]

Dozent/in:
Tobias Reichenbach
Angaben:
Vorlesung, 2 SWS, ECTS: 5, nur Fachstudium, The password for joining the course on StudOn is: Neurotech22. The course will start with the first lecture on Thursday, 28th of April 2022.
Termine:
Do, 16:15 - 17:45, H6
Studienrichtungen / Studienfächer:
WPF AI-MA 2

 

Numerische Neurotechnologie - Übung [Neurotech]

Dozent/in:
Tobias Reichenbach
Angaben:
Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, The password for joining the course on StudOn is: Neurotech22. The course will start with the first lecture on Thursday, 28th of April 2022.
Termine:
Di, 8:15 - 9:45, H6
Studienrichtungen / Studienfächer:
WPF AI-MA 2
Schlagwörter:
Neurotechnologie, neuroengineering, neurotechnology, computational, neuroscience, brain-machine-interface, brain-computer interface, neurorehabilitation

 

Parallele Systeme [PSys]

Dozentinnen/Dozenten:
Frank Hannig, Jürgen Teich
Angaben:
Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium
Termine:
Di, 12:15 - 13:45, 01.021
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
Selbst unser PC erlaubt bereits ein hohes Maß an nebenläufiger Verarbeitung von Daten. Die effiziente Ausnutzung von Parallelität bedarf allerdings auch spezieller Programmier- und Übersetzungstechniken. Beschrieben werden Eigenschaften unterschiedlicher paralleler Rechnerarchitekturen und Metriken zu deren Beurteilung. Weiterhin werden Modelle und Sprachen zum Programmieren paralleler Rechner eingeführt. Neben der Programmierung von allgemeinen Parallelrechnern werden Entwurfsmethoden (CAD) vorgestellt, wie man ausgehend von einer algorithmischen Problemstellung massiv parallele Rechenfelder in VLSI herleiten kann. Im Einzelnen werden behandelt:

1. Theorie der Parallelität (parallele Computermodelle, parallele Spezifikationsformen und -sprachen, Performanzmodelle und -berechnung)
2. Klassifikation paralleler und skalierbarer Rechnerarchitekturen (Multiprozessoren und Multicomputer, Vektorrechner, Datenflussmaschinen, VLSI-Rechenfelder)
3. Programmierung paralleler Rechner (Sprachen und Modelle, Entwurfsmethoden und Compiler, Optimierung)
4. Massive Parallelität: Vom Algorithmus zur Schaltung

Theoretische und praktische Übungen mit rechnergestützten Werkzeugen

 

Erweiterte Übungen zu Parallele Systeme [EU-PSys]

Dozentinnen/Dozenten:
Stefan Groth, Michael Witterauf, Marcel Brand, Frank Hannig
Angaben:
Übung, 2 SWS, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 14:00 - 18:00, 02.133-128
Mi, 8:00 - 12:00, 02.133-128
Einzeltermine am 22.6.2022, 9:00 - 13:00, 02.133-128
24.6.2022, 14:00 - 18:00, 02.133-128
13.7.2022, 9:00 - 13:00, 02.133-128
15.7.2022, 14:00 - 18:00, 02.133-128
20.7.2022, 9:00 - 13:00, 02.133-128
22.7.2022, 14:00 - 18:00, 02.133-128
verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Übung zu Parallele Systeme [UE-PSys]

Dozent/in:
Frank Hannig
Angaben:
Übung, 2 SWS, ECTS: 2,5
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 
 
Di16:00 - 17:3001.255-128  Hannig, F. 
 
 
Do8:00 - 9:3002.133-128  Hannig, F. 
 
 
Do14:15 - 15:4501.255-128  Groth, S. 
 

Pattern Analysis [PA]

Dozent/in:
Christian Riess
Angaben:
Vorlesung, 3 SWS, benoteter Schein, ECTS: 3,75, This course will be held as inverted classroom with physical meetings, with a "best-effort" online option.
Termine:
Do, 16:15 - 17:45, H16
Fr, 12:15 - 13:45, Zoom-Meeting
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Please join the class "Pattern Analysis" in studOn. All lecture material will be linked and made available there.
It is recommended (but not mandatory) that participants attend the lecture Pattern Recognition first.
Inhalt:
This lecture complements the lectures "Introduction to Pattern Recognition" and "Pattern Recognition". In this third edition, we focus on analyzing and simplifying feature representations. Major topics of this lecture are density estimation, clustering, manifold learning, hidden Markov models, conditional random fields, and random forests. The lecture is accompanied by exercises, where theoretical results are practically implemented and applied.
All materials (for lecture and exercises) can be found in the associated studOn class at https://www.studon.fau.de/crs4398245.html
To participate in Pattern Analysis, please join this studOn class. You can use this registration link: https://www.studon.fau.de/crs4398245_join.html
Empfohlene Literatur:
  • Christopher Bishop: Pattern Recognition and Machine Learning, Springer Verlag, Heidelberg, 2006
  • T. Hastie, R. Tibshirani, J. Friedman: The Elements of Statistical Learning, 2nd edition, Springer Verlag, 2017.

  • Antonio Criminisi and J. Shotton: Decision Forests for Computer Vision and Medical Image Analysis, Springer, 2013

Schlagwörter:
pattern recognition, pattern analysis

 

Pattern Analysis Programming [PA-Prog]

Dozentinnen/Dozenten:
Dalia Rodriguez Salas, Nora Gourmelon
Angaben:
Übung, 1 SWS, ECTS: 1,25, für FAU Scientia Gaststudierende zugelassen, This course will be held online until the coronavirus pandemic is contained to such an extent that the Bavarian state government can allow face-to-face teaching again
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
The exercise material is published in the studOn class for the lecture Pattern Analysis.
Inhalt:
Python programming exercises to supplement and practice the contents of the lecture Pattern Analysis.
Schlagwörter:
pattern analysis, programming

 
 
Di14:00 - 15:0002.151-113 a CIP, 02.151-113 b CIP  N.N. 
 
 
Di15:00 - 16:0002.151-113 a CIP, 02.151-113 b CIP  N.N. 
 
 
Do10:15 - 11:45Übung 3 / 01.252-128  N.N. 
 

Speech and Language Understanding [SLU]

Dozentinnen/Dozenten:
Seung Hee Yang, Alexander Barnhill, Andreas Maier
Angaben:
Vorlesung, 2 SWS, benoteter Schein, ECTS: 5, nur Fachstudium
Termine:
Mo, 14:00 - 16:00, Hörsaal ZMPT
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
https://www.studon.fau.de/crs4464784.html
Für diese Lehrveranstaltung ist eine Anmeldung erforderlich.
Die Anmeldung erfolgt über: StudOn
Inhalt:
Nach Behandlung der grundlegenden Mechanismen menschlicher Spracherzeugung und Sprachwahrnehmung gibt die Vorlesung eine detaillierte Einführung in (vornehmlich) statistisch orientierte Methoden der maschinellen Erkennung gesprochener Sprache. Schwerpunktthemen sind Merkmalgewinnung, Vektorquantisierung, akustische Sprachmodellierung mit Hilfe von Markovmodellen, linguistische Sprachmodellierung mit Hilfe stochastischer Grammatiken, prosodische Information sowie Suchalgorithmen zur Beschleunigung des Dekodiervorgangs.
Empfohlene Literatur:
  • Niemann H.: Klassifikation von Mustern; Springer, Berlin 1983
  • Niemann H.: Pattern Analysis and Understanding; Springer, Berlin 1990

  • Schukat-Talamazzini E.G.: Automatische Spracherkennung; Vieweg, Wiesbaden 1995

  • Rabiner L.R., Schafer R.: Digital Processing of Speech Signals; Prentice Hall, New Jersey 1978

  • Rabiner L.R., Juang B.H.: Fundamentals of Speech Recognition; Prentice Hall, New Jersey 1993

Schlagwörter:
Mustererkennung, Merkmale, HMM, Sprachmodelle, Prosodie, Suchalgorithmen

 

Speech and Language Understanding Exercises [SLU-UE]

Dozentinnen/Dozenten:
Seung Hee Yang, Alexander Barnhill
Angaben:
Übung, für FAU Scientia Gaststudierende zugelassen
Termine:
Di, 12:15 - 13:45, 00.156-113 CIP
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Swarm Intelligence (SI), formerly Organic Computing (OC) [SI]

Dozent/in:
Rolf Wanka
Angaben:
Vorlesung, 2 SWS, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen, Also for CE; Formerly known as Organic Computing (OC)
Termine:
Do, 14:15 - 15:45, H15
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
Unter Swarm Intelligence (SI) versteht man den Entwurf und den Einsatz von selbst-organisierenden Systemen, die sich den jeweiligen Umgebungsbedürfnissen dynamisch anpassen. Diese Systeme zeichnen sich dadurch aus, dass sie die sog. Self-*-Eigenschaft besitzen, d.h. sie sind selbst-konfigurierend, selbst-optimierend, selbst-heilend, selbst-schützend, selbst-erklärend, ...
Als Vorbild für solche technischen Systeme werden Strukturen und Methoden biologischer und anderer natürlicher Systeme gewählt.
Empfohlene Literatur:
  • Ch. Müller-Schloer, Ch. von der Malsburg, R. P. Würt. Organic Computing. Informatik-Spektrum, Band 27, Nummer 4, S. 332-336. (LINK)
  • I. C. Trelea. The particle swarm optimization algorithm: convergence analysis and parameter selection. Information Processing Letters 85 (2003) 317-325. (LINK)

  • J. M. Kleinberg. Authoritative sources in a hyperlinked environment. Journal of the ACM 46 (1999) 604-632. (LINK)

  • M. Dorigo. V. Maniezzo. A Colorni. Ant system: an autocatalytic optimizing process. Technical Report 91-016, Politecnico di Milano, 1991. (LINK)

  • A. Badr. A. Fahmy. A proof of convergence for Ant algorithms. Information Sciences 160 (2004) 267-279.

  • M. Clerc. J. Kennedy. The particle swarm - Explosion, stability, and convergence in a multidimensional complex space. IEEE Transactions on Evolutionary Computation 8 (2002) 58-73.

 

Übungen zu Swarm Intelligence [ExSI]

Dozent/in:
Matthias Kergaßner
Angaben:
Übung, 2 SWS, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 
 
Di12:15 - 13:45H10  Kergaßner, M. 
 
 
Fr10:15 - 11:4502.019  Kergaßner, M. 
 

The AMOS Project (VL) [OSS-AMOS-VL]

Dozent/in:
Dirk Riehle
Angaben:
Vorlesung, 2 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Termine:
Mi, 10:15 - 11:45, 00.151-113
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
This course teaches agile methods (Scrum and XP) and open source tools using a single semester-long project. Topics covered are:
  • Agile methods and related software development processes

  • Scrum roles, process practices, including product and engineering management

  • Technical practices like refactoring, continuous integration, and test-driven development

  • Principles and best practices of open source software development

The project is a software development project in which student teams work with an industry partner who provides the idea for the project. This is a practical hands-on experience. Students can play one of two primary roles:

  • Product owner. In this function, a student defines, prioritizes, communicates, and reviews requirements. The total effort adds up to 5 ECTS.

  • Software developer. In this function, a student estimates their effort for requirements and implements them. The total effort adds up to 10 ECTS.

Students will be organized into teams of 7-8 people, combining product owners with software developers. An industry partner will provide requirements to be worked out in detail by the product owners and to be realized by the software developers. The available projects will be presented in the run-up to the course.

Class consists of a 90min lecture followed by a 90min team meeting. Rooms and times for team meetings are assigned in the beginning of the semester.

Sign-up and further course information are available at https://amos.uni1.de - please sign up for the course on StudOn (available through previous link) as soon as possible.

The course information will also tell you how the course will be held (online or in person).

 

Verifikation digitaler Systeme [VdS]

Dozent/in:
Oliver Keszöcze
Angaben:
Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 8:15 - 9:45, 02.112-128
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Inhalt:
Für den Entwurf eines digitalen Systems werden heute in der Industrie ebenso viele Verifikationsingenieure wie Designer benötigt. Trotzdem beansprucht die Verifikation heute bereits 70%-80% der gesamten Entwurfszeit. Neben konventionellen Verifikationserfahren wie der Simulation sind werden seit einigen Jahren sogenannte "formale Verifikationsmethoden" in heutigen Entwursflüssen eingesetzt. Der Umgang mit diesen Methoden stellt ein wichtiges neues Aufgabenfeld dar. Im Gegensatz zur Simulation beruht die formale Verifikation auf exakten mathematischen Methoden zum Nachweis funktionaler Schaltungseigenschaften. Dadurch können Entwurfsfehler frühzeitiger und mit höherer Zuverlässigkeit als bisher erkannt werden. Jedes System zur formalen Hardwareverifikation erfordert:
  • ein geeignetes Modell des zu verifizierenden Systems

  • eine Sprache zur Formulierung der zu verifizierenden Eigenschaften

  • eine Beweismethode.

Die Vorlesung behandelt diese drei Bereiche, vermittelt die grundlegenden Algorithmen und Konzepte moderner Werkzeuge für die formale Hardwareverifikation und erläutert deren Einsatz in der industriellen Praxis. Im Einzelnen werden in dieser Vorlesung die folgenden Punkte behandelt:
1. Modellierung digitaler Systeme 2. Unterschiede formaler und simulationsbasierter Verifikationsmethoden 3. Äquivalenzvergleich 4. Formale und simulationsbasierte Eigenschaftsprüfung 5. Assertions 6. Verifikation arithmetischer Schaltungen

 

Übung zur Verifikation digitaler Systeme [UE-VdS]

Dozent/in:
Oliver Keszöcze
Angaben:
Übung, 2 SWS, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 10:15 - 11:45, 02.112-128
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Verteilte Systeme [VS]

Dozent/in:
Tobias Distler
Angaben:
Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium
Termine:
Di, 14:15 - 15:45, 0.031-113
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Erweiterte Übungen zu Verteilte Systeme [EÜ VS]

Dozentinnen/Dozenten:
Laura Lawniczak, Tobias Distler
Angaben:
Übung, 2 SWS, ECTS: 5
Termine:
Veranstaltung findet zusammen mit "Übungen zu Verteilte Systeme" statt.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Für diese Lehrveranstaltung ist eine Anmeldung erforderlich.
Die Anmeldung erfolgt über: Waffel .

 

Rechnerübungen zu Verteilte Systeme [RÜ VS]

Dozentinnen/Dozenten:
Laura Lawniczak, Tobias Distler
Angaben:
Übung, 2 SWS
Termine:
Mi, 10:00 - 11:00, 01.153-113 CIP
jede 2. Woche Mi, 11:00 - 12:00, 01.153-113 CIP
Mo, 12:00 - 13:00, Zoom-Meeting
Der Termin Mi, 11:00 - 12:00 Uhr dient als Überlauftermin und wird nur zu den Abgaben angeboten; Die Mittwochstermine werden hybrid (Präsenz & Online) angeboten
ab 2.5.2022
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Für diese Lehrveranstaltung ist eine Anmeldung erforderlich.
Die Anmeldung erfolgt über: Waffel .

 

Übungen zu Verteilte Systeme [Ü VS]

Dozentinnen/Dozenten:
Laura Lawniczak, Tobias Distler
Angaben:
Übung, 2 SWS, ECTS: 2,5
Termine:
Die Tafelübungen werden asynchron als Videos angeboten. Mehr Informationen auf der Webseite und beim ersten Termin der Vorlesung.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Visual Computing in Medicine 2 [VCMed2]

Dozentinnen/Dozenten:
Thomas Wittenberg, Peter Hastreiter
Angaben:
Vorlesung, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Termine:
Do, 12:15 - 13:45, H10
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
Until further notice, this course will take place in electronic form. Detailed information is provided in the StudOn-course "Visual Computing in Medicine 2 (VCMed 2) - summer term 2020".
Bis auf Weiteres findet der Kurs in elektronischer Form statt. Weitere Informationen finden Sie im StudOn-Kurs "Visual Computing in Medicine 2 (VCMed 2) - summer term 2020".
Inhalt:
Building onto the lecture VCMed1, VCMed2 provides examples of concrete solutions for diagnosis and therapy planning based on complex clinical images. It provides information how basic methods are selected and combined into practical applicable concepts. Examples from clinical applications will be used to relate strategies and requirements in clinical practice as well as the development process. Additionally, methods of medical image analysis and visualization are discussed in detail.
  • Linking methods of medical image analysis and visualization for processing diagostic and interventional questions

  • Providing algorithmic approaches with concrete solution strategies for the processing of clinical iamges from the perspective of medical needs

  • Overview of various medical imaging domains

  • Multimodal image registration with non-rigid transformations

  • Current topics of image-based diagnosis and therapy planning

Empfohlene Literatur:
  • P.M. Schlag, S. Eulenstein, Th. Lange „Computerassistierte Chirurgie", Elsevier Verlag 2010
  • H. Handels, „Medizinische Bildverarbeitung, Bildanalyse, Mustererkennung und Visualisierung für die computergestützte ärztliche Diagnostik und Therapie", Vieweg und Teubner Verlag, 2009

  • B. Preim, D. Bartz, "Visualization in Medicine - Theory, Algorithms, and Applications”, Morgan Kaufmann Verlag, 2007

  • E. Neri, D. Caramella, C. Bartolozzi, „Image Processing in Radiology", Springer Verlag, 2008

  • Th. Lehmann, W. Oberschelp, E. Pelikan, R. Pepges, „Bildverarbeitung für die Medizin", Springer Verlag, 1997

 

Artificial Motor Learning [AML]

Dozentinnen/Dozenten:
Thomas Seel, Simon Bachhuber, Ive Weygers
Angaben:
Vorlesung mit Übung, 4 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Termine:
Di, 16:15 - 17:45, K1-119 Brose-Saal
Mi, 12:15 - 13:45, 04.019
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Introduction to Explainable Machine Learning [xML]

Dozentinnen/Dozenten:
Thomas Seel, Simon Bachhuber, Ive Weygers
Angaben:
Vorlesung mit Übung, 4 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Termine:
Di, 14:15 - 15:45, 0.151-115
Mi, 10:15 - 11:45, K2-119
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1

 

Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen [KRMT]

Dozentinnen/Dozenten:
Michael Kohlhase, Florian Rabe
Angaben:
Vorlesung mit Übung, 4 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen, * The course will be in presence, but streamed at https://fau.zoom.us/j/65839665250 and recorded at https://www.fau.tv/course/id/3065
Termine:
Di, 10:15 - 11:45, 02.133-113
Mi, 16:15 - 17:45, 02.133-113
We'll try to do the course in person. If necessary, any zoom links will be announced here.
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Voraussetzungen / Organisatorisches:
We'll try to do the course in person. If necessary, any zoom links will be announced here.
Inhalt:
Grundlagen der Mathematik, Modulare Formalisierung in Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten, Formalisierung von Logiksprachen in Metalogiken.

Lernziele und Kompetenzen:

  • Fachkompetenz

    • Wissen Die Studierenden beherrschen moderne, sehr expressive Formalismen (Syntax, Semantik, Beweistheorie) zur Repräsentation komplexen Wissens. Sie können diese selbst in Metalogiken repräsentieren und eigeschränkt neue Formalismen entwickeln.

    • Anwenden Die Studierenden formalisieren komplexe mathematisch/technische Sachverhalte in jeweils geeigneten Meta-Sprachen und setzen diese durch Interprätationsabbildungen in Verbindung.

    • Analysieren Die Studierenden analysieren die innere Struktur komplexer Objekte, Konzepte, und Modelle. Sie wählen für eine zu repräsentierende mathematisch/technische Domäne geeignete Formalismen aus.

  • Lern- bzw. Methodenkompetenz Die Studierenden erarbeiten selbständig formale Repräsentationen und Beweise.

  • Sozialkompetenz Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.

 

Modallogik [ML]

Dozent/in:
Lutz Schröder
Angaben:
Vorlesung mit Übung, 4 SWS, ECTS: 7,5, für FAU Scientia Gaststudierende zugelassen
Termine:
Mo, Do, 12:15 - 13:45, 02.133-113
Studienrichtungen / Studienfächer:
WPF AI-MA ab 1
Schlagwörter:
Modallogik modal logic automatisches Schließen automatic reasoning and deduction temporale Spezifikation temporal logic and specificagtion

 

Neuartige Rechnerarchitekturen [NeuRa]

Dozentinnen/Dozenten:
Philipp Holzinger, Simon Pfenning, Dietmar Fey
Angaben:
Hauptseminar, 4 SWS, ECTS: 5
Termine:
Di, 12:15 - 13:45, 07.150
Studienrichtungen / Studienfächer:
WF AI-MA ab 1
Inhalt:
Die Entwicklung moderner CPUs hat eine interessante Evolution durchlaufen. Angefangen bei einfachen Single-Core CPUs wurde zunächst die Taktschraube immer weiter nach oben gedreht. Als dies aus thermischem Grund nicht weiter möglich war, wurden Parallelrechner aus ihrer akademischen Nische vertrieben und zum Allgemeingut eines jeden Informatikers. Neuere Entwicklungen zeigen nun den Einsatz von heterogenen Rechnerarchitekturen, also die Verbindung verschiedener Recheneinheiten wie CPUs, GPUs, FPGAs, um mittels Spezialhardware anfallende Aufgaben schneller und energieeffizienter lösen zu können. Neueste Forschungsansätze hingegen versuchen nun auch den Hauptspeicher eines Rechners "intelligent" zu machen und Prozessoren direkt in den Speicher zu integrieren - sogenanntes in- oder near-memory-Computing.
Ziel dieses Moduls ist das Kennen, Verstehen, Verwenden, Vergleichen,und Evaluieren verschiedener Rechnerarchitekturen von der Multi-Core CPU bis zum FPGA-Near-Memory-Beschleuniger. Anhand praktischer Anwendungen (z.B. Neuronale Netze, Bildverarbeitung, Autonomes Fahren) können die Architekturen erprobt werden. Hierzu wird jedem Teilnehmenden ein Thema/Architektur zur Bearbeitung übertragen, welche sie/er selbstständig wissenschaftlich in einer schriftlichen Ausarbeitung und didaktisch in einem Vortrag aufarbeitet und präsentiert.

Fachkompetenz
Wissen
Lernende können Wissen über die Grundprinzipien moderner Rechnerarchitekturen (Intel, ARM CPUs; AMD, Nvidia GPUs; FPGAs, Beschleunigerkerne) wiedergeben.

Verstehen
Lernende verstehen die Grundprinzipien der Datenverarbeitung der einzelnen Architekturen; im Speziellen verstehen sie ob und warum eine vorgegebene Architektur besonders gut für die Lösung eines Problems geeignet ist. Lernende verstehen die unterschiedlichen Ansätze zum Parallelismus der vorgestellten Architekturen.

Anwenden
Lernende sind in der Lage Anwendungen auf den vorgegebenen Architekturen z.B. durch Programmierung umzusetzen. Hierzu erklären Studierende wie die Parallelisierungstechniken in bestehenden Architekturen eingesetzt werden.

Evaluieren (Beurteilen)
Lernende evaluieren die Eignung von Architekturen, um bestimmte Probleme effizient auf diese Abbilden zu können.

Sozialkompetenz
Lernende können komplexe fachbezogene Inhalte klar und zielgruppengerecht präsentieren und eigene Standpunkte in einer Fachdiskussion argumentativ vertreten.

 

Seminar Theoretische Informatik [ThInfSem]

Dozent/in:
Lutz Schröder
Angaben:
Oberseminar, 2 SWS, für FAU Scientia Gaststudierende zugelassen
Termine:
Di, 14:00 - 16:00, 00.131-128
Studienrichtungen / Studienfächer:
WF AI-MA ab 1

 

Seminar Wissensrepräsentation und -verarbeitung [SeminarWuV]

Dozentinnen/Dozenten:
Michael Kohlhase, Florian Rabe
Angaben:
Oberseminar, 2 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen, Das Seminar findet wie geplant statt, nur halt online: Für Details, Themen und Termine siehe http://kwarc.info/courses/swuv/
Termine:
Do, 14:45 - 16:15, 00.131-128
Studienrichtungen / Studienfächer:
WF AI-MA ab 1

 

Multi-Core Architecture and Programming [MAP]

Dozentinnen/Dozenten:
Frank Hannig, Muhammad Sabih, Stefan Groth
Angaben:
Seminar, 2 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Termine:
Mi, 12:00 - 14:00, 02.133-128
Studienrichtungen / Studienfächer:
WF AI-MA ab 1

 

Computational Complexity

Dozent/in:
Yiannis Giannakopoulos
Angaben:
Vorlesung, 2 SWS, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Termine:
Mo, 10:00 - 12:00, Übung 1 / 01.250-128
Studienrichtungen / Studienfächer:
WF AI-MA ab 1

 

Informationsvisualisierung [InfoVIS]

Dozent/in:
Roberto Grosso
Angaben:
Vorlesung, 2 SWS, benoteter Schein, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Please, check the StudOn course InfoVIS
Termine:
Do, 14:15 - 15:45, 01.150-128
Studienrichtungen / Studienfächer:
WF AI-MA ab 1
Inhalt:
In diesem Modul werden Visualisierungsmethoden für die folgenden Datentypen behandelt:
  • Multivariate Daten

  • Graphen und Netzwerke

  • Dynamische Graphen

  • Hierarchien und Bäume

  • Time-Series Daten

  • Textvisualisierung

Für mehr Information über Inhalt dieses Moduls besuche Sie den StudOn-Kurs InfoVIS (https://www.studon.fau.de/crs2722847.html).

Empfohlene Literatur:
  • Robert Spence: Information Visualization: Design for Interaction
  • Stuart K. Card, Jock Mackinlay, Ben Shneiderman: Readings in Information Visualization – Using Vision to Think

  • Benjamin B. Bederson, Ben Shneiderman: The Craft of Information Visualization – Readings and Reflections

  • Tamara Munzner: Visualization Analysis and Design: Principles, Techniques, and Practice

Schlagwörter:
visualization, JavaScript, graphs, hierarchies, D3 programming, text visualization

 

Übung zur Informationsvisualisierung [UEInfoVIS]

Dozent/in:
Roberto Grosso
Angaben:
Übung, Schein, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Studienrichtungen / Studienfächer:
WF AI-MA ab 1

 
 
Mi12:15 - 13:4501.150-128  Grosso, R. 
 

Numerical Optimization and Model Predictive Control [OPT]

Dozent/in:
Knut Graichen
Angaben:
Vorlesung, 3 SWS, Schein, ECTS: 5
Termine:
Mi, 10:15 - 11:45, 04.023
The course is planned as a face-to-face event. Interested participants please register via StudOn, where you will also be informed about any date/mode changes.
Studienrichtungen / Studienfächer:
WF AI-MA ab 2

 

Compressive Sensing [CompSense]

Dozent/in:
Ali Bereyhi
Angaben:
Vorlesung mit Übung, 4 SWS, ECTS: 5, nur Fachstudium
Termine:
Di, 14:15 - 15:45, 05.025
Mi, 16:15 - 17:45, 05.025
Einzeltermine am 20.5.2022, 16:15 - 17:45, 05.025
13.6.2022, 12:15 - 13:45, 05.025
Studienrichtungen / Studienfächer:
WF AI-MA ab 1



UnivIS ist ein Produkt der Config eG, Buckenhof