lehrveranstaltungen im ss 2019 institut für informatik - fb 08 · 2019-02-08 · veranstaltungen...
TRANSCRIPT
![Page 1: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/1.jpg)
Lehrveranstaltungen im SS 2019
Institut für Informatik - FB 08
![Page 2: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/2.jpg)
Sommersemester 2019
LehrangebotVisual Computing
LehrangebotVisual Computing
![Page 3: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/3.jpg)
Veranstaltungen Visual ComputingVorlesungen
§ Einführung in die Softwareentwicklung (one more time)
§ Modellierung I (im neuen Format)§ Neue Vorlesung „Statistische Modellierung“
im WS 19/20 oder SoSem20
Seminare§ Zwei Vertiefungen zu Deep Learning (mit E. Schömer)
§ Insbesondere für Vorlesungen WS18/19
Praktikum: Fix gebunden an Modellierung 1
war letztes malanders herumgeplant
![Page 4: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/4.jpg)
Modellierung I
Modellierung 1: Lineare Modelle§ Lineare Algebra 101
§ Mit praktischen Anwendung
§ Diskretisierung, Simulation, Optimierung§ Mit praktischen Anwendung
![Page 5: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/5.jpg)
Modellierung ILineare Modelle
§ Repräsentationen§ Funktionenräume§ Finite Elemente§ Meshes, Gitter, Meshless§ Signaltheorie, Sampling§ Geometrische Modelle (3D)
§ Automatisches Modellieren§ Least-Squares, Variationsmethoden§ Dynamische Modelle (Animation, Simulation)
Eigencats
![Page 6: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/6.jpg)
Modellierung IFormat (NEU) V2+Ü2+P2
§ Vorlesung: Konzepte§ Präsenzübung: Theorie, Beweise§ Prakt. Übung: Anwendungen§ Zählt als (PO): 1x Fachvorlesung
+ 1x Praktikum
Inhalte:§ Vorlesung erklärt Ideen und Konzepte§ Präsenzübung: gemeinsam formal arbeiten/entwickeln§ Praktische Übung: Wozu ist das gut (Implementation)
![Page 7: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/7.jpg)
Modellierung IOrganisatorisches
§ Format (NEU): V2+Ü2+P2§ Vorlesung 1: Do 16-18h§ Präsenzübung: Di 16-18h § Prakt. Übung: Gruppen n.V.§ Start: Do, 18.04.2019§ Zielgruppe: Fortgeschr. Bachelor
oder Master
Vorkenntnisse:§ Programmieren (EiP, EiS), C++ hilfreich§ Mathematik (Analysis, Algebra)§ Computergraphik hilfreich
![Page 8: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/8.jpg)
Veranstaltungen Visual ComputingZwei Seminare in Kooperation mit AG Schömer
§ Tiefes Lernen und Computer Vision 1§ Grundlagen und Bilderkennung
§ Tiefes Lernen und Computer Vision 2§ Modellierung physikalischer Systeme
Planung§ Format: Semesterbegleitend§ Termin: Mo 10-12:15 (3x45min; vorläufig)§ Erster Vortrag: Montag, 13. Mai 2019 (vorläufig)§ Vorbesprechung: Letzte Woche März 2019 (Details tbd.)§ Teilnehmerzahl: 16 + 8 (insges. max. 24)
![Page 9: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/9.jpg)
Veranstaltungen Visual ComputingPraktikum
§ Integriert mit Modellierung 1
§ Kann dieses Semester nicht einzeln belegt werden!§ In Härtefällen persönliche Absprache
![Page 10: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/10.jpg)
Modellierung mit partiellenDifferentialgleichungen
Peter Spichtinger
Institut für Physik der Atmosphäre, JGU Mainz
6. Februar 2019
![Page 11: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/11.jpg)
Motivation
3 Säulen der NaturwissenschaftenÉ Theorie/ModellÉ ExperimentÉ (Numerische) Simulation
Differentialgleichungen zur ModellbildungViele physikalische Prozesse können mit Differentialgleichungenbeschrieben werden.
Einfaches Beispiel:Wärmeleitung in einem Stab
∂ T∂ t= K∂ 2T∂ x2
(1)
,2/9
![Page 12: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/12.jpg)
Motivation
3 Säulen der NaturwissenschaftenÉ Theorie/ModellÉ ExperimentÉ (Numerische) Simulation
Differentialgleichungen zur ModellbildungViele physikalische Prozesse können mit Differentialgleichungenbeschrieben werden.
Einfaches Beispiel:Wärmeleitung in einem Stab
∂ T∂ t= K∂ 2T∂ x2
(1)
,2/9
![Page 13: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/13.jpg)
Modellierung mit Differentialgleichungen
Zwei-semestrige Vorlesungsreihe:É Modellierung mit gewöhnlichen DifferentialgleichungenÉ Modellierung mit partiellen Differentialgleichunge
Beide Teile können unabhängig voneinander gehört werden
Erster Teil:É Allgemeines zu ModellenÉ Qualitative Theorie gewöhnlicher DifferentialgleichungenÉ Störungstheorie (asymptotische Methoden)É Numerische MethodenÉ Modellierung anhand von Beispielen
,3/9
![Page 14: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/14.jpg)
Vorlesung Modellierung mit PDEs (3V + 2Ü)
InhaltÉ (Ein bisschen) Theorie von PDEsÉ Lineare PDEs in BeispielenÉ Numerische Methoden für PDEsÉ Nichtlineare PDEs: Navier-Stokes Gleichung für StrömungenÉ Reaktions-Diffusions-GleichungenÉ Modellierung von Strukturbildung
VoraussetzungenÉ Mathematikvorlesungen aus dem BachelorÉ Interesse an naturwissenschaftlicher Modellierung
TermineDi: 08:30 - 10:00, Raum 04-422Do: 08:30 - 10:00 (vierzehntägig), Raum 05-136
,4/9
![Page 15: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/15.jpg)
Beispiele für PDEs (Zeit und eine Raumdimension)
Wärmeleitungs-/Diffusionsgleichung
∂ u(t, x)∂ t
=∂
∂ x
�
D(x)∂ u(t, x)∂ x
�
(2)
Wellengleichung
1c2
∂ 2u(t, x)∂ t2
=∂ 2u(t, x)∂ x2
(3)
Strukturgleichung (Swift-Hohenberg-Gleichung)
∂ u(t, x)∂ t
= r · u(t, x)− u(t, x)3 −�
∂ 2
∂ x2+ 1
�2
u(t, x) (4)
,5/9
![Page 16: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/16.jpg)
Beispiele zur Strukturbildung
,6/9
![Page 17: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/17.jpg)
Beispiele zur Strukturbildung
Chemische Reaktionen:Zwei Substanzen (rot und blau dargestellt), die zyklischmiteinander reagieren und dadurch räumliche oszillierende Musterbilden (Belousov-Zhabotinsky-Reaktion)
,7/9
![Page 18: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/18.jpg)
Beispiele zur Strukturbildung
Biologische Strukturen (Zebrafisch)500 R. A. Barrio et al.
Siganus vermiculatus
Figure 11. The skin pattern of the Siganus vermiculatus [reproduced from Frank (1973)],showing the transition from stripes to spots that can be simulated with the calculationsshown in Fig. 5 when a source is present at one of the boundaries.
An example of a transient pattern is shown in Fig. 14, obtained with a smallq1 coupling, which converges very slowly, and compared with the hexagons withmissing central spots found in the skin of the Coria formosa parrot fish.
A very important aspect of pattern generation is the robustness of pattern. Thisdepends on a number of things, including the boundary conditions and the non-linear terms. Our results show that in the case where spots compete with stripes,spotted patterns are very robust and appear to arise as long as the coefficient ofthe quadratic term is non-zero (Fig. 3 illustrates this). A source-type bound-ary condition can robustly select stripes near to the boundary in the case whenthere is stripe–spot competition (Figs 4 and 8). For the case where stripes are theonly pattern, the boundary sources can influence their orientation (illustrated byFig. 13).
,8/9
![Page 19: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/19.jpg)
Beispiele zur Strukturbildung
Strömungen (Rayleigh-Benard Konvektion):
2.5. PLANFORMS OF CONVECTION CELLS '25
Fig. 3. Schematic diagram of convection cells, (a) Two-dimensional rolls, (b) Hexagonal /-and <7-cells.
2. Hexagonal cells (Fig. 3b) are described by the function
w(x) = 2 cos I kx cos I -ky ) + cos ky
— cos — ly + v 3 i j + cos — [y — v3x ) + cos ky. (2.49)
This system is a superposition of three roll sets with wavevectors having the same modulus k and directed at an angle of 27r/3 to one another. Thus, in addition to the periodicity in both the x- and the ^/-direction, hexagonal patterns are invariant with respect to a rotation by this angle. A hexagonal cell is called an /- or a g-ce.ll depending on the sign of the velocity (i.e., on whether the fluid ascends or descends in the central part of the cell). The reasons for introducing these terms will be clarified in §4.1.2.
3. Square cells can be represented by the function
w(x) = cos I —j=x I cos I ——y I = -(cos kx' + cos ky'), (2.50)
Ray
leig
h-Bé
nard
Con
vect
ion
Dow
nloa
ded
from
ww
w.w
orld
scie
ntifi
c.co
mby
SW
ISS
FED
ERA
L IN
STIT
UTE
OF
TECH
NO
LOG
Y Z
URI
CH (E
TH) o
n 09
/09/
14. F
or p
erso
nal u
se o
nly.
,9/9
![Page 20: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/20.jpg)
...31
0f
73
10
f7
31
0f
73
1.
...73
10
73
10
73
10
73
10
7.
3 us
3.01
us
clkI
n_80
0pR
eset
Encl
kOut
_4n
clkO
ut_3
n2cl
kOut
_1n6
res_
nFa
stC
nt5
...31
0f
73
10
f7
31
0f
73
1.
Res
etC
ntFa
stC
nt4
...73
10
73
10
73
10
73
10
7.
Res
etC
nt4
PreR
eset
Cnt
4re
sspi
ke4
ress
pike
5
clkO
ut_3
n2_d
el
0f
73
10
f7
31
0f
73
10
f
31
07
31
07
31
07
31
07
3
3.02
us
3.03
us
0f
73
10
f7
31
0f
7
31
0f
31
07
31
07
31
07
31
07
33
10
f7
31
0f
73
10
f7
31
07
31
07
31
07
31
07
31
0
3.04
us
3.05
us
31
0f
73
10
f7
31
0f
73
1
07
31
07
31
07
31
07
31
0
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
3.06
us
3.07
us
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
3.08
us
3.09
us
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
1
FPGA- Programmierung
Niklaus Berger, Sommersemester 2019 Vorlesung mit praktischen Übungen Mittwoch 10-12 + Übungen
![Page 21: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/21.jpg)
...31
0f
73
10
f7
31
0f
73
1.
...73
10
73
10
73
10
73
10
7.
3 us
3.01
us
clkI
n_80
0pR
eset
Encl
kOut
_4n
clkO
ut_3
n2cl
kOut
_1n6
res_
nFa
stC
nt5
...31
0f
73
10
f7
31
0f
73
1.
Res
etC
ntFa
stC
nt4
...73
10
73
10
73
10
73
10
7.
Res
etC
nt4
PreR
eset
Cnt
4re
sspi
ke4
ress
pike
5
clkO
ut_3
n2_d
el
0f
73
10
f7
31
0f
73
10
f
31
07
31
07
31
07
31
07
3
3.02
us
3.03
us
0f
73
10
f7
31
0f
7
31
0f
31
07
31
07
31
07
31
07
33
10
f7
31
0f
73
10
f7
31
07
31
07
31
07
31
07
31
0
3.04
us
3.05
us
31
0f
73
10
f7
31
0f
73
1
07
31
07
31
07
31
07
31
0
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
3.06
us
3.07
us
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
3.08
us
3.09
us
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
1
FPGAs
• Field Programmable Gate Array
• Programmierbare Logikbausteine
• Massiv parallele Datenverarbeitung
• Low-level: Spiele mit einzelnen Bits
• Werden in einer Hardware-Beschreibungssprache programmiert: Hier VHDL
![Page 22: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/22.jpg)
...31
0f
73
10
f7
31
0f
73
1.
...73
10
73
10
73
10
73
10
7.
3 us
3.01
us
clkI
n_80
0pR
eset
Encl
kOut
_4n
clkO
ut_3
n2cl
kOut
_1n6
res_
nFa
stC
nt5
...31
0f
73
10
f7
31
0f
73
1.
Res
etC
ntFa
stC
nt4
...73
10
73
10
73
10
73
10
7.
Res
etC
nt4
PreR
eset
Cnt
4re
sspi
ke4
ress
pike
5
clkO
ut_3
n2_d
el
0f
73
10
f7
31
0f
73
10
f
31
07
31
07
31
07
31
07
3
3.02
us
3.03
us
0f
73
10
f7
31
0f
7
31
0f
31
07
31
07
31
07
31
07
33
10
f7
31
0f
73
10
f7
31
07
31
07
31
07
31
07
31
0
3.04
us
3.05
us
31
0f
73
10
f7
31
0f
73
1
07
31
07
31
07
31
07
31
0
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
3.06
us
3.07
us
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
3.08
us
3.09
us
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
1
Kursziele
• Praktisch: Sie können in VHDL einen FPGA programmieren: Übungen mit FPGA-Boards
• Technische Informatik: Wie funktioniert ein FPGA? Einblick in digitale Schaltungen
• Algorithmen: Wie kommt mein Design in den FPGA? Logikvereinfachung, Technology Mapping, Place & Route - alles exponentiell schwierige Probleme für die elegante Heuristiken existieren
![Page 23: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/23.jpg)
...31
0f
73
10
f7
31
0f
73
1.
...73
10
73
10
73
10
73
10
7.
3 us
3.01
us
clkI
n_80
0pR
eset
Encl
kOut
_4n
clkO
ut_3
n2cl
kOut
_1n6
res_
nFa
stC
nt5
...31
0f
73
10
f7
31
0f
73
1.
Res
etC
ntFa
stC
nt4
...73
10
73
10
73
10
73
10
7.
Res
etC
nt4
PreR
eset
Cnt
4re
sspi
ke4
ress
pike
5
clkO
ut_3
n2_d
el
0f
73
10
f7
31
0f
73
10
f
31
07
31
07
31
07
31
07
3
3.02
us
3.03
us
0f
73
10
f7
31
0f
7
31
0f
31
07
31
07
31
07
31
07
33
10
f7
31
0f
73
10
f7
31
07
31
07
31
07
31
07
31
0
3.04
us
3.05
us
31
0f
73
10
f7
31
0f
73
1
07
31
07
31
07
31
07
31
0
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
3.06
us
3.07
us
...0f
73
10
f7
31
0f
73
10
f..
...73
10
73
73
73
73
73
73
7..
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
3.08
us
3.09
us
73
10
f7
31
0f
73
10
f7
31
37
37
37
37
37
37
37
37
37
1
Vorläufiges Vorlesungsprogramm
• Weshalb FPGAs? Weshalb VHDL?
• CMOS, Gatter, kombinatorische Logik
• Register, Takt, Pipelines
• Simulation
• Synthese
• Place & Route
• Schnelle Schaltungen
• VHDL Design Patterns
• Synchronisation
• Speicher und vordefinierte Logikblöcke (IP)
• Busse und andere Interfaces
• Anwendungsbeispiele
![Page 24: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/24.jpg)
Machine LearningVorlesung• Donnerstag 14 – 16 Uhr • Material auf Englisch
Übung• Zeit: TBA• Auch: „Live Übungen“
Prüfung• mündlich oder schriFlich
![Page 25: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/25.jpg)
Machine Learning• Lernen = sich durch Erfahrung bei einer Aufgabe verbessern
– Aufgabe (performance task) T– hinsichtlich eines Performancemaßes (performance
measure) P– beruhend auf Erfahrung E.
LernendesSystem
Performance Task / Performance Measure
Umgebung
![Page 26: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/26.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
![Page 27: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/27.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
![Page 28: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/28.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
![Page 29: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/29.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
![Page 30: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/30.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
![Page 31: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/31.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
![Page 32: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/32.jpg)
Machine Learning Course Overview
• Decision trees• Ensemble methods• Bayesian learning• Linear models• Neural networks• Instance-based learning• SVMs and kernels
Margin
Hyperplanemisclassifiedvectors
![Page 33: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/33.jpg)
Data Mining PraktikumAblauf• 3er Gruppen• ein Datensatz pro Gruppe• Daten analysieren• wöchentliche Treffen
![Page 34: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/34.jpg)
Einführung in dieComputa3onale Logik
Vorlesung• Montag 16 – 18 Uhr • Material auf Deutsch
und Englisch
Übung• Zeit: TBA
Prüfung• mündlich oder schriftlich
![Page 35: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/35.jpg)
Einführung in dieComputationale Logik
• Syntax, Semantik, Beweistheorie, Metatheorie von:– Aussagenlogik, Prädikatenlogik erster Stufe,
Klausellogiken– Beschreibungslogiken (inkl.: Ontologien, OWL, …)
• Inkl.: Theorembeweisen, Resolution, Negation, Answer Set Programming
• Deduktion, Induktion, Abduktion• Lernen in Logik (Lernen von Klauseln und
Klauselmengen)• Probabilistische Logiken• Lernen in probabilistischen Logiken
![Page 36: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/36.jpg)
Data Mining SeminarAblauf• Thema aus dem Bereich Data Mining und Machine Learning• ein Vortrag pro Woche• nach jeder Präsentation Diskussion und Feedback• Ausarbeitung• Feedback zum Schreiben am Ende des Semesters
![Page 37: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/37.jpg)
AG Data Management
Storing
Indexing
Processing
Querying
![Page 38: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/38.jpg)
AG Data Management
2
Data de-duplication
Routing in road networks
“bridge”
“bridge”
“bridge”
Location-based Social Networks
Core1
Core2
Coren
SharedMemory
…
Modern Hardware and the Cloud
![Page 39: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/39.jpg)
Datenbanken I• Vorlesung
– Tuesdays 14:00 – 16:00, Rm 03-428• Übung
– Deepen your understanding, gain pracEcal experience– Weekly exercises (handins assignments) and quizzes– Appointments to be determined
• Unterrichtssprache– English
• Studiengang– B. Sc. / M. Ed.
![Page 40: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/40.jpg)
Datenbanken I• Course objectives
– Effective and efficient management of data– Databases as part of modern information systems– Learn how to model and develop effective database
systems – SQL for working with databases– Applications from various areas, including the web– Apply in your future work
Databases: entity-relationship model, relational model, SQL, …
Applications: standalone, internet and the web, …
Development: analysis, conceptual model
![Page 41: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/41.jpg)
Parallele und Verteilte Architekturen –Lehrangebot: SoSe 2019
• Vorlesungen– Technische (Grundvorlesung)
– Parallel Algorithms & Architectures(PAA)
• Praktikum– Paralleles Programmieren
• Seminar– Paralleles Rechnen
Prof. Bertil Schmidt
![Page 42: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/42.jpg)
Vorlesung: Parallel Algorithms & Architectures (PAA)
• Architekturen– GPUs und GPU-Cluster– PRAM– CPUs
• Programmierung– CUDA– OpenACC– MPI – Viele praktische Übungen
• Algorithmen– Matrix Multiplikation, Sortieren,
Reduktion, SpMV, Convolution, DeepLearning, etc.
CPUs
GPUs
Clusters
![Page 43: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/43.jpg)
Block-Praktikum: Paralleles Programmieren
• Paralleles Programmieren mit MPI, OpenMP, C++ multi-threading
– 1.-12.4.2019
– Voraussetzung: Erfolgreiche Teilnahme an HPC
![Page 44: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/44.jpg)
Seminarvorbesprechung:Paralleles Rechnen
Prof. Bertil Schmidt
![Page 45: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/45.jpg)
Scheinkriterien und Organisation
• Voraussetzung: Erfolgreiche Teilnahme an PAA oder HPC (mindestens Klausurzulassung)
• Vortrag von ca. 45min (inkl. Q&A)– Termine: werden noch bekanntgegeben
• Abgabe der Vortragsfolien – zwei Wochen vor dem Vortrag einzureichen per Email – Danach persönliche Vorbesprechung mit Professor Schmidt
• Abgabe einer ausführlichen Ausarbeitung (Deutsch oder Englisch) als Basis für die Bewertung des schriftlichen Teils – Ausarbeitung im IEEE CS Format (Umfang mindestens 5-7 Seiten) – Abgabe bis spätestens vier Wochen nach dem Vortrag!
• Teilnahme am Seminar (Anwesenheitspflicht)
![Page 46: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/46.jpg)
Seminar: Paralleles Rechnen – Themen
1. Optimizing high performance distributed memory parallel hash tables for DNA k-mercounting
2. A Study of Main-Memory Hash Joins on Many-core Processor: A Case with Intel Knights Landing Architecture
3. Engineering a High-Performance GPU B-Tree 4. Parallel Construction of Suffix Trees and the All-Nearest-Smaller-Values Problem5. Transformations of High-Level Synthesis Codes for HPC6. Large-Scale Hierarchical k-means for Heterogeneous Many-Core Supercomputers7. Fast algorithms for Convolutional Neural Networks8. A Domain Specific Language for Developing Computational Genomics Applications9. A Framework for the Automatic Vectorization of Parallel Sort on x86-based
Processors10. Selber vorgeschlagenes Thema
– muss aber von mir genehmigt werden
![Page 47: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/47.jpg)
Themenvergabe
• Email mit 2 bevorzugten Themen (mit Präferenz) an Prof Schmidt bis spätestens 15.2.2019
• Ich werde dann versuchen die Themen an Studenten zuzuordnen
• Neue Themen können auch vorgeschlagen werden (müssen dann aber von mir genehmigt werden)
![Page 48: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/48.jpg)
Algorithmen und Algorithmen und Techniken der Techniken der OptimierungOptimierung
Frank FischerDi. 12-14 Uhr, 03-428
![Page 49: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/49.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 2
Überblick
![Page 50: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/50.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 3
Überblick
Worum geht‘s?● Viele (kombinatorische) Optimierungsprobleme lassen sich als
mathematische Optimierungsaufgabe auffassen:
![Page 51: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/51.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 4
Überblick
Worum geht‘s?● Viele (kombinatorische) Optimierungsprobleme lassen sich als
mathematische Optimierungsaufgabe auffassen:– Rucksackproblem:
Quelle: Wikipedia
![Page 52: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/52.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 5
Überblick
Worum geht‘s?● Viele (kombinatorische) Optimierungsprobleme lassen sich als
mathematische Optimierungsaufgabe auffassen:– Rucksackproblem:
– Probleme aus Logistik, Fabrikplanung, Lagerhaltung, Transport, Verkehr, Telekommunikation, …
Quelle: Wikipedia
![Page 53: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/53.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 6
Überblick
Worum geht‘s?● Viele (kombinatorische) Optimierungsprobleme lassen sich als
mathematische Optimierungsaufgabe auffassen:– Rucksackproblem:
– Probleme aus Logistik, Fabrikplanung, Lagerhaltung, Transport, Verkehr, Telekommunikation, …
● Exakte Lösungsverfahren mit Gütegarantie
Quelle: Wikipedia
![Page 54: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/54.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 7
Überblick
Worum geht‘s?● Viele (kombinatorische) Optimierungsprobleme lassen sich als
mathematische Optimierungsaufgabe auffassen:– Rucksackproblem:
– Probleme aus Logistik, Fabrikplanung, Lagerhaltung, Transport, Verkehr, Telekommunikation, …
● Exakte Lösungsverfahren mit Gütegarantie● Alternative zu heuristischen Verfahren (Genetische Algorithmen,
Simulated Annealing, Tabu-Search, ...)
Quelle: Wikipedia
![Page 55: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/55.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 8
Inhalte und Ziele
![Page 56: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/56.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 9
Inhalte und Ziele
Ziele● Kenntnis der Möglichkeiten
und Grenzen mathematischer Optimierung
„know your tools“● Modellierung praktischer
Problemstellungen als „mathematische Programme“
● Lösungs- und Näherungsverfahren, Gütegarantien, Komplexität
● Praktikum: Umsetzung mit State-of-the-Art Optimierungssoftware
![Page 57: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/57.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 10
Inhalte und Ziele
Inhalte● Lineare Optimierung● Lineare Ganzzahlige
Optimierung– Komplexität– Exakte Verfahren für
Spezialfälle (Unimodularität)Schnittebenenverfahren
● Dekompositionsverfahren
Ziele● Kenntnis der Möglichkeiten
und Grenzen mathematischer Optimierung
„know your tools“● Modellierung praktischer
Problemstellungen als „mathematische Programme“
● Lösungs- und Näherungsverfahren, Gütegarantien, Komplexität
● Praktikum: Umsetzung mit State-of-the-Art Optimierungssoftware
![Page 58: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/58.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 11
Modulinhalt
Zielgruppe● B.Sc. und M.Sc., theoretische Informatik
Sommersemester 2019● 2 SWS Vorlesung + Übung
– Theoretische Grundlagen
Wintersemester 2019/2020● Seminar
– Selbständige Bearbeitung vertiefender theoretischer Konzepte● Praktikum
– Einführung in State-of-the-Art Optimierungssoftware– Eigenständige Modellierung und Implementierung– Praktische Umsetzung fortgeschrittener algorithmischer Konzepte
![Page 59: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/59.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 12
Voraussetzungen
Notwendig● Solide Grundkenntnisse Lineare Algebra● Geometrisches Vorstellungsvermögen● Praktikum: Programmierung
Empfohlen● Graphentheorie● Grundkenntnisse Kombinatorische Optimierung (Flussprobleme,
Färbeprobleme, …)
Es geht um Mathematische Optimierung
![Page 60: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/60.jpg)
Algorithmen und Techniken der Optimierung6. Februar 2019 | Johannes Gutenberg-Universität Mainz 13
Termine
Vorlesung
● Dienstag, 12-14 Uhr, 03-428
Übung● Steht noch nicht fest (vermutlich Freitag, 8-10 Uhr)
Bei Fragen● Frank Fischer <[email protected]>
![Page 61: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/61.jpg)
Mathematische Modellierung am Mathematische Modellierung am Rechner I & IIRechner I & II
Frank FischerDi. 16-18 Uhr, 03-428
![Page 62: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/62.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 2
Überblick
![Page 63: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/63.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 3
Überblick
Worum geht‘s?● Mathematik sehr abstrakt● Wichtig für viele Bereiche der Informatik (und für‘s Studium ;))● Man merkt erst viel später, wozu das alles gut ist
![Page 64: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/64.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 4
Überblick
Worum geht‘s?● Mathematik sehr abstrakt● Wichtig für viele Bereiche der Informatik (und für‘s Studium ;))● Man merkt erst viel später, wozu das alles gut ist
MMR bietet einen angewandten Einstieg● Frühzeitig gemeinsam Beispiele erarbeiten, wo und wie
Mathematik angewandt werden kann● Praktisch, das heißt, wir werden Mathematik am Rechner
anwenden● Ergänzung zu Grundvorlesungen
![Page 65: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/65.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 5
Inhalte und Ziele
![Page 66: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/66.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 6
Inhalte und Ziele
Ziele● Mathe ist cool● Informatik ist cool● Mathe + Informatik = …
![Page 67: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/67.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 7
Inhalte und Ziele
Ziele● Mathe ist cool● Informatik ist cool● Mathe + Informatik = …
Inhalte● Wir schnuppern in verschiedene Gebiete hinein:
– Mathematische Modellierung– Analysis, Physik– Algebra– Geometrie/3D– Datenanalyse– Optimierung– Komplexität
● Umsetzung kleiner algorithmischer Aufgaben in Python
![Page 68: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/68.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 8
Modulinhalt
Zielgruppe● B.Sc. Informatik ab dem 2. Semester
Aufbau● MMR 1 im Sommersemester 2019● MMR 2 im Wintersemester 2019/2020
Nur wer beide besucht, kann das Modul abschließen!
Ablauf● Praktikum, Gruppenarbeit in Gruppen zu je drei Personen● Je zwei Wochen zur Bearbeitung einer Aufgabe● Dazwischen Diskussion über das Thema in Form einer
Vorlesung/eines Tutoriums
![Page 69: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/69.jpg)
Mathematische Modellierung am Rechner6. Februar 2019 | Johannes Gutenberg-Universität Mainz 9
Voraussetzungen und Termin
Notwendig● Grundkenntnisse mathematische Sprache und Notation● Programmierung (in Python)
Empfohlen● Interesse oder gar Spaß an angewandter Mathematik
Termine● Dienstag 16-18 Uhr, 03-428
Bei Fragen● Frank Fischer <[email protected]>
![Page 70: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/70.jpg)
Modeling Biological Systems
Lecture and Excercise
Modelling Biological Systems(6 ECTS)
Seminar Modelling Biological Systems
-Publishing and presentingscientific work -
(3 ECTS)Participants• M.Sc Angewandte Bioinformatik• M.Sc. Naturw. Informatik• Guests (e.g. PhD-Students)
Vertiefungsmodul (9 ECTS)For students from• M.Sc. Angewandte Bioinformatik• M.Sc. Naturwissenschaftliche Informatik
JProf. Susanne GerberDr. Michael Lenz(AG Miguel Andrade)
![Page 71: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/71.jpg)
Modeling Biological Systems
Lecture and Excercise
Modelling Biological Systems(6 ECTS)
Idea of the lecture: Introduction into several modelling-approaches in Biologye.g.• Modelling pathways with ODE or PDE
• Stochastic modeling of Genexpression
• Model identifiability
• Complex networks
• Theory of non-equilibrium thermodynamics
• Population Genetics
• Markov chains
• Flux balance analysis
• ....Some invited Guest Speaker :
Dr. Stefan Legewie
(IMB)Prof. Illia Horenko
(Universita d. svizzera italiana
Prof. Maik Kschischo
Hochschule KoblenzDr. Hella Lichtenberg
University of Bonn
Giving a special lectures
on their area of expertise
![Page 72: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/72.jpg)
Schedule of the course
Modelling of Biological Systems
(some lecture titles and topics may still change)
![Page 73: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/73.jpg)
Modeling Enzyme kinetics and reaction networks
JProf. Dr. Susanne GerberJGU MainzComputational Systems Genetics
This lecture will introduce the ideas of Systems Biology and modeling of biological reactions and pathways.
![Page 74: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/74.jpg)
In this lecture, the concepts of flux balance analysis and constraint-based metabolic modelling will be introduced.
Dr. Michael LenzComputational Biology and Data Mining Research Group
Johannes Gutenberg UniversityMainz, Germany
Modelling metabolism on a genome-scale
![Page 75: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/75.jpg)
Several models of glucose control in the human plasma will be introduced, from simplified minimal models to detailed physiology-based pharmacokinetic models. Methods for parameter estimation and model identifiability will be discussed.
Dr. Michael LenzComputational Biology and Data Mining Research Group
Johannes Gutenberg UniversityMainz, Germany
ODE-Models of glucose control
![Page 76: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/76.jpg)
Modelling membrane fluxesIn this lecture, a generalized thermodynamic description will be developed and presented for the complex interplay of the plasma membrane ion transporters, membrane potential and the consumption of energy for maintaining and restoring specific intracellular cation concentrations.
This concept is applied to the homeostasis of cation concentrations in the yeast cells of S. cerevisiae.
JProf. Dr. Susanne GerberJGU MainzComputational Systems Genetics
![Page 77: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/77.jpg)
Cells as model systemsDie Hefe Saccharomyces cerevisiae als eukaryotisches Modellsystem
Dr. Hella Lichtenberg,DLR Projektträger,Med. Genomforschung und SystemmedizinBonn
![Page 78: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/78.jpg)
This lecture will discuss modelling errors in dynamicmodels and how they can be detected and resolved in a (semi-) automated way
Prof. Maik KschischoBiomathematics & Computational Biology
University of Applied Sciences Koblenz, RheinAhrCampus Remagen
Learning (from) the errors of a systems biology model
![Page 79: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/79.jpg)
Stochastic Methods: Markov chains and discretization methods for prediction of molecular states
Prof. Dr. Illia HorenkoUniversita della svizzera italiana
![Page 80: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/80.jpg)
Transcription control - combinatorial regulation and stochastic dynamics at the promoter level.
• This lecture will cover the quantitative description of gene regulation at the gene promoter level. • The binding of multiple transcription factors to the DNA template and subsequent transcription initiation will be described by a thermodynamic modeling approach.
• Heterogeneity of gene activity at the single-cell level will be described using stochastic models of promoter regulation. Dr. Stefan Legewie
Institute of Molecular BiologyMainz
![Page 81: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/81.jpg)
Dynamics of gene regulatory networks
• In this lecture, we will describe the dynamics of mRNA and protein expression using ordinary differential equations.
• Complex regulatory scenarios such as feedback regulation or mutual inhibition of transcription factors will be investigated. • It will be discussed how the topology of complex transcription factor networks can be inferred from experimental data.
Dr. Stefan LegewieInstitute of Molecular BiologyMainz
![Page 82: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/82.jpg)
Protein interaction networksThis lecture will introduce the ideas of complex networks àThe interaction of heterogeneous components that leads to collective behaviours that are hardly understood by the study of the individual parts
Dr. Michael LenzComputational Biology and Data Mining Research Group
Johannes Gutenberg UniversityMainz, Germany
![Page 83: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/83.jpg)
Modelling population variation -GWAS and relation to populations
Population genetics is a subfield of genetics that deals with genetic differences within and between populations, and is a part of evolutionary biology.
This lecture will introduce the popular ideas and assumptions,
• Hardy-Weinberg equilibrium
• Linkage Disequilibrium
• The concepts behind Genome-Wide Association Studies (GWAS)
• Ideas behind integration of further Omics Level into the analysisJProf. Dr. Susanne Gerber
JGU MainzComputational Systems Genetics
![Page 84: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/84.jpg)
Strukturbasierte Bioinformatik
VorlesungI Dozent: Dr. Giovanni Settanni
I Termin: TBA
I Sprache: EnglischI Inhalt:
I Grundlegende Begriffe der BioinformatikI Einfuhrung in die ProteinphysikI Simulation von MolekulbewegungenI Theorie der ProteinfaltungI Docking und Wirkstoffdesign
I Werkzeuge: C++, Biochemical Algorithm Library (BALL)
![Page 85: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/85.jpg)
Seminar Bioinformatik
• Dozent: N.N.• Termin: xx.xx.2019
![Page 86: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/86.jpg)
Page 1Matthias Schott
Einführung in die Künstliche Intelligenz
§ Titel: Einführung in die künstliche Intelligenz
§ Inhalt: Es werden grundlegende Methoden, Verfahren und Anwendungen der künstlichen Intelligenz behandelt. Im Mittelpunkt der Lehrveranstaltung stehen die Themen Suchen, Planen, Lernen und Schließen. Des Weiteren werden wir einen kurzen Überblick zu künstlichen neuronalen Netzwerken sowie der Programmiersprache PROLOG geben.
§ Bemerkung: Dies ist keine spezielle Vorlesung zu künstlichen neuronalen Netzwerken bzw. Mustererkennung!
§ Wer? § Prof. Dr. Matthias
Schott
§ Wann? § Montags 10:00-12:00
(Vorlesung)§ Montags 17:00-18:00
(Übung)
§ Wo?§ Raum 03 428
![Page 87: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/87.jpg)
Page 2Matthias Schott
Methoden der Künstlichen Intelligenzin den Sozialwissenschaften
§ Inhalt: Wie kann man "Fake-News" identifizieren? Können wir anhand von Äußerungen in sozialen Netzwerken herausbekommen, was das Profil des Autors ist? Um solche Frage zu beantworten, werden immer häufiger Methoden der künstlichen Intelligenz und der automatisierten Verarbeitung von natürlicher Sprache verwendet. Ziel der Vorlesung ist es, den Studenten eine Einführung in verschiedene Techniken der künstlichen Intelligenz zu geben, die es ermöglichen solche Fragestellungen zu beantworten. Die Vorlesung richtet sich an Studierende aus den Sozial-wissenschaften und der Informatik gleichermaßen.
§ Bemerkungen: Rein fakultativeVeranstaltung für Informatiker, d.h. es gibt keine Credit-Points! Aber: Zusammenarbeit mit Studierenden aus den Sozialwissenschaften.
§ Wer? § Prof. Dr. Matthias Schott
§ Wann? § Montags 12:00-14:00
(Vorlesung)
§ Wo?§ t.b.a.
![Page 88: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/88.jpg)
Mobile Computing und Web Entwicklung
Lehrbeauftragter:
Prof. Dr.-Ing. Cornelius Wille
Technische Hochschule Bingen
![Page 89: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/89.jpg)
Cornelius Wille
§ Vorlesung Donnerstag 8.15 – 9.45 Uhr
§ Übung Donnerstag 10.00 – 11.30 Uhr
§ Raum XYZ
Material im Reader:
https://reader.uni-mainz.de
Mobile Computing und Web Entwicklung
2
![Page 90: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/90.jpg)
1. Einführung Mobile Development (Android Konzepte)
2. Oberflächen Programmierung
3. Datenverwaltung/Content Provider
4. Sensoren/Geodaten
5. Eigene UI Komponenten / Material Design
6. Asynchrone Task/ Datenbanken
7. Android Architecture Components
8. Web Service XML (SOAP / REST)
9. Webapp entwickeln / Responsive Webdesign
10. Webserver / Datenbank / App (CRUD)
11.Javascript (JSON/AJAX)
12. Excurs Cross Platform
13. Excurs Kotlin
Semester Inhalt
3
![Page 91: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/91.jpg)
Hardware
§ Eigener "leistungsfähiger" Laptop optimal
§ Netzteil für Laptop
§ Android Gerät (Smartphone/Tablet) von Vorteil
§ USB Kabel
Software
§ Java EE – JDK
§ Android Studio
§ USB Treiber für aktuelles Gerät
Technische Voraussetzungen
4
![Page 92: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/92.jpg)
§ 14 Tage Vollzeit
§ Aufgabe in Teams umsetzen
Praktikum bei Interesse und Bedarf
5
![Page 93: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/93.jpg)
Kommunikationsnetze
• Dozent: Prof. Dr. Nicolai Kuntze• Termin: Do. 12 – 14 Uhr
![Page 94: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/94.jpg)
IT-Sicherheit
• Dozent: Prof. Dr. Nicolai Kuntze• Termin: Mo. 12 – 14 Uhr
![Page 95: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/95.jpg)
Seminar Informationssysteme
• Dozent: Dr. H.-J. Schröder• Termin: xx.xx.2019
![Page 96: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/96.jpg)
Berufspraktikum
• Dozent: Dr. H.-J. Schröder• Termin: flexibel
![Page 97: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/97.jpg)
M.Ed. - Projektpraktikum
• Dozent: Prof. Dr. E. Schömer / Dr. H.-J. Schröder• Termin: n.V.
![Page 98: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/98.jpg)
Advanced Topics in Operating Systems
• Dozent: Prof. Dr. André Brinkmann• Termin: Mittwoch, 14-16 Uhr
![Page 99: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/99.jpg)
Übungsleiterschulung
• Pflichtveranstaltung für alle neuen Übungsleiter bzw. Übungsleiter, die die Schulung noch nicht besucht haben
• Offen für jeden (1CP Softskills)• Bei Interesse, direkt bei Stefan Endler melden, da Anmeldung über
Jogustine nicht möglich• Termin:
• 01. + 02. 04. 2019• Ganztägig (9-17 Uhr)• Raum: 03-424
![Page 100: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/100.jpg)
WISSENSCHAFTLICHES SCHREIBEN
Schreibwerkstatt des Fachbereichs 08jeden Dienstag von 13 – 16 Uhr in Raum 01-227 (Staudingerweg 9, mittlerer Kreuzbau)
![Page 101: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/101.jpg)
v Du bist Student/Studentin der Physik, Mathematik, Informatik oder Meteorologie?
v Du arbeitest gerade an deiner Bachelor-oder Masterarbeit? Und hast allgemeine Fragen zum wissenschaftlichen Schreiben, zum Aufbau deiner Arbeit, zur Literaturrecherche, etc. ….?
à Dann komm in unsere SCHREIBWERKSTATT des Fachbereichs 08
Jeden Dienstag von 13 – 16 Uhr
Wo: Seminarraum D 01-227 (Staudingerweg 9, mittlerer Kreuzbau)
Start: 16.04.2019
Ohne Anmeldung, einfach vorbeikommen und hier an deiner wissenschaftlichen Arbeit schreiben, zusammen mit anderen Studis und in Begleitung eines Tutors!
Kontakt: Esther Reineke ([email protected])
D ieses V orhaben w ird aus M itteln des Bundesm in isterium s für Bildung und Forschung unter dem Förderkennzeichen 01P L17055 gefördert. D ie V erantw ortung für den Inhalt d ieser V eröffentlichung liegt beim A utor.
Schreibwerkstatt
![Page 102: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/102.jpg)
Vorlesung „Programmiersprachen“
Tim SüßInstitut für InformatikJohannes Gutenberg-Universität Mainz
![Page 103: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/103.jpg)
Die Vorlesung soll Studierende dazu befähigen, dass sie
➢die Grundkonzepte einer neuen Programmier- oder Anwendungssprache erkennen und selbstständig verstehen,➢die Anwendung jeder für sie neue Programmiersprache selbst erarbeiten können,➢die Eignung einer Sprache für bestimmte Anwendungen beurteilen und➢kleinere Anwendungssprachen selbst entwickeln können.
Inhalte
![Page 104: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/104.jpg)
➢Sprachcharakteristika
➢Sprachdefinition➢Syntax➢Semantik
➢Sprachelemente➢z.B. Variablen, Gültigkeiten, Datentypen, Funktionen,…
➢Programmiermodelle➢OOP, parallel, funktional, logisch
Inhalte
![Page 105: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/105.jpg)
Hilfreiche Voraussetzungen➢algorithmische Grundkonzepte➢abstrakte Datentypen➢C++➢Kontext-freie Grammatiken
Hilfreich bei:➢Compilerbau➢Softwaretechnik➢Wissensbasierte Systeme➢Veranstaltungen, die Programmier-, Spezifikations- oder Spezialsprachen verwenden
Inhalte
![Page 106: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/106.jpg)
➢ Vorlesung 2 Stunden
➢ Termin: Freitag, 14 - 16 Uhr
➢ Übung 2 Stunden
➢ Regelmäßige Übungsaufgaben
➢ Klausur
Organisation
![Page 107: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/107.jpg)
Veranstaltungen der AG Computational Geometry Prof. Elmar Schömer
Computergrafik und Animation Di 10:00-12:00 03-428
Computergrafik Seminar TBA
![Page 108: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/108.jpg)
Physikalische Simulation von starren und verformbaren Körpern
08.079.557 Computergrafik und Animation Di 10:00-12:00 05 514
![Page 109: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/109.jpg)
Physikalische Simulation von starren und verformbaren Körpern
08.079.557 Computergrafik und Animation Di 10:00-12:00 05 514
![Page 110: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/110.jpg)
Physikalische Simulation von Flüssigkeiten
08.079.557 Computergrafik und Animation Di 10:00-12:00 05 514
![Page 111: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/111.jpg)
Physikalische Simulation von einem Tuch
08.079.557 Computergrafik und Animation Di 10:00-12:00 05 514
![Page 112: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/112.jpg)
Kinematische Ketten (Robotik)
08.079.557 Computergrafik und Animation Di 10:00-12:00 05 514
![Page 113: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/113.jpg)
Vorbesprechung: in den ersten Semesterwochen
08.079.224 Computergrafik Seminar TBA
Beispiele aus SS17
![Page 114: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/114.jpg)
Echtzeit Bildverarbeitung – WS 2008/2009RheinMain University of Applied SciencesComputer Vision and Mixed Reality Group
Uli Schwanecke 3D Computer Vision �1
Prof. Dr. Ulrich SchwaneckeRheinMain University of Applied Sciences
Wiesbaden Rüsselsheim
SoSe 2019
3D Computer Vision
![Page 115: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/115.jpg)
Echtzeit Bildverarbeitung – WS 2008/2009RheinMain University of Applied SciencesComputer Vision and Mixed Reality Group
Uli Schwanecke 3D Computer Vision
Content➡ History and Applications of 3D Computer Vision ➡ Representation of 3D moving scenes
➡ Rigid-body motion, canonical exponential coordinates, … ➡ Image Formation
➡ Mathematical model for ideal perspective projection, pinhole camera, … ➡ Image primitive and correspondence
➡ Photometric and geometric features, image correspondences, … ➡ Single-view geometry
➡ Shape from Shading (Photometric Stereo), monocular 3D tracking, … ➡ Two-view geometry
➡ Epipolar geometry, seven-/eight-point algorithm, 3D reconstruction from two views, … ➡ Camera calibration and self-calibration
➡ Camera calibration from a rig, fundamental matrix, camera self-calibration, … ➡ Learning based 3D reconstruction
�2
![Page 116: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/116.jpg)
Echtzeit Bildverarbeitung – WS 2008/2009RheinMain University of Applied SciencesComputer Vision and Mixed Reality Group
Uli Schwanecke 3D Computer Vision
Prerequisites and Literature
➡ Prerequisites ➡ Basic knowledge of linear algebra and analysis ➡ Programming exercises will be done in Python using OpenCV
➡ Literature ➡ Richard Szeliski, Computer Vision: Algorithms and Applications,
Springer, 2011 ➡ Richard Hartley, Andrew Zissermann, Multiple View Geometry in
Computer Vision, Cambridge University Press, 2004 ➡ Yi Ma, An Invitation to 3-D Vision: From Images to Geometric Models,
Springer, 2010
�3
![Page 117: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/117.jpg)
Lehrveranstaltungender Arbeitsgruppe Algorithmik
im Sommersemester 2019
E. Althaus, M. Blumenstock, D. Mosca und S. Ziegler
6. Februar 2019
![Page 118: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/118.jpg)
Vorlesung: Berechenbarkeit und formale Sprachen
I Dozent: Prof. Dr. Ernst AlthausI Zeit und Ort: Dienstag 10-12, AudimaxI Übungsbetrieb: Domenico Mosca, verschiedene TermineI Scheinkriterien: Anwesenheit, 50% der Punkte
![Page 119: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/119.jpg)
Vorlesung: Fortgeschrittene Algorithmen
I Dozent: Prof. Dr. Ernst AlthausI Zeit und Ort: Mittwoch 10-12, 03-428I Übungsbetrieb: Sarah ZieglerI Übung: voraussichtlich Mittwoch 14-16 UhrI Scheinkriterien: Anwesenheit, 50% der PunkteI Voraussetzungen: DSEA, Komplexitätstheorie
![Page 120: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/120.jpg)
Vorlesung: Fortgeschrittene Algorithmen
Bessere Algorithmen für aus DSEA bekannte ProblemeI Cuckoo HashingI Splay-Trees und Link-Cut-Trees für maximale FlüsseI Lineare Programmierung
Algorithmen für NP-vollständige ProblemeI ApproximationsalgorithmenI Smoothed AnalysisI Parametrisierte Komplexität
Weitere ModelleI Online-AlgorithmenI MapReduce-Algorithmen
![Page 121: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/121.jpg)
Seminar: Algorithmen und Komplexität
I Zeit: nach Vereinbarung (Dienstag 14-16 Uhr?)I Betreuung: Markus BlumenstockI Vorbesprechung: 7. März, 13:15 in 03-424I Vortrag (für Masterstudenten: auf Englisch) und AusarbeitungI Benötigte Kenntnisse:
BFS, KT, DSEA; Mathematik (je nach Thema)I Literatur (u.a.):
S. Arora und B. Barak, Computational Complexity – AModern Approach, Cambridge University Press, 2009
![Page 122: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/122.jpg)
Seminar: Algorithmen und Komplexität
Themen Komplexität (teilweise mehrere Vorträge pro Thema):I Hilbert’s 10th Problem (Diophantine Equations)I IP = PSPACEI Time Hierarchy TheoremsI Beyond NP: The Polynomial HierarchyI Probabilistic ComputationI CircuitsI Kolmogorov Complexity
Themen Algorithmen (teilweise mehrere Vorträge pro Thema):I Integer Sorting: Faster than O(n log n)I Strict Fibonacci HeapsI Soft Heaps
![Page 123: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/123.jpg)
Praktikum: Approaching Programming Contests
I Termin: nach Vereinbarung (semesterbegleitend)I Betreuung: Domenico MoscaI Voraussetzungen: Grundvorlesungen (besonders DSEA)I Scheinkriterien: Aktive Teilnahme am Praktikum + GCPCI Lösen von Aufgaben aus Programmierwettbewerben
z. B. mit Divide and Conquer, dynamischer Programmierung,Spannbäumen, Flüssen
![Page 124: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/124.jpg)
Lehrveranstaltungender Arbeitsgruppe Algorithmik
im Sommersemester 2019
E. Althaus, M. Blumenstock, D. Mosca und S. Ziegler
6. Februar 2019
![Page 125: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/125.jpg)
Vorlesung: Berechenbarkeit und formale Sprachen
� Dozent: Prof. Dr. Ernst Althaus� Zeit und Ort: Dienstag 10-12, Audimax� Übungsbetrieb: Domenico Mosca, verschiedene Termine� Scheinkriterien: Anwesenheit, 50% der Punkte
![Page 126: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/126.jpg)
Vorlesung: Fortgeschrittene Algorithmen
� Dozent: Prof. Dr. Ernst Althaus� Zeit und Ort: Mittwoch 10-12, 03-428� Übungsbetrieb: Sarah Ziegler� Übung: voraussichtlich Mittwoch 14-16 Uhr� Scheinkriterien: Anwesenheit, 50% der Punkte� Voraussetzungen: DSEA, Komplexitätstheorie
![Page 127: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/127.jpg)
Vorlesung: Fortgeschrittene Algorithmen
Bessere Algorithmen für aus DSEA bekannte Probleme� Cuckoo Hashing� Splay-Trees und Link-Cut-Trees für maximale Flüsse� Lineare Programmierung
Algorithmen für NP-vollständige Probleme� Approximationsalgorithmen� Smoothed Analysis� Parametrisierte Komplexität
Weitere Modelle� Online-Algorithmen� MapReduce-Algorithmen
![Page 128: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/128.jpg)
Seminar: Algorithmen und Komplexität
� Zeit: nach Vereinbarung (Dienstag 14-16 Uhr?)� Betreuung: Markus Blumenstock� Vorbesprechung: 7. März, 13:15 in 03-424� Vortrag (für Masterstudenten: auf Englisch) und Ausarbeitung� Benötigte Kenntnisse:
BFS, KT, DSEA; Mathematik (je nach Thema)� Literatur (u.a.):
S. Arora und B. Barak, Computational Complexity – AModern Approach, Cambridge University Press, 2009
![Page 129: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/129.jpg)
Seminar: Algorithmen und Komplexität
Themen Komplexität (teilweise mehrere Vorträge pro Thema):� Hilbert’s 10th Problem (Diophantine Equations)� IP = PSPACE� Time Hierarchy Theorems� Beyond NP: The Polynomial Hierarchy� Probabilistic Computation� Circuits� Kolmogorov Complexity
Themen Algorithmen (teilweise mehrere Vorträge pro Thema):� Integer Sorting: Faster than O(n log n)� Strict Fibonacci Heaps� Soft Heaps
![Page 130: Lehrveranstaltungen im SS 2019 Institut für Informatik - FB 08 · 2019-02-08 · Veranstaltungen Visual Computing Vorlesungen § Einführung in die Softwareentwicklung (one more](https://reader033.vdocuments.mx/reader033/viewer/2022041807/5e54f3c04c168a4df83987b2/html5/thumbnails/130.jpg)
Praktikum: Approaching Programming Contests
� Termin: nach Vereinbarung (semesterbegleitend)� Betreuung: Domenico Mosca� Voraussetzungen: Grundvorlesungen (besonders DSEA)� Scheinkriterien: Aktive Teilnahme am Praktikum + GCPC� Lösen von Aufgaben aus Programmierwettbewerben
z. B. mit Divide and Conquer, dynamischer Programmierung,Spannbäumen, Flüssen