Følg
Sjoerd T. Timmer
Tittel
Sitert av
Sitert av
År
First M87 event horizon telescope results. II. Array and instrumentation
K Akiyama, A Alberdi, W Alef, K Asada, R Azulay, AK Baczko, D Ball, ...
The Astrophysical Journal Letters 875 (1), L2, 2019
6292019
Event Horizon Telescope imaging of the archetypal blazar 3C 279 at an extreme 20 microarcsecond resolution
JY Kim, TP Krichbaum, AE Broderick, M Wielgus, L Blackburn, JL Gómez, ...
Astronomy & Astrophysics 640, A69, 2020
862020
A two-phase method for extracting explanatory arguments from Bayesian networks
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
International Journal of Approximate Reasoning 80, 475-494, 2017
842017
Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning
B Verheij, F Bex, ST Timmer, CS Vlek, JJC Meyer, S Renooij, H Prakken
Law, Probability and Risk 15 (1), 35-70, 2016
752016
Explaining Bayesian networks using argumentation
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th …, 2015
372015
A structure-guided approach to capturing Bayesian reasoning about legal evidence in argumentation
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
Proceedings of the 15th International Conference on Artificial Intelligence …, 2015
262015
Inference and attack in Bayesian networks
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
Proceedings of the 25th Benelux conference on artificial intelligence, 199-206, 2013
232013
Extracting legal arguments from forensic Bayesian networks
S Timmer, H Prakken, JJC Meyer, S Renooij, B Verheij, R Hoekstra
Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh …, 2014
162014
The Gravitational Wave Universe Toolbox-A software package to simulate observations of the gravitational wave universe with different detectors
SX Yi, G Nelemans, C Brinkerink, Z Kostrzewa-Rutkowska, ST Timmer, ...
Astronomy & Astrophysics 663, A155, 2022
92022
Exact algorithms for Kayles
HL Bodlaender, D Kratsch, ST Timmer
Theoretical Computer Science 562, 165-176, 2015
82015
Designing and understanding forensic bayesian networks using argumentation
ST Timmer
Utrecht University, 2017
72017
Explaining legal Bayesian networks using support graphs
S RENOOIJ, B VERHEIJ
Legal Knowledge and Information Systems: JURIX 2015: The Twenty-Eighth …, 2015
62015
Capturing critical questions in Bayesian network fragments
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
Legal Knowledge and Information Systems, 173-176, 2015
32015
The LLAMA Brazilian-Argentinian radiotelescope project: progress in Brazil and BRICS collaboration
JRD Lepine, Z Abraham, CGG CASTRO, JER Costa, JJ Larrarte, ...
Anais da Academia Brasileira de Ciências 93, 2021
22021
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
Proceedings of the 15th International Conference on Artificial Intelligence …, 2015
22015
GWToolbox: Gravitational wave observation simulator
SX Yi, G Nelemans, C Brinkerink, Z Kostrzewa-Rutkowska, ST Timmer, ...
Astrophysics Source Code Library, ascl: 2111.018, 2021
2021
3C 279 Event Horizon Telescope imaging
JJ Kim, S Issaoun, CD Brinkerink, M Janssen, TJW Bronzwaer, ...
ViZieR, 2020
2020
VizieR Online Data Catalog: 3C 279 Event Horizon Telescope imaging (Kim+, 2020)
JY Kim, TP Krichbaum, AE Broderick, M Wielgus, L Blackburn, JL Gomez, ...
2020
A Tool for the Generation of Arguments from Bayesian Networks.
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
COMMA, 479-480, 2014
2014
Exact Algorithms for Loop Cutset
ST Timmer
2012
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20