Suchergebnisse für 'tool'

8 Kurse gefunden

Schloss1
Dario Zanca
Seminar
IdM-Anmeldung
... The seminar will explore advances in deep learning with practical, hands-on work using the Tool ...
Schloss1
Prof. Dr. Daniel Burgarth
Vorlesung
Passwort / Studon
... The unit begins with introducing control theory as a subject from engineering and a tool for solving ...
Schloss1
Prof. Robin N. Klupp Taylor
Kongress
Passwort / Studon
... UK<br /> 17:30<br /> <em>Jupyter notebooks as a powerful tool ...
Schloss1
Prof. Dr. Wolfgang Peukert
Vorlesung
Studon
... As simulation tool we introduce and use population balances. </span></p> ...
Schloss1
Dr. Tadeusz Litak
Vorlesung
Passwort
... The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming ...
Schloss1
Dr. Sergey Goncharov
Vorlesung
Passwort
... understanding of the role of computational monads in the context of functional programming and as a semantic tool ...
Schloss1
Dr. Sergey Goncharov
Vorlesung
Frei
... understanding of the role of computational monads in the context of functional programming and as a semantic tool ...
Schloss1
Dr. Tadeusz Litak
Vorlesung
Frei
... margin:2px;"> Choose the optimal tool ...

121 Clips gefunden

Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2025-04-30
... In this video, we introduce the Tool Tracking Dataset. ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2024-10-23
... emphasizing the role of infinite-dimensional Hilbert spaces and linear unbounded operators as a natural tool ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2024-07-17
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2024-07-17
Schloss_2023-1400_thumb.png
Frei
Seminar
2024-03-12
... In this context, the focus is on using the web-based application tool JARDS. ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
universitäre Vorlesung
2023-06-16
Schloss_2023-1400_thumb.png
IdM-Anmeldung
universitäre Vorlesung
2023-06-16
Maier_1400_thumb.png
Frei
universitäre Vorlesung
2023-05-31
... MultiSpectral Imaging (MSI) has become a popular tool to reveal properties and structures in cultural ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Seminar
2023-05-08
... The second part introduces the LIKWID tool suite. This is the first part of two.</p> ...
Schloss_2023-1400_thumb.png
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 ...
MOD-Lecture_2023-1400_thumb.png
Frei
universitäre Vorlesung
2023-02-01
... style="vertical-align:inherit">The result is an appealing tool ...
Eitzinger_1400_thumb.png
Frei
Veranstaltung für die Öffentlichkeit
2023-01-11
... Christoph Kluge)</li> <li>The ClusterCockpit monitoring tool (presentation ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
universitäre Vorlesung
2022-12-12
... <p>Data transformation pipelines, introduction to the Visualization Tool Kit (VTK), frameworks ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
universitäre Vorlesung
2021-12-07
... <p>Data transformation pipelines, introduction to the Visualization Tool Kit (VTK), frameworks ...
Wellein_14001_thumb.png
IdM-Anmeldung
Anleitung
2021-11-22
... This lecture introduces NVIDIA&#39;s profiler as a tool to spot common performance bugs that ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2021-10-20
... amp;lt;br /> Shallow water simulations with the discontinuous Galerkin method are an important tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2021-06-29
... Here, imaging is a tool for looking inside specimen, resolving structures beyond the scale visible to ...
Schloss_2023-1400_thumb.png
Passwort
Sonstiges
2021-05-11
... Therefore, we want to share our experiences in this talk of using Jupyter Notebook as an excellent tool ...
Maier_1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2021-05-04
... andreas-abel/nanoBench">https://github.com/andreas-abel/nanoBench</a>), which is a tool ...
Schloss_2023-1400_thumb.png
Passwort
Sonstiges
2021-04-27
... It has been suggested that photon-assisted tunneling can be used as a tool to determine the number of ...
Schloss_2023-1400_thumb.png
Studon
universitäre Vorlesung
2021-04-12
... As simulation tool we introduce and use population balances. </span></p> ...
Maier_1400_thumb.png
IdM-Anmeldung
Sonstiges
2021-03-04
... We developed the open-source online platform EXACT (EXpert Algorithm Collaboration Tool) that enables ...
Maier_1400_thumb.png
IdM-Anmeldung
Sonstiges
2021-03-04
... strong>Abstract:</strong> Computed Tomography (CT) is widely used as a diagnostic tool ...
Schloss_2023-1400_thumb.png
Frei
Sonstiges
2021-02-01
... Verbirgt sich in diesem Tool k&uuml;nstliche Intelligenz? ...
Maier_1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
Studon
universitäre Vorlesung
2020-12-06
... <p>Das in diesem Video zum Bode-Diagramm verwendete Tool ist unter &quot;< ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Sonstiges
2020-11-04
... gt;Organisation</p> <p>Einf&uuml;hrung in die Seminarstruktur, Tool ...
Schloss_2023-1400_thumb.png
Frei
Kongress, Tagung
2020-07-24
... amp;gt;Content</h3> <p>Presentation of the open-source data versioning tool ...
Schloss_2023-1400_thumb.png
Frei
Sonstiges
2020-06-18
... Kroeker argues that avoidance is a useful tool of conflict management in long term social relationships ...
Schloss_2023-1400_thumb.png
Passwort
universitäre Vorlesung
2020-06-12
... Health-enhancing physical activity (HEPA) policy audit tool (PAT) Version 2. ...
Burger-1400_thumb.png
Frei
Sonstiges
2020-04-20
... It is a natural tool to compare in a geometrically faithful way probability distributions. ...
Schloss_2023-1400_thumb.png
IdM-Anmeldung
Übung
2020-04-16
... This is a very short intro to tmux, the terminal multiplexer tool. ...
/PodcastDefaultFAU.png
Frei
Podcast
2020-03-30
... Videokonferenz-Tool für die gesamte FAU (Min. 0.20) ...
Schloss_2023-1400_thumb.png
Frei
Kongress, Tagung
2020-03-04
... Selected features of Sympa (some of them are unique) which makes Sympa a very flexible tool ...
Brune-1400_thumb.png
Studon
universitäre Vorlesung
2019-08-19
... Dieses Video beschäftigt sich mit der API-Entwicklung und stellt das Open-Source-Tool ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
IKGF-1400_thumb.png
Frei
Sonstiges
2017-04-29
... It is&nbsp;the primary tool used in the Chinese&nbsp;mantic art of fengshui, geomancy ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2017-02-09
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2017-02-01
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2017-01-25
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2017-01-20
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2017-01-11
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-12-16
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-12-16
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-12-07
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-12-02
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-30
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-25
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-23
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-16
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-09
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-04
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-11-02
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-10-28
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-10-26
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
Frei
universitäre Vorlesung
2016-10-19
... margin:2px;"> Choose the optimal tool ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
Frei
Kolloquium
2016-09-19
... Ten year ago in SOCC’2006, my group presented xPilot – the high-level synthesis (HLS) tool developed ...
Schloss_2023-1400_thumb.png
Frei
Kolloquium
2015-07-24
... We extend the concept of proof-carrying code to reconfigurable hardware and show a tool flow ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
RRZE Intern
Übung
2015-07-07
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...
Schloss_2023-1400_thumb.png
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 ...