Mansinghka, Vikash
115  results:
Search for persons X
?
1

Artificial intelligence 

a modern approach  Prentice Hall series in artificial intelligence;Always learning
Russell, Stuart J. ; Devlin, Jacob ; Dragan, Anca ; Mansinghka, Vikash.. - Fourth edition, global edition . , 2022
Link: https://elibrary.pearson..

Copies:  TB BHV: com 800/25(4.,Engl.)
 
?
3

Artificial intelligence 

a modern approach  Pearson Series in Artificial Intelligence
Russell, Stuart J. ; Devlin, Jacob ; Dragan, Anca ; Mansinghka, Vikash.. - Fourth Edition . , [2021]
Copies:  Zentrale:E02 a inf 700/145(4); Zentrale:E02 a inf 700/145(4)a
 
?
5

GenSQL: A Probabilistic Programming System for Querying Gen..:

Huot, Mathieu ; Ghavami, Matin ; Lew, Alexander K....
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 790-815 , 2024
 
?
6

Probabilistic Programming with Programmable Variational Inf..:

Becker, McCoy R. ; Lew, Alexander K. ; Wang, Xiaoyan...
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 2123-2147 , 2024
 
?
7

ADEV: Sound Automatic Differentiation of Expected Values of..:

Lew, Alexander K. ; Huot, Mathieu ; Staton, Sam.
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 121-153 , 2023
 
?
9

ωPAP Spaces: Reasoning Denotationally About Higher-Order, R..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
 
?
10

3D Neural Embedding Likelihood: Probabilistic Inverse Graph..:

, In: 2023 IEEE/CVF International Conference on Computer Vision (ICCV),
Zhou, Guangyao ; Gothoskar, Nishad ; Wang, Lirui... - p. 21568-21579 , 2023
 
?
11

DURableVS: Data-efficient Unsupervised Recalibrating Visual..:

, In: 2022 International Conference on Robotics and Automation (ICRA),
 
?
12

SPPL: probabilistic programming with fast exact symbolic in..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
 
?
14

Bayesian synthesis of probabilistic programs for automatic ..:

Saad, Feras A. ; Cusumano-Towner, Marco F. ; Schaechtle, Ulrich..
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-32 , 2019
 
?
15

Trace types and denotational semantics for sound programmab..:

Lew, Alexander K. ; Cusumano-Towner, Marco F. ; Sherman, Benjamin..
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
 
1-15