Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/196589
-
Titel: 
Posterior Predictive Model Checking Using Formal Methods
en
Zitat: 
Vana Gür, L. (2022, January 18). Posterior Predictive Model Checking Using Formal Methods [Presentation]. Research Seminar Talk Paris Lodron Universität Salzburg, Salzburg, Austria. http://hdl.handle.net/20.500.12708/196589
-
Publikationstyp: 
Vortrag - Presentation
de
Sprache: 
Englisch
-
Autor_innen: 
Vana Gür, Laura 
-
Organisations­einheit: 
E105-06 - Forschungsbereich Computational Statistics 
-
Datum (veröffentlicht): 
18-Jan-2022
-
Veranstaltungs­name: 
Research Seminar Talk Paris Lodron Universität Salzburg 
en
Veranstaltungs­zeitraum: 
18-Jan-2021
-
Veranstaltungs­ort: 
Salzburg, Österreich
-
Keywords: 
Posterior predictive model checking; Bayesian inference; Spatio-Temporal Logic
en
Projekttitel: 
Hochdimensionales statistisches Lernen: Neue Methoden zur Förderung der Wirtschafts- und Nachhaltigkeitspolitik: ZK 35-G (FWF - Österr. Wissenschaftsfonds) 
-
Forschungs­schwerpunkte: 
Urban and Regional Transformation: 10%
Mathematical and Algorithmic Foundations: 40%
Modeling and Simulation: 50%
-
Wissenschafts­zweig: 
1020 - Informatik: 40%
1010 - Mathematik: 60%
-
Enthalten in den Sammlungen:
Presentation

Zur Langanzeige

Google ScholarTM

Check