( en | de | ru )

 

Disambiguierung von "West, Matthew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
STMC: Statistical Model Checker with Stratified and Antithetic Sampling.

, , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 448-460. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Charles West

Elmar West

Alexander West

Gert West

Daune West

 

Weitere Publikationen von Autoren mit dem selben Namen

Making Testing Less Trying: Lessons Learned from Operating a Computer-Based Testing Facility., , , und . FIE, Seite 1-9. IEEE, (2018)Application of variance reduction techniques for tau-leaping systems to particle filters., , und . CDC, Seite 6683-6689. IEEE, (2012)How does a Rational Agent Act in an Epidemic?, , , , , , und . CDC, Seite 5536-5543. IEEE, (2022)Model reduction, optimal prediction, and the Mori-Zwanzig representation of Markov chains., , , und . CDC, Seite 3282-3287. IEEE, (2009)Markov Chain Distributed Particle Filters (MCDPF)., und . CDC, Seite 5496-5501. IEEE, (2009)Anticorrelated discrete-time stochastic simulation., , und . CDC, Seite 618-623. IEEE, (2013)Measuring the Impact of a Computational Linear Algebra Course on Students' Exam Performance in a Subsequent Numerical Methods Course., , , und . SIGCSE (1), Seite 115-121. ACM, (2023)Autograding., , , , und . SIGCSE, Seite 1163-1169. ACM, (2021)A methodological refinement for studying the STEM grade-point penalty., , und . FIE, Seite 1-5. IEEE Computer Society, (2016)Leveraging Pre-trained and Transformer-derived Embeddings from EHRs to Characterize Heterogeneity Across Alzheimer's Disease and Related Dementias., , , , und . CoRR, (2024)