( en | de | ru )

 

Disambiguation of "Carbin, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Reactive Probabilistic Programming

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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)
 

Other publications of authors with the same name

Linear Mode Connectivity and the Lottery Ticket Hypothesis, , , and . (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 of LIPIcs, page 1:1-1:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Verifying Performance Properties of Probabilistic Inference., , , , and . CoRR, (2023)The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation., and . CoRR, (2023)Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs., , and . CoRR, (2023)Programming and Reasoning with Partial Observability., and . CoRR, (2021)The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks, and . (2018)cite arxiv:1803.03635Comment: ICLR camera ready.On the Predictability of Pruning Across Scales., , , and . ICML, volume 139 of Proceedings of Machine Learning Research, page 9075-9083. PMLR, (2021)Generalizable and interpretable learning for configuration extrapolation., , , and . ESEC/SIGSOFT FSE, page 728-740. ACM, (2021)Programming and reasoning with partial observability., and . Proc. ACM Program. Lang., 4 (OOPSLA): 200:1-200:28 (2020)