Navigation
Skiplinks
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Videoportal
Hauptnavigation
Kurse
Clips
Podcasts
Semester
Lehrende
FAU-Organisationen
Suche
Livestream
Hörsäle
FAQ
IdM Anmeldung
DE
Search:
Suchergebnisse für 'tool'
Startseite
Suche
8 Kurse gefunden
Seminar Advances in Deep Learning for Time Series 2025
Dario Zanca
Seminar
IdM-Anmeldung
... The seminar will explore advances in deep learning with practical, hands-on work using the
Tool
...
Quantum Control 2023
Prof. Dr. Daniel Burgarth
Vorlesung
Passwort / Studon
... The unit begins with introducing control theory as a subject from engineering and a
tool
for solving ...
International Online Workshop: Particle Technology and Product Design Education - A Digital Leap Forward - 2021
Prof. Robin N. Klupp Taylor
Kongress
Passwort / Studon
... UK<br /> 17:30<br /> <em>Jupyter notebooks as a powerful
tool
...
MVT-II (Product Engineering) SS21 2021
Prof. Dr. Wolfgang Peukert
Vorlesung
Studon
... As simulation
tool
we introduce and use population balances. </span></p> ...
Praktische Semantik von Programmiersprachen 2019
Dr. Tadeusz Litak
Vorlesung
Passwort
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Monad-Based Programming 2019
Dr. Sergey Goncharov
Vorlesung
Passwort
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
Monad-Based Programming 2015
Dr. Sergey Goncharov
Vorlesung
Frei
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
Formale Methoden der Softwareentwicklung 2016/2017
Dr. Tadeusz Litak
Vorlesung
Frei
... margin:2px;"> Choose the optimal
tool
...
121 Clips gefunden
1-The
Tool
Tracking Dataset 2025
IdM-Anmeldung
Sonstiges
2025-04-30
... In this video, we introduce the
Tool
Tracking Dataset. ...
1-Mathematical Perspectives on Quantum Mechanics: Decoherence, Open Systems, and Infinite-Dimensional Hilbert Spaces (Habilitationsvortrag) 2024/2025
IdM-Anmeldung
Sonstiges
2024-10-23
... emphasizing the role of infinite-dimensional Hilbert spaces and linear unbounded operators as a natural
tool
...
9-Iron and Steel II -
tool
steel 2024
IdM-Anmeldung
Sonstiges
2024-07-17
10-Iron and Steel II -
tool
steel II 2024
IdM-Anmeldung
Sonstiges
2024-07-17
64-HPC Cafe on March 12, 2024: NHR Project Applications and the JARDS system 2023/2024
Frei
Seminar
2024-03-12
... In this context, the focus is on using the web-based application
tool
JARDS. ...
1-Vorstellung Lenovo Diagnose Vantage
Tool
und UEFI Diagnose 2023/2024
IdM-Anmeldung
Sonstiges
2024-02-06
8-Iron and Steel II -
tool
steels I 2023
IdM-Anmeldung
universitäre Vorlesung
2023-06-16
9-Iron and Steel II -
tool
steels II 2023
IdM-Anmeldung
universitäre Vorlesung
2023-06-16
48-Beyond the Patterns - Robert Sablatnig (TU Vienna): Multispectral Imaging and Writer Identification for Historical Manuscripts 2021/2022
Frei
universitäre Vorlesung
2023-05-31
... MultiSpectral Imaging (MSI) has become a popular
tool
to reveal properties and structures in cultural ...
50-Mucosim SS23 Intro and LIKWID - NHR - Part1 2023
IdM-Anmeldung
Seminar
2023-05-08
... The second part introduces the LIKWID
tool
suite. This is the first part of two.</p> ...
0-Livestream - Quantum Control 2023
Passwort / Studon
universitäre Vorlesung
2023-04-17
... The unit begins with introducing control theory as a subject from engineering and a
tool
for solving ...
2-FAU MoD Lecture: Applications of AAA Rational Approximation (II) 2022/2023
Frei
universitäre Vorlesung
2023-02-01
... style="vertical-align:inherit">The result is an appealing
tool
...
46-HPC Cafe 2023-01-10: Using the NHR@FAU HPC Portal and the ClusterCockpit monitoring system 2022/2023
Frei
Veranstaltung für die Öffentlichkeit
2023-01-11
... Christoph Kluge)</li> <li>The ClusterCockpit monitoring
tool
(presentation ...
8-Scientific Visualization Tools 2022/2023
IdM-Anmeldung
universitäre Vorlesung
2022-12-12
... <p>Data transformation pipelines, introduction to the Visualization
Tool
Kit (VTK), frameworks ...
8-Scientific Visualization Tools 2021/2022
IdM-Anmeldung
universitäre Vorlesung
2021-12-07
... <p>Data transformation pipelines, introduction to the Visualization
Tool
Kit (VTK), frameworks ...
22-Introduction to GPU Performance Analysis 2021/2022
IdM-Anmeldung
Anleitung
2021-11-22
... This lecture introduces NVIDIA's profiler as a
tool
to spot common performance bugs that ...
19-NHR PerfLab Seminar 2021-10-19: Discontinuous Galerkin Shallow-Water Simulations on FPGAs 2021
IdM-Anmeldung
Sonstiges
2021-10-20
... amp;lt;br /> Shallow water simulations with the discontinuous Galerkin method are an important
tool
...
21-Deeply learned regularisation for inverse problems 2021
Frei
universitäre Vorlesung
2021-06-29
... Here, imaging is a
tool
for looking inside specimen, resolving structures beyond the scale visible to ...
3-Jupyter Notebooks as a powerful
tool
for teaching in Chemical Engineering (Samir Salameh - University 2021
Passwort
Sonstiges
2021-05-11
... Therefore, we want to share our experiences in this talk of using Jupyter Notebook as an excellent
tool
...
29-Beyond the Patterns - Fabian Isensee - nnU-Net: a self-configuring method for deep learning-based biomedical image segmentation 2020/2021
Frei
universitäre Vorlesung
2021-05-05
... We make nnU-Net publicly available as an out-of-the-box
tool
, rendering state-of-the-art segmentation ...
17-NHR PerfLab Seminar 2021-05-04: Automatic Generation of Models of Microarchtectures 2021
IdM-Anmeldung
Sonstiges
2021-05-04
... andreas-abel/nanoBench">https://github.com/andreas-abel/nanoBench</a>), which is a
tool
...
3-27.04. Katharina Franke - Photon-assisted tunneling at the atomic scale: Probing resonant Andreev reflections from Yu-Shiba-Rusinov states 2021
Passwort
Sonstiges
2021-04-27
... It has been suggested that photon-assisted tunneling can be used as a
tool
to determine the number of ...
1-Einführung 2021
Studon
universitäre Vorlesung
2021-04-12
... As simulation
tool
we introduce and use population balances. </span></p> ...
7-Pattern Recognition Symposium PRS Winter 20/21 - Christian Marzahl - Learning to be EXACT on Partial Annotations 2020/2021
IdM-Anmeldung
Sonstiges
2021-03-04
... We developed the open-source online platform EXACT (EXpert Algorithm Collaboration
Tool
) that enables ...
8-Pattern Recognition Symposium PRS Winter 20/21 - Fabian Wagner - Low Dose Mikro CT 2020/2021
IdM-Anmeldung
Sonstiges
2021-03-04
... strong>Abstract:</strong> Computed Tomography (CT) is widely used as a diagnostic
tool
...
11-Vertragsprüfungs-Tools einer Rechtsabteilung – Interview mit Herrn Rechtsanwalt Martin Kurtze (Siemens AG) 2020/2021
Frei
Sonstiges
2021-02-01
... Verbirgt sich in diesem
Tool
künstliche Intelligenz? ...
12-Beyond the Patterns - Xin Lai - Network- and systems-based re-engineering of dendritic cells with microRNAs for cancer immunotherapy 2020/2021
Frei
universitäre Vorlesung
2021-01-27
... The results of our analysis are presented in a database that constitutes a
tool
to identify DC-relevant ...
8-ERT-3 "Bode-Diagramm" 2020/2021
Studon
universitäre Vorlesung
2020-12-06
... <p>Das in diesem Video zum Bode-Diagramm verwendete
Tool
ist unter "< ...
18-Light scattering as a measurement
tool
: "Laser diffraction" particle sizers 2020/2021
Studon
Sonstiges
2020-11-20
17-Light scattering as a measurement
tool
: Introduction and single particle measurements 2020/2021
Studon
Sonstiges
2020-11-20
19-Light scattering as a measurement
tool
: Dynamic light scattering 2020/2021
Studon
Sonstiges
2020-11-20
1-Einführung in den Kurs 2020/2021
IdM-Anmeldung
Sonstiges
2020-11-04
... gt;Organisation</p> <p>Einführung in die Seminarstruktur,
Tool
...
6-Hangar - Git for your data 2020
Frei
Kongress, Tagung
2020-07-24
... amp;gt;Content</h3> <p>Presentation of the open-source data versioning
tool
...
10-HPC Cafe: Using the LIKWID
tool
suite (Thomas Gruber) 2020
Frei
Sonstiges
2020-07-21
1-Lena Kroeker (Bayreuth University): "Navigating Between Conflicting Demands. Decision-Making of HIV-positive Mothers in Lesotho" 2020
Frei
Sonstiges
2020-06-18
... Kroeker argues that avoidance is a useful
tool
of conflict management in long term social relationships ...
1-Physical Activity Policies 2020
Passwort
universitäre Vorlesung
2020-06-12
... Health-enhancing physical activity (HEPA) policy audit
tool
(PAT) Version 2. ...
1-Gabriel Peyré: Scaling Optimal Transport for High dimensional Learning 2020
Frei
Sonstiges
2020-04-20
... It is a natural
tool
to compare in a geometrically faithful way probability distributions. ...
1-Managing terminal sessions with tmux 2020
IdM-Anmeldung
Übung
2020-04-16
... This is a very short intro to tmux, the terminal multiplexer
tool
. ...
4-„Der Präsi-Podcast“ vom 30. März 2020 2020
Frei
Podcast
2020-03-30
... Videokonferenz-
Tool
für die gesamte FAU (Min. 0.20) ...
8-Sympa Mailinglist Manager 2019/2020
Frei
Kongress, Tagung
2020-03-04
... Selected features of Sympa (some of them are unique) which makes Sympa a very flexible
tool
...
20-API-Entwicklung 2019
Studon
universitäre Vorlesung
2019-08-19
... Dieses Video beschäftigt sich mit der API-Entwicklung und stellt das Open-Source-
Tool
...
16-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-06-27
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
12-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-06-26
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
15-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-06-24
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
11-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-06-19
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
14-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-06-17
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
13-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-06-13
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
10-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-06-06
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
12-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-06-06
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
9-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-06-05
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
11-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-06-03
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
8-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-05-29
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
10-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-27
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
9-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-23
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
7-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-05-22
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
8-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-20
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
7-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-16
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
6-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-05-15
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
6-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-13
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
5-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-05-09
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
5-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-09
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
4-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-05-08
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
4-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-06
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
3-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-05-02
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
3-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-05-02
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
2-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-04-29
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
2-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-04-25
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
1-Praktische Semantik von Programmiersprachen 2019
Passwort
universitäre Vorlesung
2019-04-25
... The basic
tool
used in the course is Coq proof assistant, which can be regarded as a functional programming ...
1-Monad-Based Programming 2019
Passwort
universitäre Vorlesung
2019-04-24
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
18-Master Lin’s Luópán 2017
Frei
Sonstiges
2017-04-29
... It is the primary
tool
used in the Chinese mantic art of fengshui, geomancy ...
19-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-02-09
... margin:2px;"> Choose the optimal
tool
...
18-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-02-01
... margin:2px;"> Choose the optimal
tool
...
17-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-01-25
... margin:2px;"> Choose the optimal
tool
...
16-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-01-20
... margin:2px;"> Choose the optimal
tool
...
15-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-01-11
... margin:2px;"> Choose the optimal
tool
...
13-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-12-16
... margin:2px;"> Choose the optimal
tool
...
14-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-12-16
... margin:2px;"> Choose the optimal
tool
...
12-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-12-07
... margin:2px;"> Choose the optimal
tool
...
11-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-12-02
... margin:2px;"> Choose the optimal
tool
...
10-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-30
... margin:2px;"> Choose the optimal
tool
...
9-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-25
... margin:2px;"> Choose the optimal
tool
...
8-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-23
... margin:2px;"> Choose the optimal
tool
...
7-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-16
... margin:2px;"> Choose the optimal
tool
...
6-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-09
... margin:2px;"> Choose the optimal
tool
...
5-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-04
... margin:2px;"> Choose the optimal
tool
...
4-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-11-02
... margin:2px;"> Choose the optimal
tool
...
3-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-10-28
... margin:2px;"> Choose the optimal
tool
...
2-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-10-26
... margin:2px;"> Choose the optimal
tool
...
1-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2016-10-19
... margin:2px;"> Choose the optimal
tool
...
2-How Companies Participate in Open Source Projects 2016/2017
Frei
Sonstiges
2016-10-04
... She served as PC in various conferences, such as FSE 2014
Tool
Demo Track (PC Co-Chair), MSR 2016 and ...
39-High-Level Synthesis and Beyond 2016
Frei
Kolloquium
2016-09-19
... Ten year ago in SOCC’2006, my group presented xPilot – the high-level synthesis (HLS)
tool
developed ...
32-Proof-Carrying Services 2015
Frei
Kolloquium
2015-07-24
... We extend the concept of proof-carrying code to reconfigurable hardware and show a
tool
flow ...
27-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-15
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
26-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-14
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
25-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-08
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
29-Das neue AoD
Tool
des RRZE 2015
RRZE Intern
Übung
2015-07-07
24-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-07
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
23-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-03
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
22-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-02
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
21-Monad-Based Programming 2015
Frei
universitäre Vorlesung
2015-07-01
... understanding of the role of computational monads in the context of functional programming and as a semantic
tool
...
Bereit zu gehen?
×
Wählen Sie unten "Abmelden", wenn Sie bereit sind, Ihre aktuelle Sitzung zu beenden.