Record link: 
http://hdl.handle.net/20.500.12708/196589
-
Title: 
Posterior Predictive Model Checking Using Formal Methods
en
Citation: 
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
-
Publication Type: 
Presentation - Presentation
en
Language: 
English
-
Authors: 
Vana Gür, Laura 
-
Organisational Unit: 
E105-06 - Forschungsbereich Computational Statistics 
-
Date (published): 
18-Jan-2022
-
Event name: 
Research Seminar Talk Paris Lodron Universität Salzburg 
en
Event date: 
18-Jan-2021
-
Event place: 
Salzburg, Austria
-
Keywords: 
Posterior predictive model checking; Bayesian inference; Spatio-Temporal Logic
en
Project title: 
Hochdimensionales statistisches Lernen: Neue Methoden zur Förderung der Wirtschafts- und Nachhaltigkeitspolitik: ZK 35-G (FWF - Österr. Wissenschaftsfonds) 
-
Research Areas: 
Urban and Regional Transformation: 10%
Mathematical and Algorithmic Foundations: 40%
Modeling and Simulation: 50%
-
Science Branch: 
1020 - Informatik: 40%
1010 - Mathematik: 60%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

6
checked on Apr 12, 2024

Google ScholarTM

Check