Scientific Computing // Wissenschaftliches Rechnen

User Tools

Site Tools

You are here: Scientific Computing // Wissenschaftliches Rechnen » Teaching » Sommersemester 2020 » Proseminar „Softwareentwicklung in der Wissenschaft“
teaching:sommersemester_2020:softwareentwicklung_in_der_wissenschaft

Table of Contents

Proseminar „Softwareentwicklung in der Wissenschaft“

Beschreibung

Im Seminar werden wir die Softwareentwicklung in der Wissenschaft diskutieren. Im Detail der Prozess von der wissenschaftlichen Fragestellung über die Modellierung und Programmierung bis hin zur Analyse der Ergebnisse. Hierzu werden Softwareentwicklungswerkzeuge und Mechanismen vorgestellt und deren Umsetzung in der bestehenden Praxis analysiert.

Die Lehrmaterialien sind typischerweise in englischer Sprache.

Beachten Sie auch unsere allgemeinen organisatorischen Hinweise zu Seminaren.

Zielgruppe

Das Proseminar eignet sich für Studierende im Bachelortudiengängen mit Bezug zur Informatik sowie als Seminar im Masterstudiengang in den Geowissenschaften. Wir fordern explizit Studierende der angewandten Informatik zur Teilnahme auf beispielsweise Bioinformatik, Wirtschaftsinformatik sowie Geowissenschaftler. Für Studierende der Informatik und Geowissenschaften wird die Anrechnung innerhalb des Studiums problemlos möglich, Studierende anderer Studiengänge müssen die Anrechnung mit dem jeweiligen Prüfungsausschuss klären.

Interessierte Zuhörer sind auch herzlich willkommen.

Daten der Veranstaltung

Ort DKRZ, Raum 034
Zeit Montag 14:15 - 15:45 oder Montag 16:15 - 17:45
Vorbesprechung Montag 06.04.2020 14:15
Mailingliste SIW-20

Dozenten

Theorie

Vertiefende Vorträge zu Einzelaspekten der Softwareentwicklung in der Wissenschaft, z.B:

  • Modellierung und Simulation
  • Leistungsanalyse und Effizienz
  • Auswahl der Numerik und Algorithmen
  • Algorithm Engineering
  • Verifikation, und Validierung:
    • Assesment of Accuracy and Reliability
    • Qualität von berechneten Lösungen (floating point Repräsentation), Conditionierung
    • Computer-assisted Proofs and Self-Validating Methods
    • General Methods for Implementing Reliable and Correct Software
    • Design and execution of validation experiments
    • Solution Verification & Fehlerquellen
  • Software Engineering
  • …

Zeitplan

Nach der Festlegung der Themen soll der Inhalt mit dem jeweiligen Betreuer diskutiert werden.

Einführungs-Vortrag

Abschließend soll aus den Ausarbeitungen ein Bericht generiert werden. Das LaTeX-Template hierzu wird von uns vorgegeben.

14:15 - 15:45

16:15 - 17:45

Offene Themenliste

  • 14: Software-Dokumentationstool: Doxygen & Sphinx (Quelle1) (Quelle2)33)
  • 16: Software Parallelisierung: OpenMP (Quelle1) (Quelle2) [English Only]34)
  • 17: Software Parallelisierung: A Case Study for Performance Portability using OpenMP 4.5 (Paper) [English Only]35)
  • 18: Software Parallelisierung: Integrating GPU support for OpenMP offloading directives into Clang (Paper) [English Only]36)
  • 34: LLVM: Umgang mit dem AST 37)
  • 35: LLVM: Pass-Programmierung 38)
  • 36: LLVM: Profiling mit DiscoPoP (Paper)39)
  • 37: Post-Compiler Optimierungen (BOLT, Propeller [ Quelle 1, Quelle 2 ]) 40)
  • 38: Reproduzierbarkeit: Wie ein mehr davon? (Paper)41)
  • 43: Variational Autoencoder (Paper1),(Paper2) 42)
1) , 4) , 17) , 19) , 20) , 28) , 29) , 32)
Michael Kuhn
2) , 3) , 7) , 8) , 13) , 14) , 16) , 22) , 33)
Hermann Lenhart
5) , 6) , 9) , 12) , 21) , 23) , 25) , 26) , 37) , 38) , 39) , 40)
Jannek Squar
10) , 11) , 24) , 27) , 42)
Tobias Finn
15) , 18) , 34) , 35) , 36)
Georgiana Mania
30) , 31) , 41)
Petra Nerge
teaching/sommersemester_2020/softwareentwicklung_in_der_wissenschaft.txt · Last modified: 2020-11-16 18:21 by Hermann Lenhart
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki