Suchergebnisse für 'formal model'
21 Kurse gefunden
M. Sc. Philipp Santer
Vorlesung
Studon
... Dynamics: Euler-Lagrange formulation, recursive Newton-Euler algorithm, extensions of the dynamical model ...
Prof. Dr. Knut Graichen
Vorlesung
Studon
Prof. Dr. Michael Kohlhase
Vorlesung
IdM-Anmeldung
... <p><span class="moderator">In this course we will explore how to model the ...
Prof. Dr. Alessandro Del Vecchio
Vorlesung
IdM-Anmeldung / Passwort
... formattedtext">Module: Simulation of muscle forces from the firing of individual motoneurons Motor unit model ...
Prof. Dr. Gerhard Wellein
Vorlesung
IdM-Anmeldung
... )</p>
</li>
<li>
<p>Roofline performance model ...
Christoph Heynen
Themenvorträge
IdM-Anmeldung / Passwort / Studon
... ;p>Video Tutorial dealing with the business design process to create and validate a business model ...
Prof. Dr. Laura Cottatellucci
Vorlesung
Keine Clips
... font-family:"Calibri",sans-serif">Initially, we consider a simple channel model ...
Prof. Dr. Laura Cottatellucci
Vorlesung
Passwort
... ML and DL are fundamental tools to model complex scenarios while providing eective and fast<br ...
Prof. Dr. Andreas Maier
Themenvorträge
Frei / IdM-Anmeldung / Passwort / Studon
... Recommended literature</b></dt>
<dd>Finn et al., "Model-agnostic ...
Prof. Dr. Kai-Ingo Voigt
Vorlesung
Passwort
... Den Teil "Business Model Innovation" müssen Sie erst bis zum 20.11.2020 ...
Prof. Dr. Gerhard Wellein
Vorlesung
IdM-Anmeldung
... )</p>
</li>
<li>
<p>Roofline performance model ...
microarchitecture, gpu, parallelization, cpu, high performance computing, roofline model, performance
Ronak Kosti
Kongress
Keine Clips
... For the same, we introduce certain 'view points' (like interpretability, model capacity, explainability ...
Prof. Dr. Martin Burger
Vortragsreihe
Frei
... mathematical disciplines related to all kind of data, ranging from statistics and machine learning to model-based ...
Prof. Dr. Walter Kellermann
Vorlesung
Studon
... ;gt;
<p>physiology and models for human speech production and hearing: source-filter model ...
Dr. Tadeusz Litak
Vorlesung
Passwort
... The students examine behaviour of simple programs using formal ...
Prof. Dr. Lutz Schröder
Vorlesung
Frei
... Libkin: Elements of Finite Model Theory, Springer, 2004
...
Dr. Tadeusz Litak
Vorlesung
Frei
... class="formattedtext" style="margin:2px;">In the first part of the course, we will engage in the formal ...
Prof. Dr. Stefan Funk
Vorlesung
IdM-Anmeldung
... mass hierarchy, double beta decay
Towards the Standard Model ...
Prof. Dr. Thomas Fauster
Vorlesung
Studon
... determination and defects
Electronic structure of solids: one electron model ...
Prof. Dr. Marc Avila
Vorlesung
IdM-Anmeldung
... weaknesses of widely used simulation models of turbulence
Select the appropriate model ...
Prof. Dr. Richard Lenz
Vorlesung
Studon
... Topics are:
Reconstructing the Transaction Model
Advanced Transaction ...
367 Clips gefunden
IdM-Anmeldung
Sonstiges
2025-02-05
IdM-Anmeldung
Sonstiges
2025-02-04
IdM-Anmeldung
Sonstiges
2025-02-04
IdM-Anmeldung
Sonstiges
2025-02-04
IdM-Anmeldung
Sonstiges
2025-02-04
IdM-Anmeldung
Sonstiges
2025-02-04
IdM-Anmeldung
Sonstiges
2025-02-04
IdM-Anmeldung
Sonstiges
2025-02-04
Frei
Sonstiges
2025-01-30
... Simulations and Experiments conducted for the publication "A Model Predictive Control ...
IdM-Anmeldung
Sonstiges
2025-01-09
model extraction
Frei
universitäre Vorlesung
2024-12-19
... This presentation introduces a physics and ASIC architecture-driven deep learning detector model for ...
IdM-Anmeldung
Sonstiges
2024-11-27
... <p>Correlated Electrons: From the Hubbard model to the Haber-Bosch process</p& ...
Passwort
Sonstiges
2024-11-22
Studon
Übung
2024-11-15
... <p>Kapitel 3:</p>
<p>- Model-based Design</p> ...
Studon
Übung
2024-11-08
... : Entwurf</p>
<p>- Entwurfsfluss</p>
<p>- Model-based ...
Passwort
Sonstiges
2024-11-08
IdM-Anmeldung
Sonstiges
2024-11-01
Studon
Übung
2024-10-24
... Dynamics: Euler-Lagrange formulation, recursive Newton-Euler algorithm, extensions of the dynamical model ...
IdM-Anmeldung
Sonstiges
2024-10-23
... We will specifically focus on the spin–boson model, which serves as a quintessential example ...
Frei
Kongress, Tagung
2024-06-13
... (Brazil)<br />
Lecture: Controllability of the N-dimensional Ladyzhenskaya-Boussinesq model ...
IdM-Anmeldung / Passwort
Kongress, Tagung
2024-06-12
... <br />
Lecture: <strong>Model reduction of parametric PDEs &ndash ...
Frei
Sonstiges
2024-06-11
... ;p>Fortsetzung "Sozialisation"</p>
<p>formal ...
IdM-Anmeldung
universitäre Vorlesung
2024-05-20
Studon
Übung
2024-05-14
... Archivmaterial zu:</p>
<p>Kapitel 3:</p>
<p>- Model-based ...
Studon
Übung
2024-05-07
... amp;amp;nbsp;</p>
<p>Entwurfsfluss</p>
<p>- Model-based ...
Frei
universitäre Vorlesung
2024-03-20
... that machine learning can encounter in inverse problems and discuss opportunities for the synthesis of model ...
Frei
Sonstiges
2024-02-01
IdM-Anmeldung
Sonstiges
2023-12-28
... <p>Formal definition of the problem of unsupervised domain adaptation, main theoretical ...
IdM-Anmeldung
Sonstiges
2023-12-28
... <p>Formal definition of the problem of domain generalisation, also called out-of-distribution ...
Frei
Publikation
2023-12-22
... <p>Automated yard parking using model predictive path-following control for a truck with ...
Frei
Publikation
2023-12-22
... <p>Automated reversing on a circle using model predictive path-following control for a ...
IdM-Anmeldung
Sonstiges
2023-12-05
... <p>We introduce the basic concepts of Deep Learning (DL): from the perceptron model, to ...
IdM-Anmeldung / Passwort
Sonstiges
2023-11-29
... study effects like neutrino oscillations, search for Dark Matter, or for look for Beyond the Standard Model ...
Frei
universitäre Vorlesung
2023-11-22
... doing mathematics” by representing objects, conjectures, proofs, and even publications in formal ...
IdM-Anmeldung
Sonstiges
2023-11-21
... Motivations and formal definition. Focus on Linear-Gaussian State Space Models (LG-SSMs). ...
IdM-Anmeldung
Sonstiges
2023-11-14
Studon
Übung
2023-11-09
... Kapitel 3:</p>
<p>- Entwurfsfluss</p>
<p>- Model-based ...
Frei
universitäre Vorlesung
2023-11-08
... Updating a model with the episodic memory is similar to (1) updating a model with past knowledge in the ...
IdM-Anmeldung
Sonstiges
2023-11-07
... Formal definition of GP. A concrete example.</p> ...
Frei
Sonstiges
2023-10-31
IdM-Anmeldung
Sonstiges
2023-10-31
... <p>A Bayesian view to model selection.</p> ...
IdM-Anmeldung
Sonstiges
2023-10-25
... <p>A first concrete example of an ML model for time series.</p> ...
IdM-Anmeldung / Passwort
Sonstiges
2023-10-24
... amp;lt;p>Title: <br />
Strongly correlated electron materials: From model ...
IdM-Anmeldung / Passwort
Sonstiges
2023-10-18
... talk, we delve into the dynamics of a stochastic multiple-timescale nonlinear oscillator, serving as a model ...
Frei
Seminar
2023-10-17
... computing (HPC) and newly developed mathematical optimization techniques, all based on a mesoscopic model ...
Frei
Seminar
2023-09-05
... inference, fixed-point value computation is commonplace, where the input and output values and the model ...
IdM-Anmeldung / Passwort
Sonstiges
2023-07-18
... resulting entanglement dynamics, we consider three different scenarios: (i) a classical discrete height model ...
Studon
universitäre Vorlesung
2023-07-18
Studon
universitäre Vorlesung
2023-07-11
Studon
Übung
2023-07-07
Frei
Seminar
2023-07-06
... In this talk I will present a mathematical model that is suitable to simulate ...
Studon
Übung
2023-07-05
Studon
Übung
2023-07-05
Studon
universitäre Vorlesung
2023-06-29
Studon
universitäre Vorlesung
2023-06-27
Studon
universitäre Vorlesung
2023-06-22
Studon
Übung
2023-06-20
Studon
universitäre Vorlesung
2023-06-15
Studon
universitäre Vorlesung
2023-06-13
Studon
Übung
2023-06-07
Studon
universitäre Vorlesung
2023-06-01
IdM-Anmeldung / Passwort
Sonstiges
2023-05-30
... amp;amp;nbsp;The focus will be on an exact description of a modified driven-dissipative Bose-Hubbard model ...
Studon
Übung
2023-05-25
Studon
universitäre Vorlesung
2023-05-23
Studon
universitäre Vorlesung
2023-05-21
Studon
universitäre Vorlesung
2023-05-16
Studon
Sonstiges
2023-05-16
... Kapitel 3:</p>
<p>- Entwurfsfluss</p>
<p>- Model-based ...
Studon
Sonstiges
2023-05-12
Studon
Sonstiges
2023-05-09
Frei
Publikation
2023-05-06
... <p>Automated yard parking using model predictive path-following control for a truck with ...
Studon
Sonstiges
2023-05-06
Studon
Sonstiges
2023-05-02
Studon
Sonstiges
2023-04-27
Studon
Sonstiges
2023-04-25
Studon
Sonstiges
2023-04-20
Studon
Sonstiges
2023-04-18
Frei
Sonstiges
2023-04-18
... assistant at the Institute of Computer Science at the University of Frankfurt in the research field formal ...
IdM-Anmeldung
Sonstiges
2023-02-06
... <p>Formal definition of the problem of unsupervised domain adaptation, main theoretical ...
IdM-Anmeldung
Sonstiges
2023-02-06
... <p>Formal definition of the problem of domain generalisation, also called out-of-distribution ...
Frei
universitäre Vorlesung
2023-02-01
... including<br />
• detection of singularities<br />
• model ...
IdM-Anmeldung
universitäre Vorlesung
2023-01-26
... <p>In this class, we derive simulations of deformable objects from a continuous model. ...
IdM-Anmeldung
Sonstiges
2023-01-13
... <p>We introduce the basic concepts of Deep Learning (DL): from the perceptron model, to ...
Frei
Veranstaltung für die Öffentlichkeit
2022-12-13
... With its relatively accessible metadata model, it provides a low-threshold solution for a broad range ...
IdM-Anmeldung / Passwort
Sonstiges
2022-12-13
... We develop a minimal model suggesting that an ultrahigh index material (n~30) with low losses is in principle ...
IdM-Anmeldung
Sonstiges
2022-11-24
... Motivations and formal definition. Focus on Linear-Gaussian State Space Models (LG-SSMs). ...
IdM-Anmeldung
universitäre Vorlesung
2022-11-22
... condition for delta function, from molecular states to energy bands, appearance of band gap, Kronig Penney model ...
IdM-Anmeldung / Passwort
Sonstiges
2022-11-22
... We provide two explicit applications of the formalism in the context of the so-called tight-binding model ...
IdM-Anmeldung
Sonstiges
2022-11-21
... Formal definition of GP. A concrete example.</p> ...
Studon
Übung
2022-11-17
... zu den Themen:</p>
<p>Kapitel 3: Entwurfsmethoden<br />
- Model-based ...
IdM-Anmeldung
Sonstiges
2022-11-14
... <p>A Bayesian view to model selection.</p> ...
Studon
Übung
2022-11-10
... Kapitel 3: Entwurfsmethoden</p>
<p>- Entwurfsfluss<br />
- Model-based ...
Frei
Kolloquium
2022-10-28
... The model is based on a coupled discrete element and free-surface lattice Boltzmann method ...
IdM-Anmeldung
Sonstiges
2022-10-22
... <p>A first concrete exmple of ML model for time series.</p> ...
IdM-Anmeldung
universitäre Vorlesung
2022-10-18
... <p><span class="moderator">In this course we will explore how to model the ...
Frei
Sonstiges
2022-10-18
... many routines, persistent collectives, partitioned communications for hybrid MPI+OpenMP, the Sessions Model ...
Studon
universitäre Vorlesung
2022-10-14
Studon
universitäre Vorlesung
2022-10-14
Frei
universitäre Vorlesung
2022-09-19
... invention of Extremum Seeking, one of the currently most active areas of learning-based control or model-free ...
Frei
Sonstiges
2022-09-06
... Then, using the gem5 simulator, we model two variants of LARC, a processor fabricated in 1.5 nm and enriched ...
Studon
universitäre Vorlesung
2022-07-18
... <p>Perceptual model for cochlear implants</p> ...