Personensuche
X
?
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ,
2
Debugging probabilistic programs:
, In:
?
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems ,
3
Uncertain«italic toggle="yes">T : a first-order type for..:
, In:
?
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
4
Expressing and verifying probabilistic assertions:
, In:
?
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications ,
5
The latency, accuracy, and battery (LAB) abstraction : p..:
, In:
?
2023 IEEE Aerospace Conference ,
6
A Comparison of Imaging Subsystems for Analog- versus Digit..:
, In:
?
2022 IEEE Aerospace Conference (AERO) ,
7
Airborne Visible/Infrared Imaging Spectrometer 3 (AVIRIS-3):
, In:
?
2022 IEEE Aerospace Conference (AERO) ,
8
Surface Biology and Geology (SBG) Visible to Short Waveleng..:
, In:
?
2022 IEEE Aerospace Conference (AERO) ,
9