fau.tv Search

Suchergebnisse für 'variational calculus'

6 Kurse gefunden

Numerical Optimization and Model Predictive Control 2025

Prof. Dr. Knut Graichen

Vorlesung

Studon

... conditions, numerical methods) Dynamical optimization / optimal control problems (calculus ...

Course: Control and Machine Learning 2024

Prof. Dr. Enrique Zuazua

Vorlesung

Frei

... amp;gt; S02: <a href="https://www.fau.tv/clip/id/53625">Introduction: Calculus ...

Scientific Visualization 2022

Prof. Dr. Tobias Günther

Vorlesung

IdM-Anmeldung

... After a short introduction to scalar and vector calculus and a categorization of different data types ...

Nonclassical Logics in Computer Science 2015/2016

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

Formale Methoden der Softwareentwicklung 2016/2017

Dr. Tadeusz Litak

Vorlesung

Frei

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

Übungen zur Linearen Kontinuumsmechanik 2018/2019

M. Sc. Dominic Soldner

Übung

Studon

... > Constitutive equations Variational ...

100 Clips gefunden

7-Fluid 1 - Calculus Review & PDEs 2025

IdM-Anmeldung

Sonstiges

2025-06-11

7-Pattern Analysis: Generalized EM and Variational Inference 2025

IdM-Anmeldung

universitäre Vorlesung

2025-06-02

2-Motion 1 - Kinematics & Dynamics 2025

IdM-Anmeldung

Sonstiges

2025-04-23

... On the description of motion using differential and variational calculus. ...

3-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-08-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

1-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

2-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... <h2>S02: Introduction: Calculus of Variations, Controllability and Optimal Design< ...

4-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

5-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

6-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

7-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

8-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

9-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

10-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

11-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

12-Course: Control and Machine Learning 2024

Frei

universitäre Vorlesung

2024-07-07

... p>S01: Introduction to Control Theory S02: Introduction: Calculus ...

8-Fluid 1 - Calculus Review & PDEs 2024

IdM-Anmeldung

universitäre Vorlesung

2024-07-01

... Introduction to differential calculus on scalar and vector fields, and conservation ...

13-Pattern Analysis Lecture 05: Variational Inference 2024

IdM-Anmeldung

universitäre Vorlesung

2024-06-02

2-Motion 1 - Kinematics & Dynamics 2024

IdM-Anmeldung

universitäre Vorlesung

2024-04-23

... On the description of motion using differential and variational calculus. ...

7-Fluid 1 - Calculus Review & PDEs 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-01

... Introduction to differential calculus on scalar and vector fields, and conservation ...

2-Motion 1 - Kinematics & Dynamics 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-25

... On the description of motion using differential and variational calculus. ...

8-Anatoli Polkovnikov - Asymptotic Birkhoff Construction of Local Integrals of Motion in a Spin Chain 2022

IdM-Anmeldung / Passwort

Sonstiges

2022-07-19

... conserved integral of motion adiabatically connected to the impurity spin and its non-perturbative variational ...

9-Optimal control of parabolic equations - a spectral calculus based approach (M. 2021

Frei

Sonstiges

2022-01-14

7-Fluid 1 - Calculus Review & PDEs 2021/2022

Studon

universitäre Vorlesung

2021-12-02

... Introduction to differential calculus on scalar and vector fields, and conservation ...

9-Variational principles in a stochastic setting (T. Ratiu, Shanghai Jiao Tong University) 2021/2022

Frei

Sonstiges

2021-11-26

2-Kinematics & Dynamics 2021/2022

Studon

universitäre Vorlesung

2021-10-27

... On the description of motion using differential and variational calculus. ...

21-Deeply learned regularisation for inverse problems 2021

Frei

universitäre Vorlesung

2021-06-29

... Examples include variational regularization methods with Tikhonov regularisation, the total variation ...

15-An Introduction to Generative Modeling 2021

Frei

universitäre Vorlesung

2021-05-18

... concise mathematical framework for modeling the three most popular approaches: normalizing flows (NF), variational ...

2-20.04. Birgit Stiller - Coherent optoacoustic interactions in waveguide structures 2021

Passwort

Sonstiges

2021-04-20

... The latter includes calculus operations, signal amplification and storage of light information. ...

2-Ex 1: Recap tensor calculus - Zoom Q&A 2021

Studon

Sonstiges

2021-04-12

1-Ex 1: Recap tensor calculus 2021

Studon

Sonstiges

2021-04-12

9-Inference for ALC (Part 1) 2020/2021

Frei

universitäre Vorlesung

2021-01-02

... Tableau-Calculus for ALC and examples for it. ...

10-Inference for ALC (Part 2) 2020/2021

Frei

universitäre Vorlesung

2021-01-02

... Termination and complexity for the Tableau Calculus are discussed. ...

17-Variational neural annealing (Estelle Inack Affiliation, Perimeter Institute for Theoretical Physics) 2020/2021

Frei

Sonstiges

2020-12-16

1-First-Order Tableaux 2020/2021

Frei

universitäre Vorlesung

2020-11-28

... Tableaux calculus for FOL explained.  ...

51-Recap Clip 11.8: Propositional Natural Deduction Calculus 2020/2021

Frei

universitäre Vorlesung

2020-11-13

... Recap: Propositional Natural Deduction Calculus ...

8-Fluids 1 - Calculus Review & Navier Stokes 2020/2021

Studon

universitäre Vorlesung

2020-11-09

5-Formal Systems (Syntax and Semantics in General) (Part 1) 2020/2021

Frei

universitäre Vorlesung

2020-11-02

... Also, the definition of formal systems and the Hilbert-Calculus are given. ...

8-Propositional Natural Deduction Calculus 2020/2021

Frei

universitäre Vorlesung

2020-11-02

... Explanation of the Natural Deduction Calculus and different styles to write it. ...

47-Deep Learning 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-10-12

... autoencoders (AEs) ranging from undercomplete and sparse AEs, over stacked and denoising AEs all the way to Variational ...

50-Deep Learning 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-10-12

... wordpress/wp-content/%20uploads/2015/12/talk_nips_workshop_2015.pdf">Link</a> - Variational ...

59-Deep Learning 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-10-12

... “On Variational Bounds of Mutual Information”. ...

47-Deep Learning - Plain Version 2020 2020/2021

Frei

universitäre Vorlesung

2020-10-12

... autoencoders (AEs) ranging from undercomplete and sparse AEs, over stacked and denoising AEs all the way to Variational ...

50-Deep Learning - Plain Version 2020 2020/2021

Frei

universitäre Vorlesung

2020-10-12

... wordpress/wp-content/%20uploads/2015/12/talk_nips_workshop_2015.pdf">Link</a> - Variational ...

59-Deep Learning - Plain Version 2020 2020/2021

Frei

universitäre Vorlesung

2020-10-12

... “On Variational Bounds of Mutual Information”. ...

9-Deep Learning - Plain Version 2020 2020/2021

Frei

universitäre Vorlesung

2020-10-10

... “A logical calculus of the ideas immanent in nervous activity. ...

9-Deep Learning 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-10-10

... “A logical calculus of the ideas immanent in nervous activity. ...

59-Deep Learning - Weakly and Self-Supervised Learning Part 4 2020

IdM-Anmeldung

universitäre Vorlesung

2020-07-05

... “On Variational Bounds of Mutual Information”. ...

59-Deep Learning - Weakly and Self-Supervised Learning Part 4 2020

Frei

universitäre Vorlesung

2020-07-05

... “On Variational Bounds of Mutual Information”. ...

50-Deep Learning - Unsupervised Learning Part 5 2020

IdM-Anmeldung

universitäre Vorlesung

2020-06-21

... wordpress/wp-content/%20uploads/2015/12/talk_nips_workshop_2015.pdf">Link</a> - Variational ...

47-Deep Learning - Unsupervised Learning Part 2 2020

Frei

universitäre Vorlesung

2020-06-21

... autoencoders (AEs) ranging from undercomplete and sparse AEs, over stacked and denoising AEs all the way to Variational ...

50-Deep Learning - Unsupervised Learning Part 5 2020

Frei

universitäre Vorlesung

2020-06-21

... wordpress/wp-content/%20uploads/2015/12/talk_nips_workshop_2015.pdf">Link</a> - Variational ...

47-Deep Learning - Unsupervised Learning Part 2 2020

IdM-Anmeldung

universitäre Vorlesung

2020-06-19

... autoencoders (AEs) ranging from undercomplete and sparse AEs, over stacked and denoising AEs all the way to Variational ...

8-Vincent Duval: Representing the solutions of total variation regularized problems 2020

Frei

Sonstiges

2020-06-08

... In this talk, I will describe the structure the solutions to the total variation regularized variational ...

5-Lars Ruthotto: Machine Learning meets Optimal Transport: Old solutions for new problems and vice versa 2020

Frei

Sonstiges

2020-05-18

... consider continuous normalizing flows (CNF) that have emerged as one of the most promising approaches for variational ...

9-Deep Learning - Feedforward Networks Part 4 2020

Frei

universitäre Vorlesung

2020-04-18

... “A logical calculus of the ideas immanent in nervous activity. ...

19-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2017-02-09

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

18-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2017-02-01

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

17-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2017-01-25

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

16-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2017-01-20

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

15-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2017-01-11

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

13-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-12-16

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

14-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-12-16

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

12-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-12-07

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

11-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-12-02

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

10-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-30

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

9-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-25

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

8-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-23

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

7-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-16

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

6-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-09

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

5-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-04

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

4-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-11-02

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

3-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-10-28

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

2-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-10-26

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

1-Formale Methoden der Softwareentwicklung 2016/2017

Frei

universitäre Vorlesung

2016-10-19

... weakest (liberal) preconditions, in order to introduce automatised correctness proofs using the Hoare calculus ...

26-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2016-02-02

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

25-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2016-01-26

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

24-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2016-01-25

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

23-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2016-01-19

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

22-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2016-01-18

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

21-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2016-01-11

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

20-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-12-22

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

19-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-12-21

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

18-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-12-15

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

17-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-12-14

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

16-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-12-07

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

15-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-12-01

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

14-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-30

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

13-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-24

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

12-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-23

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

11-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-17

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

10-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-16

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

9-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-10

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

8-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-09

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

7-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-03

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

6-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-11-02

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

5-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-10-27

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

4-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-10-26

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

3-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-10-20

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

2-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-10-19

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...

1-Nonclassical Logics in Computer Science 2015/2016

Frei

universitäre Vorlesung

2015-10-13

... Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus ...