( en | de | ru )

 

Disambiguierung von "Parker, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Systematic Approach to Evaluate Sustained Stochastic Oscillations.

, , , und . BICoB, Seite 134-139. ISCA, (2011)

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.

David Parker

Thomas Parker

Darren Parker

June Parker

Jane Parker

 

Weitere Publikationen von Autoren mit dem selben Namen

Advances and challenges of probabilistic model checking., , und . Allerton, Seite 1691-1698. IEEE, (2010)Design-driven research for workplace exergames: the limber case study., , , , , , , und . Gamification, Seite 123-126. ACM, (2013)Retrospective detection of interleaved slice acquisition parameters from fMRI data., , , und . ISBI, Seite 37-40. IEEE, (2014)Optimal signal recovery from interleaved FMRI data., , und . ISBI, Seite 1372-1375. IEEE, (2015)Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems., , und . ICRA, Seite 779-785. IEEE, (2021)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , und . CoRR, (2024)An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems., , , , und . IMBSA, Volume 12297 von Lecture Notes in Computer Science, Seite 179-193. Springer, (2020)UTIS (Urban Transportation Information System) a geo-spatial transport database., , , und . ACM-GIS, Seite 83-88. ACM, (2000)Stochastic Games for Verification of Probabilistic Timed Automata., , und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 212-227. Springer, (2009)Automated Verification of Concurrent Stochastic Games., , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 223-239. Springer, (2018)