Author of the publication

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.

 

Other publications of authors with the same name

Abstract Data Types and the Development of Data Structures. Software Pioneers Contributions to Software Engineering, page 453--479. Berlin, Springer, (1977)aus: Commun.~ACM, Vol.~20(6), pp.~396-404.Using Transformations and Verification in Circuit Design., , , and . Larch, page 201-226. Springer, (1992)Proof Rules for the Programming Language Euclid., , , , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 133-163. Springer, (1978)Unsupervised Data Imputation via Variational Inference of Deep Subspaces., , and . CoRR, (2019)Leveraging hierarchy in medical codes for predictive modeling., , , and . BCB, page 96-103. ACM, (2014)Introduction to Computation and Programming Using Python. The MIT Press, revised and expanded edition edition, (Aug 9, 2013)When and Why Test-Time Augmentation Works., , , and . CoRR, (2020)At the Intersection of Deep Learning and Conceptual Art: The End of Signature., , , , and . CoRR, (2022)A Larch Shared Language Handbook., and . Sci. Comput. Program., 6 (2): 135-157 (1986)Data Augmentation for Electrocardiograms., , , , and . CHIL, volume 174 of Proceedings of Machine Learning Research, page 282-310. PMLR, (2022)