( en | de | ru )

 

Disambiguierung von "Carbin, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reactive Probabilistic Programming

, , , , , und . (2019)cite arxiv:1908.07563Comment: Version with appendices of the PLDI 2020 paper "Reactive Probabilistic Programming".

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.

Michael Carbin

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Linear Mode Connectivity and the Lottery Ticket Hypothesis, , , und . (2019)cite arxiv:1912.05671Comment: This submission subsumes 1903.01611 ("Stabilizing the Lottery Ticket Hypothesis" and "The Lottery Ticket Hypothesis at Scale").Overparameterization: A Connection Between Software 1.0 and Software 2.0.. SNAPL, Volume 136 von LIPIcs, Seite 1:1-1:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs., , und . CoRR, (2023)The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks, und . (2018)cite arxiv:1803.03635Comment: ICLR camera ready.Programming and Reasoning with Partial Observability., und . CoRR, (2021)The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation., und . CoRR, (2023)Verifying Performance Properties of Probabilistic Inference., , , , und . CoRR, (2023)On the Predictability of Pruning Across Scales., , , und . ICML, Volume 139 von Proceedings of Machine Learning Research, Seite 9075-9083. PMLR, (2021)BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models., , , , , , , und . IISWC, Seite 167-177. IEEE, (2019)Studying the Consistency and Composability of Lottery Ticket Pruning Masks., , und . CoRR, (2021)